From c236dde7d88aae722faf03e1e664f8fca5d9bc29 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 16 May 2022 06:53:57 +0100 Subject: [PATCH] remove depth for jump (#1628) --- mythril/laser/ethereum/instructions.py | 1 - 1 file changed, 1 deletion(-) diff --git a/mythril/laser/ethereum/instructions.py b/mythril/laser/ethereum/instructions.py index 86f988e7..b06fc99d 100644 --- a/mythril/laser/ethereum/instructions.py +++ b/mythril/laser/ethereum/instructions.py @@ -1549,7 +1549,6 @@ class Instruction: # manually set PC to destination new_state.mstate.pc = index - new_state.mstate.depth += 1 return [new_state]