• Alexandre Duret-Lutz's avatar
    ltsmin: fix test cases and naming. · 3e266a2a
    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
modelcheck.cc 9.32 KB