readability: use consistent error messages

a16z · Jan 16, 2025 · f3bdd37 · f3bdd37
1 parent ebc6da6
commit f3bdd37
Showing 1 changed file with 2 additions and 6 deletions.
diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
@@ -363,9 +363,7 @@ def is_create(self) -> bool:
     def calldata_slice(self, start: int, size: int) -> ByteVec:
         """Wrapper around calldata access with a size check."""
         if size > MAX_MEMORY_SIZE:
-            raise OutOfGasError(
-                f"calldata slice with {start=} {size=} exceeds MAX_MEMORY_SIZE"
-            )
+            raise OutOfGasError(f"calldata read {start=} {size=} > MAX_MEMORY_SIZE")
 
         return self.data.slice(start=start, stop=start + size)
 
@@ -689,9 +687,7 @@ def next_pc(self, pc):
     def slice(self, start, size) -> ByteVec:
         # large start is allowed, but we must check the size
         if size > MAX_MEMORY_SIZE:
-            raise OutOfGasError(
-                f"code slice with {start=} {size=} exceeds MAX_MEMORY_SIZE"
-            )
+            raise OutOfGasError(f"code read {start=} {size=} > MAX_MEMORY_SIZE")
 
         stop = start + size