Fix AccessManaged summarization

2024-04-19 11:34:12 -06:00
parent 274acce467
commit 52665fd9b3
1 changed files with 3 additions and 0 deletions
--- a/certora/specs/AccessManaged.spec
+++ b/certora/specs/AccessManaged.spec
@ -7,6 +7,9 @@ methods {
    function authority_canCall_immediate(address) external returns (bool);
    function authority_canCall_delay(address)     external returns (uint32);
    function authority_getSchedule(address)       external returns (uint48);
+
+    // Summaries
+    function _.setAuthority(address)               external => DISPATCHER(true);
 }

 invariant isConsumingScheduledOpClean()