limit max_depth to 300 in pyk_prove tests (workaround)

runtimeverification · Oct 24, 2023 · c28c0b2 · c28c0b2
1 parent d3d9e9b
commit c28c0b2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/kevm-pyk/src/tests/integration/test_prove.py b/kevm-pyk/src/tests/integration/test_prove.py
@@ -282,6 +282,7 @@ def test_pyk_prove(
             definition_dir=target.definition_dir,
             includes=[str(include_dir) for include_dir in config.INCLUDE_DIRS] + target.includes,
             save_directory=use_directory,
+            max_depth=300,  # Workaround for ecrecover00-siginvalid issue
             smt_timeout=300,
             smt_retry_limit=10,
             md_selector='foo',  # TODO Ignored flag, this is to avoid KeyError