spot/tests
Alexandre Duret-Lutz 535d4555e5 bricks: fix the test-suite
Fixes #446 using a fix from Étienne Renault.

* tests/core/bricks.cc: Pass the hash table by reference while
instantiating the threads.
2021-03-24 10:04:38 +01:00
..
core bricks: fix the test-suite 2021-03-24 10:04:38 +01:00
ltsmin modelchek: add more tests 2020-06-10 09:02:02 +02:00
python translate: speed up some -G -D cases 2021-01-27 13:26:49 +01:00
sanity tests: use $PERL instead of perl 2020-09-23 11:33:15 +02:00
.gitignore more files to ignore 2016-01-26 19:21:35 +01:00
Makefile.am determinize: don't emit colors for temporary braces 2020-12-15 07:58:42 +01:00
run.in tests: do not override DYLD_LIBRARY_PATH 2020-09-23 13:32:20 +02:00