@layerzerolabs/utils-upgradeable-evm-contracts 0.2.74 → 0.2.75

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 +687 -681
  2. package/package.json +7 -7
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 {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:66898) [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:67289) [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)
@@ -28,48 +28,47 @@ f2fb700979ad: Pulling fs layer
28
28
  597168d5c38e: Pulling fs layer
29
29
  e431adaf232f: Pulling fs layer
30
30
  36e15e3f2788: Pulling fs layer
31
- 36e15e3f2788: Waiting
32
- eef7c391911c: Download complete
33
- 5760fdd70374: Waiting
34
- c70db14240a1: Waiting
35
- 0cb2c6965bde: Waiting
36
- 885bca26f927: Waiting
37
31
  8e167e77288f: Waiting
38
32
  45d43cc973ba: Waiting
39
33
  44c09156221f: Waiting
40
34
  f2fb700979ad: Waiting
41
35
  2a1ced882ba9: Waiting
42
36
  597168d5c38e: Waiting
37
+ 36e15e3f2788: Waiting
43
38
  e431adaf232f: Waiting
44
- 5760fdd70374: Verifying Checksum
39
+ 0cb2c6965bde: Waiting
40
+ 5760fdd70374: Waiting
41
+ c70db14240a1: Waiting
42
+ 885bca26f927: Waiting
43
+ eef7c391911c: Verifying Checksum
44
+ eef7c391911c: Download complete
45
45
  5760fdd70374: Download complete
46
+ c70db14240a1: Verifying Checksum
46
47
  c70db14240a1: Download complete
47
- cc2ecf4065b7: Verifying Checksum
48
- cc2ecf4065b7: Download complete
49
48
  86ec798129ac: Verifying Checksum
50
49
  86ec798129ac: Download complete
51
- 8e167e77288f: Verifying Checksum
50
+ cc2ecf4065b7: Verifying Checksum
51
+ cc2ecf4065b7: Download complete
52
52
  8e167e77288f: Download complete
53
53
  45d43cc973ba: Verifying Checksum
54
54
  45d43cc973ba: Download complete
55
55
  44c09156221f: Verifying Checksum
56
56
  44c09156221f: Download complete
57
- f2fb700979ad: Verifying Checksum
58
- f2fb700979ad: Download complete
59
57
  0cb2c6965bde: Verifying Checksum
60
58
  0cb2c6965bde: Download complete
59
+ f2fb700979ad: Download complete
60
+ 86ec798129ac: Pull complete
61
61
  597168d5c38e: Verifying Checksum
62
62
  597168d5c38e: Download complete
63
- 86ec798129ac: Pull complete
64
63
  eef7c391911c: Pull complete
65
64
  cc2ecf4065b7: Pull complete
66
65
  5760fdd70374: Pull complete
67
66
  c70db14240a1: Pull complete
68
67
  2a1ced882ba9: Verifying Checksum
69
68
  2a1ced882ba9: Download complete
70
- 36e15e3f2788: Verifying Checksum
71
69
  36e15e3f2788: Download complete
72
70
  0cb2c6965bde: Pull complete
71
+ e431adaf232f: Verifying Checksum
73
72
  e431adaf232f: Download complete
74
73
  885bca26f927: Download complete
75
74
  885bca26f927: Pull complete
@@ -88,7 +87,7 @@ Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/lay
88
87
  👤 Running container as UID:GID 1001:1001
89
88
  $ 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
90
89
  Compiling 84 files with Solc 0.8.22
91
- Solc 0.8.22 finished in 14.96s
90
+ Solc 0.8.22 finished in 15.64s
92
91
  Compiler run successful with warnings:
93
92
  Warning (2018): Function state mutability can be restricted to view
94
93
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -247,15 +246,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
247
246
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
248
247
  [PASS] test_storageHash() (gas: 3414)
249
248
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
250
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 42.62ms (26.84ms CPU time)
251
-
252
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
253
- [PASS] test_feeDeposit() (gas: 17576)
254
- [PASS] test_setFeeDeposit() (gas: 24995)
255
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
256
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
257
- [PASS] test_storageHash() (gas: 3337)
258
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 94.53ms (93.93ms CPU time)
249
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 51.94ms (49.45ms CPU time)
259
250
 
260
251
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
261
252
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -298,55 +289,19 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
298
289
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
299
290
  [PASS] test_storageHash() (gas: 3392)
300
291
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
301
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 45.67ms (30.69ms CPU time)
302
-
303
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
304
- [PASS] test_feeDeposit() (gas: 17638)
305
- [PASS] test_setFeeDeposit() (gas: 27596)
306
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
307
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
308
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
309
- [PASS] test_storageHash() (gas: 3315)
310
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 211.90ms (211.25ms CPU time)
292
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 63.03ms (40.77ms CPU time)
311
293
 
312
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
313
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26603, ~: 38584)
314
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
315
- [PASS] test_assertNotPaused_Success() (gas: 12516)
316
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
317
- [PASS] test_isPaused_InitialState() (gas: 15595)
318
- [PASS] test_pause() (gas: 39592)
319
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28962, ~: 39861)
320
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
321
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
322
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
323
- [PASS] test_storageHash() (gas: 3414)
324
- [PASS] test_unpause() (gas: 31115)
325
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40473, ~: 42029)
326
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
327
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
328
- [PASS] test_whenNotPaused_Success() (gas: 38744)
329
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
330
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
331
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
332
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 375.83ms (425.75ms CPU time)
333
-
334
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
335
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
336
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
337
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
338
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
339
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
340
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
341
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
342
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
343
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
344
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
345
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 267.38ms (267.21ms CPU time)
294
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
295
+ [PASS] test_feeDeposit() (gas: 17576)
296
+ [PASS] test_setFeeDeposit() (gas: 24995)
297
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
298
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
299
+ [PASS] test_storageHash() (gas: 3337)
300
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 180.37ms (179.75ms CPU time)
346
301
 
