Martin Hořeňovský dd35430a2b Add more tests for test spec parser ... Originally the tests were from #1912, but as it turned out, the issue was somewhere else. Still, the inputs provided were interesting, so they are now part of our test suite.		2020-05-02 18:24:07 +02:00
..
ExtraTests	Standardize header names and file locations	2020-04-24 18:58:44 +02:00
SelfTest	Add more tests for test spec parser	2020-05-02 18:24:07 +02:00
TestScripts	Randomize test for subset invariant random ordering of tests	2020-05-01 14:45:36 +02:00
CMakeLists.txt	Add test for consistent random ordering	2020-05-01 14:30:01 +02:00