add timeout to test

6 years ago · a52ca4230a
parent bac076098c
commit a52ca4230a
1 changed files with 1 additions and 1 deletions
--- a/tests/report_test.py
+++ b/tests/report_test.py
@ -24,7 +24,7 @@ def _fix_debug_data(json_str):
 def _generate_report(input_file):
    contract = ETHContract(input_file.read_text())
-    sym = SymExecWrapper(contract, address=(util.get_indexed_address(0)), strategy="dfs")
+    sym = SymExecWrapper(contract, address=(util.get_indexed_address(0)), strategy="dfs", execution_timeout=30)
    issues = fire_lasers(sym)
    report = Report()