Skip to content
Find file Blame History Permalink
  • Etienne Renault's avatar
    modelcheck: rewrite and use argp · e817e00f
    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.
    e817e00f