[#754] Summarize _checkSignatureLength function

safe-global · Jul 4, 2024 · 27ec2cf · 27ec2cf
1 parent 78ef010
commit 27ec2cf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/modules/4337/certora/specs/ValidationDataLastBitOne.spec b/modules/4337/certora/specs/ValidationDataLastBitOne.spec
@@ -11,6 +11,8 @@ methods {
     function getOperationHash(
         Safe4337Module.PackedUserOperation userOp
     ) external returns(bytes32) envfree => PER_CALLEE_CONSTANT;
+
+    function _._checkSignatureLength(bytes, uint256) internal returns (bool) => CONSTANT;
 }
 
 rule validationDataLastBitOneIfCheckSignaturesFails(address sender,