Refactor the code

pull/946/head
Nikhil Parasaram 6 years ago
parent f02eaa8cd6
commit 475398deb4
  1. 5
      mythril/laser/ethereum/instructions.py
  2. 9
      tests/laser/evm_testsuite/evm_test.py

@ -1370,7 +1370,6 @@ class Instruction:
"""
try:
data = global_state.environment.active_account.storage[index]
print(data)
except KeyError:
data = global_state.new_bitvec("storage_" + str(index), 256)
global_state.environment.active_account.storage[index] = data
@ -1616,7 +1615,9 @@ class Instruction:
:return:
"""
index = global_state.mstate.pc
program_counter = global_state.environment.code.instruction_list[index]["address"]
program_counter = global_state.environment.code.instruction_list[index][
"address"
]
global_state.mstate.stack.append(program_counter)
return [global_state]

@ -27,15 +27,12 @@ test_types = [
"vmRandomTest"
]
"""
test_types = [
"vmIOandFlowOperations"
]
test_types = ["vmIOandFlowOperations"]
ignored_test_names = (
"gasprice", # Gas price is a symbol
"log1MemExp", # Logs not implemented
"gasprice", # Gas price is a symbol
"log1MemExp", # Logs not implemented
"loop_stacklimit_1020", # we already have a default depth which is different from EVM
"loop_stacklimit_1021", # Same as above
)

Loading…
Cancel
Save