lint

a16z · Aug 27, 2024 · cc01f51 · cc01f51
1 parent 99101b6
commit cc01f51
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 4 deletions.
diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
@@ -61,7 +61,6 @@
     Path,
     SMTQuery,
     State,
-    StorageData,
     con_addr,
     jumpid_str,
     mnemonic,

diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
@@ -1131,7 +1131,7 @@ class Storage:
 class SolidityStorage(Storage):
     @classmethod
     def mk_storagedata(cls) -> StorageData:
-        return StorageData(mapping = defaultdict(lambda: defaultdict(dict)))
+        return StorageData(mapping=defaultdict(lambda: defaultdict(dict)))
 
     @classmethod
     def empty(cls, addr: BitVecRef, slot: int, keys: tuple) -> ArrayRef:
@@ -1144,7 +1144,9 @@ def empty(cls, addr: BitVecRef, slot: int, keys: tuple) -> ArrayRef:
         )
 
     @classmethod
-    def init(cls, ex: Exec, addr: Any, slot: int, keys: tuple, num_keys: int, size_keys: int) -> None:
+    def init(
+        cls, ex: Exec, addr: Any, slot: int, keys: tuple, num_keys: int, size_keys: int
+    ) -> None:
         """
         Initialize ex.storage[addr].mapping[slot][num_keys][size_keys], if not yet initialized
         """
@@ -1164,7 +1166,10 @@ def init(cls, ex: Exec, addr: Any, slot: int, keys: tuple, num_keys: int, size_k
 
         # size_keys == 0
         mapping[size_keys] = (
-            BitVec(f"storage_{id_str(addr)}_{slot}_{num_keys}_{size_keys}_00", BitVecSort256)
+            BitVec(
+                f"storage_{id_str(addr)}_{slot}_{num_keys}_{size_keys}_00",
+                BitVecSort256,
+            )
             if storage_data.symbolic
             else ZERO
         )