Just send constraint list to nodes

6 years ago · cbe8f7eb25
parent fdb994b29a
commit cbe8f7eb25
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/transaction/symbolic.py
+++ b/mythril/laser/ethereum/transaction/symbolic.py
@ -118,7 +118,7 @@ def _setup_global_state_for_execution(laser_evm, transaction) -> None:
        )

        global_state.mstate.constraints += transaction.world_state.node.constraints
-        new_node.constraints = global_state.mstate.constraints
+        new_node.constraints = global_state.mstate.constraints[:]

    global_state.world_state.transaction_sequence.append(transaction)
    global_state.node = new_node