Jannis Harder 52184e5bf0 Initial support for a multi-task property status database ... This adds initial support for an sqlite database that is shared across multiple tasks of a single SBY file and that can track the status of individual properties. The amount of information tracked in the database is currently quite minimal and depends on the engine and options used. This can be incrementally extended in the future. The ways in which the information in the database can be queries is even more limited for this initial version, consisting of a single '--status' option which lists all properties and their status.		2024-02-20 13:34:58 +01:00
..
collect_tests.py	Initial support for a multi-task property status database	2024-02-20 13:34:58 +01:00
help.txt	Refactor tests	2022-04-11 17:50:38 +02:00
required_tools.py	Make jobserver integration	2022-08-18 14:40:00 +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	Use the test Makefile for all examples	2022-06-13 13:42:58 +02:00
test_rules.py	tests: Do not run the same SBY task multiple times in parallel	2022-10-20 14:18:51 +02:00