Fix assert

safe-global · May 27, 2024 · 3e1758f · 3e1758f
1 parent a1aad3b
commit 3e1758f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/certora/specs/WebAuthn.spec b/certora/specs/WebAuthn.spec
@@ -169,6 +169,6 @@ rule castSignatureUniqueness(){
 
     secondIsValid, secondData = castSignature(e, signature2);
 
-    assert (getSha256(e, signature1) != getSha256(e, signature2)) &&
-    ((firstIsValid && secondIsValid)) => !compareSignatures(e, firstData, secondData);
+    assert ((getSha256(e, signature1) != getSha256(e, signature2)) &&
+    ((firstIsValid && secondIsValid))) => !compareSignatures(e, firstData, secondData);
 }