347
302
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
348
303
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
349
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
304
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
350
305
  [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
351
306
  [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
352
307
  [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
@@ -378,7 +333,109 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
378
333
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
379
334
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
380
335
  [PASS] test_storageHash() (gas: 3380)
381
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 717.98ms (787.88ms CPU time)
336
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 304.30ms (387.72ms CPU time)
337
+
338
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
339
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
340
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
341
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
342
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
343
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
344
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
345
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
346
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
347
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
348
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
349
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 122.27ms (122.07ms CPU time)
350
+
351
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
352
+ [PASS] test_feeDeposit() (gas: 17638)
353
+ [PASS] test_setFeeDeposit() (gas: 27596)
354
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
355
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
356
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
357
+ [PASS] test_storageHash() (gas: 3315)
358
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 252.13ms (251.41ms CPU time)
359
+
360
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
361
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26824, ~: 12786)
362
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
363
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
364
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
365
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
366
+ [PASS] test_isPaused_InitialState() (gas: 15629)
367
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
368
+ [PASS] test_multipleRoleGrants() (gas: 394130)
369
+ [PASS] test_pause() (gas: 42109)
370
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
371
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
372
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30401, ~: 18756)
373
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
374
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
375
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
376
+ [PASS] test_setPaused_Success() (gas: 40691)
377
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
378
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
379
+ [PASS] test_storageHash() (gas: 3414)
380
+ [PASS] test_unpause() (gas: 35177)
381
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41647, ~: 38860)
382
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
383
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
384
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
385
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
386
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
387
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
388
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 475.88ms (179.35ms CPU time)
389
+
390
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
391
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 24847, ~: 12763)
392
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
393
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
394
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
395
+ [PASS] test_isPaused_InitialState() (gas: 15595)
396
+ [PASS] test_pause() (gas: 39592)
397
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27992, ~: 16219)
398
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
399
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
400
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
401
+ [PASS] test_storageHash() (gas: 3414)
402
+ [PASS] test_unpause() (gas: 31115)
403
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40467, ~: 42029)
404
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
405
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
406
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
407
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
408
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
409
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
410
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 488.02ms (683.38ms CPU time)
411
+
412
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
413
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
414
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
415
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44764, ~: 46317)
416
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
417
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
418
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
419
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
420
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
421
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
422
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
423
+ [PASS] test_getFee_Default() (gas: 40577)
424
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43525, ~: 44486)
425
+ [PASS] test_getFee_Rounding() (gas: 42835)
426
+ [PASS] test_getFee_Specific() (gas: 63968)
427
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
428
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
429
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32566, ~: 39667)
430
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
431
+ [PASS] test_setFeeBps() (gas: 73871)
432
+ Logs:
433
+ Bound result 500
434
+
435
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65586, ~: 74224)
436
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
437
+ [PASS] test_storageHash() (gas: 3426)
438
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 703.08ms (459.57ms CPU time)
382
439
 
383
440
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
384
441
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -396,7 +453,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
396
453
  [PASS] test_pauseConfig() (gas: 51028)
397
454
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
398
455
  [PASS] test_setDefaultPaused() (gas: 42196)
399
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30895, ~: 42446)
456
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
400
457
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
401
458
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
402
459
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -405,8 +462,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
405
462
  [PASS] test_setPaused_DormantData() (gas: 295234)
406
463
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
407
464
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
408
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43661, ~: 48533)
409
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222984, ~: 216804)
465
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43826, ~: 48696)
466
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224200, ~: 219722)
410
467
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
411
468
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
412
469
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -420,7 +477,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
420
477
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
421
478
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
422
479
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
423
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62924, ~: 73465)
480
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62838, ~: 73465)
424
481
  [PASS] test_storageHash() (gas: 3392)
425
482
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
426
483
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -428,72 +485,41 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
428
485
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
429
486
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
430
487
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
431
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.13s (1.34s CPU time)
488
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.44s (1.53s CPU time)
432
489
 
433
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
434
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
435
- [PASS] test_constructor_InitialMode() (gas: 15778)
436
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
437
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
438
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
439
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
440
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
441
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
442
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
443
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
444
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
445
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
446
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
447
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
448
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
449
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
450
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
451
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
452
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
453
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
454
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
455
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
456
- [PASS] test_setMode_Blacklist() (gas: 42605)
457
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
458
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
459
- [PASS] test_setMode_Whitelist() (gas: 42714)
460
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
461
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
462
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
463
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
464
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
490
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
491
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
492
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
493
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
494
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
495
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
496
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
497
+ [PASS] test_isPaused_Default() (gas: 44698)
498
+ [PASS] test_isPaused_InitialState() (gas: 22070)
499
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
500
+ [PASS] test_isPaused_Override() (gas: 69381)
501
+ [PASS] test_isPaused_Specific() (gas: 46709)
502
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
503
+ [PASS] test_pauseConfig() (gas: 45626)
504
+ [PASS] test_setDefaultPaused() (gas: 39667)
505
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
506
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
507
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
508
+ [PASS] test_setPaused() (gas: 43060)
509
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
510
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38159, ~: 43373)
511
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
512
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
513
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
514
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58683, ~: 69608)
465
515
  [PASS] test_storageHash() (gas: 3480)
466
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.34s (1.34s CPU time)
467
-
468
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
469
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 28013, ~: 41090)
470
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
471
- [PASS] test_assertNotPaused_Success() (gas: 12539)
472
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
473
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
474
- [PASS] test_isPaused_InitialState() (gas: 15629)
475
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
476
- [PASS] test_multipleRoleGrants() (gas: 394130)
477
- [PASS] test_pause() (gas: 42109)
478
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
479
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
480
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30874, ~: 42378)
481
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
482
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
483
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
484
- [PASS] test_setPaused_Success() (gas: 40691)
485
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
486
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
487
- [PASS] test_storageHash() (gas: 3414)
488
- [PASS] test_unpause() (gas: 35177)
489
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41725, ~: 44479)
490
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
491
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
492
- [PASS] test_whenNotPaused_Success() (gas: 38800)
493
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
494
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
495
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
496
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 4.44s (239.73ms CPU time)
516
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
517
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
518
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
519
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
520
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
521
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
522
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.47s (531.36ms CPU time)
497
523
 
498
524
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
499
525
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -501,369 +527,375 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
501
527
  ╭-----------------------------------+---------------------+-------+---------+----------╮
502
528
  | Contract | Selector | Calls | Reverts | Discards |
503
529
  +======================================================================================+
504
- | RateLimiterRBACUpgradeableHandler | inflow | 592 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
505
531
  |-----------------------------------+---------------------+-------+---------+----------|
506
- | RateLimiterRBACUpgradeableHandler | outflow | 487 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
507
533
  |-----------------------------------+---------------------+-------+---------+----------|
508
- | RateLimiterRBACUpgradeableHandler | setConfig | 582 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
509
535
  |-----------------------------------+---------------------+-------+---------+----------|
510
- | RateLimiterRBACUpgradeableHandler | setState | 611 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
511
537
  |-----------------------------------+---------------------+-------+---------+----------|
512
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
538
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
513
539
  |-----------------------------------+---------------------+-------+---------+----------|
514
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 498 | 0 | 0 |
540
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
515
541
  |-----------------------------------+---------------------+-------+---------+----------|
516
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
542
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
517
543
  ╰-----------------------------------+---------------------+-------+---------+----------╯
518
544
 
519
545
  Logs:
520
- Bound result 6285
521
- Bound result 9900000720599650909745
522
- Bound result 9900000019037486127394
523
- Bound result 6388
524
- Bound result 11
525
- Bound result 3
526
- Bound result 877
527
- Bound result 1587
528
- Bound result 1
529
- Bound result 13498903784564286285435
530
- Bound result 37463
531
- Bound result 1957
546
+ Bound result 710
547
+ Bound result 914
548
+ Bound result 448281
532
549
  Bound result 0
533
- Bound result 1
534
- Bound result 321300683
535
- Bound result 5902
536
- Bound result 9900004882799464682452
537
- Bound result 7302100345466024707996
538
- Bound result 6297
539
- Bound result 996
540
- Bound result 33
550
+ Bound result 3
551
+ Bound result 943416918938
552
+ Bound result 1384821594377126
553
+ Bound result 46486457803
554
+ Bound result 947
555
+ Bound result 514264337593504336254
556
+ Bound result 1116629681742513596181
557
+ Bound result 618
541
558
 
542
559
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
543
560
 
544
561
  ╭-----------------------------------+---------------------+-------+---------+----------╮
545
562
  | Contract | Selector | Calls | Reverts | Discards |
546
563
  +======================================================================================+
547
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
564
+ | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
548
565
  |-----------------------------------+---------------------+-------+---------+----------|
549
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
566
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
550
567
  |-----------------------------------+---------------------+-------+---------+----------|
551
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
552
569
  |-----------------------------------+---------------------+-------+---------+----------|
553
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
554
571
  |-----------------------------------+---------------------+-------+---------+----------|
555
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
556
573
  |-----------------------------------+---------------------+-------+---------+----------|
557
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
558
575
  |-----------------------------------+---------------------+-------+---------+----------|
559
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
576
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
560
577
  ╰-----------------------------------+---------------------+-------+---------+----------╯
561
578
 
562
579
  Logs:
563
- Bound result 33608727664276041780
564
- Bound result 1994382204881099413008
565
- Bound result 37320
566
- Bound result 13533
567
- Bound result 25375885529
568
- Bound result 1
569
- Bound result 1
570
- Bound result 1
571
- Bound result 538548725861451760691
572
- Bound result 8754640398170986187508
573
- Bound result 242
574
- Bound result 3318
575
- Bound result 6814
580
+ Bound result 107477462
581
+ Bound result 220
582
+ Bound result 169
583
+ Bound result 312039384138583
584
+ Bound result 1066435300
585
+ Bound result 119
586
+ Bound result 1440
587
+ Bound result 5578
588
+ Bound result 812
589
+ Bound result 795
590
+ Bound result 9900000000000000002555
591
+ Bound result 9900000000000000001157
592
+ Bound result 923
593
+ Bound result 1512
594
+ Bound result 10787
595
+ Bound result 3190
596
+ Bound result 9900000000000000000408
597
+ Bound result 1000000000000000000001
598
+ Bound result 1852
599
+ Bound result 436
600
+ Bound result 9407
601
+ Bound result 9900000022244634513547
602
+ Bound result 4131391604869704559287
603
+ Bound result 56
604
+ Bound result 7298
576
605
 
577
606
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
578
607
 
579
608
  ╭-----------------------------------+---------------------+-------+---------+----------╮
580
609
  | Contract | Selector | Calls | Reverts | Discards |
581
610
  +======================================================================================+
582
- | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
611
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
583
612
  |-----------------------------------+---------------------+-------+---------+----------|
584
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
613
+ | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
585
614
  |-----------------------------------+---------------------+-------+---------+----------|
586
- | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
615
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
587
616
  |-----------------------------------+---------------------+-------+---------+----------|
588
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
617
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
589
618
  |-----------------------------------+---------------------+-------+---------+----------|
590
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
619
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
591
620
  |-----------------------------------+---------------------+-------+---------+----------|
592
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
621
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
593
622
  |-----------------------------------+---------------------+-------+---------+----------|
594
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
623
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
595
624
  ╰-----------------------------------+---------------------+-------+---------+----------╯
596
625
 
597
626
  Logs:
598
- Bound result 16903424
599
- Bound result 9900000000000613063844
600
- Bound result 9900000000000000009077
601
- Bound result 2314
602
- Bound result 8762
603
- Bound result 1829561007606824
604
- Bound result 16371
605
- Bound result 7959897164862022
606
- Bound result 54
607
- Bound result 1894431
608
- Bound result 8483
609
- Bound result 1113219430
610
- Bound result 2
611
- Bound result 547659574635
612
- Bound result 9900000000000000008026
613
- Bound result 9900000000000000009488
614
- Bound result 7113
615
- Bound result 657
616
- Bound result 6258
617
- Bound result 15059
618
- Bound result 6914264337517608965039
619
- Bound result 3329
620
- Bound result 4301
621
- Bound result 3015439342
622
- Bound result 4242438485340447
623
- Bound result 3841
627
+ Bound result 6557447762
628
+ Bound result 12153877481689162
629
+ Bound result 9900000000000000002074
630
+ Bound result 9900000000000534896958
631
+ Bound result 10
632
+ Bound result 568
633
+ Bound result 704
634
+ Bound result 122
635
+ Bound result 9917
636
+ Bound result 783
637
+ Bound result 151
638
+ Bound result 75
639
+ Bound result 9900000000000035189634
640
+ Bound result 9900000000005625737000
641
+ Bound result 121
642
+ Bound result 1985
643
+ Bound result 7517242636788455394764
644
+ Bound result 267838131561317436667
645
+ Bound result 0
646
+ Bound result 3239291533296635294550
647
+ Bound result 1229
648
+ Bound result 9900000000000000006028
649
+ Bound result 9900000000000000009230
650
+ Bound result 5993
651
+ Bound result 3482
624
652
 
625
653
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
626
654
 
627
655
  ╭-----------------------------------+---------------------+-------+---------+----------╮
628
656
  | Contract | Selector | Calls | Reverts | Discards |
629
657
  +======================================================================================+
630
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
631
659
  |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | outflow | 517 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
633
661
  |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
635
663
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
637
665
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
666
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
639
667
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
668
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 518 | 0 | 0 |
641
669
  |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | warp | 580 | 0 | 0 |
670
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
643
671
  ╰-----------------------------------+---------------------+-------+---------+----------╯
644
672
 
645
673
  Logs:
646
- Bound result 22170
647
- Bound result 58349649087492133910
648
- Bound result 50
649
- Bound result 5
650
- Bound result 9900236984601829499831
651
- Bound result 8930629262154154363854
652
- Bound result 4672
653
- Bound result 74
654
- Bound result 100000000000000000002
655
- Bound result 100000000000000000003
656
- Bound result 4116
657
- Bound result 6240
658
- Bound result 9900000000000000000992
659
- Bound result 9900000000000000001558
660
- Bound result 4891
661
- Bound result 639
662
- Bound result 2344
663
- Bound result 1255
664
- Bound result 141339338231289
665
- Bound result 3964
666
- Bound result 733
667
- Bound result 613
674
+ Bound result 4191
675
+ Bound result 1684998121434298764716
676
+ Bound result 476308818638429071493
677
+ Bound result 1
678
+ Bound result 9900000000846179274370
679
+ Bound result 9929727078355876634234
680
+ Bound result 33
681
+ Bound result 7490
682
+ Bound result 8354
683
+ Bound result 2805501229892454568559
684
+ Bound result 1738
685
+ Bound result 1
686
+ Bound result 10881253132097390599196
687
+ Bound result 16863253468373433495847
688
+ Bound result 0
689
+ Bound result 196810711556611010
690
+ Bound result 1
691
+ Bound result 7097
692
+ Bound result 7666
693
+ Bound result 0
694
+ Bound result 4450
695
+ Bound result 4014628
696
+ Bound result 10234
697
+ Bound result 6907492496864723640631
698
+ Bound result 3381812520029375161127
699
+ Bound result 2444
668
700
 
