Append transaction in concolic.py

6 years ago · 37847948f3
parent 3a1f3a77c3
commit 37847948f3
1 changed files with 1 additions and 1 deletions
--- a/mythril/laser/ethereum/transaction/concolic.py
+++ b/mythril/laser/ethereum/transaction/concolic.py
@ -88,7 +88,7 @@ def _setup_global_state_for_execution(laser_evm, transaction) -> None:
                condition=None,
            )
        )
-
+    global_state.world_state.transaction_sequence.append(transaction)
    global_state.node = new_node
    new_node.states.append(global_state)
    laser_evm.work_list.append(global_state)