• Etienne Renault's avatar
    modelcheck: rewrite and use argp · 22106212
    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.
    22106212
kripke.test 1.3 KB