Jannis Harder 8da6f07cb3 Refactor tests ... Organize tests into subdirectories and use a new makefile that scans .sby files and allows selecting tests by mode, engine, solver and/or subdirectory. Automatically skips tests that use engines/solvers that are not found in the PATH. See `cd tests; make help` for a description of supported make targets.		2022-04-11 17:50:38 +02:00
..
check_output.py	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_multi_step.py	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_multi_step.sby	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_multi_step.sh	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_multi_step.sv	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_same_step.py	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_same_step.sby	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_same_step.sh	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_same_step.sv	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_smtc.py	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_smtc.sby	Refactor tests	2022-04-11 17:50:38 +02:00
keepgoing_smtc.sh	Refactor tests	2022-04-11 17:50:38 +02:00
Makefile	Refactor tests	2022-04-11 17:50:38 +02:00