Add summary for getsiner

safe-global · Jun 4, 2024 · 6ba6742 · 6ba6742
1 parent 6a21c3f
commit 6ba6742
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/certora/specs/SafeWebAuthnSignerFactory.spec b/certora/specs/SafeWebAuthnSignerFactory.spec
@@ -2,8 +2,7 @@ using SafeWebAuthnSignerProxy as proxy;
 using SafeWebAuthnSignerSingleton as singleton;
 
 methods{
-    // function getSigner(uint256, uint256, P256.Verifiers) external returns (address);
-    // function getSigner(uint256 x, uint256 y, P256.Verifiers v) internal returns (address) => getSignerGhost(x, y, v);
+    function getSigner(uint256 x, uint256 y, P256.Verifiers v) internal returns (address) => getSignerGhost(x, y, v);
     function createSigner(uint256, uint256, P256.Verifiers) external returns (address);
     function hasNoCode(address) external returns (bool) envfree;
 }