From 36f8e92059c4eb5894c631f8cd7ccf568a035af6 Mon Sep 17 00:00:00 2001 From: palinatolmach Date: Mon, 26 Feb 2024 17:30:07 +0800 Subject: [PATCH] Bump SMT timeout to 500 in `test_pyk_prove` --- kevm-pyk/src/tests/integration/test_prove.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kevm-pyk/src/tests/integration/test_prove.py b/kevm-pyk/src/tests/integration/test_prove.py index fc10d65ba6..9e828c3110 100644 --- 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=300, + smt_timeout=500, smt_retry_limit=10, md_selector='foo', # TODO Ignored flag, this is to avoid KeyError use_booster=use_booster,