5 commits

Author	SHA1	Message	Date
Alexandre Duret-Lutz	d5b2de7fa8	simplifier: new LTL simplifications ... if e is pure eventuality and g => e, then e U g = Fg if u is purely universal and u => g, then u R g = Gg Fixes #93. * doc/tl/tl.tex, NEWS: Document the rules. * spot/tl/simplify.cc: Implement them. * tests/core/reduccmp.test: Test them. * tests/core/det.test: Adjust.	2016-07-19 16:02:19 +02:00
Alexandre Duret-Lutz	6793d6de7d	highlight: do not reset existing highlights ... * spot/twa/twa.hh (twa::get_or_set_named_prop): New method. * spot/twaalgos/emptiness.cc, spot/twaalgos/isdet.cc: Use it to not overwrite existing highlights. * tests/core/det.test: Add test case.	2016-07-18 23:23:01 +02:00
Alexandre Duret-Lutz	31a1dfbc6a	autfilt: add --nondet-states=RANGE ... * bin/autfilt.cc: Here. * tests/core/det.test: Test it. * NEWS: Mention it.	2016-07-18 23:23:01 +02:00
Alexandre Duret-Lutz	b6cd54ab16	autfilt: add highlighting options for nondeterminism ... Fixes #123. * bin/autfilt.cc: Add options --highlight-nondet-states=NUM, --highlight-nondet-edges=NUM, and --highlight-nondet=NUM. * spot/twaalgos/isdet.cc, spot/twaalgos/isdet.hh (highlight_nondet_states, highlight_nondet_edges): New functions. * tests/core/det.test: Add test cases. * NEWS: Mention them.	2016-07-18 23:23:01 +02:00
Alexandre Duret-Lutz	5cb94a1a3f	Merge the core and python tests in the tests/ directory ... * tests/: Rename as... * tests/core/: ... this. * python/tests/: Rename as... * tests/python/: ... this. * python/tests/run.in: Move as... * tests/run.in: This, and adjust. * tests/Makefile.am: Adjust to run both core and python tests. * configure.ac, README, debian/python3-spot.examples, debian/rules, doc/org/tut.org, python/Makefile.am, spot/ltsmin/Makefile.am, spot/ltsmin/kripke.test, spot/sanity/ipynb.test: Adjust.	2016-01-04 16:02:30 +01:00

Renamed from tests/det.test (Browse further)