Skip to content
  • Alexandre Duret-Lutz's avatar
    move ltsmin tests to tests/ltsmin/ · ddc424f5
    Alexandre Duret-Lutz authored
    * spot/ltsmin/defs.in: Delete.
    * spot/ltsmin/README, spot/ltsmin/beem-peterson.4.dve,
    spot/ltsmin/check.test, spot/ltsmin/elevator2.1.pm,
    spot/ltsmin/finite.dve, spot/ltsmin/finite.pm, spot/ltsmin/finite.test,
    spot/ltsmin/finite2.test, spot/ltsmin/kripke.test,
    spot/ltsmin/modelcheck.cc: Move...
    * tests/ltsmin/: ... here.
    * spot/ltsmin/README: Point to tests/ltsmin/README.
    * README, configure.ac, spot/ltsmin/Makefile.am, tests/.gitignore,
    tests/Makefile.am, tests/core/defs.in: Adjust.
    ddc424f5