From cbe8f7eb259603c4e33c2d7dfa087d3fe4df5d1a Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Mon, 31 Dec 2018 11:13:06 +0530 Subject: [PATCH] Just send constraint list to nodes --- mythril/laser/ethereum/transaction/symbolic.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/laser/ethereum/transaction/symbolic.py b/mythril/laser/ethereum/transaction/symbolic.py index 117322d8..9d2ed029 100644 --- 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