Fix the timelimit of calls.sol execution

6 years ago · 6322b4d3c7
parent 5e7009700a
commit 6322b4d3c7
1 changed files with 4 additions and 1 deletions
--- a/tests/laser/transaction/create_transaction_test.py
+++ b/tests/laser/transaction/create_transaction_test.py
@ -41,7 +41,10 @@ def test_sym_exec():
    )

    sym = SymExecWrapper(
-        contract, address=(util.get_indexed_address(0)), strategy="dfs"
+        contract,
+        address=(util.get_indexed_address(0)),
+        strategy="dfs",
+        execution_timeout=10,
    )
    issues = fire_lasers(sym)