Remove further debug statements

pull/1119/head
Bernhard Mueller 5 years ago
parent dbd9ddf662
commit 0846599edc
  1. 13
      mythril/laser/ethereum/instructions.py

@ -773,13 +773,8 @@ class Instruction:
if size > 0: if size > 0:
try: try:
state.mem_extend(mstart, size) state.mem_extend(mstart, size)
except TypeError: except TypeError as e:
log.debug( log.debug("Memory allocation error: {}".format(e))
"Memory allocation error: mstart = "
+ str(mstart)
+ ", size = "
+ str(size)
)
state.mem_extend(mstart, 1) state.mem_extend(mstart, 1)
state.memory[mstart] = global_state.new_bitvec( state.memory[mstart] = global_state.new_bitvec(
"calldata_" "calldata_"
@ -1395,7 +1390,7 @@ class Instruction:
state = global_state.mstate state = global_state.mstate
index = state.stack.pop() index = state.stack.pop()
log.debug("Storage access at index " + str(index))
state.stack.append(global_state.environment.active_account.storage[index]) state.stack.append(global_state.environment.active_account.storage[index])
return [global_state] return [global_state]
@ -1408,7 +1403,7 @@ class Instruction:
""" """
state = global_state.mstate state = global_state.mstate
index, value = state.stack.pop(), state.stack.pop() index, value = state.stack.pop(), state.stack.pop()
log.debug("Write to storage[" + str(index) + "]")
global_state.environment.active_account.storage[index] = value global_state.environment.active_account.storage[index] = value
return [global_state] return [global_state]

Loading…
Cancel
Save