Remove unused variables

harvey_style_assertions
Nathan 5 years ago committed by GitHub
parent 3cab4beb76
commit 2a34a5d712
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      mythril/laser/ethereum/instructions.py

@ -1624,7 +1624,7 @@ class Instruction:
# TODO: implement me # TODO: implement me
state = global_state.mstate state = global_state.mstate
dpth = int(self.op_code[3:]) dpth = int(self.op_code[3:])
mem_start, size = state.stack.pop(), state.stack.pop() state.stack.pop(), state.stack.pop()
log_data = [state.stack.pop() for _ in range(dpth)] log_data = [state.stack.pop() for _ in range(dpth)]
# Not supported # Not supported
return [global_state] return [global_state]

Loading…
Cancel
Save