Jannis Harder ea84c67f95 tests: Ignore .sby files starting with skip_		2022-08-18 14:07:13 +02:00
..
collect_tests.py	tests: Ignore .sby files starting with skip_	2022-08-18 14:07:13 +02:00
help.txt	Refactor tests	2022-04-11 17:50:38 +02:00
required_tools.py	add cvc5 executable to required tool mapping	2022-07-25 17:01:17 +02:00
subdir.mk	Use the test Makefile for all examples	2022-06-13 13:42:58 +02:00
test_rules.py	tests: Windows fixes	2022-07-05 15:34:27 +02:00