| .. |
|
.gitignore
|
test minterms_of enumerator
|
2021-04-12 17:54:12 +02:00 |
|
385.test
|
tl: eight new simplification rules
|
2019-07-09 16:09:15 +02:00 |
|
acc.cc
|
unit_propagation: Correct result when multiple colors are possible
|
2020-04-18 22:11:21 +02:00 |
|
acc.test
|
unit_propagation: Correct result when multiple colors are possible
|
2020-04-18 22:11:21 +02:00 |
|
acc2.test
|
bin: add %g options to print acceptance name
|
2017-11-04 07:43:41 +01:00 |
|
acc_word.test
|
implement SVA's first_match operator
|
2019-05-06 15:11:30 +02:00 |
|
accsimpl.test
|
simplify_acc: loop over the simplifications
|
2020-04-17 21:54:12 +02:00 |
|
alternating.test
|
dot: add an option to output id= attributes
|
2021-09-03 22:38:24 +02:00 |
|
autcross.test
|
autcross: exercise %S, %L, and {name{nest}}
|
2018-05-21 17:39:38 +02:00 |
|
autcross2.test
|
autcross: simplify code using complement() and intersecting_word()
|
2019-06-07 14:56:56 +02:00 |
|
autcross3.test
|
typos: coma -> comma
|
2021-06-11 11:47:34 +02:00 |
|
autcross4.test
|
ltlcross, autcross: add --quiet/-q option
|
2019-07-17 17:34:01 +02:00 |
|
autcross5.test
|
sccinfo: fix generation of self-loop accepting runs
|
2020-03-12 17:06:03 +01:00 |
|
babiak.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
bare.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
basimul.test
|
tests: git rid of all the tool=tool assignents
|
2017-11-24 19:35:58 +01:00 |
|
bdd.test
|
translator: add tls-max-states option
|
2020-09-18 09:41:29 +02:00 |
|
bdddict.cc
|
* tests/core/bdddict.cc: Trap SIGABORT so coverage works.
|
2017-11-05 15:37:45 +01:00 |
|
bdddict.test
|
tests: add a test for bdd_dict::assert_emptiness()
|
2017-11-05 11:17:56 +01:00 |
|
bitvect.cc
|
bitvect: add a foreach_set_index(callback) function
|
2021-09-11 01:00:24 +02:00 |
|
bitvect.test
|
bitvect: add a foreach_set_index(callback) function
|
2021-09-11 01:00:24 +02:00 |
|
bricks.cc
|
bricks: fix the test-suite
|
2021-03-24 10:04:38 +01:00 |
|
bricks.test
|
bricks: rework tests
|
2020-06-11 08:56:56 +02:00 |
|
checkpsl.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
checkta.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
complement.test
|
complement: fix a regression with 2.9.8
|
2021-12-17 12:20:12 +01:00 |
|
complementation.test
|
ltlcross: add option --strength and --ambiguous
|
2016-10-13 15:41:49 +02:00 |
|
complete.test
|
improve support for LTLf semantics
|
2022-02-07 16:41:59 +01:00 |
|
consterm.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
consterm.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
cube.cc
|
tests: work around to compiler warnings
|
2021-10-03 00:57:21 +02:00 |
|
cube.test
|
cube: more tests
|
2020-06-09 16:20:59 +02:00 |
|
cycles.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
dbacomp.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
dca.test
|
to_dca/to_nca: fix handling of co-Büchi input
|
2018-03-28 18:20:43 +02:00 |
|
dca2.test
|
scc_filter: add quick test for very-weak
|
2018-06-11 21:42:21 +02:00 |
|
defs.in
|
move ltsmin tests to tests/ltsmin/
|
2016-01-05 11:52:24 +01:00 |
|
degendet.test
|
degen: consider incoming edges to select initial levels
|
2017-05-05 16:50:04 +02:00 |
|
degenid.test
|
translate: enable a restricted form of ltl-split for TGBA/BA
|
2018-06-28 23:02:26 +02:00 |
|
degenlskip.test
|
* tests/core/degenlskip.test: Typo.
|
2016-06-21 17:43:46 +02:00 |
|
degenscc.test
|
replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y)
|
2021-04-14 17:31:45 +02:00 |
|
det.test
|
dot: improve output to work around GraphViz bug
|
2022-01-11 22:19:20 +01:00 |
|
dfs.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
dnfstreett.test
|
twaalgos/totgba: Add dnf_to_streett() method
|
2017-09-19 17:37:00 +01:00 |
|
dot2tex.test
|
* tests/core/dot2tex.test: Work around dot2tex 2.9.0.
|
2017-09-06 11:10:22 +02:00 |
|
dra2dba.test
|
simulation: improve merging of transiant-SCCs
|
2019-06-20 13:25:26 +02:00 |
|
dstar.test
|
dot: improve output to work around GraphViz bug
|
2022-01-11 22:19:20 +01:00 |
|
dualize.test
|
autfilt: add --aliases=drop|keep option
|
2022-02-01 16:35:41 +01:00 |
|
dupexp.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
emptchk.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
emptchk.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
emptchke.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
emptchkr.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
equals.test
|
formula: catch min/max overflows at construction
|
2021-11-18 22:03:23 +01:00 |
|
equalsf.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
eventuniv.test
|
simplify: some new simplification rules
|
2017-09-02 11:27:04 +02:00 |
|
exclusive-ltl.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
exclusive-tgba.test
|
simulation: try pulling marks instead of pushing them for sbacc input
|
2019-02-27 10:46:20 +01:00 |
|
explpro2.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
explpro3.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
explpro4.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
explprod.test
|
remfin: fix handling of weak automata
|
2016-11-11 14:10:24 +01:00 |
|
explsum.test
|
hoa: fix I/O of determinism
|
2017-07-31 22:33:56 +02:00 |
|
format.test
|
Add support for computing operator nesting depth
|
2017-12-10 20:31:56 +01:00 |
|
full.test
|
ltlcross: detect write errors for --save-bogus, --grind, etc
|
2020-03-08 09:15:06 +01:00 |
|
gamehoa.test
|
dot: add support for two-player games
|
2020-09-08 20:20:48 +02:00 |
|
genaut.test
|
ltlfilt, autfilt: add support for --nth
|
2020-03-11 11:42:31 +01:00 |
|
genltl.test
|
replace bdd_satoneset(x,y,bddtrue) loops by minterms_of(x,y)
|
2021-04-14 17:31:45 +02:00 |
|
gragsa.test
|
translate: add ltl-split option
|
2018-06-20 11:38:59 +02:00 |
|
graph.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
graph.test
|
graph: replace the existing "alternating" interface
|
2016-12-27 12:36:38 +01:00 |
|
hierarchy.test
|
hierarchy: add a new way to check DBA-realizability via DPA
|
2019-06-12 23:38:17 +02:00 |
|
highlightstate.test
|
autfilt: add support for --highlight-accepting-run
|
2019-03-20 21:47:32 +01:00 |
|
ikwiad.cc
|
tests: fix a gcc-snapshot warning
|
2021-09-01 14:02:46 +02:00 |
|
included.test
|
autfilt: add support for --are-equivalent
|
2016-02-12 19:53:52 +01:00 |
|
intvcmp2.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
intvcomp.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
intvcomp.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
isomorph.test
|
autfilt: fix -u
|
2020-03-11 23:05:15 +01:00 |
|
isop.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
kind.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
kind.test
|
fix eventual/universal properties for ->/<->/xor
|
2021-02-03 12:23:34 +01:00 |
|
kripke.test
|
rename parse_print_test as kripkecat
|
2016-02-03 21:19:30 +01:00 |
|
kripkecat.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
latex.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
lbt.test
|
tests: replace non-portable use of sed by $PERL
|
2020-09-23 11:33:11 +02:00 |
|
lbttparse.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
length.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
length.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
lenient.test
|
tests: git rid of all the tool=tool assignents
|
2017-11-24 19:35:58 +01:00 |
|
ltl2dstar.test
|
adjust test case to work with ltl2dstar 0.5.4
|
2018-03-01 14:01:37 +01:00 |
|
ltl2dstar2.test
|
tests: git rid of all the tool=tool assignents
|
2017-11-24 19:35:58 +01:00 |
|
ltl2dstar3.test
|
tests: git rid of all the tool=tool assignents
|
2017-11-24 19:35:58 +01:00 |
|
ltl2dstar4.test
|
improve acceptance simplifications using useless colors
|
2020-07-28 22:26:28 +02:00 |
|
ltl2neverclaim-lbtt.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
ltl2neverclaim.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
ltl2ta.test
|
degen: fix handling of degen-lcache=1
|
2016-06-21 18:03:02 +02:00 |
|
ltl2ta2.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
ltl2tgba.test
|
dot: Add option @ to support aliases
|
2022-02-04 14:35:46 +01:00 |
|
ltl2tgba2.test
|
fix eventual/universal properties for ->/<->/xor
|
2021-02-03 12:23:34 +01:00 |
|
ltl3ba.test
|
typos: coma -> comma
|
2021-06-11 11:47:34 +02:00 |
|
ltl3dra.test
|
typos: coma -> comma
|
2021-06-11 11:47:34 +02:00 |
|
ltlcounter.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
ltlcross.test
|
complement: fix handling of output_aborter with postproc
|
2019-07-11 14:48:50 +02:00 |
|
ltlcross2.test
|
bin: add support for -b/--buchi
|
2020-12-18 12:24:08 +01:00 |
|
ltlcross3.test
|
typos: coma -> comma
|
2021-06-11 11:47:34 +02:00 |
|
ltlcross4.test
|
ltlcross: display short names when supplied
|
2020-01-04 15:54:18 +01:00 |
|
ltlcross5.test
|
tmpfile: improve error message
|
2019-12-15 17:44:54 +01:00 |
|
ltlcross6.test
|
ltlcross: diagnose complementations requiring too many colors
|
2020-07-14 22:39:44 +02:00 |
|
ltlcrossce.test
|
ltlcross: do not use remove_fin anymore
|
2020-03-09 17:51:44 +01:00 |
|
ltlcrossce2.test
|
introduce output_aborter, and use it in ltlcross
|
2019-05-28 14:27:30 +02:00 |
|
ltlcrossgrind.test
|
fix a few copyright headers
|
2016-06-14 11:32:59 +02:00 |
|
ltldo.test
|
bin: use regexes to detect shorthands, and add support for owl-21.0
|
2021-11-04 15:24:10 +01:00 |
|
ltldo2.test
|
ltl2tgba, ltldo: add a --negate option
|
2019-09-23 17:02:06 +02:00 |
|
ltlf.test
|
improve support for LTLf semantics
|
2022-02-07 16:41:59 +01:00 |
|
ltlfilt.test
|
tests: use $PERL instead of perl
|
2020-09-23 11:33:15 +02:00 |
|
ltlgrind.test
|
introduce op::strong_X
|
2019-09-23 17:01:28 +02:00 |
|
ltlrel.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
ltlrel.test
|
relabel_bse: improve handling of n-ary operators
|
2020-04-12 11:55:53 +02:00 |
|
ltlsynt.test
|
hoa: add support for controllable-AP
|
2022-01-10 14:51:34 +01:00 |
|
lunabbrev.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
maskacc.test
|
print_hoa: output all registered APs
|
2016-05-01 11:47:53 +02:00 |
|
maskkeep.test
|
twagraph: new kill_state method
|
2021-02-19 16:42:55 +01:00 |
|
mempool.cc
|
fixpool: propose alternative policy
|
2020-06-03 12:22:26 +02:00 |
|
mempool.test
|
make valgrind understand our memory pools
|
2018-06-20 14:26:31 +02:00 |
|
minterm.cc
|
test minterms_of enumerator
|
2021-04-12 17:54:12 +02:00 |
|
minterm.test
|
test minterms_of enumerator
|
2021-04-12 17:54:12 +02:00 |
|
minusx.test
|
postproc: introduce dba-simul, and have simul=0 disable all *-simul
|
2021-05-03 13:30:03 +02:00 |
|
monitor.test
|
scc_filter: add quick test for very-weak
|
2018-06-11 21:42:21 +02:00 |
|
nenoform.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
neverclaimread.test
|
dot: improve output to work around GraphViz bug
|
2022-01-11 22:19:20 +01:00 |
|
ngraph.cc
|
build: fix multiple Clang13 warnings
|
2021-11-22 10:29:15 +01:00 |
|
ngraph.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
nondet.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
obligation.test
|
introduce is_obligation(f)
|
2017-11-16 07:26:34 +01:00 |
|
optba.test
|
minimize_obligation: complement very weak automata if needed
|
2019-03-22 22:20:00 +01:00 |
|
origin
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
parity.cc
|
core: random_shuffle is deprecated and not portable
|
2019-10-17 16:45:25 +02:00 |
|
parity.test
|
tests: speed up two slow tests
|
2017-09-29 11:06:15 +02:00 |
|
parity2.test
|
twa_graph: swap the two passes of merge_edges()
|
2021-01-20 00:16:12 +01:00 |
|
parse.test
|
tests: divide the run time of parse.test by 20
|
2016-11-29 14:46:23 +01:00 |
|
parseaut.test
|
hoa: better support for aliases on output
|
2022-01-21 16:53:11 +01:00 |
|
parseerr.test
|
catch overflow in SVA delays during parsing
|
2021-12-02 14:36:23 +01:00 |
|
pdegen.test
|
autfilt add support for --partial-degeneralize
|
2020-02-15 10:31:28 +01:00 |
|
prodchain.test
|
autfilt: better handling of chain of products with -B
|
2018-05-24 19:23:48 +02:00 |
|
prodor.test
|
translate: speed up some -G -D cases
|
2021-01-27 13:26:49 +01:00 |
|
rabin2parity.test
|
Improve IAR construction
|
2018-01-24 09:27:37 +01:00 |
|
rand.test
|
introduce op::strong_X
|
2019-09-23 17:01:28 +02:00 |
|
randaut.test
|
dot: Add option @ to support aliases
|
2022-02-04 14:35:46 +01:00 |
|
randomize.test
|
scc_filter: add quick test for very-weak
|
2018-06-11 21:42:21 +02:00 |
|
randpsl.test
|
implement SVA's first_match operator
|
2019-05-06 15:11:30 +02:00 |
|
randtgba.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
randtgba.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
readltl.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
readsave.test
|
hoa: add support for controllable-AP
|
2022-01-10 14:51:34 +01:00 |
|
reduc.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
reduc.test
|
tests: speed up recuc.test and reducpsl.test
|
2016-11-29 15:54:08 +01:00 |
|
reduc0.test
|
simplify: add missing recursion
|
2016-02-12 08:18:39 +01:00 |
|
reduccmp.test
|
tl: eight new simplification rules
|
2019-07-09 16:09:15 +02:00 |
|
reducpsl.test
|
tests: speed up recuc.test and reducpsl.test
|
2016-11-29 15:54:08 +01:00 |
|
remfin.test
|
tra_to_tba: finish 05e6e0885
|
2020-07-27 14:43:27 +02:00 |
|
remove_x.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
remprop.test
|
add options to %x to list atomic propositions
|
2017-03-01 16:02:09 +01:00 |
|
renault.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
safra.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
safra.test
|
Slight improvement of the determinization
|
2018-02-21 18:20:57 +01:00 |
|
satmin.test
|
simulation: fix merging transiant SCCs
|
2021-04-19 23:38:50 +02:00 |
|
satmin2.test
|
postproc: simplify the acceptance condition
|
2018-06-22 17:17:45 +02:00 |
|
satmin3.test
|
improve acceptance simplifications using useless colors
|
2020-07-28 22:26:28 +02:00 |
|
sbacc.test
|
sbacc: remove spurious initial state in some output
|
2021-12-16 17:23:06 +01:00 |
|
scc.test
|
tests: exercise --stats='%[v]c %[IW]c' and friends
|
2018-05-18 20:50:48 +02:00 |
|
sccdot.test
|
dot: add an option to output id= attributes
|
2021-09-03 22:38:24 +02:00 |
|
sccif.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
sccif.test
|
scc_info: honor filters in edges_of() and inner_edges_of()
|
2020-07-15 11:31:56 +02:00 |
|
sccsimpl.test
|
use reduce_parity in translator and posprocessor
|
2019-06-12 22:05:04 +02:00 |
|
semidet.test
|
simulation: does not preserve !unambiguous, !semi-deterministic
|
2016-12-30 09:58:56 +01:00 |
|
sepsets.test
|
sepsets: fix infinite loop
|
2019-04-26 11:35:55 +02:00 |
|
sim2.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
sim3.test
|
postproc: add support for -x dpa-simul and simul-trans-pruning
|
2021-04-30 22:22:02 +02:00 |
|
sonf.test
|
ltlfilt: add --sonf and --sonf-aps flags
|
2022-03-03 12:42:26 +01:00 |
|
split.test
|
introduce spot::split_edges()
|
2017-05-05 22:25:12 +02:00 |
|
spotlbtt.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
spotlbtt2.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
streett.test
|
fix a bug in streett_to_generalized_buchi
|
2018-01-23 17:24:10 +01:00 |
|
strength.test
|
tests: git rid of all the tool=tool assignents
|
2017-11-24 19:35:58 +01:00 |
|
stutter-ltl.test
|
tests: git rid of all the tool=tool assignents
|
2017-11-24 19:35:58 +01:00 |
|
stutter-tgba.test
|
stutter: fix sl, sl2 to never accept on added self-loop
|
2020-03-12 21:54:13 +01:00 |
|
sugar.test
|
work around diagnostic changes in Bison 3.6
|
2020-05-24 16:35:07 +02:00 |
|
syntimpl.cc
|
forbid the use of std::endl on std::cerr
|
2019-07-17 09:15:50 +02:00 |
|
syntimpl.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
taatgba.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
taatgba.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
tgbagraph.test
|
merge_states: don't call defrag_states if unnecessary
|
2021-07-26 11:43:17 +02:00 |
|
tostring.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
tostring.test
|
tests: divide the run time of tostring.test by 40
|
2016-11-29 14:46:22 +01:00 |
|
tripprod.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
trival.cc
|
include config.h in all *.cc files
|
2018-02-21 17:59:09 +01:00 |
|
trival.test
|
trival: new class for tri-valued logic
|
2016-01-13 17:57:54 +01:00 |
|
tunabbrev.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
tunenoform.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
twacube.cc
|
twacube_to_twa: allows use of existing BDD_dict
|
2020-06-03 12:22:41 +02:00 |
|
twacube.test
|
twacube: fix erroneous translation
|
2020-06-03 12:22:41 +02:00 |
|
twagraph.cc
|
tests: work around to compiler warnings
|
2021-10-03 00:57:21 +02:00 |
|
unabbrevwm.test
|
unabbreviate: add new rules based on eventual/universal arguments
|
2018-10-01 17:53:05 +02:00 |
|
unambig.test
|
implement SVA's first_match operator
|
2019-05-06 15:11:30 +02:00 |
|
unambig2.test
|
product_susp: fix product of state-based automata
|
2019-02-02 14:41:22 +01:00 |
|
uniq.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
utf8.test
|
introduce op::strong_X
|
2019-09-23 17:01:28 +02:00 |
|
uwrm.test
|
Merge the core and python tests in the tests/ directory
|
2016-01-04 16:02:30 +01:00 |
|
wdba.test
|
dot: make "a" the default
|
2018-03-10 23:23:51 +01:00 |
|
wdba2.test
|
introduce output_aborter, and use it in ltlcross
|
2019-05-28 14:27:30 +02:00 |
Antoine Martin
bdae5563c6