• Etienne Renault's avatar
    modelcheck: rewrite and use argp · 1ea046a5
    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
Makefile.am 12.9 KB