From a52ca4230a3c12f719d07957c7e11d0ccda1cc1b Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Sun, 9 Sep 2018 10:56:15 +0200 Subject: [PATCH] add timeout to test --- tests/report_test.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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()