From 765aa2bf668ce9591842234ac02616848c2e2f42 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Wed, 12 Feb 2020 14:22:37 +0000 Subject: [PATCH] Remove the coverage plugin addition statement --- mythril/analysis/symbolic.py | 1 - 1 file changed, 1 deletion(-) diff --git a/mythril/analysis/symbolic.py b/mythril/analysis/symbolic.py index 805a20b4..93682a4b 100644 --- a/mythril/analysis/symbolic.py +++ b/mythril/analysis/symbolic.py @@ -132,7 +132,6 @@ class SymExecWrapper: plugin_loader = LaserPluginLoader(self.laser) plugin_loader.load(PluginFactory.build_mutation_pruner_plugin()) plugin_loader.load(instruction_laser_plugin) - plugin_loader.load(coverage_laser_plugin) if not disable_dependency_pruning: plugin_loader.load(PluginFactory.build_dependency_pruner_plugin())