spot/tests
Maximilien Colange 0fabd6b7fb Fix a typo in a test
* tests/sanity/namedprop.test: fix typo for proper output
2017-11-28 11:31:35 +01:00
..
core simplify: improve the logic of some implication checks 2017-10-18 14:50:11 +02:00
ltsmin ltsmin: catch exceptions by reference 2017-06-20 17:29:48 +02:00
python tests: avoid some superfluous calls to remove_alternation() 2017-09-29 11:38:29 +02:00
sanity Fix a typo in a test 2017-11-28 11:31:35 +01:00
.gitignore more files to ignore 2016-01-26 19:21:35 +01:00
Makefile.am dot: add x option for dot2tex 2017-08-31 19:50:08 +02:00
run.in install back the safety check of includes.test 2016-12-02 15:03:43 +01:00