669
701
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
670
702
 
671
703
  ╭-----------------------------------+---------------------+-------+---------+----------╮
672
704
  | Contract | Selector | Calls | Reverts | Discards |
673
705
  +======================================================================================+
674
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
706
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
675
707
  |-----------------------------------+---------------------+-------+---------+----------|
676
- | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
677
709
  |-----------------------------------+---------------------+-------+---------+----------|
678
- | RateLimiterRBACUpgradeableHandler | setConfig | 581 | 0 | 0 |
710
+ | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
679
711
  |-----------------------------------+---------------------+-------+---------+----------|
680
- | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
712
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
681
713
  |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
714
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
683
715
  |-----------------------------------+---------------------+-------+---------+----------|
684
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
716
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
685
717
  |-----------------------------------+---------------------+-------+---------+----------|
686
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
718
+ | RateLimiterRBACUpgradeableHandler | warp | 519 | 0 | 0 |
687
719
  ╰-----------------------------------+---------------------+-------+---------+----------╯
688
720
 
689
721
  Logs:
690
- Bound result 284
691
- Bound result 21187888770
692
- Bound result 999969235329528
693
- Bound result 0
694
- Bound result 2443899313024
695
- Bound result 514264337593504336254
696
- Bound result 111309540042374898
697
- Bound result 0
698
- Bound result 9900217622783906603763
699
- Bound result 6914264337593535947491
700
- Bound result 1369
701
- Bound result 886
702
- Bound result 1113111
703
- Bound result 24097210917120933870
704
- Bound result 0
705
- Bound result 3274
706
- Bound result 1161
707
- Bound result 0
708
- Bound result 13633769491721754308201
709
- Bound result 650855966766945
722
+ Bound result 991
723
+ Bound result 388
724
+ Bound result 1561690
725
+ Bound result 3119762622161
726
+ Bound result 3
727
+ Bound result 756
728
+ Bound result 950
729
+ Bound result 82
730
+ Bound result 78
731
+ Bound result 2
732
+ Bound result 9900000000000120126173
733
+ Bound result 9900000000000000008226
734
+ Bound result 5603
735
+ Bound result 4383
736
+ Bound result 164476158111
737
+ Bound result 1656
710
738
 
711
739
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
712
740
 
713
741
  ╭-----------------------------------+---------------------+-------+---------+----------╮
714
742
  | Contract | Selector | Calls | Reverts | Discards |
715
743
  +======================================================================================+
716
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | inflow | 588 | 0 | 0 |
717
745
  |-----------------------------------+---------------------+-------+---------+----------|
718
- | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
719
747
  |-----------------------------------+---------------------+-------+---------+----------|
720
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
721
749
  |-----------------------------------+---------------------+-------+---------+----------|
722
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
723
751
  |-----------------------------------+---------------------+-------+---------+----------|
724
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 511 | 0 | 0 |
725
753
  |-----------------------------------+---------------------+-------+---------+----------|
726
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 592 | 0 | 0 |
727
755
  |-----------------------------------+---------------------+-------+---------+----------|
728
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
756
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
729
757
  ╰-----------------------------------+---------------------+-------+---------+----------╯
730
758
 
731
759
  Logs:
732
- Bound result 315
733
- Bound result 9900000000058659386548
734
- Bound result 9900000000000000254991
735
- Bound result 8123
736
- Bound result 5491
737
- Bound result 14691
760
+ Bound result 6604434656977032851
761
+ Bound result 1153517052078272149377
738
762
  Bound result 1
739
- Bound result 5123
740
- Bound result 9900000000058659386548
741
- Bound result 920
742
- Bound result 9324
743
- Bound result 1957
744
- Bound result 8037
763
+ Bound result 9
764
+ Bound result 1492
765
+ Bound result 8498
766
+ Bound result 854037
767
+ Bound result 13865082532702313
768
+ Bound result 9
769
+ Bound result 617
770
+ Bound result 5196
771
+ Bound result 281474976710655
772
+ Bound result 9900000000000000001716
773
+ Bound result 9900000000000000006895
774
+ Bound result 8225
775
+ Bound result 4235
776
+ Bound result 1
777
+ Bound result 67505
778
+ Bound result 24114361483398
745
779
 
746
780
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
747
781
 
748
782
  ╭-----------------------------------+---------------------+-------+---------+----------╮
749
783
  | Contract | Selector | Calls | Reverts | Discards |
750
784
  +======================================================================================+
751
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
785
+ | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
752
786
  |-----------------------------------+---------------------+-------+---------+----------|
753
- | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
787
+ | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
754
788
  |-----------------------------------+---------------------+-------+---------+----------|
755
- | RateLimiterRBACUpgradeableHandler | setConfig | 581 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
756
790
  |-----------------------------------+---------------------+-------+---------+----------|
757
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
758
792
  |-----------------------------------+---------------------+-------+---------+----------|
759
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
760
794
  |-----------------------------------+---------------------+-------+---------+----------|
761
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
762
796
  |-----------------------------------+---------------------+-------+---------+----------|
763
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
764
798
  ╰-----------------------------------+---------------------+-------+---------+----------╯
765
799
 
766
800
  Logs:
767
- Bound result 9900000000000000009387
768
- Bound result 9900000000000000000766
769
- Bound result 5131
770
- Bound result 1643
771
- Bound result 1
772
- Bound result 9900000000000000003135
773
- Bound result 9900000000000000001180
774
- Bound result 1957
775
- Bound result 7182
776
- Bound result 5351
777
- Bound result 18446744073709551617
778
- Bound result 0
779
- Bound result 54
780
- Bound result 396256878
781
- Bound result 91060998345
782
- Bound result 2
783
- Bound result 302
784
- Bound result 12117
785
- Bound result 14292854090331003987750
786
- Bound result 32383287330
787
- Bound result 4478
801
+ Bound result 372960295861253618372
802
+ Bound result 393
803
+ Bound result 1198996683314046567426
804
+ Bound result 25076358
805
+ Bound result 185
806
+ Bound result 9900000000000001127969
807
+ Bound result 100000000000000000002
808
+ Bound result 11
809
+ Bound result 80
810
+ Bound result 160
811
+ Bound result 5
812
+ Bound result 100000000000000000000
813
+ Bound result 2230689580238792486583
814
+ Bound result 4180
815
+ Bound result 1601
816
+ Bound result 55198230
817
+ Bound result 9900000000000000004531
818
+ Bound result 1271298667512951725961
819
+ Bound result 475
820
+ Bound result 8206
788
821
 
789
822
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
790
823
 
791
824
  ╭-----------------------------------+---------------------+-------+---------+----------╮
792
825
  | Contract | Selector | Calls | Reverts | Discards |
793
826
  +======================================================================================+
794
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
827
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
795
828
  |-----------------------------------+---------------------+-------+---------+----------|
796
- | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
829
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
797
830
  |-----------------------------------+---------------------+-------+---------+----------|
798
- | RateLimiterRBACUpgradeableHandler | setConfig | 512 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
799
832
  |-----------------------------------+---------------------+-------+---------+----------|
800
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
801
834
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 578 | 0 | 0 |
803
836
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
805
838
  |-----------------------------------+---------------------+-------+---------+----------|
806
- | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
807
840
  ╰-----------------------------------+---------------------+-------+---------+----------╯
808
841
 
809
842
  Logs:
810
- Bound result 8876
811
- Bound result 2185
812
- Bound result 1
813
- Bound result 5578
814
- Bound result 2891
815
- Bound result 94
816
- Bound result 6312
817
- Bound result 0
818
- Bound result 5122
819
- Bound result 4266781249
820
- Bound result 0
821
- Bound result 1
822
- Bound result 9900017944187723704829
823
- Bound result 100000000000000000000
824
- Bound result 5329
825
- Bound result 105
826
- Bound result 3864
827
- Bound result 10212
828
- Bound result 0
829
- Bound result 4184
830
- Bound result 1713
831
- Bound result 2982
832
- Bound result 856
833
- Bound result 3308859969128441802283
834
- Bound result 9900000000000513945705
835
- Bound result 1560
836
- Bound result 5169
843
+ Bound result 31065785
844
+ Bound result 1308854518907779239058
845
+ Bound result 1829
846
+ Bound result 2980944
847
+ Bound result 690079335456
848
+ Bound result 486
849
+ Bound result 1127710599194802551629
850
+ Bound result 2
851
+ Bound result 3690631733098627996
852
+ Bound result 905
853
+ Bound result 9900002007868417043551
854
+ Bound result 6914264337593535947491
855
+ Bound result 80
856
+ Bound result 5841
857
+ Bound result 6658
858
+ Bound result 13919
859
+ Bound result 99472539064240914
860
+ Bound result 59
861
+ Bound result 3751
837
862
 
838
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 4.78s (24.81s CPU time)
863
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.83s (17.54s CPU time)
839
864
 
840
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
841
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
842
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
843
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44746, ~: 46317)
844
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
845
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
846
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
847
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
848
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
849
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
850
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
851
- [PASS] test_getFee_Default() (gas: 40577)
852
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43171, ~: 44486)
853
- [PASS] test_getFee_Rounding() (gas: 42835)
854
- [PASS] test_getFee_Specific() (gas: 63968)
855
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
856
- [PASS] test_setDefaultFeeBps() (gas: 39576)
857
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32455, ~: 39667)
858
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
859
- [PASS] test_setFeeBps() (gas: 73871)
860
- Logs:
861
- Bound result 500
862
-
863
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65406, ~: 74224)
864
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
865
- [PASS] test_storageHash() (gas: 3426)
866
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 5.00s (836.61ms CPU time)
865
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
866
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
867
+ [PASS] test_constructor_InitialMode() (gas: 15778)
868
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
869
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
870
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
871
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
872
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
873
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
874
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
875
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
876
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
877
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
878
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
879
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
880
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
881
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
882
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
883
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
884
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
885
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
886
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
887
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
888
+ [PASS] test_setMode_Blacklist() (gas: 42605)
889
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
890
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
891
+ [PASS] test_setMode_Whitelist() (gas: 42714)
892
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
893
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
894
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
895
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
896
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
897
+ [PASS] test_storageHash() (gas: 3480)
898
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 4.25s (919.32ms CPU time)
867
899
 
868
900
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
869
901
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -871,351 +903,389 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
871
903
  ╭-----------------------------------+---------------------+-------+---------+----------╮
872
904
  | Contract | Selector | Calls | Reverts | Discards |
873
905
  +======================================================================================+
874
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
906
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
875
907
  |-----------------------------------+---------------------+-------+---------+----------|
876
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
877
909
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
879
911
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
881
913
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 598 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 578 | 0 | 0 |
883
915
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
885
917
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
887
919
  ╰-----------------------------------+---------------------+-------+---------+----------╯
888
920
 
889
921
  Logs:
890
- Bound result 683446938206129230797
891
- Bound result 6613131989
892
- Bound result 7081
893
- Bound result 634
894
- Bound result 3658286192
895
- Bound result 1019
896
- Bound result 1295
897
- Bound result 28003946290508
898
- Bound result 173
899
- Bound result 10179499969586290
900
- Bound result 18
901
- Bound result 4
902
- Bound result 1558170778552680178
903
- Bound result 482
904
- Bound result 1868
922
+ Bound result 810248654550682
923
+ Bound result 8096
924
+ Bound result 1663422
925
+ Bound result 102341844482
926
+ Bound result 1
927
+ Bound result 9900000000001683397269
928
+ Bound result 9900816071789718865872
929
+ Bound result 3491
930
+ Bound result 27
931
+ Bound result 88782
932
+ Bound result 771
933
+ Bound result 6516
934
+ Bound result 4862897492117581825957
935
+ Bound result 1940791852307058025218
936
+ Bound result 36
937
+ Bound result 6913
938
+ Bound result 410025321100503917865
905
939
 
906
940
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
907
941
 
908
942
  ╭-----------------------------------+---------------------+-------+---------+----------╮
909
943
  | Contract | Selector | Calls | Reverts | Discards |
910
944
  +======================================================================================+
911
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
945
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
912
946
  |-----------------------------------+---------------------+-------+---------+----------|
913
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
947
+ | RateLimiterRBACUpgradeableHandler | outflow | 577 | 0 | 0 |
914
948
  |-----------------------------------+---------------------+-------+---------+----------|
915
- | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
949
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
916
950
  |-----------------------------------+---------------------+-------+---------+----------|
917
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
951
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
918
952
  |-----------------------------------+---------------------+-------+---------+----------|
919
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 592 | 0 | 0 |
953
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
920
954
  |-----------------------------------+---------------------+-------+---------+----------|
921
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
922
956
  |-----------------------------------+---------------------+-------+---------+----------|
923
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
924
958
  ╰-----------------------------------+---------------------+-------+---------+----------╯
925
959
 
926
960
  Logs:
927
- Bound result 3859
928
- Bound result 2
929
- Bound result 232
930
- Bound result 2429
961
+ Bound result 2147
962
+ Bound result 11068
963
+ Bound result 0
964
+ Bound result 514264337593543950335
965
+ Bound result 9900000000000000010109
966
+ Bound result 6636192869016052233240
967
+ Bound result 2161
968
+ Bound result 1006
969
+ Bound result 4573
970
+ Bound result 5817
971
+ Bound result 17878772063758332717445
972
+ Bound result 4236
973
+ Bound result 0
974
+ Bound result 2250081539
975
+ Bound result 374691478706008
931
976
  Bound result 1
932
- Bound result 336
933
- Bound result 378585425351100230422
977
+ Bound result 1778
978
+ Bound result 347
934
979
  Bound result 1
935
- Bound result 277
936
- Bound result 23
937
- Bound result 786417
938
- Bound result 338
939
- Bound result 6739140940960629139665
940
- Bound result 100000000000000000003
941
- Bound result 6241
942
- Bound result 291
943
- Bound result 8117488580878472918247
980
+ Bound result 889736235745971537148
981
+ Bound result 10992
982
+ Bound result 8577421856198218038575
983
+ Bound result 0
984
+ Bound result 4193263714
985
+ Bound result 18185796990404525786146
986
+ Bound result 19779282005633434
944
987
  Bound result 1
945
- Bound result 732
946
- Bound result 5213
947
- Bound result 16
948
- Bound result 10170
949
- Bound result 7
950
- Bound result 5362
951
- Bound result 6101
952
988
 
953
989
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
954
990
 
955
991
  ╭-----------------------------------+---------------------+-------+---------+----------╮
956
992
  | Contract | Selector | Calls | Reverts | Discards |
957
993
  +======================================================================================+
958
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
959
995
  |-----------------------------------+---------------------+-------+---------+----------|
960
- | RateLimiterRBACUpgradeableHandler | outflow | 503 | 0 | 0 |
996
+ | RateLimiterRBACUpgradeableHandler | outflow | 587 | 0 | 0 |
961
997
  |-----------------------------------+---------------------+-------+---------+----------|
962
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
963
999
  |-----------------------------------+---------------------+-------+---------+----------|
964
- | RateLimiterRBACUpgradeableHandler | setState | 589 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
965
1001
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
1002
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
967
1003
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 510 | 0 | 0 |
969
1005
  |-----------------------------------+---------------------+-------+---------+----------|
970
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
971
1007
  ╰-----------------------------------+---------------------+-------+---------+----------╯
972
1008
 
973
1009
  Logs:
974
- Bound result 245941473372
975
- Bound result 1377614282097724962926
976
- Bound result 9900000000000000000181
977
- Bound result 6453
978
- Bound result 9721
1010
+ Bound result 199592
1011
+ Bound result 6921026424865313952820
1012
+ Bound result 9900027733767935003264
1013
+ Bound result 10
1014
+ Bound result 847
1015
+ Bound result 1082
1016
+ Bound result 14360785669665382957938
1017
+ Bound result 6503
1018
+ Bound result 1070
1019
+ Bound result 3165833
1020
+ Bound result 2765856164454848737915
1021
+ Bound result 22
1022
+ Bound result 1170
1023
+ Bound result 4622
1024
+ Bound result 1733
1025
+ Bound result 768
979
1026
  Bound result 1
980
- Bound result 16043
981
- Bound result 3178984042653
982
- Bound result 9901464590545649019247
983
- Bound result 100000000000000000001
984
- Bound result 16
985
- Bound result 9410
986
- Bound result 17766
987
- Bound result 1445
988
- Bound result 1750472768029558
989
- Bound result 10575
990
- Bound result 9900000000000000837084
991
- Bound result 1946347317636702334354
992
- Bound result 6201
993
- Bound result 12
1027
+ Bound result 201
1028
+ Bound result 1079145659138569825647
1029
+ Bound result 816
994
1030
 
995
1031
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
996
1032
 
997
1033
  ╭-----------------------------------+---------------------+-------+---------+----------╮
998
1034
  | Contract | Selector | Calls | Reverts | Discards |
999
1035
  +======================================================================================+
1000
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
1036
+ | RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
1001
1037
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | outflow | 497 | 0 | 0 |
1038
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
1003
1039
  |-----------------------------------+---------------------+-------+---------+----------|
1004
- | RateLimiterRBACUpgradeableHandler | setConfig | 586 | 0 | 0 |
1040
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
1005
1041
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
1042
+ | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
1007
1043
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
1044
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
1009
1045
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
1046
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
1011
1047
  |-----------------------------------+---------------------+-------+---------+----------|
1012
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
1048
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
1013
1049
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1014
1050
 
1015
1051
  Logs:
1016
- Bound result 9900000433351468135632
1017
- Bound result 235733557052269266073
1018
- Bound result 8472
1019
- Bound result 9689
1020
- Bound result 11619212053119913364
1021
- Bound result 9900000000339156452687
1022
- Bound result 9900000118331476590252
1023
- Bound result 6239
1024
- Bound result 3184
1025
- Bound result 6531568553507873541
1026
- Bound result 3576315115912293
1027
- Bound result 1
1028
- Bound result 9900000000000000001060
1029
- Bound result 9900000000000000000434
1030
- Bound result 3815
1031
- Bound result 571
1032
- Bound result 3997
1033
- Bound result 9900000000000001135215
1034
- Bound result 9900000000000000123460
1035
- Bound result 4504
1036
- Bound result 8555
1037
- Bound result 10991
1038
- Bound result 2101
1039
- Bound result 1
1052
+ Bound result 1292
1053
+ Bound result 969220791573780810796
1054
+ Bound result 44289236451750167006
1055
+ Bound result 932
1056
+ Bound result 329
1057
+ Bound result 2
1058
+ Bound result 823293458081908232383
1059
+ Bound result 223
1060
+ Bound result 6492
1061
+ Bound result 100000000000000000002
1062
+ Bound result 9900000000000064798751
1063
+ Bound result 7469
1064
+ Bound result 10
1065
+ Bound result 14924759533600901583059
1066
+ Bound result 9900000000000000001025
1067
+ Bound result 9900000000000000006863
1068
+ Bound result 5689
1069
+ Bound result 384
1070
+ Bound result 9900000000000026639249
1071
+ Bound result 9899076080649081600704
1072
+ Bound result 7609
1073
+ Bound result 28
1074
+ Bound result 9008
1075
+ Bound result 9900000000000000001853
1076
+ Bound result 9900000000000000000629
1077
+ Bound result 1817
1078
+ Bound result 9312
1040
1079
 
1041
1080
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1042
1081
 
1043
1082
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1044
1083
  | Contract | Selector | Calls | Reverts | Discards |
1045
1084
  +======================================================================================+
1046
- | RateLimiterRBACUpgradeableHandler | inflow | 498 | 0 | 0 |
1085
+ | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1047
1086
  |-----------------------------------+---------------------+-------+---------+----------|
1048
- | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
1087
+ | RateLimiterRBACUpgradeableHandler | outflow | 579 | 0 | 0 |
1049
1088
  |-----------------------------------+---------------------+-------+---------+----------|
1050
- | RateLimiterRBACUpgradeableHandler | setConfig | 585 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1051
1090
  |-----------------------------------+---------------------+-------+---------+----------|
1052
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
1053
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1054
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 569 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 509 | 0 | 0 |
1055
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1056
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
1057
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1058
- | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
1059
1098
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1060
1099
 
