Update AccessManaged spec

OpenZeppelin · Apr 24, 2024 · 42bf8c3 · 42bf8c3
1 parent 6a100ab
commit 42bf8c3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/certora/specs/AccessManaged.spec b/certora/specs/AccessManaged.spec
@@ -52,8 +52,9 @@ rule setAuthority(env e) {
     setAuthority@withrevert(e, newAuthority);
     bool success = !lastReverted;
 
-    assert (success && authority() == newAuthority) <=> (
+    assert success <=> (
         previousAuthority == e.msg.sender &&
         _hasCode(newAuthority)
     );
+    assert success => newAuthority == authority();
 }