From f60badad7a0e4123da1a787f8a6380eb1f3e982a Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Fri, 23 Aug 2024 16:49:37 -0700
Subject: [PATCH] lint

---
 src/halmos/sevm.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
index 17adaaf8..501f0c95 100644
--- a/src/halmos/sevm.py
+++ b/src/halmos/sevm.py
@@ -45,9 +45,9 @@
 # TODO: make this configurable
 MAX_MEMORY_SIZE = 2**20
 
-FOUNDRY_CALLER = 0x1804c8AB1F12E6bbf3894d4083f33e07309d1f38
+FOUNDRY_CALLER = 0x1804C8AB1F12E6BBF3894D4083F33E07309D1F38
 FOUNDRY_ORIGIN = FOUNDRY_CALLER
-FOUNDRY_TEST = 0x7FA9385bE102ac3EAc297483Dd6233D62b3e1496
+FOUNDRY_TEST = 0x7FA9385BE102AC3EAC297483DD6233D62B3E1496
 
 # (pc, (jumpdest, ...))
 # the jumpdests are stored as strings to avoid the cost of converting bv values