laser/instruction: remove unused solver in sstore_()

6 years ago · ce4075b8df
parent 0f8e9144a6
commit ce4075b8df
1 changed files with 0 additions and 5 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -18,7 +18,6 @@ from z3 import (
    URem,
    SRem,
    BitVec,
-    Solver,
    is_true,
    BitVecVal,
    If,
@ -43,7 +42,6 @@ from mythril.laser.ethereum.transaction import (
    TransactionStartSignal,
    ContractCreationTransaction,
 )
-from mythril.analysis.solver import get_model

 TT256 = 2 ** 256
 TT256M1 = 2 ** 256 - 1
@ -924,9 +922,6 @@ class Instruction:
            storage_keys = global_state.environment.active_account.storage.keys()
            keccak_keys = filter(keccak_function_manager.is_keccak, storage_keys)

-            solver = Solver()
-            solver.set(timeout=1000)
-
            results = []
            new = False