enable coverage plugin in symbolic.py

6 years ago · 45569d9f1f
parent 9a9595ae7d
commit 45569d9f1f
1 changed files with 1 additions and 0 deletions
--- a/mythril/analysis/symbolic.py
+++ b/mythril/analysis/symbolic.py
@ -89,6 +89,7 @@ class SymExecWrapper:

        plugin_loader = LaserPluginLoader(self.laser)
        plugin_loader.load(PluginFactory.build_mutation_pruner_plugin())
+        plugin_loader.load(PluginFactory.build_instruction_coverage_plugin())

        self.laser.register_hooks(
            hook_type="pre",