diff --git a/tests/graph_test.py b/tests/graph_test.py index a76ee531..3b92c358 100644 --- a/tests/graph_test.py +++ b/tests/graph_test.py @@ -34,6 +34,7 @@ def test_generate_graph(): transaction_sequences=None, disable_coverage_strategy=False, disable_mutation_pruner=False, + enable_summaries=False, ) analyzer = MythrilAnalyzer( disassembler=disassembler, diff --git a/tests/mythril/mythril_analyzer_test.py b/tests/mythril/mythril_analyzer_test.py index 39ec3dfc..90ea5756 100644 --- a/tests/mythril/mythril_analyzer_test.py +++ b/tests/mythril/mythril_analyzer_test.py @@ -41,6 +41,7 @@ def test_fire_lasers(mock_sym, mock_fire_lasers, mock_code_info): transaction_sequences=None, disable_coverage_strategy=False, disable_mutation_pruner=False, + enable_summaries=False, ) analyzer = MythrilAnalyzer(disassembler, cmd_args=args) diff --git a/tests/statespace_test.py b/tests/statespace_test.py index e51523d5..af8e3cb0 100644 --- a/tests/statespace_test.py +++ b/tests/statespace_test.py @@ -31,6 +31,7 @@ def test_statespace_dump(): transaction_sequences=None, disable_coverage_strategy=False, disable_mutation_pruner=False, + enable_summaries=False, ) analyzer = MythrilAnalyzer( disassembler=disassembler,