Constraints need to be carried over in case a previous node exists

6 years ago · 0cad91e9ae
parent e47273ef7e
commit 0cad91e9ae
1 changed files with 1 additions and 0 deletions
--- a/mythril/laser/ethereum/transaction/symbolic.py
+++ b/mythril/laser/ethereum/transaction/symbolic.py
@ -63,6 +63,7 @@ def _setup_global_state_for_execution(laser_evm, transaction):
    if transaction.world_state.node:
        laser_evm.edges.append(Edge(transaction.world_state.node.uid, new_node.uid, edge_type=JumpType.Transaction,
                               condition=None))
+        global_state.mstate.constraints = transaction.world_state.node.constraints
    global_state.node = new_node
    new_node.states.append(global_state)
    laser_evm.work_list.append(global_state)