TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix import typo

Browse Source
pull/1353/head
Joran Honig 5 years ago
parent 5872730cdd
commit 4156c6548e
1 changed files with 1 additions and 1 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      mythril/laser/plugin/plugins/__init__.py

2
mythril/laser/plugin/plugins/__init__.py
Unescape View File

@ -8,4 +8,4 @@ This module contains the implementation of some features
from mythril.laser.plugin.plugins.benchmark import BenchmarkPluginBuilder from mythril.laser.plugin.plugins.benchmark import BenchmarkPluginBuilder
from mythril.laser.plugin.plugins.coverage.coverage_plugin import CoveragePluginBuilder from mythril.laser.plugin.plugins.coverage.coverage_plugin import CoveragePluginBuilder
from mythril.laser.plugin.plugins.dependency_pruner import DependencyPrunerBuilder from mythril.laser.plugin.plugins.dependency_pruner import DependencyPrunerBuilder
from mythril.laser.plugin.plugins.mutation_pruner import MutationPruner from mythril.laser.plugin.plugins.mutation_pruner import MutationPrunerBuilder

Write Preview
Loading…
Cancel
Save