From 5542f336704c684ad37a1b207f944937ca47474d Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 15 Jan 2024 23:26:20 +0000 Subject: [PATCH] Update namespace --- tests/graph_test.py | 1 + tests/mythril/mythril_analyzer_test.py | 1 + tests/statespace_test.py | 1 + 3 files changed, 3 insertions(+) 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,