remove unused parameter

5 years ago · ca8bad0a8e
parent 414f5800f7
commit ca8bad0a8e
1 changed files with 0 additions and 2 deletions
--- a/mythril/analysis/symbolic.py
+++ b/mythril/analysis/symbolic.py
@ -56,7 +56,6 @@ class SymExecWrapper:
        iprof: Optional[InstructionProfiler] = None,
        disable_dependency_pruning: bool = False,
        run_analysis_modules: bool = True,
-        enable_coverage_strategy: bool = False,
        custom_modules_directory: str = "",
    ):
        """
@ -121,7 +120,6 @@ class SymExecWrapper:
            transaction_count=transaction_count,
            requires_statespace=requires_statespace,
            iprof=iprof,
-            enable_coverage_strategy=enable_coverage_strategy,
        )

        if loop_bound is not None: