Update src/halmos/cheatcodes.py

Co-authored-by: karmacoma <karma@coma.lol>
a16z · Aug 26, 2024 · dee67e5 · dee67e5
1 parent 85e6b1c
commit dee67e5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/halmos/cheatcodes.py b/src/halmos/cheatcodes.py
@@ -203,10 +203,10 @@ def stopPrank(self) -> bool:
         return True
 
 
-def symbolic_storage(ex, arg, **kwargs):
+def symbolic_storage(ex, arg, sevm, stack, step_id):
     account = uint160(arg.get_word(4))
-    account_alias = kwargs["sevm"].resolve_address_alias(
-        ex, account, kwargs["stack"], kwargs["step_id"], branching=False
+    account_alias = sevm.resolve_address_alias(
+        ex, account, stack, step_id, branching=False
     )
     ex.storage[account_alias].symbolic = True