spot/tests
Alexandre Duret-Lutz ef41b6af56 tests: do not override DYLD_LIBRARY_PATH
* tests/run.in: Here.
2020-11-08 13:41:32 +01:00
..
core tests: fix non-portable use of sed 2020-11-08 13:39:11 +01:00
ltsmin forbid the use of std::endl on std::cerr 2019-07-17 09:15:50 +02:00
python python: add check for panda 2020-11-08 13:38:15 +01:00
sanity tests: use $PERL instead of perl 2020-11-08 13:39:03 +01:00
.gitignore more files to ignore 2016-01-26 19:21:35 +01:00
Makefile.am ltlcross: diagnose complementations requiring too many colors 2020-07-14 22:39:44 +02:00
run.in tests: do not override DYLD_LIBRARY_PATH 2020-11-08 13:41:32 +01:00