Skip to content
  • Etienne Renault's avatar
    modelcheck: rewrite and use argp · d7e0366d
    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.
    d7e0366d