Remove simplify in the sha3 stack message

6 years ago · 474ebb053a
parent 299bba5af2
commit 474ebb053a
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/instructions.py
+++ b/mythril/laser/ethereum/instructions.py
@ -481,7 +481,7 @@ class Instruction:
        # FIXME: broad exception catch
        except:
            # Can't access symbolic memory offsets
-            state.stack.append(BitVec("KECCAC_mem[" + str(simplify(op0)) + "]", 256))
+            state.stack.append(BitVec("KECCAC_mem[" + str(op0) + "]", 256))
            return [global_state]

        try: