@layerzerolabs/utils-upgradeable-evm-contracts 0.2.110 → 0.2.112

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/.turbo/turbo-test.log +710 -744
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,7 +5,7 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:177567) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
8
+ (node:174325) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
@@ -13,7 +13,7 @@ To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-in
13
13
  👤 Running container as UID:GID 1001:1001
14
14
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
15
15
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 13.74s
16
+ Solc 0.8.22 finished in 12.48s
17
17
  Compiler run successful with warnings:
18
18
  Warning (2018): Function state mutability can be restricted to view
19
19
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -136,6 +136,44 @@ Warning (2018): Function state mutability can be restricted to view
136
136
  | ^ (Relevant source part starts here and spans across multiple lines).
137
137
 
138
138
 
139
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
140
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
141
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
142
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
143
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
144
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
145
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
146
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
147
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
148
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
149
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
150
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
151
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
152
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
153
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
154
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
155
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
156
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
157
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
158
+ [PASS] test_initial_state_closed() (gas: 2034659)
159
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
160
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
161
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
162
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
163
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
164
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
165
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
166
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
167
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
168
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
169
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
170
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
171
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
172
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
+ [PASS] test_storageHash() (gas: 3414)
174
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 46.95ms (45.02ms CPU time)
176
+
139
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
140
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
141
179
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -177,45 +215,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
177
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
178
216
  [PASS] test_storageHash() (gas: 3392)
179
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
180
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 12.17ms (8.87ms CPU time)
181
-
182
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
183
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
184
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
185
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
186
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
187
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
188
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
189
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
190
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
191
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
192
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
193
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
194
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
195
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
196
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
197
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
198
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
199
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
200
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
201
- [PASS] test_initial_state_closed() (gas: 2034659)
202
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
203
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
204
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
205
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
206
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
207
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
208
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
209
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
210
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
211
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
212
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
213
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
214
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
215
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
216
- [PASS] test_storageHash() (gas: 3414)
217
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
218
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 16.70ms (15.22ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 27.86ms (34.52ms CPU time)
219
219
 
220
220
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
221
221
  [PASS] test_feeDeposit() (gas: 17638)
@@ -224,18 +224,132 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
224
224
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
225
225
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
226
226
  [PASS] test_storageHash() (gas: 3315)
227
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 54.52ms (53.66ms CPU time)
227
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 77.02ms (76.35ms CPU time)
228
228
 
229
229
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
230
230
  [PASS] test_feeDeposit() (gas: 17576)
231
231
  [PASS] test_setFeeDeposit() (gas: 24995)
232
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
232
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21448, ~: 21454)
233
233
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
234
234
  [PASS] test_storageHash() (gas: 3337)
235
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 84.68ms (47.38ms CPU time)
235
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 93.65ms (93.26ms CPU time)
236
+
237
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
238
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
239
+ [PASS] test_constructor_InitialMode() (gas: 15578)
240
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
241
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
242
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
243
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
244
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
245
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
246
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
247
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
248
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
249
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
250
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
251
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
252
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
253
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
254
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
255
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
256
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
257
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
258
+ [PASS] test_setMode_Blacklist() (gas: 40021)
259
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
260
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
261
+ [PASS] test_setMode_Whitelist() (gas: 40108)
262
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
263
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
264
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
265
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
266
+ [PASS] test_storageHash() (gas: 3458)
267
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 294.32ms (575.57ms CPU time)
268
+
269
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
270
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
271
+ [PASS] test_constructor_InitialMode() (gas: 15778)
272
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
273
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
274
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
275
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115141, ~: 115161)
276
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
277
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
278
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
279
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
280
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
281
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
282
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
283
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
284
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
285
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
286
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
287
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
288
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
289
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
290
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
291
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
292
+ [PASS] test_setMode_Blacklist() (gas: 42605)
293
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
294
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
295
+ [PASS] test_setMode_Whitelist() (gas: 42714)
296
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
297
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
298
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
299
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
300
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
301
+ [PASS] test_storageHash() (gas: 3480)
302
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 319.71ms (641.24ms CPU time)
303
+
304
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
305
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
306
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
307
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
308
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
309
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
310
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
311
+ [PASS] test_isPaused_Default() (gas: 44698)
312
+ [PASS] test_isPaused_InitialState() (gas: 22070)
313
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
314
+ [PASS] test_isPaused_Override() (gas: 69381)
315
+ [PASS] test_isPaused_Specific() (gas: 46709)
316
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
317
+ [PASS] test_pauseConfig() (gas: 45626)
318
+ [PASS] test_setDefaultPaused() (gas: 39667)
319
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27983, ~: 16332)
320
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
321
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
322
+ [PASS] test_setPaused() (gas: 43060)
323
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
324
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38915, ~: 43373)
325
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
326
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
327
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
328
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
329
+ [PASS] test_storageHash() (gas: 3480)
330
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
331
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
332
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
333
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
334
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
335
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
336
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 603.96ms (482.39ms CPU time)
337
+
338
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
339
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
340
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
341
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
342
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
343
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
344
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
345
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
346
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
347
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
348
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
349
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 960.88ms (153.17ms CPU time)
236
350
 
237
351
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
238
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27758, ~: 41090)
352
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
239
353
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
240
354
  [PASS] test_assertNotPaused_Success() (gas: 12539)
241
355
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -246,7 +360,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
246
360
  [PASS] test_pause() (gas: 42109)
247
361
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
248
362
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
249
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30708, ~: 42378)
363
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30637, ~: 42378)
250
364
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
251
365
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
252
366
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -255,78 +369,14 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
255
369
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
256
370
  [PASS] test_storageHash() (gas: 3414)
257
371
  [PASS] test_unpause() (gas: 35177)
258
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
372
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41647, ~: 38860)
259
373
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
260
374
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
261
375
  [PASS] test_whenNotPaused_Success() (gas: 38800)
262
376
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
263
377
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
264
378
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
265
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 89.81ms (147.76ms CPU time)
266
-
267
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
268
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
269
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
270
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
271
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
272
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
273
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
274
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
275
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
276
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
277
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
278
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
279
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
280
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
281
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
282
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
283
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
284
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
285
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
286
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
287
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
288
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
289
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
290
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
291
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
292
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
293
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
294
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
295
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
296
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
297
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
298
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
299
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
300
- [PASS] test_storageHash() (gas: 3380)
301
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 209.53ms (284.12ms CPU time)
302
-
303
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
304
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
305
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
306
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44830, ~: 46317)
307
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
308
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
309
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
310
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
311
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
312
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
313
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
314
- [PASS] test_getFee_Default() (gas: 40577)
315
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42924, ~: 44486)
316
- [PASS] test_getFee_Rounding() (gas: 42835)
317
- [PASS] test_getFee_Specific() (gas: 63968)
318
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
319
- [PASS] test_setDefaultFeeBps() (gas: 39576)
320
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 33194, ~: 39667)
321
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
322
- [PASS] test_setFeeBps() (gas: 73871)
323
- Logs:
324
- Bound result 500
325
-
326
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64727, ~: 74224)
327
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
328
- [PASS] test_storageHash() (gas: 3426)
329
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 895.51ms (556.98ms CPU time)
379
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.36s (398.27ms CPU time)
330
380
 
331
381
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
332
382
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -344,7 +394,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
344
394
  [PASS] test_pauseConfig() (gas: 51028)
345
395
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
346
396
  [PASS] test_setDefaultPaused() (gas: 42196)
347
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30258, ~: 18826)
397
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30919, ~: 42446)
348
398
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
349
399
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
350
400
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -353,8 +403,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
353
403
  [PASS] test_setPaused_DormantData() (gas: 295234)
354
404
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
355
405
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
356
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43805, ~: 48696)
357
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223140, ~: 216804)
406
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43363, ~: 48533)
407
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223815, ~: 219722)
358
408
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
359
409
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
360
410
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -368,7 +418,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
368
418
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
369
419
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
370
420
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
371
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62331, ~: 50341)
421
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62442, ~: 73465)
372
422
  [PASS] test_storageHash() (gas: 3392)
373
423
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
374
424
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -376,41 +426,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
376
426
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
377
427
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
378
428
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
379
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.10s (573.39ms CPU time)
380
-
381
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
382
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
383
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
384
- [PASS] test_assertNotPaused_Success() (gas: 14934)
385
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
386
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
387
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
388
- [PASS] test_isPaused_Default() (gas: 44698)
389
- [PASS] test_isPaused_InitialState() (gas: 22070)
390
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
391
- [PASS] test_isPaused_Override() (gas: 69381)
392
- [PASS] test_isPaused_Specific() (gas: 46709)
393
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
394
- [PASS] test_pauseConfig() (gas: 45626)
395
- [PASS] test_setDefaultPaused() (gas: 39667)
396
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28408, ~: 39918)
397
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
398
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
399
- [PASS] test_setPaused() (gas: 43060)
400
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
401
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38000, ~: 43373)
402
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
403
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
404
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
405
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57891, ~: 46989)
406
- [PASS] test_storageHash() (gas: 3480)
407
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
408
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
409
- [PASS] test_whenNotPaused_Success() (gas: 41297)
410
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
411
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
412
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
413
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.20s (255.75ms CPU time)
429
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.49s (923.17ms CPU time)
414
430
 
415
431
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
416
432
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -418,357 +434,349 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
418
434
  ╭-----------------------------------+---------------------+-------+---------+----------╮
419
435
  | Contract | Selector | Calls | Reverts | Discards |
420
436
  +======================================================================================+
421
- | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
437
+ | RateLimiterRBACUpgradeableHandler | inflow | 589 | 0 | 0 |
422
438
  |-----------------------------------+---------------------+-------+---------+----------|
423
- | RateLimiterRBACUpgradeableHandler | outflow | 605 | 0 | 0 |
439
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
424
440
  |-----------------------------------+---------------------+-------+---------+----------|
425
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
441
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
426
442
  |-----------------------------------+---------------------+-------+---------+----------|
427
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
443
+ | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
428
444
  |-----------------------------------+---------------------+-------+---------+----------|
429
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
445
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 525 | 0 | 0 |
430
446
  |-----------------------------------+---------------------+-------+---------+----------|
431
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
447
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
432
448
  |-----------------------------------+---------------------+-------+---------+----------|
433
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
449
+ | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
434
450
  ╰-----------------------------------+---------------------+-------+---------+----------╯
435
451
 
436
452
  Logs:
437
- Bound result 394
438
- Bound result 9900000000000000105860
439
- Bound result 9900000020459633790843
440
- Bound result 9162
441
- Bound result 11
442
- Bound result 591813453729784658184
443
- Bound result 9900000220285574262147
444
- Bound result 102
445
- Bound result 7603
446
- Bound result 8571
447
- Bound result 5151353251323166404267
448
- Bound result 7716
449
- Bound result 3
450
- Bound result 61293732915997760
451
- Bound result 2010
452
- Bound result 9900000000000000010767
453
- Bound result 9910283639113465303767
454
- Bound result 1534
455
- Bound result 10
456
- Bound result 1063864286682268
457
- Bound result 100000000000000000003
458
- Bound result 9900000000000000002474
459
- Bound result 323
460
- Bound result 3449
461
- Bound result 456463743776
453
+ Bound result 9900000000000000004657
454
+ Bound result 9900000000000000010265
455
+ Bound result 3799
456
+ Bound result 40
457
+ Bound result 471076847998242
458
+ Bound result 9900000000585318166505
459
+ Bound result 9900000000000461215546
460
+ Bound result 3936
461
+ Bound result 56
462
+ Bound result 367187
463
+ Bound result 482856262021570
464
+ Bound result 1
465
+ Bound result 41625467
466
+ Bound result 4724
467
+ Bound result 933
468
+ Bound result 2951
469
+ Bound result 67
470
+ Bound result 9900000000000000000288
471
+ Bound result 9900000000000000000147
472
+ Bound result 3580
473
+ Bound result 6950
474
+ Bound result 281628
475
+ Bound result 55000295991327
476
+ Bound result 7872
462
477
 
463
478
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
464
479
 
465
480
  ╭-----------------------------------+---------------------+-------+---------+----------╮
466
481
  | Contract | Selector | Calls | Reverts | Discards |
467
482
  +======================================================================================+
468
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
483
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
469
484
  |-----------------------------------+---------------------+-------+---------+----------|
470
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
485
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
471
486
  |-----------------------------------+---------------------+-------+---------+----------|
472
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
487
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
473
488
  |-----------------------------------+---------------------+-------+---------+----------|
474
- | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
489
+ | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
475
490
  |-----------------------------------+---------------------+-------+---------+----------|
476
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
491
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 525 | 0 | 0 |
477
492
  |-----------------------------------+---------------------+-------+---------+----------|
478
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
493
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
479
494
  |-----------------------------------+---------------------+-------+---------+----------|
480
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
495
+ | RateLimiterRBACUpgradeableHandler | warp | 508 | 0 | 0 |
481
496
  ╰-----------------------------------+---------------------+-------+---------+----------╯
482
497
 
483
498
  Logs:
484
- Bound result 4189828018391291377
485
- Bound result 47394492027268
486
- Bound result 524592551439328493062
487
- Bound result 1520076
488
- Bound result 450592666
499
+ Bound result 892266825002218564463
500
+ Bound result 24943
501
+ Bound result 48080973958642
489
502
  Bound result 1
490
- Bound result 5855
491
- Bound result 1425644631
492
- Bound result 285
493
- Bound result 1622
494
- Bound result 2168666954214
495
- Bound result 8105
496
- Bound result 780488956411224122440
497
- Bound result 546
498
- Bound result 1062319570581567612782
503
+ Bound result 1
504
+ Bound result 6331
505
+ Bound result 7282222402
506
+ Bound result 0
507
+ Bound result 114
508
+ Bound result 311
509
+ Bound result 7909
510
+ Bound result 486
511
+ Bound result 3480
512
+ Bound result 63
513
+ Bound result 1581
514
+ Bound result 991855308653467622174
515
+ Bound result 335
516
+ Bound result 1632
517
+ Bound result 2630
499
518
 
500
519
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
501
520
 
502
521
  ╭-----------------------------------+---------------------+-------+---------+----------╮
503
522
  | Contract | Selector | Calls | Reverts | Discards |
504
523
  +======================================================================================+
505
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
524
+ | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
506
525
  |-----------------------------------+---------------------+-------+---------+----------|
507
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
508
527
  |-----------------------------------+---------------------+-------+---------+----------|
509
- | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | setConfig | 590 | 0 | 0 |
510
529
  |-----------------------------------+---------------------+-------+---------+----------|
511
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | setState | 586 | 0 | 0 |
512
531
  |-----------------------------------+---------------------+-------+---------+----------|
513
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
514
533
  |-----------------------------------+---------------------+-------+---------+----------|
515
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
516
535
  |-----------------------------------+---------------------+-------+---------+----------|
517
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
518
537
  ╰-----------------------------------+---------------------+-------+---------+----------╯
519
538
 
520
539
  Logs:
521
- Bound result 8533
522
- Bound result 10645
523
- Bound result 0
524
- Bound result 33540519
525
- Bound result 5294
540
+ Bound result 924
541
+ Bound result 9900000000000113687947
542
+ Bound result 3026855100912800275225
543
+ Bound result 10
544
+ Bound result 1102
545
+ Bound result 1327428229
546
+ Bound result 1667
547
+ Bound result 1763
548
+ Bound result 8360
549
+ Bound result 940
550
+ Bound result 19205746598204807676
551
+ Bound result 5165424778684176305164
552
+ Bound result 597
553
+ Bound result 3826595713139935830483
554
+ Bound result 9900000000667527740198
555
+ Bound result 9900000000000012413229
556
+ Bound result 6242
557
+ Bound result 2966
558
+ Bound result 7041109067069941
559
+ Bound result 6825
526
560
  Bound result 1
527
- Bound result 9900000000000000007332
528
- Bound result 9900000000000000000309
529
- Bound result 2333
530
- Bound result 736
531
- Bound result 6914264337534863096704
532
- Bound result 2443
533
- Bound result 0
534
- Bound result 62
535
- Bound result 2151543425464
536
- Bound result 3993
537
- Bound result 19440448047178731534003
538
- Bound result 60
539
- Bound result 2949
540
- Bound result 8849293358425808738337
541
- Bound result 9900000000000000000044
542
- Bound result 459
543
- Bound result 4712
544
561
 
545
562
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
546
563
 
547
564
  ╭-----------------------------------+---------------------+-------+---------+----------╮
548
565
  | Contract | Selector | Calls | Reverts | Discards |
549
566
  +======================================================================================+
550
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
567
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
551
568
  |-----------------------------------+---------------------+-------+---------+----------|
552
- | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
553
570
  |-----------------------------------+---------------------+-------+---------+----------|
554
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
555
572
  |-----------------------------------+---------------------+-------+---------+----------|
556
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
557
574
  |-----------------------------------+---------------------+-------+---------+----------|
558
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
559
576
  |-----------------------------------+---------------------+-------+---------+----------|
560
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
561
578
  |-----------------------------------+---------------------+-------+---------+----------|
562
- | RateLimiterRBACUpgradeableHandler | warp | 504 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
563
580
  ╰-----------------------------------+---------------------+-------+---------+----------╯
564
581
 
565
582
  Logs:
566
- Bound result 351
567
- Bound result 7749
568
- Bound result 100000000000000000000
569
- Bound result 9902750911154638769716
570
- Bound result 7605
571
- Bound result 12
572
- Bound result 8
573
- Bound result 1789
574
- Bound result 6053
575
- Bound result 8496
576
- Bound result 1882
577
- Bound result 4920
578
- Bound result 1218028033503548790827
579
- Bound result 100000000000000000000
580
- Bound result 9900003634225383659121
581
- Bound result 9748
582
- Bound result 10
583
- Bound result 6613
584
- Bound result 10177
585
- Bound result 736
586
- Bound result 556435973285872267847
587
- Bound result 6914264337593535947489
588
- Bound result 10
589
- Bound result 77
590
- Bound result 479
591
- Bound result 60
583
+ Bound result 477375498967
584
+ Bound result 8034233101975790764
585
+ Bound result 3582
586
+ Bound result 308
587
+ Bound result 2439649221
588
+ Bound result 687042986395345435819
589
+ Bound result 60652407780537240373
590
+ Bound result 543
591
+ Bound result 359
592
+ Bound result 10416
593
+ Bound result 70
592
594
 
593
595
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
594
596
 
595
597
  ╭-----------------------------------+---------------------+-------+---------+----------╮
596
598
  | Contract | Selector | Calls | Reverts | Discards |
597
599
  +======================================================================================+
598
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
599
601
  |-----------------------------------+---------------------+-------+---------+----------|
600
- | RateLimiterRBACUpgradeableHandler | outflow | 525 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
601
603
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
603
605
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
606
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
605
607
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
607
609
  |-----------------------------------+---------------------+-------+---------+----------|
608
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
609
611
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
611
613
  ╰-----------------------------------+---------------------+-------+---------+----------╯
612
614
 
613
615
  Logs:
614
- Bound result 15292
615
- Bound result 9900000000000000004016
616
- Bound result 9900000000000000004068
617
- Bound result 7355
618
- Bound result 3767
619
- Bound result 5863
620
- Bound result 2106285482
621
- Bound result 4279
622
- Bound result 2435
623
- Bound result 4560
624
- Bound result 207
625
- Bound result 9900000000000000009263
626
- Bound result 9900000000000000001741
627
- Bound result 728
628
- Bound result 4577
629
- Bound result 248388130754349567903
630
- Bound result 8121
631
- Bound result 6849999911050
616
+ Bound result 9
617
+ Bound result 7
618
+ Bound result 9900000000000000000272
619
+ Bound result 100000000000000000001
620
+ Bound result 4016
621
+ Bound result 11
622
+ Bound result 9900000000000000002862
623
+ Bound result 9900000000000000007402
624
+ Bound result 2685
625
+ Bound result 8529
626
+ Bound result 76062294
627
+ Bound result 9900000281474976710656
628
+ Bound result 9900000000000000000278
629
+ Bound result 3469
630
+ Bound result 6136
631
+ Bound result 4100
632
+ Bound result 217889148595
633
+ Bound result 7224316987524
634
+ Bound result 4
635
+ Bound result 9900000000000000001558
636
+ Bound result 9900000000000000000868
637
+ Bound result 2327
638
+ Bound result 1653
639
+ Bound result 454
632
640
 
633
641
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
634
642
 
635
643
  ╭-----------------------------------+---------------------+-------+---------+----------╮
636
644
  | Contract | Selector | Calls | Reverts | Discards |
637
645
  +======================================================================================+
638
- | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
646
+ | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
639
647
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
648
+ | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
641
649
  |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
650
+ | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
643
651
  |-----------------------------------+---------------------+-------+---------+----------|
644
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
645
653
  |-----------------------------------+---------------------+-------+---------+----------|
646
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
647
655
  |-----------------------------------+---------------------+-------+---------+----------|
648
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
649
657
  |-----------------------------------+---------------------+-------+---------+----------|
650
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
651
659
  ╰-----------------------------------+---------------------+-------+---------+----------╯
652
660
 
653
661
  Logs:
662
+ Bound result 362911365804212580631
663
+ Bound result 6
654
664
  Bound result 1
655
- Bound result 2
656
- Bound result 514264337593504336253
657
665
  Bound result 1
658
- Bound result 100000000000000000003
659
- Bound result 100000000000000000001
660
- Bound result 12
661
- Bound result 13
662
- Bound result 4113
663
- Bound result 3780385
664
- Bound result 3101375044
666
+ Bound result 9900000000000000005825
667
+ Bound result 9900000000000000004383
668
+ Bound result 969
669
+ Bound result 2155
670
+ Bound result 3691
671
+ Bound result 2982
672
+ Bound result 30547813668661959513
673
+ Bound result 1828023034
674
+ Bound result 0
675
+ Bound result 3
676
+ Bound result 667
665
677
  Bound result 0
666
- Bound result 20
667
- Bound result 114264337591167105461
668
- Bound result 3658252959230667437849
669
- Bound result 9900000000000000007507
670
- Bound result 9332
671
- Bound result 8080
672
- Bound result 493
678
+ Bound result 9900000000000079305694
679
+ Bound result 9900000000000000000330
680
+ Bound result 2764
681
+ Bound result 8438
682
+ Bound result 3788300595
683
+ Bound result 1
684
+ Bound result 100000000000000000000
685
+ Bound result 370984217352248303910
686
+ Bound result 14
687
+ Bound result 563
688
+ Bound result 589
689
+ Bound result 42
673
690
 
674
691
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
675
692
 
676
693
  ╭-----------------------------------+---------------------+-------+---------+----------╮
677
694
  | Contract | Selector | Calls | Reverts | Discards |
678
695
  +======================================================================================+
679
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
696
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
680
697
  |-----------------------------------+---------------------+-------+---------+----------|
681
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
682
699
  |-----------------------------------+---------------------+-------+---------+----------|
683
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
684
701
  |-----------------------------------+---------------------+-------+---------+----------|
685
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
686
703
  |-----------------------------------+---------------------+-------+---------+----------|
687
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
704
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
688
705
  |-----------------------------------+---------------------+-------+---------+----------|
689
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
706
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
690
707
  |-----------------------------------+---------------------+-------+---------+----------|
691
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | warp | 580 | 0 | 0 |
692
709
  ╰-----------------------------------+---------------------+-------+---------+----------╯
693
710
 
694
711
  Logs:
695
- Bound result 385
696
- Bound result 381253934824751960775
697
- Bound result 202411481346736595849
698
- Bound result 65
699
- Bound result 1294
700
- Bound result 510928831465498626491
701
- Bound result 10162
702
- Bound result 586317088068
703
- Bound result 1053
704
- Bound result 6742
705
- Bound result 6822
706
- Bound result 408
707
- Bound result 811
708
- Bound result 1
709
- Bound result 9900000000000000008524
710
- Bound result 9900000000000000008274
711
- Bound result 455
712
- Bound result 222
713
- Bound result 70596092963
712
+ Bound result 1005676547704627388
713
+ Bound result 878
714
+ Bound result 2
715
+ Bound result 174460798333056844691
716
+ Bound result 73
717
+ Bound result 210003
718
+ Bound result 8423
719
+ Bound result 42709623706940832
720
+ Bound result 166769
721
+ Bound result 25
722
+ Bound result 614
723
+ Bound result 902
724
+ Bound result 9900000000000000008027
725
+ Bound result 9900000280375465082881
726
+ Bound result 5610
727
+ Bound result 3954
728
+ Bound result 7347219028862
714
729
 
715
730
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
716
731
 
717
732
  ╭-----------------------------------+---------------------+-------+---------+----------╮
718
733
  | Contract | Selector | Calls | Reverts | Discards |
719
734
  +======================================================================================+
720
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
735
+ | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
721
736
  |-----------------------------------+---------------------+-------+---------+----------|
722
- | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
737
+ | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
723
738
  |-----------------------------------+---------------------+-------+---------+----------|
724
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
739
+ | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
725
740
  |-----------------------------------+---------------------+-------+---------+----------|
726
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
727
742
  |-----------------------------------+---------------------+-------+---------+----------|
728
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
729
744
  |-----------------------------------+---------------------+-------+---------+----------|
730
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 496 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
731
746
  |-----------------------------------+---------------------+-------+---------+----------|
732
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
733
748
  ╰-----------------------------------+---------------------+-------+---------+----------╯
734
749
 
735
750
  Logs:
736
- Bound result 6340
737
- Bound result 9900000000000860608793
738
- Bound result 9900000000000000002979
739
- Bound result 2701
740
- Bound result 2463
741
- Bound result 1050
742
- Bound result 8057453769841152176254
743
- Bound result 9900000000000303916461
744
- Bound result 12
745
- Bound result 9996
746
- Bound result 10837
747
- Bound result 123044204244
748
- Bound result 7011614283628061556687
749
- Bound result 211301860501578066470
750
- Bound result 430380534
751
- Bound result 0
752
- Bound result 9839551810646309798403
753
- Bound result 667360731311119448942
754
- Bound result 0
755
- Bound result 10948593457064272895574
756
- Bound result 14839731025799800177453
757
-
758
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.36s (9.01s CPU time)
759
-
760
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
761
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
762
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
763
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
764
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
765
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
766
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
767
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
768
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
769
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
770
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
771
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.42s (104.47ms CPU time)
751
+ Bound result 6265
752
+ Bound result 9900000000000000012601
753
+ Bound result 9900000006707446286716
754
+ Bound result 7643
755
+ Bound result 4947
756
+ Bound result 3084
757
+ Bound result 9900000000000000002388
758
+ Bound result 9900000000000000000063
759
+ Bound result 3451
760
+ Bound result 211
761
+ Bound result 393
762
+ Bound result 9900000151078970926803
763
+ Bound result 9900000000000000010135
764
+ Bound result 1633
765
+ Bound result 9767
766
+ Bound result 1
767
+ Bound result 9900000000030646054246
768
+ Bound result 4497770625481295901431
769
+ Bound result 4145
770
+ Bound result 4546
771
+ Bound result 4283
772
+ Bound result 46494
773
+ Bound result 158
774
+ Bound result 4055
775
+ Bound result 650042587866924992543
776
+ Bound result 1766
777
+ Bound result 3337
778
+
779
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.63s (9.45s CPU time)
772
780
 
773
781
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
774
782
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -776,286 +784,262 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
776
784
  ╭-----------------------------------+---------------------+-------+---------+----------╮
777
785
  | Contract | Selector | Calls | Reverts | Discards |
778
786
  +======================================================================================+
779
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
787
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
780
788
  |-----------------------------------+---------------------+-------+---------+----------|
781
- | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
782
790
  |-----------------------------------+---------------------+-------+---------+----------|
783
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
784
792
  |-----------------------------------+---------------------+-------+---------+----------|
785
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
786
794
  |-----------------------------------+---------------------+-------+---------+----------|
787
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
788
796
  |-----------------------------------+---------------------+-------+---------+----------|
789
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
790
798
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
792
800
  ╰-----------------------------------+---------------------+-------+---------+----------╯
793
801
 
794
802
  Logs:
795
- Bound result 913452357
796
- Bound result 6493257683296100855005
797
- Bound result 9900000000000000001900
798
- Bound result 2201
799
- Bound result 4785
800
- Bound result 2538945723306770908268
801
- Bound result 6546453859637986411447
803
+ Bound result 9469
804
+ Bound result 9900000000000000000009
805
+ Bound result 9900000001783843494217
806
+ Bound result 71
807
+ Bound result 9218
808
+ Bound result 2496
809
+ Bound result 8244
810
+ Bound result 2215456450
811
+ Bound result 1
812
+ Bound result 6196709533045
813
+ Bound result 18
802
814
  Bound result 0
803
- Bound result 7488678688646381762086
804
- Bound result 569
805
- Bound result 9900000000000000006449
806
- Bound result 9900000000000000000923
807
- Bound result 8338
808
- Bound result 1656
809
- Bound result 16472
810
- Bound result 4125
811
- Bound result 6529
812
- Bound result 136
813
- Bound result 28142141643096
814
- Bound result 5187
815
- Bound result 3914
816
- Bound result 408
817
- Bound result 951245578332867964
818
- Bound result 5185447928492872502362
819
- Bound result 1102
820
- Bound result 566480742064359026
815
+ Bound result 6914264337593471924739
816
+ Bound result 5087254751999
817
+ Bound result 16129
818
+ Bound result 6176
819
+ Bound result 21947
820
+ Bound result 3
821
+ Bound result 1
821
822
 
822
823
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
823
824
 
824
825
  ╭-----------------------------------+---------------------+-------+---------+----------╮
825
826
  | Contract | Selector | Calls | Reverts | Discards |
826
827
  +======================================================================================+
827
- | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
828
+ | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
828
829
  |-----------------------------------+---------------------+-------+---------+----------|
829
- | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
830
831
  |-----------------------------------+---------------------+-------+---------+----------|
831
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
832
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
832
833
  |-----------------------------------+---------------------+-------+---------+----------|
833
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | setState | 505 | 0 | 0 |
834
835
  |-----------------------------------+---------------------+-------+---------+----------|
835
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 604 | 0 | 0 |
836
837
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
838
839
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
840
841
  ╰-----------------------------------+---------------------+-------+---------+----------╯
841
842
 
842
843
  Logs:
843
- Bound result 1007245886733921236859
844
- Bound result 9900000000000000004228
845
- Bound result 5083937887562345968613
846
- Bound result 6394
847
- Bound result 2079
848
- Bound result 308
849
- Bound result 5484763113
850
- Bound result 5986418584854
851
- Bound result 1
852
- Bound result 516
853
- Bound result 9900000000000000000210
854
- Bound result 9900000000000000006775
855
- Bound result 7821
856
- Bound result 3997
857
- Bound result 45603235181734825
858
- Bound result 38724799385397
859
- Bound result 1
860
- Bound result 56
861
- Bound result 1
862
- Bound result 9179049022188880425149
863
- Bound result 6391695213217127289347
864
- Bound result 7360
865
- Bound result 6214
844
+ Bound result 261
845
+ Bound result 1997
846
+ Bound result 8304442763200991463207
847
+ Bound result 9900000000000000005688
848
+ Bound result 3106
849
+ Bound result 2315
850
+ Bound result 29
851
+ Bound result 6123
852
+ Bound result 3779139093168459358016
853
+ Bound result 8781
854
+ Bound result 126
855
+ Bound result 256
856
+ Bound result 9567237898383377834282
857
+ Bound result 3669067167703244401485
858
+ Bound result 399
859
+ Bound result 15956269416814346076398
860
+ Bound result 4078495893759451048
861
+ Bound result 8581
866
862
 
867
863
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
868
864
 
869
865
  ╭-----------------------------------+---------------------+-------+---------+----------╮
870
866
  | Contract | Selector | Calls | Reverts | Discards |
871
867
  +======================================================================================+
872
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
868
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
873
869
  |-----------------------------------+---------------------+-------+---------+----------|
874
- | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
870
+ | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
875
871
  |-----------------------------------+---------------------+-------+---------+----------|
876
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
872
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
877
873
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | setState | 503 | 0 | 0 |
874
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
879
875
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
881
877
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 597 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
883
879
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
885
881
  ╰-----------------------------------+---------------------+-------+---------+----------╯
886
882
 
887
883
  Logs:
888
- Bound result 100000000000000000002
889
- Bound result 9900034332724180812296
890
- Bound result 9995
891
- Bound result 4598
892
- Bound result 2370
893
- Bound result 9903058954115124978751
894
- Bound result 7457036841350673799664
884
+ Bound result 9901415285830799406079
885
+ Bound result 100000000000000000001
886
+ Bound result 8801
895
887
  Bound result 10
896
- Bound result 6683
897
- Bound result 1
898
- Bound result 9900000000000000002175
899
- Bound result 9900000000000000005594
900
- Bound result 170
901
- Bound result 8395
902
- Bound result 2427
903
- Bound result 4089
904
- Bound result 206
905
- Bound result 4623
906
- Bound result 276
907
- Bound result 1359
908
- Bound result 11901723978931880151758
909
- Bound result 14406004514245552456
910
- Bound result 510
888
+ Bound result 3931
889
+ Bound result 762669523
890
+ Bound result 629
891
+ Bound result 4116
892
+ Bound result 252
893
+ Bound result 8119542849359252503
894
+ Bound result 428
895
+ Bound result 710638805515675876514
896
+ Bound result 2429228249877084500344
897
+ Bound result 10
898
+ Bound result 6241
899
+ Bound result 1256691028207
900
+ Bound result 7701
911
901
 
912
902
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
913
903
 
914
904
  ╭-----------------------------------+---------------------+-------+---------+----------╮
915
905
  | Contract | Selector | Calls | Reverts | Discards |
916
906
  +======================================================================================+
917
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
907
+ | RateLimiterRBACUpgradeableHandler | inflow | 598 | 0 | 0 |
918
908
  |-----------------------------------+---------------------+-------+---------+----------|
919
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
909
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
920
910
  |-----------------------------------+---------------------+-------+---------+----------|
921
- | RateLimiterRBACUpgradeableHandler | setConfig | 506 | 0 | 0 |
911
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
922
912
  |-----------------------------------+---------------------+-------+---------+----------|
923
- | RateLimiterRBACUpgradeableHandler | setState | 590 | 0 | 0 |
913
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
924
914
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
915
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
926
916
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 607 | 0 | 0 |
917
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
928
918
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | warp | 520 | 0 | 0 |
919
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
930
920
  ╰-----------------------------------+---------------------+-------+---------+----------╯
931
921
 
932
922
  Logs:
933
- Bound result 62439116953074
934
- Bound result 208602550118323724314
935
- Bound result 0
936
- Bound result 1968062954730607005301
937
- Bound result 2156287993793019401
923
+ Bound result 6934901070
924
+ Bound result 9900000000000000007260
925
+ Bound result 9900000000000000007716
926
+ Bound result 5460
927
+ Bound result 4090
928
+ Bound result 7203529
929
+ Bound result 9900000000000000000030
930
+ Bound result 6914264337593535947491
931
+ Bound result 531
932
+ Bound result 99
933
+ Bound result 60691547
934
+ Bound result 46
935
+ Bound result 1
936
+ Bound result 14415059311325869375184
937
+ Bound result 9900000000000000007259
938
+ Bound result 193830430
939
+ Bound result 3013121952
938
940
  Bound result 0
939
- Bound result 528
940
- Bound result 28261422381000768
941
- Bound result 28
942
- Bound result 8478
943
- Bound result 3412
944
- Bound result 206
945
- Bound result 8551
946
- Bound result 9900000000000000000010
947
- Bound result 6914264337593535947490
948
- Bound result 156
949
- Bound result 10
950
- Bound result 253
951
- Bound result 9900000000000015786030
952
- Bound result 100000000000000000000
953
- Bound result 11
954
- Bound result 13
955
- Bound result 5
956
- Bound result 57
957
- Bound result 9
958
- Bound result 6866
959
- Bound result 64
960
- Bound result 96205216181
961
- Bound result 5
962
- Bound result 13128059007170
963
- Bound result 914928294
964
- Bound result 11
941
+ Bound result 883
942
+ Bound result 613063844
943
+ Bound result 743
944
+ Bound result 4257
965
945
 
966
946
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
967
947
 
968
948
  ╭-----------------------------------+---------------------+-------+---------+----------╮
969
949
  | Contract | Selector | Calls | Reverts | Discards |
970
950
  +======================================================================================+
971
- | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
951
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
972
952
  |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
953
+ | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
974
954
  |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
976
956
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
978
958
  |-----------------------------------+---------------------+-------+---------+----------|
979
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 600 | 0 | 0 |
959
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
980
960
  |-----------------------------------+---------------------+-------+---------+----------|
981
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
961
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
982
962
  |-----------------------------------+---------------------+-------+---------+----------|
983
- | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
984
964
  ╰-----------------------------------+---------------------+-------+---------+----------╯
985
965
 
986
966
  Logs:
987
- Bound result 151426663
988
- Bound result 544428469867
989
- Bound result 8677
990
- Bound result 4729
967
+ Bound result 46
968
+ Bound result 9900000000000000002369
969
+ Bound result 4239385251221453127401
970
+ Bound result 1132
971
+ Bound result 424
972
+ Bound result 3147968560
973
+ Bound result 6169774683735581708984
991
974
  Bound result 1
992
- Bound result 9900000000000193830430
993
- Bound result 9900000000001285328099
994
- Bound result 9937
995
- Bound result 4604
996
- Bound result 458
997
- Bound result 9900000001676812001737
998
- Bound result 9900000000000974432457
999
- Bound result 12
1000
- Bound result 5520
1001
- Bound result 100000000000000000003
1002
- Bound result 9900000063690226264031
1003
- Bound result 6241
1004
- Bound result 11
1005
- Bound result 6773
1006
- Bound result 2480
1007
- Bound result 0
1008
- Bound result 2
1009
- Bound result 14391212402129013107823
1010
- Bound result 3
975
+ Bound result 303
976
+ Bound result 9900000000000000015257
977
+ Bound result 9900000000000000000012
978
+ Bound result 7778
979
+ Bound result 801
980
+ Bound result 805
981
+ Bound result 3254208513255015249982
982
+ Bound result 48208432554046866818
983
+ Bound result 12222
984
+ Bound result 211
985
+ Bound result 15366
986
+ Bound result 4449139783884736787653
1011
987
 
1012
988
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1013
989
 
1014
990
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1015
991
  | Contract | Selector | Calls | Reverts | Discards |
1016
992
  +======================================================================================+
1017
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
993
+ | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
1018
994
  |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
995
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1020
996
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
997
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
1022
998
  |-----------------------------------+---------------------+-------+---------+----------|
1023
- | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
999
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1024
1000
  |-----------------------------------+---------------------+-------+---------+----------|
1025
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
1001
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
1026
1002
  |-----------------------------------+---------------------+-------+---------+----------|
1027
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
1003
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1028
1004
  |-----------------------------------+---------------------+-------+---------+----------|
1029
- | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1005
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1030
1006
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1031
1007
 
1032
1008
  Logs:
1033
- Bound result 9900000000000000010001
1034
- Bound result 9900000000000000006948
1035
- Bound result 1493
1036
- Bound result 8163
1037
- Bound result 9436
1038
- Bound result 2861
1009
+ Bound result 9952659835512678595327
1010
+ Bound result 9900000035637338670839
1011
+ Bound result 6168
1012
+ Bound result 3064
1013
+ Bound result 7390394828254763335
1014
+ Bound result 6443386816184699701132
1015
+ Bound result 9900000000000058699792
1016
+ Bound result 144393250314336244819
1017
+ Bound result 1967
1018
+ Bound result 35
1019
+ Bound result 74
1020
+ Bound result 435989
1021
+ Bound result 1294
1022
+ Bound result 16777214
1023
+ Bound result 1
1024
+ Bound result 17904204769802992211826
1025
+ Bound result 73748292
1026
+ Bound result 1
1027
+ Bound result 48
1028
+ Bound result 67817132818912067001
1039
1029
  Bound result 0
1040
- Bound result 6914264337513503506069
1041
- Bound result 1461499681722
1030
+ Bound result 3
1031
+ Bound result 9602171
1032
+ Bound result 107508871725865425239
1042
1033
  Bound result 1
1043
- Bound result 4985
1044
- Bound result 1000000000000000000000
1045
- Bound result 1324
1046
- Bound result 1734
1047
- Bound result 9900000000000000008107
1048
- Bound result 9900000000000000007742
1049
- Bound result 8611
1050
- Bound result 1853
1051
- Bound result 878
1052
- Bound result 8040
1053
- Bound result 876
1054
- Bound result 970
1055
- Bound result 15330315726875253390422
1056
- Bound result 1577214504
1057
- Bound result 26
1058
- Bound result 6012576
1034
+ Bound result 7070
1035
+ Bound result 85
1036
+ Bound result 0
1037
+ Bound result 9900000000010015064986
1038
+ Bound result 9901036360965938407809
1039
+ Bound result 1104
1040
+ Bound result 10
1041
+ Bound result 18
1042
+ Bound result 2697
1059
1043
 
1060
1044
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1061
1045
 
@@ -1064,217 +1048,133 @@ Logs:
1064
1048
  +======================================================================================+
1065
1049
  | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1066
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1067
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
1068
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1069
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
1070
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1071
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
1072
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1073
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1074
1058
  |-----------------------------------+---------------------+-------+---------+----------|
1075
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1076
1060
  |-----------------------------------+---------------------+-------+---------+----------|
1077
- | RateLimiterRBACUpgradeableHandler | warp | 587 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
1078
1062
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1079
1063
 
1080
1064
  Logs:
1081
- Bound result 6812
1082
- Bound result 24
1083
- Bound result 1127
1084
- Bound result 5350
1085
- Bound result 57573617408
1086
- Bound result 556
1087
- Bound result 54060530149852759671
1088
- Bound result 8019
1089
- Bound result 799
1090
- Bound result 9900000000005407462424
1091
- Bound result 8862632964653491408180
1092
- Bound result 6239
1093
- Bound result 16
1094
- Bound result 8425
1095
- Bound result 6328418789405371812859
1096
- Bound result 9908533550220498744927
1097
- Bound result 2360
1098
- Bound result 2158
1099
- Bound result 2949
1065
+ Bound result 9900000000000000001245
1066
+ Bound result 9900000000000000003043
1067
+ Bound result 6078
1068
+ Bound result 7361
1069
+ Bound result 9900000000000002188897
1070
+ Bound result 9910944422408647684879
1071
+ Bound result 166
1072
+ Bound result 2088
1073
+ Bound result 3765
1074
+ Bound result 1
1075
+ Bound result 17
1076
+ Bound result 5242999441846676366739
1077
+ Bound result 603720149
1078
+ Bound result 116
1079
+ Bound result 2676
1080
+ Bound result 1674898048722826326045
1081
+ Bound result 2466
1082
+ Bound result 4577
1100
1083
 
1101
1084
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1102
1085
 
1103
1086
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1104
1087
  | Contract | Selector | Calls | Reverts | Discards |
1105
1088
  +======================================================================================+
1106
- | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1107
1090
  |-----------------------------------+---------------------+-------+---------+----------|
1108
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1109
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1110
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1111
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1112
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
1113
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1114
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1115
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1116
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 522 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
1117
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1118
- | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1119
1102
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1120
1103
 
1121
1104
  Logs:
1122
- Bound result 1132927192622260117763
1123
- Bound result 9900000000000000008458
1124
- Bound result 9900000000000000004163
1125
- Bound result 6932
1126
- Bound result 9600
1127
- Bound result 3805
1128
- Bound result 532
1129
- Bound result 1
1130
- Bound result 1266
1131
- Bound result 9488
1132
- Bound result 1
1133
- Bound result 11650442
1134
- Bound result 3351601249050388404152
1135
- Bound result 1004340946196
1136
- Bound result 0
1137
- Bound result 82
1138
- Bound result 519573192280434657065
1139
- Bound result 3
1140
- Bound result 1
1141
- Bound result 19642052500818990864537
1142
- Bound result 9164068459275544705
1143
- Bound result 1
1144
- Bound result 9900000000000000001593
1145
- Bound result 9900000000000000010221
1146
- Bound result 7402
1147
- Bound result 13
1148
- Bound result 1234
1149
- Bound result 275
1150
- Bound result 924
1151
- Bound result 1
1105
+ Bound result 485
1106
+ Bound result 798227
1107
+ Bound result 1719
1108
+ Bound result 1113933
1109
+ Bound result 10235059220501686269
1110
+ Bound result 718
1111
+ Bound result 376269980898323
1112
+ Bound result 7
1113
+ Bound result 3279977373066762779130
1114
+ Bound result 9900000000035163696283
1115
+ Bound result 953
1116
+ Bound result 12
1117
+ Bound result 883776954
1118
+ Bound result 707
1119
+ Bound result 2
1120
+ Bound result 630
1121
+
1122
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.62s (9.59s CPU time)
1123
+
1124
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1125
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1126
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1127
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44845, ~: 46317)
1128
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1129
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1130
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1131
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1132
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1133
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1134
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1135
+ [PASS] test_getFee_Default() (gas: 40577)
1136
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43118, ~: 44486)
1137
+ [PASS] test_getFee_Rounding() (gas: 42835)
1138
+ [PASS] test_getFee_Specific() (gas: 63968)
1139
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1140
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1141
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32782, ~: 39667)
1142
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1143
+ [PASS] test_setFeeBps() (gas: 73871)
1144
+ Logs:
1145
+ Bound result 500
1152
1146
 
