@layerzerolabs/utils-upgradeable-evm-contracts 0.2.108 → 0.2.109

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 +679 -671
  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:127296) [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:148009) [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.19s
16
+ Solc 0.8.22 finished in 12.28s
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:
@@ -172,7 +172,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
172
172
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
173
  [PASS] test_storageHash() (gas: 3414)
174
174
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 52.58ms (41.60ms CPU time)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 16.18ms (11.87ms CPU time)
176
176
 
177
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -215,7 +215,15 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
216
  [PASS] test_storageHash() (gas: 3392)
217
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 52.00ms (37.49ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 21.94ms (16.04ms CPU time)
219
+
220
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
+ [PASS] test_feeDeposit() (gas: 17576)
222
+ [PASS] test_setFeeDeposit() (gas: 24995)
223
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
224
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
+ [PASS] test_storageHash() (gas: 3337)
226
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 43.07ms (42.57ms CPU time)
219
227
 
220
228
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
221
229
  [PASS] test_feeDeposit() (gas: 17638)
@@ -224,15 +232,7 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
224
232
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
225
233
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
226
234
  [PASS] test_storageHash() (gas: 3315)
227
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 123.67ms (122.01ms CPU time)
228
-
229
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
230
- [PASS] test_feeDeposit() (gas: 17576)
231
- [PASS] test_setFeeDeposit() (gas: 24995)
232
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
233
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
234
- [PASS] test_storageHash() (gas: 3337)
235
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 291.77ms (288.65ms CPU time)
235
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 48.23ms (47.53ms CPU time)
236
236
 
237
237
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
238
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
@@ -245,37 +245,128 @@ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
245
245
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
246
246
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
247
247
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
248
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 304.21ms (303.97ms CPU time)
248
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 130.44ms (130.22ms CPU time)
249
249
 
250
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
251
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
252
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
253
- [PASS] test_assertNotPaused_Success() (gas: 12539)
254
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
255
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
256
- [PASS] test_isPaused_InitialState() (gas: 15629)
257
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
258
- [PASS] test_multipleRoleGrants() (gas: 394130)
259
- [PASS] test_pause() (gas: 42109)
260
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
261
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
262
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30070, ~: 18756)
263
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
264
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
265
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
266
- [PASS] test_setPaused_Success() (gas: 40691)
267
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
268
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
250
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
251
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
252
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
253
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
254
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
255
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
256
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
257
+ [PASS] test_isPaused_Default() (gas: 44698)
258
+ [PASS] test_isPaused_InitialState() (gas: 22070)
259
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
260
+ [PASS] test_isPaused_Override() (gas: 69381)
261
+ [PASS] test_isPaused_Specific() (gas: 46709)
262
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
263
+ [PASS] test_pauseConfig() (gas: 45626)
264
+ [PASS] test_setDefaultPaused() (gas: 39667)
265
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27936, ~: 16332)
266
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
267
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
268
+ [PASS] test_setPaused() (gas: 43060)
269
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
270
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38059, ~: 43373)
271
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
272
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
273
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
274
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57936, ~: 46989)
275
+ [PASS] test_storageHash() (gas: 3480)
276
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
277
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
278
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
279
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
280
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
281
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
282
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 376.07ms (594.69ms CPU time)
283
+
284
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
285
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25828, ~: 38584)
286
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
287
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
288
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
289
+ [PASS] test_isPaused_InitialState() (gas: 15595)
290
+ [PASS] test_pause() (gas: 39592)
291
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28016, ~: 16219)
292
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
293
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
294
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
269
295
  [PASS] test_storageHash() (gas: 3414)
270
- [PASS] test_unpause() (gas: 35177)
271
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41585, ~: 38860)
272
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
273
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
274
- [PASS] test_whenNotPaused_Success() (gas: 38800)
275
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
276
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
277
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
278
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 709.27ms (1.09s CPU time)
296
+ [PASS] test_unpause() (gas: 31115)
297
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40439, ~: 38893)
298
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
299
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
300
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
301
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
302
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
303
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
304
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.50s (339.64ms CPU time)
305
+
306
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
307
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
308
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
309
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47092, ~: 48966)
310
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
311
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
312
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
313
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
314
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
315
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
316
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
317
+ [PASS] test_getFee_Default() (gas: 43108)
318
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45855, ~: 47017)
319
+ [PASS] test_getFee_Rounding() (gas: 45449)
320
+ [PASS] test_getFee_Specific() (gas: 66985)
321
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
322
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
323
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35673, ~: 42268)
324
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
325
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
326
+ [PASS] test_setFeeBps() (gas: 77237)
327
+ Logs:
328
+ Bound result 500
329
+
330
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68831, ~: 77570)
331
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
332
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
333
+ [PASS] test_storageHash() (gas: 3436)
334
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.63s (929.52ms CPU time)
335
+
336
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
337
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
338
+ [PASS] test_constructor_InitialMode() (gas: 15778)
339
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
340
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
341
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
342
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
343
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
344
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
345
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
346
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
347
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
348
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
349
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
350
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
351
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
352
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
353
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
354
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
355
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
356
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
357
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
358
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
359
+ [PASS] test_setMode_Blacklist() (gas: 42605)
360
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
361
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
362
+ [PASS] test_setMode_Whitelist() (gas: 42714)
363
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
364
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
365
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
366
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
367
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
368
+ [PASS] test_storageHash() (gas: 3480)
369
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.80s (788.17ms CPU time)
279
370
 
280
371
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
281
372
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -293,7 +384,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
293
384
  [PASS] test_pauseConfig() (gas: 51028)
294
385
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
295
386
  [PASS] test_setDefaultPaused() (gas: 42196)
296
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30730, ~: 42446)
387
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
297
388
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
298
389
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
299
390
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -302,8 +393,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
302
393
  [PASS] test_setPaused_DormantData() (gas: 295234)
303
394
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
304
395
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
305
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43283, ~: 48533)
306
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223991, ~: 219722)
396
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43647, ~: 48696)
397
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223131, ~: 216804)
307
398
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
308
399
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
309
400
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -317,7 +408,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
317
408
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
318
409
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
319
410
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
320
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62628, ~: 73465)
411
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62469, ~: 73465)
321
412
  [PASS] test_storageHash() (gas: 3392)
322
413
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
323
414
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -325,107 +416,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
325
416
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
326
417
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
327
418
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
328
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 961.87ms (1.62s CPU time)
329
-
330
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
331
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
332
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
333
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
334
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
335
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
336
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
337
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
338
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
339
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
340
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
341
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
342
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
343
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
344
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
345
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
346
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
347
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
348
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
349
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
350
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
351
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
352
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
353
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
354
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
355
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
356
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
357
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
358
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
359
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
360
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
361
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
362
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
363
- [PASS] test_storageHash() (gas: 3380)
364
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.15s (1.56s CPU time)
365
-
366
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
367
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
368
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
369
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47777, ~: 48966)
370
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
371
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
372
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
373
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
374
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
375
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
376
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
377
- [PASS] test_getFee_Default() (gas: 43108)
378
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45616, ~: 47017)
379
- [PASS] test_getFee_Rounding() (gas: 45449)
380
- [PASS] test_getFee_Specific() (gas: 66985)
381
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
382
- [PASS] test_setDefaultFeeBps() (gas: 42199)
383
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35413, ~: 42268)
384
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
385
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
386
- [PASS] test_setFeeBps() (gas: 77237)
387
- Logs:
388
- Bound result 500
389
-
390
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68930, ~: 77570)
391
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
392
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
393
- [PASS] test_storageHash() (gas: 3436)
394
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.87s (2.44s CPU time)
395
-
396
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
397
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
398
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
399
- [PASS] test_assertNotPaused_Success() (gas: 14934)
400
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
401
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
402
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
403
- [PASS] test_isPaused_Default() (gas: 44698)
404
- [PASS] test_isPaused_InitialState() (gas: 22070)
405
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
406
- [PASS] test_isPaused_Override() (gas: 69381)
407
- [PASS] test_isPaused_Specific() (gas: 46709)
408
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
409
- [PASS] test_pauseConfig() (gas: 45626)
410
- [PASS] test_setDefaultPaused() (gas: 39667)
411
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
412
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
413
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
414
- [PASS] test_setPaused() (gas: 43060)
415
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
416
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38139, ~: 43373)
417
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
418
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
419
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
420
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58321, ~: 69608)
421
- [PASS] test_storageHash() (gas: 3480)
422
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
423
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
424
- [PASS] test_whenNotPaused_Success() (gas: 41297)
425
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
426
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
427
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
428
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.04s (1.07s CPU time)
419
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.25s (1.47s CPU time)
429
420
 
430
421
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
431
422
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -433,349 +424,343 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
433
424
  ╭-----------------------------------+---------------------+-------+---------+----------╮
434
425
  | Contract | Selector | Calls | Reverts | Discards |
435
426
  +======================================================================================+
436
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
427
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
437
428
  |-----------------------------------+---------------------+-------+---------+----------|
438
- | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
429
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
439
430
  |-----------------------------------+---------------------+-------+---------+----------|
440
- | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
431
+ | RateLimiterRBACUpgradeableHandler | setConfig | 586 | 0 | 0 |
441
432
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
433
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
443
434
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
435
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
445
436
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 582 | 0 | 0 |
437
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 529 | 0 | 0 |
447
438
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
439
+ | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
449
440
  ╰-----------------------------------+---------------------+-------+---------+----------╯
450
441
 
451
442
  Logs:
452
- Bound result 889
453
- Bound result 627436130061
454
- Bound result 15
455
- Bound result 0
456
- Bound result 120358582150432007717
457
- Bound result 991855308653465052078
443
+ Bound result 562417256436728490684
444
+ Bound result 3
445
+ Bound result 1747509149589001734
446
+ Bound result 403492399065
458
447
  Bound result 0
459
- Bound result 9900000000000000000572
460
- Bound result 8537174172434061117428
461
- Bound result 2208
462
- Bound result 5521
448
+ Bound result 523001
463
449
  Bound result 5818
464
- Bound result 51185
465
- Bound result 25648464109
466
- Bound result 1844383
467
- Bound result 223347920178106
468
- Bound result 7702
469
- Bound result 20659
450
+ Bound result 5638
451
+ Bound result 0
452
+ Bound result 3
453
+ Bound result 15325959122739312889
454
+ Bound result 1508357
455
+ Bound result 514264337593504336253
456
+ Bound result 0
457
+ Bound result 1431001806761610251604
458
+ Bound result 9900000000000000003932
459
+ Bound result 9900000000000000005864
460
+ Bound result 9522
461
+ Bound result 260
462
+ Bound result 15
463
+ Bound result 322960284402175559713
470
464
 
471
465
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
472
466
 
473
467
  ╭-----------------------------------+---------------------+-------+---------+----------╮
474
468
  | Contract | Selector | Calls | Reverts | Discards |
475
469
  +======================================================================================+
476
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
470
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
477
471
  |-----------------------------------+---------------------+-------+---------+----------|
478
- | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
472
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
479
473
  |-----------------------------------+---------------------+-------+---------+----------|
480
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
474
+ | RateLimiterRBACUpgradeableHandler | setConfig | 510 | 0 | 0 |
481
475
  |-----------------------------------+---------------------+-------+---------+----------|
482
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
476
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
483
477
  |-----------------------------------+---------------------+-------+---------+----------|
484
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
478
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
485
479
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
480
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
487
481
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
482
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
489
483
  ╰-----------------------------------+---------------------+-------+---------+----------╯
490
484
 
491
485
  Logs:
492
- Bound result 2865685763141962524
493
- Bound result 9900000000024903889121
494
- Bound result 9900000012696961343290
495
- Bound result 864
496
- Bound result 4001
497
- Bound result 29643070
498
- Bound result 1051319012952
499
- Bound result 0
500
- Bound result 111568170397352083
501
- Bound result 1943952718001
502
- Bound result 0
503
- Bound result 3208
504
- Bound result 9900000000000439538413
505
- Bound result 8612125742280116725620
506
- Bound result 9996
507
- Bound result 288
508
- Bound result 2128
509
- Bound result 13300575257107199
510
- Bound result 0
511
- Bound result 4028
512
- Bound result 9911736
486
+ Bound result 2
487
+ Bound result 5837988
488
+ Bound result 993
489
+ Bound result 2036718347
490
+ Bound result 8717
491
+ Bound result 19472566203
492
+ Bound result 415
493
+ Bound result 23
494
+ Bound result 1777488296135387154394
495
+ Bound result 1821
496
+ Bound result 564
497
+ Bound result 10244
498
+ Bound result 647
499
+ Bound result 1685
513
500
 
514
501
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
515
502
 
516
503
  ╭-----------------------------------+---------------------+-------+---------+----------╮
517
504
  | Contract | Selector | Calls | Reverts | Discards |
518
505
  +======================================================================================+
519
- | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
506
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
520
507
  |-----------------------------------+---------------------+-------+---------+----------|
521
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
508
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
522
509
  |-----------------------------------+---------------------+-------+---------+----------|
523
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
510
+ | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
524
511
  |-----------------------------------+---------------------+-------+---------+----------|
525
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
512
+ | RateLimiterRBACUpgradeableHandler | setState | 591 | 0 | 0 |
526
513
  |-----------------------------------+---------------------+-------+---------+----------|
527
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
514
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
528
515
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
516
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
530
517
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
532
519
  ╰-----------------------------------+---------------------+-------+---------+----------╯
533
520
 
534
521
  Logs:
535
- Bound result 2739854339
536
- Bound result 0
537
- Bound result 94165
538
- Bound result 1
539
- Bound result 674844393267876383834
540
- Bound result 9900015857378764786519
541
- Bound result 9900019295126138282858
542
- Bound result 9997
543
- Bound result 6784
544
- Bound result 3456
545
- Bound result 653
546
- Bound result 46576953988
522
+ Bound result 238
547
523
  Bound result 1
548
- Bound result 9900000000000000008747
549
- Bound result 1025826709305137103821
550
- Bound result 229
551
- Bound result 10
552
- Bound result 44307487
553
- Bound result 1432625354550734487037
524
+ Bound result 3093
525
+ Bound result 9123
526
+ Bound result 118
527
+ Bound result 2829
528
+ Bound result 1965
529
+ Bound result 135
530
+ Bound result 35312882
531
+ Bound result 7215962476931970819042
532
+ Bound result 100000000000000000001
533
+ Bound result 1665
534
+ Bound result 13
535
+ Bound result 1853
536
+ Bound result 436521447320
537
+ Bound result 219
538
+ Bound result 7780
554
539
 
555
540
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
556
541
 
557
542
  ╭-----------------------------------+---------------------+-------+---------+----------╮
558
543
  | Contract | Selector | Calls | Reverts | Discards |
559
544
  +======================================================================================+
560
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
545
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
561
546
  |-----------------------------------+---------------------+-------+---------+----------|
562
- | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
547
+ | RateLimiterRBACUpgradeableHandler | outflow | 599 | 0 | 0 |
563
548
  |-----------------------------------+---------------------+-------+---------+----------|
564
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
549
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
565
550
  |-----------------------------------+---------------------+-------+---------+----------|
566
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
551
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
567
552
  |-----------------------------------+---------------------+-------+---------+----------|
568
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
553
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
569
554
  |-----------------------------------+---------------------+-------+---------+----------|
570
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
555
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
571
556
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
573
558
  ╰-----------------------------------+---------------------+-------+---------+----------╯
574
559
 
575
560
  Logs:
576
- Bound result 1003853746586370209080
577
- Bound result 1560
578
- Bound result 428
579
- Bound result 9803
580
- Bound result 231
581
- Bound result 1841455
582
- Bound result 9948417255090092218782
583
- Bound result 9900000000170066102203
584
- Bound result 8476
585
- Bound result 190
586
- Bound result 9900000000000001624947
587
- Bound result 125931664199553149207
588
- Bound result 10
589
- Bound result 336
590
- Bound result 459
591
- Bound result 4
561
+ Bound result 514264337593543950333
562
+ Bound result 9900000000000000007296
563
+ Bound result 9900000000000000005712
564
+ Bound result 3120
565
+ Bound result 8925
566
+ Bound result 9900000018409613425705
567
+ Bound result 9900000000000003760949
568
+ Bound result 3244
569
+ Bound result 8326
570
+ Bound result 1719639407
571
+ Bound result 137960119379971900224
572
+ Bound result 61
573
+ Bound result 9151
574
+ Bound result 6914264337593535947489
575
+ Bound result 100000000000000000003
576
+ Bound result 3463
577
+ Bound result 13
578
+ Bound result 9900000000000000004098
579
+ Bound result 9900000000000000009178
580
+ Bound result 3257
581
+ Bound result 6934
582
+ Bound result 878539050821214604862
583
+ Bound result 9900000000000000012057
584
+ Bound result 5286
585
+ Bound result 2499
592
586
 
593
587
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
594
588
 
595
589
  ╭-----------------------------------+---------------------+-------+---------+----------╮
596
590
  | Contract | Selector | Calls | Reverts | Discards |
597
591
  +======================================================================================+
598
- | RateLimiterRBACUpgradeableHandler | inflow | 582 | 0 | 0 |
592
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
599
593
  |-----------------------------------+---------------------+-------+---------+----------|
600
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
594
+ | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
601
595
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | setConfig | 505 | 0 | 0 |
596
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
603
597
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
605
599
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 509 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
607
601
  |-----------------------------------+---------------------+-------+---------+----------|
608
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
609
603
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
611
605
  ╰-----------------------------------+---------------------+-------+---------+----------╯
612
606
 
613
607
  Logs:
614
- Bound result 427
615
- Bound result 9900000000000000008534
616
- Bound result 9900000000000452777889
617
- Bound result 9917
618
- Bound result 1226
619
- Bound result 8924
620
- Bound result 2376452955
621
- Bound result 1
622
- Bound result 9900000161529089689017
623
- Bound result 9900000000000001433422
624
- Bound result 10
625
- Bound result 2135
626
- Bound result 2806359013908669518184
627
- Bound result 9918446744073709551617
628
- Bound result 9900000000003736598698
629
- Bound result 4677
630
- Bound result 7475
631
- Bound result 7314
632
- Bound result 3703914640073873696985
633
- Bound result 100000000000000000000
634
- Bound result 8321
635
- Bound result 5452
636
- Bound result 884393
637
- Bound result 138124849995387
608
+ Bound result 10353
609
+ Bound result 8006
610
+ Bound result 0
611
+ Bound result 100000000000000000003
612
+ Bound result 9900665155684867885512
613
+ Bound result 5149
614
+ Bound result 5426
615
+ Bound result 43974889236555442740
616
+ Bound result 4222199812989106648569
617
+ Bound result 388
618
+ Bound result 9900000000000000001163
619
+ Bound result 10000000000000000000000
620
+ Bound result 7274
621
+ Bound result 2073
622
+ Bound result 4162
623
+ Bound result 10618
624
+ Bound result 82563405843581
625
+ Bound result 4361696838195353740
626
+ Bound result 4010815
627
+ Bound result 9900000000000000000468
628
+ Bound result 6914264337593535947490
629
+ Bound result 163
630
+ Bound result 813
638
631
 
639
632
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
640
633
 
641
634
  ╭-----------------------------------+---------------------+-------+---------+----------╮
642
635
  | Contract | Selector | Calls | Reverts | Discards |
643
636
  +======================================================================================+
644
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
637
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
645
638
  |-----------------------------------+---------------------+-------+---------+----------|
646
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
639
+ | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
647
640
  |-----------------------------------+---------------------+-------+---------+----------|
648
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
641
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
649
642
  |-----------------------------------+---------------------+-------+---------+----------|
650
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
643
+ | RateLimiterRBACUpgradeableHandler | setState | 574 | 0 | 0 |
651
644
  |-----------------------------------+---------------------+-------+---------+----------|
652
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
645
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 519 | 0 | 0 |
653
646
  |-----------------------------------+---------------------+-------+---------+----------|
654
647
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
655
648
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
649
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
657
650
  ╰-----------------------------------+---------------------+-------+---------+----------╯
658
651
 
659
652
  Logs:
660
- Bound result 8132
661
- Bound result 4125
662
- Bound result 544
663
- Bound result 10315
653
+ Bound result 1901074598
664
654
  Bound result 1
665
- Bound result 9900000000000000008823
666
- Bound result 9900000000000000009252
667
- Bound result 1632
668
- Bound result 7924
669
- Bound result 9900035226073719083551
670
- Bound result 9900000000005785426533
671
- Bound result 59
672
- Bound result 13
673
- Bound result 8519
674
- Bound result 97502211377888482
675
- Bound result 0
676
- Bound result 0
677
- Bound result 812
678
- Bound result 5440
679
- Bound result 0
680
- Bound result 3653755807634324516430
681
- Bound result 6914264337593535947489
682
- Bound result 1942
683
- Bound result 4032
684
- Bound result 25917137336962
685
- Bound result 0
655
+ Bound result 9900000007030027833809
656
+ Bound result 9900000000000771255871
657
+ Bound result 11
658
+ Bound result 7242
659
+ Bound result 289212125371176374388
660
+ Bound result 12263497294612306003
661
+ Bound result 2328
662
+ Bound result 901
663
+ Bound result 8193
686
664
  Bound result 0
665
+ Bound result 13026
666
+ Bound result 3689055020
667
+ Bound result 9113
668
+ Bound result 5688
669
+ Bound result 7681
670
+ Bound result 18110867159828790974867
671
+ Bound result 11520394931
672
+ Bound result 1117
687
673
 
688
674
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
689
675
 
690
676
  ╭-----------------------------------+---------------------+-------+---------+----------╮
691
677
  | Contract | Selector | Calls | Reverts | Discards |
692
678
  +======================================================================================+
693
- | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
694
680
  |-----------------------------------+---------------------+-------+---------+----------|
695
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
696
682
  |-----------------------------------+---------------------+-------+---------+----------|
697
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
683
+ | RateLimiterRBACUpgradeableHandler | setConfig | 524 | 0 | 0 |
698
684
  |-----------------------------------+---------------------+-------+---------+----------|
699
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
685
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
700
686
  |-----------------------------------+---------------------+-------+---------+----------|
701
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
687
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
702
688
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
689
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
704
690
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
691
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
706
692
  ╰-----------------------------------+---------------------+-------+---------+----------╯
707
693
 
708
694
  Logs:
709
- Bound result 160
710
- Bound result 585685509760332194050
711
- Bound result 1
712
- Bound result 9900000000000000009194
713
- Bound result 4780488956411236156277
714
- Bound result 7553
715
- Bound result 8519
716
- Bound result 9900000000000000010363
717
- Bound result 9900000000000000010535
718
- Bound result 240
719
- Bound result 908
720
- Bound result 7243
721
- Bound result 29724
695
+ Bound result 9900000000000000000173
696
+ Bound result 9900000000000000000292
697
+ Bound result 4945
698
+ Bound result 6448
699
+ Bound result 3305
700
+ Bound result 37462
722
701
  Bound result 1
723
- Bound result 11831027827423279612
724
- Bound result 1
725
- Bound result 10682310036208779904420
726
- Bound result 3521
702
+ Bound result 9900000296811831319548
703
+ Bound result 9900044247044902675614
704
+ Bound result 5213
705
+ Bound result 9848
706
+ Bound result 3
707
+ Bound result 8194
708
+ Bound result 10334
709
+ Bound result 74486635
710
+ Bound result 96
727
711
  Bound result 0
728
- Bound result 2307
729
- Bound result 1290
730
- Bound result 6536
731
- Bound result 1
712
+ Bound result 3021
713
+ Bound result 1661814751489
714
+ Bound result 891
715
+ Bound result 2
732
716
 
733
717
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
734
718
 
735
719
  ╭-----------------------------------+---------------------+-------+---------+----------╮
736
720
  | Contract | Selector | Calls | Reverts | Discards |
737
721
  +======================================================================================+
738
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
722
+ | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
739
723
  |-----------------------------------+---------------------+-------+---------+----------|
740
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
724
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
741
725
  |-----------------------------------+---------------------+-------+---------+----------|
742
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
743
727
  |-----------------------------------+---------------------+-------+---------+----------|
744
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | setState | 514 | 0 | 0 |
745
729
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
730
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
747
731
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
732
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
749
733
  |-----------------------------------+---------------------+-------+---------+----------|
750
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
734
+ | RateLimiterRBACUpgradeableHandler | warp | 610 | 0 | 0 |
751
735
  ╰-----------------------------------+---------------------+-------+---------+----------╯
752
736
 
753
737
  Logs:
754
- Bound result 153
738
+ Bound result 2003
739
+ Bound result 5260
740
+ Bound result 0
741
+ Bound result 1971
742
+ Bound result 9900001683717770178909
743
+ Bound result 5483586113142377423868
744
+ Bound result 6839
745
+ Bound result 5962
746
+ Bound result 625761767
747
+ Bound result 1336
748
+ Bound result 1905
749
+ Bound result 10384
750
+ Bound result 9900000000002719481311
751
+ Bound result 9900000000000000000066
752
+ Bound result 225
753
+ Bound result 357
754
+ Bound result 6914242574008847100428
755
+ Bound result 12683377261443231943131
756
+ Bound result 84
757
+ Bound result 1636857237
758
+ Bound result 2
759
+ Bound result 926162862576
755
760
  Bound result 1
756
- Bound result 9900000000000000007716
757
- Bound result 9900000000000000010286
758
- Bound result 1546
759
- Bound result 8099
760
- Bound result 8120
761
- Bound result 274
762
- Bound result 5149
763
- Bound result 9900000000000000001583
764
- Bound result 6031565321241651558217
765
- Bound result 1199
766
- Bound result 5516
767
- Bound result 5552
768
- Bound result 3141648438949068107044
769
- Bound result 151731078372880736850
770
- Bound result 9414
771
- Bound result 5105
772
- Bound result 8569
773
- Bound result 9900000000000000008882
774
- Bound result 9900000000000000001628
775
- Bound result 4394
776
- Bound result 6101
761
+ Bound result 7735
777
762
 
778
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.15s (15.99s CPU time)
763
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.29s (13.93s CPU time)
779
764
 
780
765
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
781
766
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -783,376 +768,449 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
783
768
  ╭-----------------------------------+---------------------+-------+---------+----------╮
784
769
  | Contract | Selector | Calls | Reverts | Discards |
785
770
  +======================================================================================+
786
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
771
+ | RateLimiterRBACUpgradeableHandler | inflow | 583 | 0 | 0 |
787
772
  |-----------------------------------+---------------------+-------+---------+----------|
788
- | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
789
774
  |-----------------------------------+---------------------+-------+---------+----------|
790
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
791
776
  |-----------------------------------+---------------------+-------+---------+----------|
792
- | RateLimiterRBACUpgradeableHandler | setState | 472 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
793
778
  |-----------------------------------+---------------------+-------+---------+----------|
794
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
795
780
  |-----------------------------------+---------------------+-------+---------+----------|
796
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
781
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
797
782
  |-----------------------------------+---------------------+-------+---------+----------|
798
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
783
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
799
784
  ╰-----------------------------------+---------------------+-------+---------+----------╯
800
785
 
801
786
  Logs:
802
- Bound result 351
803
- Bound result 184
804
- Bound result 9900000000000000000062
805
- Bound result 9900000000729877791224
806
- Bound result 192
807
- Bound result 5942
808
- Bound result 1036
809
- Bound result 9900000000001982814380
810
- Bound result 1137426859188653456729
811
- Bound result 6240
812
- Bound result 9827
813
- Bound result 736
814
- Bound result 119
815
- Bound result 133
816
- Bound result 1040
817
- Bound result 26663711494
818
- Bound result 7306
819
- Bound result 1
820
- Bound result 9900000000000000010419
821
- Bound result 9900000000000000011069
822
- Bound result 9886
823
- Bound result 7532
824
- Bound result 4084015
825
- Bound result 6155061989290434
826
- Bound result 6914264337593535947488
827
- Bound result 9900000000000000007309
828
- Bound result 2461
829
- Bound result 2922
787
+ Bound result 783
788
+ Bound result 195
789
+ Bound result 203
790
+ Bound result 0
791
+ Bound result 1994644501767398662071
792
+ Bound result 3
793
+ Bound result 673457221373671040657
794
+ Bound result 9900000000000443667070
795
+ Bound result 13
796
+ Bound result 1100
797
+ Bound result 17988966586564557984889
798
+ Bound result 12254506644172159810
799
+ Bound result 2951
800
+ Bound result 2
801
+ Bound result 2003
830
802
 
831
803
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
832
804
 
833
805
  ╭-----------------------------------+---------------------+-------+---------+----------╮
834
806
  | Contract | Selector | Calls | Reverts | Discards |
835
807
  +======================================================================================+
836
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
808
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
837
809
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
810
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
839
811
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
812
+ | RateLimiterRBACUpgradeableHandler | setConfig | 484 | 0 | 0 |
841
813
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
814
+ | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
843
815
  |-----------------------------------+---------------------+-------+---------+----------|
844
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
816
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
845
817
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
818
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
847
819
  |-----------------------------------+---------------------+-------+---------+----------|
848
- | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
820
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
849
821
  ╰-----------------------------------+---------------------+-------+---------+----------╯
850
822
 
851
823
  Logs:
852
- Bound result 9900000000000028738076
853
- Bound result 9900000000000264535120
854
- Bound result 2791
855
- Bound result 1255
856
- Bound result 3453
857
- Bound result 565
858
- Bound result 21406
859
- Bound result 44
860
- Bound result 266855766881072736388
861
- Bound result 4206524934112555346
862
- Bound result 10107
824
+ Bound result 1425644632
825
+ Bound result 9900000000000000001561
826
+ Bound result 9900000000000000002556
827
+ Bound result 639
828
+ Bound result 3958
829
+ Bound result 226
830
+ Bound result 270
831
+ Bound result 9900000000002107269098
832
+ Bound result 9900000000000000000308
833
+ Bound result 5114
834
+ Bound result 7533
835
+ Bound result 1
836
+ Bound result 1918268964956616974
837
+ Bound result 0
838
+ Bound result 7
839
+ Bound result 428793910
840
+ Bound result 39
841
+ Bound result 5180
842
+ Bound result 809
843
+ Bound result 767887698455
844
+ Bound result 10425
845
+ Bound result 4670
846
+ Bound result 262
847
+ Bound result 25355
863
848
 
864
849
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
865
850
 
866
851
  ╭-----------------------------------+---------------------+-------+---------+----------╮
867
852
  | Contract | Selector | Calls | Reverts | Discards |
868
853
  +======================================================================================+
869
- | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
854
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
870
855
  |-----------------------------------+---------------------+-------+---------+----------|
871
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
856
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
872
857
  |-----------------------------------+---------------------+-------+---------+----------|
873
- | RateLimiterRBACUpgradeableHandler | setConfig | 561 | 0 | 0 |
858
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
874
859
  |-----------------------------------+---------------------+-------+---------+----------|
875
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
860
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
876
861
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
862
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 518 | 0 | 0 |
878
863
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
864
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
880
865
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
866
+ | RateLimiterRBACUpgradeableHandler | warp | 592 | 0 | 0 |
882
867
  ╰-----------------------------------+---------------------+-------+---------+----------╯
883
868
 
884
869
  Logs:
885
- Bound result 1526
886
- Bound result 2564
887
- Bound result 514264337593543950335
888
- Bound result 1555
889
- Bound result 2163
890
- Bound result 100000000000000000001
891
- Bound result 9900000000002759052221
892
- Bound result 61
893
- Bound result 3201
870
+ Bound result 1982
871
+ Bound result 9900000000000113079115
872
+ Bound result 9900000000252016789936
873
+ Bound result 2552
874
+ Bound result 4887
875
+ Bound result 19755399358918588214978
876
+ Bound result 144
877
+ Bound result 6101
878
+ Bound result 9900000000000000010360
879
+ Bound result 9900000000000000007778
880
+ Bound result 8272
881
+ Bound result 415
894
882
  Bound result 1
895
- Bound result 144960849420023
896
- Bound result 3
897
- Bound result 2690
898
- Bound result 109594122090383141534
899
- Bound result 5777
900
- Bound result 128650330022184423293
901
- Bound result 310977170524
902
- Bound result 658
903
- Bound result 5847
883
+ Bound result 6
884
+ Bound result 9900000000000000000518
885
+ Bound result 9900000000000000007777
886
+ Bound result 10
887
+ Bound result 8041
888
+ Bound result 855
889
+ Bound result 9697
890
+ Bound result 9408
891
+ Bound result 2195
904
892
 
905
893
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
906
894
 
907
895
  ╭-----------------------------------+---------------------+-------+---------+----------╮
908
896
  | Contract | Selector | Calls | Reverts | Discards |
909
897
  +======================================================================================+
910
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
898
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
911
899
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
900
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
913
901
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
902
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
915
903
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
904
+ | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
917
905
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 569 | 0 | 0 |
906
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
919
907
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
921
909
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
923
911
  ╰-----------------------------------+---------------------+-------+---------+----------╯
924
912
 
925
913
  Logs:
926
- Bound result 1719967068885320954582
927
- Bound result 8291
928
- Bound result 1394357908203371790358
929
- Bound result 1358144521704781813174
930
- Bound result 18554052071698574350
931
- Bound result 313433774606372297967
932
- Bound result 1
933
- Bound result 127847461363147467685
934
- Bound result 1600882309574632567580
914
+ Bound result 241144642395531809
915
+ Bound result 37486
916
+ Bound result 9900000000000000009115
917
+ Bound result 9900000000000000001526
918
+ Bound result 7748
919
+ Bound result 5640
920
+ Bound result 46196183689457459
921
+ Bound result 1650
922
+ Bound result 6914264337520598027275
923
+ Bound result 47565210
924
+ Bound result 356
935
925
  Bound result 0
936
- Bound result 87528
937
- Bound result 1
938
- Bound result 119551487998427114394
939
- Bound result 543
926
+ Bound result 6914264337593535947490
927
+ Bound result 9901654476905711499976
928
+ Bound result 1323
929
+ Bound result 1628
930
+ Bound result 858
931
+ Bound result 9900000000000000000012
932
+ Bound result 9900000000000444194506
933
+ Bound result 9884
934
+ Bound result 7011
935
+ Bound result 2828310427307851488153
940
936
 
941
937
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
942
938
 
943
939
  ╭-----------------------------------+---------------------+-------+---------+----------╮
944
940
  | Contract | Selector | Calls | Reverts | Discards |
945
941
  +======================================================================================+
946
- | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
942
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
947
943
  |-----------------------------------+---------------------+-------+---------+----------|
948
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
944
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
949
945
  |-----------------------------------+---------------------+-------+---------+----------|
950
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
946
+ | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
951
947
  |-----------------------------------+---------------------+-------+---------+----------|
952
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
948
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
953
949
  |-----------------------------------+---------------------+-------+---------+----------|
954
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
950
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
955
951
  |-----------------------------------+---------------------+-------+---------+----------|
956
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
952
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
957
953
  |-----------------------------------+---------------------+-------+---------+----------|
958
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
954
+ | RateLimiterRBACUpgradeableHandler | warp | 504 | 0 | 0 |
959
955
  ╰-----------------------------------+---------------------+-------+---------+----------╯
960
956
 
961
957
  Logs:
962
- Bound result 843097594233906629652
963
- Bound result 1115
964
- Bound result 603348734151419394455
965
- Bound result 2125
966
- Bound result 239448184466009964010
967
- Bound result 393
968
- Bound result 58
969
- Bound result 9900000000000000008571
970
- Bound result 9900000000000000008437
971
- Bound result 7072
972
- Bound result 5182
973
- Bound result 9900000000000000008850
974
- Bound result 9900000000000000000333
975
- Bound result 609
976
- Bound result 4948
977
- Bound result 366
978
- Bound result 7438304045304733810843
979
- Bound result 8404284090638177457886
980
- Bound result 841
981
- Bound result 1957
982
- Bound result 123
958
+ Bound result 3016663574
959
+ Bound result 6868
960
+ Bound result 2386
961
+ Bound result 0
962
+ Bound result 1439
963
+ Bound result 1470
964
+ Bound result 9900000000000000001118
965
+ Bound result 9900000000000000005520
966
+ Bound result 9212
967
+ Bound result 1084
968
+ Bound result 7128908485049496027700
969
+ Bound result 9900000000000800627396
970
+ Bound result 8246
971
+ Bound result 1763
972
+ Bound result 1807
973
+ Bound result 355842498
974
+ Bound result 100000000000000000003
975
+ Bound result 5361296984933132523389
976
+ Bound result 6932
977
+ Bound result 6241
978
+ Bound result 9007
979
+ Bound result 67336
980
+ Bound result 770495236
981
+ Bound result 362
983
982
 
984
983
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
985
984
 
986
985
  ╭-----------------------------------+---------------------+-------+---------+----------╮
987
986
  | Contract | Selector | Calls | Reverts | Discards |
988
987
  +======================================================================================+
989
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
990
989
  |-----------------------------------+---------------------+-------+---------+----------|
991
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
992
991
  |-----------------------------------+---------------------+-------+---------+----------|
993
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
994
993
  |-----------------------------------+---------------------+-------+---------+----------|
995
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
996
995
  |-----------------------------------+---------------------+-------+---------+----------|
997
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
996
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
998
997
  |-----------------------------------+---------------------+-------+---------+----------|
999
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1000
999
  |-----------------------------------+---------------------+-------+---------+----------|
1001
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
1002
1001
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1003
1002
 
1004
1003
  Logs:
1005
- Bound result 9900000000000000000388
1006
- Bound result 9900000000000000004495
1007
- Bound result 3341
1008
- Bound result 8852
1009
- Bound result 2107269097
1010
- Bound result 8559
1011
- Bound result 1
1012
- Bound result 10
1013
- Bound result 321
1014
- Bound result 3256
1015
- Bound result 3404
1016
- Bound result 4780488956397545005517
1017
- Bound result 2
1004
+ Bound result 9900000000000000010623
1005
+ Bound result 9900223461546599293263
1006
+ Bound result 6240
1007
+ Bound result 6606
1008
+ Bound result 9900000000000000005610
1009
+ Bound result 9900000000000000006770
1010
+ Bound result 363
1011
+ Bound result 2073
1012
+ Bound result 50
1013
+ Bound result 8039
1014
+ Bound result 811
1015
+ Bound result 6914264337548643994071
1016
+ Bound result 7307508424089329185134
1018
1017
  Bound result 1
1019
- Bound result 541
1020
- Bound result 3339
1021
- Bound result 1099
1022
- Bound result 2
1018
+ Bound result 404940470923219243964
1019
+ Bound result 5948
1020
+ Bound result 100000000000000000001
1021
+ Bound result 9900000000004091302216
1022
+ Bound result 5511
1023
+ Bound result 6242
1024
+ Bound result 4087
1025
+ Bound result 113
1023
1026
 
1024
1027
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1025
1028
 
1026
1029
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1027
1030
  | Contract | Selector | Calls | Reverts | Discards |
1028
1031
  +======================================================================================+
1029
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1032
+ | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
1030
1033
  |-----------------------------------+---------------------+-------+---------+----------|
1031
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
1034
+ | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
1032
1035
  |-----------------------------------+---------------------+-------+---------+----------|
1033
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
1036
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1034
1037
  |-----------------------------------+---------------------+-------+---------+----------|
1035
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1038
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
1036
1039
  |-----------------------------------+---------------------+-------+---------+----------|
1037
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
1040
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1038
1041
  |-----------------------------------+---------------------+-------+---------+----------|
1039
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
1042
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1040
1043
  |-----------------------------------+---------------------+-------+---------+----------|
1041
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
1044
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1042
1045
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1043
1046
 
1044
1047
  Logs:
1045
- Bound result 9900000000000226814486
1046
- Bound result 6026107258977535973824
1047
- Bound result 9995
1048
- Bound result 21
1049
- Bound result 5000
1050
- Bound result 10071901382170622469731
1051
- Bound result 117169902
1052
- Bound result 1
1053
- Bound result 2167
1054
- Bound result 16959085367387783221843
1055
- Bound result 692749718320866708425
1056
- Bound result 1
1048
+ Bound result 156355900
1049
+ Bound result 99613255106487290653
1050
+ Bound result 0
1051
+ Bound result 97328
1052
+ Bound result 1762974233847594
1053
+ Bound result 140896971871695424881
1057
1054
  Bound result 1
1058
- Bound result 9900000000000000020377
1055
+ Bound result 100000000000000000002
1056
+ Bound result 9900610048624866734695
1057
+ Bound result 8994
1058
+ Bound result 2189
1059
1059
  Bound result 100000000000000000003
1060
- Bound result 8565
1061
- Bound result 5563
1062
- Bound result 10414
1063
- Bound result 7873
1060
+ Bound result 100000000000000000000
1061
+ Bound result 1505
1062
+ Bound result 27
1063
+ Bound result 1983
1064
+ Bound result 1717
1065
+ Bound result 0
1066
+ Bound result 10877
1067
+ Bound result 2020
1064
1068
  Bound result 1
1065
- Bound result 379505346354
1066
- Bound result 16662214618192698907
1069
+ Bound result 23721711
1070
+ Bound result 333325805842039
1067
1071
  Bound result 0
1068
- Bound result 9900000000000000000997
1069
- Bound result 9900000000000000006941
1070
- Bound result 3902
1071
- Bound result 5339
1072
- Bound result 6686723161015425459948
1073
- Bound result 4954759328404501193722
1072
+ Bound result 1230
1073
+ Bound result 5210768383685803879
1074
+ Bound result 8293
1075
+ Bound result 100610048624866734646
1076
+ Bound result 926
1077
+ Bound result 5476
1078
+ Bound result 114264337590770964650
1079
+ Bound result 2665555
1074
1080
  Bound result 1
1075
- Bound result 10655969
1076
- Bound result 8780606157472726661528
1077
- Bound result 9900000000002246998951
1078
- Bound result 4125
1079
- Bound result 538
1080
- Bound result 5174863407976657188162
1081
- Bound result 9900000000000000008802
1082
- Bound result 3901
1083
- Bound result 3068
1084
1081
 
1085
1082
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1086
1083
 
1087
1084
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1088
1085
  | Contract | Selector | Calls | Reverts | Discards |
1089
1086
  +======================================================================================+
1090
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
1087
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
1091
1088
  |-----------------------------------+---------------------+-------+---------+----------|
1092
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
1093
1090
  |-----------------------------------+---------------------+-------+---------+----------|
1094
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1095
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1096
- | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1097
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1098
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1099
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1100
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
1101
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1102
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1103
1100
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1104
1101
 
1105
1102
  Logs:
