alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity
spot/tests/python
History
Alexandre Duret-Lutz 186d206302 ltsmin-pml: work around newer jupyter versions 
Newer Jupyter version are able to capture the system's stdout and
stderr to display it in the notebook.  This is done asynchronously,
with a thread polling those file descriptor.  While this will help us
debug (finaly we can see the tracing code we put in C++) this causes
two issues for testing.  One is the asynchronous behaviour, which
makes it very hard to reproduce notebooks.  The second issue is that
older version of Jupyter used to hide some of the prints from the
notebook, so it is hard to accommodate both.

In the case of the ltsmin-pml notebook, loading the PML file from
a filename used to trigger a compilation silently (with output on the
console, but not in the notebook).  The newer version had the output
of that compilation spread into two cells.

* python/spot/ltsmin.i: Work around the issue by triggering the
compilation from Python, and capturing its output explicitly, so it
work with all Jupyter versions.  Also adjust to use the more recent
and simpler subprocess.run() interface, available since Python 3.5.
* tests/python/ltsmin-pml.ipynb: Adjust expected output.
* tests/python/ipnbdoctest.py (canonicalize): Adjust patterns.
2021-11-15 23:37:08 +01:00
..
.gitignore Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
298.py determinize: do not copy the "incomplete" property 2020-12-15 10:47:25 +01:00
341.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
471.py twa: fix intersecting_run on weak automata 2021-07-08 09:00:29 +02:00
_altscc.ipynb python: define our own SVG DisplayObject 2019-12-05 08:01:07 +01:00
_autparserr.ipynb tests: work around issue #474 2021-09-01 12:27:21 +02:00
_aux.ipynb python: upgrade notebook format to v4 2018-01-07 12:59:59 +01:00
_mealy.ipynb Renaming and clean up 2021-11-11 00:38:14 +01:00
_product_susp.ipynb twa_graph: swap the two passes of merge_edges() 2021-01-20 00:16:12 +01:00
_product_weak.ipynb product: add product_xor() and product_xnor() 2020-05-16 17:55:36 +02:00
_word.ipynb python: remove error recovery checks from the public notebooks 2018-01-07 16:22:46 +01:00
acc_cond.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
accparse.ipynb python: more conventional __repr__ for several types 2018-11-03 07:53:26 +01:00
accparse2.py LAR made smarter with symmetry-based degeneralization 2018-07-27 00:44:19 +02:00
aiger.py Renaming and clean up 2021-11-11 00:38:14 +01:00
alarm.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
alternating.py remove universal transitions on the fly 2017-09-27 19:30:42 +02:00
alternation.ipynb replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
atva16-fig2a.ipynb twa_graph: swap the two passes of merge_edges() 2021-01-20 00:16:12 +01:00
atva16-fig2b.ipynb dot: fix #393 2020-04-29 21:14:36 +02:00
automata-io.ipynb python: reduce automata width to prevent overflows with Jupyter 2020-09-17 11:21:06 +02:00
automata.ipynb replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
bdddict.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
bdditer.py python: more conventional __repr__ for several types 2018-11-03 07:53:26 +01:00
bddnqueen.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
bugdet.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
complement_semidet.py implement NCSB complementation 2018-07-02 14:32:57 +02:00
contains.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
declenv.py parsetl: improve coverage 2017-03-15 14:23:19 +01:00
decompose.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
decompose_scc.py replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
dualize.py replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
ecfalse.py ignore false edges in emptiness checks and scc_info 2020-04-11 11:24:55 +02:00
except.py twa_run: reduce now diagnoses rejecting runs 2021-07-07 17:25:29 +02:00
formulas.ipynb tl: fix AST rendering of Star/FStar nodes 2021-11-05 12:17:32 +01:00
game.py game: fix handling of useless SCCs 2020-09-24 12:18:14 +02:00
games.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
gen.ipynb dot: fix #393 2020-04-29 21:14:36 +02:00
gen.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
genem.py genem: implement the logic from the future journal version of ATVA19 2021-09-11 01:08:15 +02:00
highlighting.ipynb twa_graph: swap the two passes of merge_edges() 2021-01-20 00:16:12 +01:00
implies.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
interdep.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
intrun.py run: fix reduce on automata with Fin 2020-07-10 18:05:18 +02:00
ipnbdoctest.py ltsmin-pml: work around newer jupyter versions 2021-11-15 23:37:08 +01:00
kripke.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
langmap.py postprocess, translate: add support for Büchi (not state-based) 2020-10-06 17:46:34 +02:00
ltl2tgba.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
ltl2tgba.test Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
ltlf.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
ltlparse.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
ltlsimple.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
ltsmin-dve.ipynb dot: fix #393 2020-04-29 21:14:36 +02:00
ltsmin-pml.ipynb ltsmin-pml: work around newer jupyter versions 2021-11-15 23:37:08 +01:00
mealy.py Renaming and clean up 2021-11-11 00:38:14 +01:00
merge.py improve acceptance simplifications using useless colors 2020-07-28 22:26:28 +02:00
mergedge.py merge_states: fix segfault reported by Philipp 2021-05-31 20:46:41 +02:00
minato.py Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
misc-ec.py postprocess, translate: add support for Büchi (not state-based) 2020-10-06 17:46:34 +02:00
optionmap.py python: add xargs support to translate() and postprocess() 2018-10-17 18:16:46 +02:00
origstate.py Degeneralization keeps track of levels. 2017-05-31 13:28:42 +02:00
otfcrash.py tests: cleanup temporary files leftover by a test case 2018-02-01 21:56:26 +01:00
parity.ipynb dot: fix #393 2020-04-29 21:14:36 +02:00
parity.py New game api 2021-09-16 14:53:47 +02:00
parsetgba.py Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
pdegen.py improve acceptance simplifications using useless colors 2020-07-28 22:26:28 +02:00
prodexpt.py product: fix handling of operand with false acceptance 2020-03-08 09:15:06 +01:00
product.ipynb python: define our own SVG DisplayObject 2019-12-05 08:01:07 +01:00
randaut.ipynb python: define our own SVG DisplayObject 2019-12-05 08:01:07 +01:00
randgen.py Merge the core and python tests in the tests/ directory 2016-01-04 16:02:30 +01:00
randltl.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
relabel.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
remfin.py improve acceptance simplifications using useless colors 2020-07-28 22:26:28 +02:00
removeap.py remprop: reset no-terminal property 2019-06-02 09:00:08 +02:00
rs_like.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
satmin.ipynb dtwasat: various fixes 2021-09-29 16:50:49 +02:00
satmin.py dtwasat: various fixes 2021-09-29 16:50:49 +02:00
sbacc.py specialized translation for GF(guarantee) and FG(safety) 2018-03-28 18:20:46 +02:00
sccfilter.py scc_filter: preserve state names and highlighted states 2016-11-11 15:21:17 +01:00
sccinfo.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
sccsplit.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
semidet.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
setacc.py acc: introduce inf_unit() 2021-09-08 17:12:05 +02:00
setxor.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
simplacc.py simplify_acceptance: Use color inclusions to simplify a condition 2020-07-25 19:15:17 +02:00
simstate.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
split.py * tests/python/split.py: Simplify. 2021-11-12 22:44:56 +01:00
streett_totgba.py * tests/python/streett_totgba.py: Remove superfluous comment. 2021-11-10 15:28:08 +01:00
streett_totgba2.py fix streett_to_generalized_buchi 2018-01-14 16:08:40 +01:00
stutter-inv.ipynb postproc: add simul-max and wdba-det-max options 2020-09-16 20:40:16 +02:00
stutter.py python: fix incorrect assertions on temporary objects 2021-01-17 20:48:56 +01:00
sum.py * tests/python/sum.py: Simplify code. 2019-07-30 16:26:58 +02:00
synthesis.ipynb python: fix support for std::vector<const_twa_graph_ptr> 2021-11-12 22:38:37 +01:00
synthesis.py synthesis: rename create_game() to ltl_to_game() 2021-10-18 09:17:40 +02:00
testingaut.ipynb Notebooks: correct typos 2021-11-06 11:56:05 +01:00
toparity.py acd: remove redundant nodes 2021-09-05 20:50:33 +02:00
toweak.py postprocess, translate: add support for Büchi (not state-based) 2020-10-06 17:46:34 +02:00
tra2tba.py adjust some python tests to work with PyPy 2021-06-29 23:16:40 +02:00
trival.py python: cleanup with autopep8 2019-07-05 21:22:29 +02:00
twagraph-internals.ipynb python: define our own SVG DisplayObject 2019-12-05 08:01:07 +01:00
twagraph.py twa: implement a copy_named_properties_of() method 2021-07-08 10:33:15 +02:00
word.ipynb replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y) 2021-04-14 17:31:45 +02:00
zlktree.ipynb acd: add ORDER_HEURISTIC for state-based ACD-transform 2021-09-24 22:28:10 +02:00
zlktree.py zlktree: fix colored output of acd_transform_sbacc() 2021-11-10 15:51:13 +01:00