Skip to content
Find file Blame History Permalink
  • Etienne Renault's avatar
    modelcheck: update tests · d486b234
    Etienne Renault authored 
    * tests/ltsmin/check.test,
tests/ltsmin/check2.test,
tests/ltsmin/check3.test,
tests/ltsmin/finite2.test,
tests/ltsmin/finite3.test: here.
    d486b234