spot/tests
Alexandre Duret-Lutz 1afb76a630 split ltsmin/check.test in three files
Fixes #195.

* tests/ltsmin/check.test: Extract the spins and gal checks
and move them to...
* tests/ltsmin/check2.test, tests/ltsmin/check3.test: ... these files.
* tests/Makefile.am: Adjust.
2016-11-24 11:36:26 +01:00
..
core bitvec: remove useless methods 2016-11-23 09:39:58 +01:00
ltsmin split ltsmin/check.test in three files 2016-11-24 11:36:26 +01:00
python twa: introduce intersects() and friends 2016-11-13 11:23:12 +01:00
sanity use SPOT_ASSERT instead of assert 2016-07-24 23:26:59 +02:00
.gitignore more files to ignore 2016-01-26 19:21:35 +01:00
Makefile.am split ltsmin/check.test in three files 2016-11-24 11:36:26 +01:00
run.in tests: reset CFLAGS 2016-06-14 14:39:53 +02:00