Fix statespace tests

5 years ago · b304cad96e
parent bc767a6472
commit b304cad96e
1 changed files with 1 additions and 0 deletions
--- a/tests/statespace_test.py
+++ b/tests/statespace_test.py
@ -18,6 +18,7 @@ def test_statespace_dump():
            execution_timeout=5,
            max_depth=30,
            address=(util.get_indexed_address(0)),
+            solver_timeout=10000,
        )

        analyzer.dump_statespace(contract=contract)