From bb31cd2acacbd5ac3e49879695e263bd8c775d65 Mon Sep 17 00:00:00 2001 From: Nikhil Parasaram Date: Tue, 29 Oct 2019 16:07:24 +0000 Subject: [PATCH] Fix a regression --- mythril/laser/ethereum/svm.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/mythril/laser/ethereum/svm.py b/mythril/laser/ethereum/svm.py index 7967b0db..5dcf6e2e 100644 --- a/mythril/laser/ethereum/svm.py +++ b/mythril/laser/ethereum/svm.py @@ -366,6 +366,9 @@ class LaserEVM: ) and not end_signal.revert: check_potential_issues(global_state) end_signal.global_state.world_state.node = global_state.node + end_signal.global_state.world_state.node.constraints += ( + end_signal.global_state.mstate.constraints + ) self._add_world_state(end_signal.global_state) new_global_states = []