From 4adf5e52591839fe88d88a029dec04cd3c99894a Mon Sep 17 00:00:00 2001 From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com> Date: Tue, 8 Jul 2025 15:47:34 +1200 Subject: [PATCH] timeout.sby: Increase depth CI was too fast --- tests/statusdb/timeout.sby | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/statusdb/timeout.sby b/tests/statusdb/timeout.sby index e3c8b64..2872ad6 100644 --- a/tests/statusdb/timeout.sby +++ b/tests/statusdb/timeout.sby @@ -17,7 +17,7 @@ bmc: mode bmc cover: mode cover prove: mode prove expect TIMEOUT -depth 10000 +depth 40000 timeout 1 vcd_sim off