move plugin implementations to sub module

6 years ago · e711da4785
parent a2bec5e8f2
commit e711da4785
4 changed files with 1 additions and 1 deletions
--- a/mythril/analysis/symbolic.py
+++ b/mythril/analysis/symbolic.py
@ -12,7 +12,7 @@ from mythril.laser.ethereum.strategy.basic import (
    ReturnWeightedRandomStrategy,
 )

-from mythril.laser.ethereum.plugins.mutation_pruner import MutationPruner
+from mythril.laser.ethereum.plugins.implementations.mutation_pruner import MutationPruner

 from mythril.solidity.soliditycontract import EVMContract, SolidityContract
 from .ops import Call, SStore, VarType, get_variable
--- a/mythril/laser/ethereum/plugins/implementations/init.py
+++ b/mythril/laser/ethereum/plugins/implementations/init.py
--- a/mythril/laser/ethereum/plugins/implementations/benchmark.py
+++ b/mythril/laser/ethereum/plugins/implementations/benchmark.py
--- a/mythril/laser/ethereum/plugins/implementations/mutation_pruner.py
+++ b/mythril/laser/ethereum/plugins/implementations/mutation_pruner.py