From f3197e920639cad7b1e46964fb042e11d6f12cc0 Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Fri, 20 Sep 2024 23:21:34 -0700 Subject: [PATCH] increase default assertion solving timeout from 1s to 1m --- src/halmos/config.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/halmos/config.py b/src/halmos/config.py index c9d0f963..4f2a57a1 100644 --- a/src/halmos/config.py +++ b/src/halmos/config.py @@ -333,7 +333,7 @@ class Config: solver_timeout_assertion: int = arg( help="set timeout (in milliseconds) for solving assertion violation conditions; 0 means no timeout", - global_default=1000, + global_default=60_000, metavar="TIMEOUT", group=solver, )