-
Alexandre Duret-Lutz authored
* iface/ltsmin/kripke.test: Fix detection of divine's ltsmin option. * iface/ltsmin/finite.test: Likewise. Also extra the Spins test into... * iface/ltsmin/finite2.test: ... this new file, so that we can test the divine and spins interfaces independently. * iface/ltsmin/Makefile.am: Distribute finite2.test and finite.pm. * iface/ltsmin/ltsmin.cc, iface/ltsmin/ltsmin.hh, iface/ltsmin/modelcheck.cc: Adjust function names.
3e266a2a
To find the state of this project's repository at the time of any of these versions, check out the tags.