1106
- Bound result 1539238203920926960288
1107
- Bound result 1295
1108
- Bound result 3
1109
- Bound result 2589
1110
- Bound result 90
1111
- Bound result 9901070204322531333245
1112
- Bound result 8187265482273385124138
1113
- Bound result 8731
1114
- Bound result 1421
1115
- Bound result 145375618598046352
1116
- Bound result 2564
1117
- Bound result 2
1118
- Bound result 3696
1103
+ Bound result 9900000000000000003086
1104
+ Bound result 9900000000000000001004
1105
+ Bound result 8967
1106
+ Bound result 575
1107
+ Bound result 126386159695935
1108
+ Bound result 275
1109
+ Bound result 7957927024938
1110
+ Bound result 6741419
1111
+ Bound result 439440033
1112
+ Bound result 0
1113
+ Bound result 5267
1114
+ Bound result 7208
1115
+ Bound result 13540960380
1116
+ Bound result 6091
1117
+ Bound result 4017
1119
1118
 
1120
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.58s (16.88s CPU time)
1119
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.73s (14.07s CPU time)
1121
1120
 
1122
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1123
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1124
- [PASS] test_constructor_InitialMode() (gas: 15778)
1125
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1126
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1127
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1128
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1129
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1130
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1131
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1132
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1133
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1134
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1135
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1136
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1137
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1138
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1139
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1140
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1141
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1142
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1143
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1144
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1145
- [PASS] test_setMode_Blacklist() (gas: 42605)
1146
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1147
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1148
- [PASS] test_setMode_Whitelist() (gas: 42714)
1149
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1150
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1151
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1152
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1153
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1154
- [PASS] test_storageHash() (gas: 3480)
1155
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 15.49s (1.49s CPU time)
1121
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1122
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27051, ~: 41090)
1123
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1124
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
1125
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1126
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1127
+ [PASS] test_isPaused_InitialState() (gas: 15629)
1128
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1129
+ [PASS] test_multipleRoleGrants() (gas: 394130)
1130
+ [PASS] test_pause() (gas: 42109)
1131
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1132
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1133
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30543, ~: 18756)
1134
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1135
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1136
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1137
+ [PASS] test_setPaused_Success() (gas: 40691)
1138
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1139
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1140
+ [PASS] test_storageHash() (gas: 3414)
1141
+ [PASS] test_unpause() (gas: 35177)
1142
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41618, ~: 38860)
1143
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1144
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1145
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
1146
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1147
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1148
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1149
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 16.76s (290.40ms CPU time)
1150
+
1151
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1152
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1153
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1154
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1155
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1156
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1157
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1158
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1159
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46827, ~: 46847)
1160
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1161
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1162
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1163
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1164
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1165
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1166
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1167
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1168
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1169
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1170
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1171
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1172
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1173
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1174
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1175
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1176
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1177
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1178
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1179
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1180
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1181
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1182
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1183
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1184
+ [PASS] test_storageHash() (gas: 3380)
1185
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 16.76s (653.28ms CPU time)
1186
+
1187
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1188
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1189
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1190
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45227, ~: 46317)
1191
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1192
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1193
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1194
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1195
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1196
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1197
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1198
+ [PASS] test_getFee_Default() (gas: 40577)
1199
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43422, ~: 44486)
1200
+ [PASS] test_getFee_Rounding() (gas: 42835)
1201
+ [PASS] test_getFee_Specific() (gas: 63968)
1202
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1203
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1204
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 33038, ~: 39667)
1205
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1206
+ [PASS] test_setFeeBps() (gas: 73871)
1207
+ Logs:
1208
+ Bound result 500
1209
+
1210
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65585, ~: 74224)
1211
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1212
+ [PASS] test_storageHash() (gas: 3426)
1213
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 16.83s (934.59ms CPU time)
1156
1214
 
1157
1215
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1158
1216
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -1164,7 +1222,7 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1164
1222
  [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1165
1223
  [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1166
1224
  [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1167
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 109990, ~: 110030)
1225
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1168
1226
  [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1169
1227
  [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1170
1228
  [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
@@ -1184,12 +1242,12 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1184
1242
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1185
1243
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1186
1244
  [PASS] test_storageHash() (gas: 3458)
1187
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.19s (1.67s CPU time)
1245
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.84s (1.03s CPU time)
1188
1246
 
1189
1247
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1190
1248
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1191
1249
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1192
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 796332, ~: 182042)
1250
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 771901, ~: 173491)
1193
1251
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1194
1252
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1195
1253
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1202,12 +1260,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1202
1260
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1203
1261
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1204
1262
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1205
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11183416, ~: 10567958)
1263
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11213144, ~: 10398665)
1206
1264
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1207
1265
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1208
1266
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1209
1267
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1210
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 764908, ~: 200492)
1268
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 743782, ~: 127616)
1211
1269
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1212
1270
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1213
1271
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1220,60 +1278,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1220
1278
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1221
1279
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1222
1280
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1223
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11129832, ~: 10412135)
1281
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11157431, ~: 10359916)
1224
1282
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1225
1283
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1226
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.18s (39.79s CPU time)
1227
-
1228
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1229
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26112, ~: 38584)
1230
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1231
- [PASS] test_assertNotPaused_Success() (gas: 12516)
1232
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1233
- [PASS] test_isPaused_InitialState() (gas: 15595)
1234
- [PASS] test_pause() (gas: 39592)
1235
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
1236
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1237
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1238
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1239
- [PASS] test_storageHash() (gas: 3414)
1240
- [PASS] test_unpause() (gas: 31115)
1241
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40498, ~: 42029)
1242
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1243
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1244
- [PASS] test_whenNotPaused_Success() (gas: 38744)
1245
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1246
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1247
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1248
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 16.19s (286.33ms CPU time)
1249
-
1250
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1251
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1252
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1253
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44867, ~: 46317)
1254
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1255
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1256
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1257
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1258
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1259
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1260
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1261
- [PASS] test_getFee_Default() (gas: 40577)
1262
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43423, ~: 44486)
1263
- [PASS] test_getFee_Rounding() (gas: 42835)
1264
- [PASS] test_getFee_Specific() (gas: 63968)
1265
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1266
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1267
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32793, ~: 39667)
1268
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1269
- [PASS] test_setFeeBps() (gas: 73871)
1270
- Logs:
1271
- Bound result 500
1272
-
1273
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65832, ~: 74224)
1274
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1275
- [PASS] test_storageHash() (gas: 3426)
1276
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 16.19s (1.68s CPU time)
1284
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.83s (39.50s CPU time)
1277
1285
 
1278
- Ran 17 test suites in 16.23s (95.51s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1279
- ⏳ forge test: 32.992s
1286
+ Ran 17 test suites in 16.86s (96.86s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1287
+ ⏳ forge test: 31.356s