Update namespace

optimise/summaries
Nikhil Parasaram 10 months ago
parent d53dd96d8d
commit 5542f33670
  1. 1
      tests/graph_test.py
  2. 1
      tests/mythril/mythril_analyzer_test.py
  3. 1
      tests/statespace_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,

@ -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)

@ -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,

Loading…
Cancel
Save