-
Etienne Renault authored
* tests/Makefile.am, tests/ltsmin/check.test, tests/ltsmin/finite.test, tests/ltsmin/finite2.test, tests/ltsmin/kripke.test, tests/ltsmin/modelcheck.cc: here.
1ea046a5
* tests/Makefile.am, tests/ltsmin/check.test, tests/ltsmin/finite.test, tests/ltsmin/finite2.test, tests/ltsmin/kripke.test, tests/ltsmin/modelcheck.cc: here.