aerge remote-tracking branch 'origin/feat/create-calldata-cheatcode' …

…into feat/create-calldata-cheatcode
a16z · Sep 9, 2024 · a30fd9f · a30fd9f
2 parents 7124320 + 4dd4612
commit a30fd9f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/halmos/calldata.py b/src/halmos/calldata.py
@@ -296,7 +296,7 @@ def mk_calldata(
     fun_abi = find_abi(abi, fun_info)
 
     # no parameters
-    if len(fun_abi["inputs"]) == 0:
+    if not fun_abi["inputs"]:
         return
 
     # generate symbolic ABI calldata