TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

remove assertions from state

Browse Source
pull/404/head
Joran Honig 6 years ago
parent 3fe5e03a71
commit 9108f48b88
1 changed files with 0 additions and 2 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      mythril/laser/ethereum/state.py

2
mythril/laser/ethereum/state.py
Unescape View File

@ -68,7 +68,6 @@ class Environment:
calldata_type=CalldataType.SYMBOLIC, calldata_type=CalldataType.SYMBOLIC,
): ):
# Metadata # Metadata
assert type(active_account) == Account
self.active_account = active_account self.active_account = active_account
self.active_function_name = "" self.active_function_name = ""
@ -147,7 +146,6 @@ class GlobalState:
def __init__(self, world_state, environment, node, machine_state=None, transaction_stack=None, ret_data=None): def __init__(self, world_state, environment, node, machine_state=None, transaction_stack=None, ret_data=None):
""" Constructor for GlobalState""" """ Constructor for GlobalState"""
self.node = node self.node = node
assert isinstance(world_state, WorldState)
self.world_state = world_state self.world_state = world_state
self.environment = environment self.environment = environment
self.mstate = machine_state if machine_state else MachineState(gas=10000000) self.mstate = machine_state if machine_state else MachineState(gas=10000000)

Write Preview
Loading…
Cancel
Save