From 4c586f19813901f42793deb6a260411388e6f32c Mon Sep 17 00:00:00 2001 From: Nikhil Date: Sun, 13 Oct 2019 00:51:46 +0100 Subject: [PATCH] remove dead code --- mythril/laser/ethereum/keccak_function_manager.py | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/mythril/laser/ethereum/keccak_function_manager.py b/mythril/laser/ethereum/keccak_function_manager.py index 3a73dc56..f6537d17 100644 --- a/mythril/laser/ethereum/keccak_function_manager.py +++ b/mythril/laser/ethereum/keccak_function_manager.py @@ -1,23 +1,17 @@ -from copy import copy from ethereum import utils from random import randint -from mythril.laser.ethereum.state.global_state import GlobalState from mythril.laser.ethereum.state.constraints import Constraints from mythril.laser.smt import ( BitVec, - Bool, - Expression, Function, URem, symbol_factory, ULE, And, ULT, - Or, simplify, - Extract, ) -from typing import Dict, Tuple, Optional, List +from typing import Dict, Tuple TOTAL_PARTS = 10 ** 40 PART = (2 ** 256 - 1) // TOTAL_PARTS