Krystine Sherwin 73c5e5cae6 timeout.sby: Add non-timeout equivalents ... Number of properties reported should be consistent whether the task times out or finishes. Currently fails `btor_fin_cover`.		2025-07-08 17:10:01 +12:00
..
Makefile	Test property statuses for cover_assert	2025-07-05 12:40:57 +12:00
mixed.py	Update failing test	2025-07-08 16:04:45 +12:00
mixed.sby	Test property statuses for cover_assert	2025-07-05 12:40:57 +12:00
mixed.sh	Test property statuses for cover_assert	2025-07-05 12:40:57 +12:00
mixed.v	Test property statuses for cover_assert	2025-07-05 12:40:57 +12:00
reset.sby	tests: Add statusdb test	2025-07-08 15:44:02 +12:00
reset.sh	tests: Add statusdb test	2025-07-08 15:44:02 +12:00
reset.sv	tests: Add statusdb test	2025-07-08 15:44:02 +12:00
timeout.sby	timeout.sby: Add non-timeout equivalents	2025-07-08 17:10:01 +12:00
timeout.sh	Add and use --latest flag for statuses	2025-07-08 15:47:34 +12:00