From 9108f48b88c5ecfdf358dcf66d635960d9dc6e24 Mon Sep 17 00:00:00 2001 From: Joran Honig Date: Wed, 1 Aug 2018 14:14:07 +0200 Subject: [PATCH] remove assertions from state --- mythril/laser/ethereum/state.py | 2 -- 1 file changed, 2 deletions(-) diff --git a/mythril/laser/ethereum/state.py b/mythril/laser/ethereum/state.py index d2550832..db2bcd90 100644 --- a/mythril/laser/ethereum/state.py +++ b/mythril/laser/ethereum/state.py @@ -68,7 +68,6 @@ class Environment: calldata_type=CalldataType.SYMBOLIC, ): # Metadata - assert type(active_account) == Account self.active_account = active_account 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): """ Constructor for GlobalState""" self.node = node - assert isinstance(world_state, WorldState) self.world_state = world_state self.environment = environment self.mstate = machine_state if machine_state else MachineState(gas=10000000)