fix: revert code and storage

a16z · Dec 6, 2023 · efb88af · efb88af
1 parent beaf503
commit efb88af
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
@@ -1711,8 +1711,8 @@ def callback(new_ex, stack, step_id):
 
                 if not subcall_success:
                     # revert network states
-                    new_ex.code = orig_code
-                    new_ex.storage = orig_storage
+                    new_ex.code = orig_code.copy()
+                    new_ex.storage = deepcopy(orig_storage)
                     new_ex.balance = orig_balance
 
                 # add to worklist even if it reverted during the external call
@@ -2000,8 +2000,8 @@ def callback(new_ex, stack, step_id):
                 new_ex.st.push(con(0))
 
                 # revert network states
-                new_ex.code = orig_code
-                new_ex.storage = orig_storage
+                new_ex.code = orig_code.copy()
+                new_ex.storage = deepcopy(orig_storage)
                 new_ex.balance = orig_balance
 
             # add to worklist