alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/python/tests
History
Alexandre Duret-Lutz ff4837f4f2 python: more robust handling of %timeit in notebooks 
* python/tests/ipnbdoctest.py: Simply ignore %timeit blocks.
2015-12-26 20:16:53 +01:00
..
.gitignore rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
acc_cond.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
accparse.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
accparse2.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
alarm.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
automata-io.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
automata.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
bddnqueen.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
decompose.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
formulas.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
implies.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
interdep.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
ipnbdoctest.py python: more robust handling of %timeit in notebooks 2015-12-26 20:16:53 +01:00
ltl2tgba.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
ltl2tgba.test rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
ltlparse.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
ltlsimple.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
Makefile.am rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
minato.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
optionmap.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
parsetgba.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
piperead.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
product.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
randaut.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
randgen.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
randltl.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
relabel.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
remfin.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
run.in rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
satmin.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
setxor.py rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00
testingaut.ipynb rename wrap/python/ to python/ 2015-12-25 12:38:25 +01:00