1153
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.42s (8.48s CPU time)
1147
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65556, ~: 74224)
1148
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1149
+ [PASS] test_storageHash() (gas: 3426)
1150
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.87s (679.10ms CPU time)
1154
1151
 
1155
1152
  Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1156
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25725, ~: 38584)
1153
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26112, ~: 38584)
1157
1154
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1158
1155
  [PASS] test_assertNotPaused_Success() (gas: 12516)
1159
1156
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1160
1157
  [PASS] test_isPaused_InitialState() (gas: 15595)
1161
1158
  [PASS] test_pause() (gas: 39592)
1162
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27803, ~: 16219)
1159
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28016, ~: 16219)
1163
1160
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1164
1161
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1165
1162
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1166
1163
  [PASS] test_storageHash() (gas: 3414)
1167
1164
  [PASS] test_unpause() (gas: 31115)
1168
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40498, ~: 42029)
1165
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40486, ~: 42029)
1169
1166
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1170
1167
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1171
1168
  [PASS] test_whenNotPaused_Success() (gas: 38744)
1172
1169
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1173
1170
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1174
1171
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1175
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 11.88s (205.77ms CPU time)
1176
-
1177
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1178
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1179
- [PASS] test_constructor_InitialMode() (gas: 15778)
1180
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1181
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1182
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1183
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1184
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1185
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1186
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1187
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1188
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1189
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1190
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1191
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1192
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1193
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1194
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1195
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1196
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1197
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1198
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1199
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1200
- [PASS] test_setMode_Blacklist() (gas: 42605)
1201
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1202
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1203
- [PASS] test_setMode_Whitelist() (gas: 42714)
1204
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1205
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1206
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1207
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1208
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1209
- [PASS] test_storageHash() (gas: 3480)
1210
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.88s (422.52ms CPU time)
1211
-
1212
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1213
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1214
- [PASS] test_constructor_InitialMode() (gas: 15578)
1215
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1216
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1217
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1218
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1219
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1220
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1221
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1222
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1223
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1224
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1225
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1226
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1227
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1228
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1229
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1230
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1231
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1232
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1233
- [PASS] test_setMode_Blacklist() (gas: 40021)
1234
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1235
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1236
- [PASS] test_setMode_Whitelist() (gas: 40108)
1237
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1238
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1239
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1240
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1241
- [PASS] test_storageHash() (gas: 3458)
1242
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.88s (553.17ms CPU time)
1243
-
1244
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1245
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1246
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1247
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47672, ~: 48966)
1248
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1249
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1250
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1251
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1252
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1253
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1254
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1255
- [PASS] test_getFee_Default() (gas: 43108)
1256
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45988, ~: 47017)
1257
- [PASS] test_getFee_Rounding() (gas: 45449)
1258
- [PASS] test_getFee_Specific() (gas: 66985)
1259
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1260
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1261
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35320, ~: 42268)
1262
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1263
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1264
- [PASS] test_setFeeBps() (gas: 77237)
1265
- Logs:
1266
- Bound result 500
1267
-
1268
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69376, ~: 77570)
1269
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1270
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1271
- [PASS] test_storageHash() (gas: 3436)
1272
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.52s (579.98ms CPU time)
1172
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 11.02s (119.24ms CPU time)
1273
1173
 
1274
1174
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1275
1175
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1276
1176
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1277
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 803179, ~: 222888)
1177
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 773494, ~: 240875)
1278
1178
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1279
1179
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1280
1180
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1287,12 +1187,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1287
1187
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1288
1188
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1289
1189
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1290
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11233787, ~: 10577063)
1190
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11092248, ~: 10383900)
1291
1191
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1292
1192
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1293
1193
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1294
1194
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1295
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 759411, ~: 184347)
1195
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 772402, ~: 202070)
1296
1196
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1297
1197
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1298
1198
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1305,10 +1205,76 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1305
1205
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1306
1206
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1307
1207
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1308
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11180027, ~: 10415027)
1208
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11189645, ~: 10497750)
1309
1209
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1310
1210
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1311
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.52s (28.45s CPU time)
1211
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.02s (26.10s CPU time)
1212
+
1213
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1214
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1215
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1216
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47487, ~: 48966)
1217
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1218
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1219
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1220
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1221
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1222
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1223
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1224
+ [PASS] test_getFee_Default() (gas: 43108)
1225
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45579, ~: 47017)
1226
+ [PASS] test_getFee_Rounding() (gas: 45449)
1227
+ [PASS] test_getFee_Specific() (gas: 66985)
1228
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1229
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1230
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35801, ~: 42268)
1231
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1232
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1233
+ [PASS] test_setFeeBps() (gas: 77237)
1234
+ Logs:
1235
+ Bound result 500
1236
+
1237
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69201, ~: 77570)
1238
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1239
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1240
+ [PASS] test_storageHash() (gas: 3436)
1241
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 11.02s (675.54ms CPU time)
1242
+
1243
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1244
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1245
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1246
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1247
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1248
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1249
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1250
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1251
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1252
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1253
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1254
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1255
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1256
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1257
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1258
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1259
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1260
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1261
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1262
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1263
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1264
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1265
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1266
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1267
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1268
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1269
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1270
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1271
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1272
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1273
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1274
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1275
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1276
+ [PASS] test_storageHash() (gas: 3380)
1277
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 11.02s (660.68ms CPU time)
1312
1278
 
1313
- Ran 17 test suites in 12.55s (68.54s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1314
- ⏳ forge test: 28.778s
1279
+ Ran 17 test suites in 11.07s (63.47s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1280
+ ⏳ forge test: 25.805s