Experimental: increase SMT solver timeout to 800ms in test_pyk_prove

runtimeverification · Feb 26, 2024 · f3ed1b0 · f3ed1b0
1 parent 36f8e92
commit f3ed1b0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kevm-pyk/src/tests/integration/test_prove.py b/kevm-pyk/src/tests/integration/test_prove.py
@@ -227,7 +227,7 @@ def test_pyk_prove(
             definition_dir=definition_dir,
             includes=[str(include_dir) for include_dir in config.INCLUDE_DIRS],
             save_directory=use_directory,
-            smt_timeout=500,
+            smt_timeout=800,
             smt_retry_limit=10,
             md_selector='foo',  # TODO Ignored flag, this is to avoid KeyError
             use_booster=use_booster,