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