1061
1100
  Logs:
1062
- Bound result 9900000000000000301978
1063
- Bound result 9900000072608146853908
1064
- Bound result 5729
1065
- Bound result 6381
1066
- Bound result 744529665630
1067
- Bound result 27140768195805479755
1068
- Bound result 17411059444839
1101
+ Bound result 9900000001200848215018
1102
+ Bound result 659396516426005902418
1103
+ Bound result 71
1104
+ Bound result 48
1105
+ Bound result 5654
1106
+ Bound result 5858
1107
+ Bound result 6904654136661076439140
1069
1108
  Bound result 1
1070
- Bound result 6885
1071
- Bound result 6943090836212624178854
1072
- Bound result 9900000843863858636159
1073
- Bound result 9022
1074
- Bound result 4446
1075
- Bound result 5662467510559214525
1076
- Bound result 10248190436761191049101
1077
- Bound result 1511
1078
- Bound result 11817699421609256226476
1079
- Bound result 3214091157308377248534
1080
- Bound result 510
1081
- Bound result 1408163968098649925975
1082
- Bound result 15303664012009892466940
1083
- Bound result 1402
1084
- Bound result 11421156858503949300184
1085
- Bound result 6
1086
- Bound result 2814
1087
- Bound result 167
1109
+ Bound result 2693
1110
+ Bound result 4508
1111
+ Bound result 0
1112
+ Bound result 10364
1113
+ Bound result 36
1114
+ Bound result 88
1115
+ Bound result 9900000000000000006979
1116
+ Bound result 9900000000002719481311
1117
+ Bound result 506
1118
+ Bound result 1557
1119
+ Bound result 2029
1120
+ Bound result 4506
1088
1121
 
1089
1122
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1090
1123
 
1091
1124
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1092
1125
  | Contract | Selector | Calls | Reverts | Discards |
1093
1126
  +======================================================================================+
1094
- | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
1127
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
1095
1128
  |-----------------------------------+---------------------+-------+---------+----------|
1096
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1129
+ | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
1097
1130
  |-----------------------------------+---------------------+-------+---------+----------|
1098
- | RateLimiterRBACUpgradeableHandler | setConfig | 500 | 0 | 0 |
1131
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1099
1132
  |-----------------------------------+---------------------+-------+---------+----------|
1100
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1133
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1101
1134
  |-----------------------------------+---------------------+-------+---------+----------|
1102
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
1135
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 520 | 0 | 0 |
1103
1136
  |-----------------------------------+---------------------+-------+---------+----------|
1104
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1137
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
1105
1138
  |-----------------------------------+---------------------+-------+---------+----------|
1106
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
1139
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
1107
1140
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1108
1141
 
1109
1142
  Logs:
1110
- Bound result 20
1111
- Bound result 27
1112
- Bound result 772
1113
- Bound result 120198225
1114
- Bound result 2666
1115
- Bound result 1566
1116
- Bound result 356
1117
- Bound result 9900000000000000012596
1118
- Bound result 8429252504872731903774
1119
- Bound result 723
1143
+ Bound result 9900000000000000005295
1144
+ Bound result 9900000000000000005854
1145
+ Bound result 8206
1146
+ Bound result 8769
1147
+ Bound result 231520133927151875761
1148
+ Bound result 1920
1149
+ Bound result 9917835129928019042456
1150
+ Bound result 1716752014432106279741
1120
1151
  Bound result 10
1121
- Bound result 280
1122
- Bound result 3532
1123
- Bound result 310
1124
- Bound result 9900000000000000008870
1125
- Bound result 9900000000000000004951
1126
- Bound result 5638
1127
- Bound result 2030
1128
- Bound result 9900000000000000002516
1129
- Bound result 9900000000000000003616
1130
- Bound result 9995
1131
- Bound result 1255
1152
+ Bound result 11
1153
+ Bound result 9900000000000000000651
1154
+ Bound result 9900000000000000002808
1155
+ Bound result 1479
1156
+ Bound result 7972
1157
+ Bound result 6914264337571071964380
1158
+ Bound result 586520770876333325276
1159
+ Bound result 4444662662865833056231
1160
+ Bound result 1977
1161
+ Bound result 5753
1162
+ Bound result 221672091078395762
1163
+ Bound result 11340629622902285
1164
+ Bound result 0
1165
+ Bound result 1126131400539211706451
1166
+ Bound result 0
1132
1167
 
1133
1168
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1134
1169
 
1135
1170
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1136
1171
  | Contract | Selector | Calls | Reverts | Discards |
1137
1172
  +======================================================================================+
1138
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
1173
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
1139
1174
  |-----------------------------------+---------------------+-------+---------+----------|
1140
- | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
1175
+ | RateLimiterRBACUpgradeableHandler | outflow | 501 | 0 | 0 |
1141
1176
  |-----------------------------------+---------------------+-------+---------+----------|
1142
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
1177
+ | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
1143
1178
  |-----------------------------------+---------------------+-------+---------+----------|
1144
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1179
+ | RateLimiterRBACUpgradeableHandler | setState | 629 | 0 | 0 |
1145
1180
  |-----------------------------------+---------------------+-------+---------+----------|
1146
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
1181
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
1147
1182
  |-----------------------------------+---------------------+-------+---------+----------|
1148
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
1183
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
1149
1184
  |-----------------------------------+---------------------+-------+---------+----------|
1150
- | RateLimiterRBACUpgradeableHandler | warp | 505 | 0 | 0 |
1185
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
1151
1186
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1152
1187
 
1153
1188
  Logs:
1154
- Bound result 364428125098
1155
- Bound result 17819495
1156
- Bound result 947433
1157
- Bound result 1
1158
- Bound result 1702
1159
- Bound result 1810
1160
- Bound result 9900047974496035985411
1161
- Bound result 9900000230831447138760
1162
- Bound result 10
1163
- Bound result 11
1164
- Bound result 2661
1165
- Bound result 15477275130211353660191
1166
- Bound result 1
1167
- Bound result 2978
1168
- Bound result 15
1169
- Bound result 7010
1189
+ Bound result 135
1190
+ Bound result 2092
1191
+ Bound result 1576
1192
+ Bound result 9900000000000000007749
1193
+ Bound result 9900000000000000000657
1194
+ Bound result 8727
1195
+ Bound result 1512
1196
+ Bound result 1000000000000000000001
1197
+ Bound result 9591
1198
+ Bound result 35
1199
+ Bound result 0
1200
+ Bound result 5
1201
+ Bound result 174
1202
+ Bound result 8520814222693
1203
+ Bound result 649
1204
+ Bound result 7059
1205
+ Bound result 267
1206
+ Bound result 10750
1170
1207
 
1171
1208
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1172
1209
 
1173
1210
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1174
1211
  | Contract | Selector | Calls | Reverts | Discards |
1175
1212
  +======================================================================================+
