diff --git a/tests/report_test.py b/tests/report_test.py
index a5c41f21..69edc860 100644
--- 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()