Krystine Sherwin 62cd0028a0 tests: Don't collect folders that start with skip_		2026-07-16 11:45:17 +12:00
..
collect_tests.py	tests: Don't collect folders that start with skip_	2026-07-16 11:45:17 +12:00
help.txt	Refactor tests	2022-04-11 17:50:38 +02:00
required_tools.py	small fixes + add regression tests for aiger and btor engines exercising all options	2026-06-23 09:11:14 +02:00
run_sby.py	tests: Support testing an installed SBY using the SBY_CMD make variable	2024-01-19 14:51:16 +01:00
subdir.mk	allow running SBY tests with an external examples directory	2025-04-28 16:13:30 +02:00
test_rules.py	allow running SBY tests with an external examples directory	2025-04-28 16:13:30 +02:00