1176
- | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
1213
+ | RateLimiterRBACUpgradeableHandler | inflow | 520 | 0 | 0 |
1177
1214
  |-----------------------------------+---------------------+-------+---------+----------|
1178
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
1215
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
1179
1216
  |-----------------------------------+---------------------+-------+---------+----------|
1180
- | RateLimiterRBACUpgradeableHandler | setConfig | 506 | 0 | 0 |
1217
+ | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
1181
1218
  |-----------------------------------+---------------------+-------+---------+----------|
1182
- | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
1219
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1183
1220
  |-----------------------------------+---------------------+-------+---------+----------|
1184
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
1221
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
1185
1222
  |-----------------------------------+---------------------+-------+---------+----------|
1186
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
1223
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
1187
1224
  |-----------------------------------+---------------------+-------+---------+----------|
1188
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
1225
+ | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
1189
1226
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1190
1227
 
1191
1228
  Logs:
1192
- Bound result 10738
1193
- Bound result 9900000000000000003126
1194
- Bound result 9900000000000023763063
1195
- Bound result 6522
1196
- Bound result 1435
1197
- Bound result 4602
1198
- Bound result 1088
1199
- Bound result 3038968249621671736711
1200
- Bound result 942
1201
- Bound result 82684051525
1202
- Bound result 8654
1203
- Bound result 4594638
1204
- Bound result 9900554292863722104551
1205
- Bound result 100000000000000000000
1206
- Bound result 12
1207
- Bound result 13
1208
- Bound result 7315
1209
- Bound result 9334
1210
- Bound result 6
1211
- Bound result 9900000000000000002554
1212
- Bound result 9900000000000000000712
1213
- Bound result 209
1214
- Bound result 5306
1215
- Bound result 17310320808264713803406
1216
- Bound result 10202
1217
-
1218
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 4.90s (21.96s CPU time)
1229
+ Bound result 9927185152393366828045
1230
+ Bound result 1164079666587706868389
1231
+ Bound result 6239
1232
+ Bound result 177
1233
+ Bound result 1471932636613513984170
1234
+ Bound result 880016727800506874230
1235
+ Bound result 6494
1236
+ Bound result 10
1237
+ Bound result 11000
1238
+ Bound result 45255564516780602
1239
+ Bound result 3968
1240
+ Bound result 1972357864
1241
+ Bound result 120427637417
1242
+ Bound result 821
1243
+ Bound result 9994806745091080495628
1244
+ Bound result 9901045431809080434810
1245
+ Bound result 4084
1246
+ Bound result 7985
1247
+ Bound result 10927
1248
+ Bound result 462
1249
+ Bound result 9900000000000144467446
1250
+ Bound result 8773683049460023641398
1251
+ Bound result 6655
1252
+ Bound result 191
1253
+ Bound result 9900000000000000000498
1254
+ Bound result 9900000000000000005199
1255
+ Bound result 3663
1256
+ Bound result 3149
1257
+
1258
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 4.24s (17.95s CPU time)
1259
+
1260
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1261
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1262
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1263
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47549, ~: 48966)
1264
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1265
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1266
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1267
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1268
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1269
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1270
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1271
+ [PASS] test_getFee_Default() (gas: 43108)
1272
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45430, ~: 47017)
1273
+ [PASS] test_getFee_Rounding() (gas: 45449)
1274
+ [PASS] test_getFee_Specific() (gas: 66985)
1275
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1276
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1277
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35354, ~: 42268)
1278
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1279
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1280
+ [PASS] test_setFeeBps() (gas: 77237)
1281
+ Logs:
1282
+ Bound result 500
1283
+
1284
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69183, ~: 77570)
1285
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1286
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1287
+ [PASS] test_storageHash() (gas: 3436)
1288
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 16.25s (979.39ms CPU time)
1219
1289
 
1220
1290
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1221
1291
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -1247,12 +1317,12 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1247
1317
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1248
1318
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1249
1319
  [PASS] test_storageHash() (gas: 3458)
1250
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 18.56s (717.19ms CPU time)
1320
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 17.39s (730.15ms CPU time)
1251
1321
 
1252
1322
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1253
1323
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1254
1324
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1255
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 718949, ~: 87205)
1325
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 766700, ~: 149339)
1256
1326
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1257
1327
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1258
1328
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1265,12 +1335,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1265
1335
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1266
1336
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1267
1337
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1268
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11205156, ~: 10413875)
1338
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11192271, ~: 10487454)
1269
1339
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1270
1340
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1271
1341
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1272
1342
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1273
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 769644, ~: 138894)
1343
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 765187, ~: 177903)
1274
1344
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1275
1345
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1276
1346
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1283,74 +1353,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1283
1353
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1284
1354
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1285
1355
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1286
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11068422, ~: 10359841)
1356
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11151018, ~: 10367662)
1287
1357
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1288
1358
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1289
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.95s (44.66s CPU time)
1290
-
1291
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1292
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1293
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1294
- [PASS] test_assertNotPaused_Success() (gas: 14934)
1295
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1296
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
1297
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1298
- [PASS] test_isPaused_Default() (gas: 44698)
1299
- [PASS] test_isPaused_InitialState() (gas: 22070)
1300
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1301
- [PASS] test_isPaused_Override() (gas: 69381)
1302
- [PASS] test_isPaused_Specific() (gas: 46709)
1303
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1304
- [PASS] test_pauseConfig() (gas: 45626)
1305
- [PASS] test_setDefaultPaused() (gas: 39667)
1306
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27865, ~: 16332)
1307
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1308
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1309
- [PASS] test_setPaused() (gas: 43060)
1310
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
1311
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38437, ~: 43373)
1312
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1313
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1314
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1315
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58253, ~: 46989)
1316
- [PASS] test_storageHash() (gas: 3480)
1317
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1318
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1319
- [PASS] test_whenNotPaused_Success() (gas: 41297)
1320
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1321
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1322
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1323
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 18.40s (945.44ms CPU time)
1324
-
1325
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1326
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1327
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1328
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47667, ~: 48966)
1329
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1330
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1331
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1332
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1333
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1334
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1335
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1336
- [PASS] test_getFee_Default() (gas: 43108)
1337
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45580, ~: 47017)
1338
- [PASS] test_getFee_Rounding() (gas: 45449)
1339
- [PASS] test_getFee_Specific() (gas: 66985)
1340
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1341
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1342
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35069, ~: 42268)
1343
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1344
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1345
- [PASS] test_setFeeBps() (gas: 77237)
1346
- Logs:
1347
- Bound result 500
1348
-
1349
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68628, ~: 77570)
1350
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1351
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1352
- [PASS] test_storageHash() (gas: 3436)
1353
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 18.56s (1.02s CPU time)
1359
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.37s (43.78s CPU time)
1354
1360
 
1355
- Ran 17 test suites in 18.60s (96.81s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1356
- ⏳ forge test: 35.640s
1361
+ Ran 17 test suites in 17.42s (71.89s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1362
+ ⏳ forge test: 35.251s