Refactor with black

state_merge
Nikhil Parasaram 5 years ago
parent 9eaeaa4948
commit c0593c43bd
  1. 2
      mythril/analysis/symbolic.py
  2. 4
      mythril/interfaces/cli.py
  3. 2
      mythril/mythril/mythril_analyzer.py

@ -56,7 +56,7 @@ class SymExecWrapper:
run_analysis_modules: bool = True,
enable_coverage_strategy: bool = False,
custom_modules_directory: str = "",
enable_state_merging: bool = False
enable_state_merging: bool = False,
):
"""

@ -465,9 +465,7 @@ def create_analyzer_parser(analyzer_parser: ArgumentParser):
help="enable coverage based search strategy",
)
options.add_argument(
"--enable-state-merging",
action="store_true",
help="enables state merging",
"--enable-state-merging", action="store_true", help="enables state merging",
)
options.add_argument(
"--custom-modules-directory",

@ -171,7 +171,7 @@ class MythrilAnalyzer:
disable_dependency_pruning=self.disable_dependency_pruning,
enable_coverage_strategy=self.enable_coverage_strategy,
custom_modules_directory=self.custom_modules_directory,
enable_state_merging=self.enable_state_merging
enable_state_merging=self.enable_state_merging,
)
issues = fire_lasers(sym, modules, self.custom_modules_directory)
except KeyboardInterrupt:

Loading…
Cancel
Save