.

safe-global · May 21, 2024 · 8dd8ec3 · 8dd8ec3
1 parent 958f508
commit 8dd8ec3
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/certora/specs/SafeWebAuthnSignerFactory.spec b/certora/specs/SafeWebAuthnSignerFactory.spec
@@ -115,14 +115,14 @@ rule deterministicSigner()
 
 /*
 ┌─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┐
-│ Correctness of Signer Creation. (Cant called twice and override) (Proved)                                           │
+│ Correctness of Signer Creation. (Cant called twice and override) (Violated)                                           │
 └─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────┘
 */
 
 ghost mathint numOfCreation;
 
 hook CREATE2(uint value, uint offset, uint length, bytes32 salt) address v{
-    require numOfCreation == numOfCreation + 1;
+    numOfCreation = numOfCreation + 1;
 }
 
 rule SignerCreationCantOverride()