Skip to content
  • Etienne Renault's avatar
    modelcheck: update tests · ca964dea
    Etienne Renault authored
    * tests/ltsmin/check.test,
    tests/ltsmin/check2.test,
    tests/ltsmin/check3.test,
    tests/ltsmin/finite2.test,
    tests/ltsmin/finite3.test: here.
    ca964dea