lint

a16z · Sep 13, 2024 · 546aee0 · 546aee0
1 parent 2256fb3
commit 546aee0
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/src/halmos/calldata.py b/src/halmos/calldata.py
@@ -153,8 +153,16 @@ def get_dyn_sizes(self, name: str, typ: Type) -> tuple[list[int], BitVecRef]:
 
         return (sizes, size_var)
 
-    def create(self, abi: dict, fun_info: FunctionInfo) -> tuple[ByteVec, list[DynamicParam]]:
-        """Create calldata of the given function"""
+    def create(
+        self, abi: dict, fun_info: FunctionInfo
+    ) -> tuple[ByteVec, list[DynamicParam]]:
+        """
+        Create calldata of the given function.
+
+        Returns:
+            A tuple containing the generated calldata, and the size information
+            for all dynamic parameters included in the calldata.
+        """
 
         # function selector
         calldata = ByteVec()