@layerzerolabs/utils-upgradeable-evm-contracts 0.2.83 → 0.2.85

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 (3) hide show
  1. package/.turbo/turbo-lint.log +1 -368
  2. package/.turbo/turbo-test.log +751 -684
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,7 +5,7 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:70981) [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:67047) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
@@ -13,8 +13,8 @@ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazon
13
13
  📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
14
14
  $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
15
15
  forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
16
- 86ec798129ac: Already exists
17
- eef7c391911c: Already exists
16
+ 86ec798129ac: Pulling fs layer
17
+ eef7c391911c: Pulling fs layer
18
18
  cc2ecf4065b7: Pulling fs layer
19
19
  5760fdd70374: Pulling fs layer
20
20
  c70db14240a1: Pulling fs layer
@@ -23,27 +23,45 @@ c70db14240a1: Pulling fs layer
23
23
  8e167e77288f: Pulling fs layer
24
24
  45d43cc973ba: Pulling fs layer
25
25
  44c09156221f: Pulling fs layer
26
+ 5760fdd70374: Waiting
26
27
  f2fb700979ad: Pulling fs layer
27
28
  2a1ced882ba9: Pulling fs layer
28
29
  597168d5c38e: Pulling fs layer
30
+ eef7c391911c: Download complete
29
31
  e431adaf232f: Pulling fs layer
30
32
  36e15e3f2788: Pulling fs layer
33
+ 8e167e77288f: Waiting
31
34
  36e15e3f2788: Waiting
32
- 8e167e77288f: Download complete
35
+ 45d43cc973ba: Waiting
36
+ 0cb2c6965bde: Waiting
37
+ 885bca26f927: Waiting
38
+ 44c09156221f: Waiting
39
+ c70db14240a1: Waiting
40
+ f2fb700979ad: Waiting
41
+ 597168d5c38e: Waiting
42
+ e431adaf232f: Waiting
43
+ 2a1ced882ba9: Waiting
44
+ 5760fdd70374: Verifying Checksum
33
45
  5760fdd70374: Download complete
34
- 45d43cc973ba: Download complete
46
+ 86ec798129ac: Verifying Checksum
47
+ 86ec798129ac: Download complete
35
48
  c70db14240a1: Download complete
36
- 44c09156221f: Download complete
37
- f2fb700979ad: Download complete
49
+ cc2ecf4065b7: Verifying Checksum
50
+ cc2ecf4065b7: Download complete
51
+ 86ec798129ac: Pull complete
52
+ eef7c391911c: Pull complete
53
+ 8e167e77288f: Download complete
54
+ 0cb2c6965bde: Verifying Checksum
38
55
  0cb2c6965bde: Download complete
39
- 2a1ced882ba9: Waiting
40
- 597168d5c38e: Download complete
41
- e431adaf232f: Waiting
56
+ 45d43cc973ba: Verifying Checksum
57
+ 45d43cc973ba: Download complete
58
+ 44c09156221f: Download complete
42
59
  cc2ecf4065b7: Pull complete
60
+ f2fb700979ad: Download complete
43
61
  5760fdd70374: Pull complete
44
62
  c70db14240a1: Pull complete
63
+ 597168d5c38e: Download complete
45
64
  0cb2c6965bde: Pull complete
46
- 2a1ced882ba9: Verifying Checksum
47
65
  2a1ced882ba9: Download complete
48
66
  36e15e3f2788: Download complete
49
67
  885bca26f927: Verifying Checksum
@@ -66,7 +84,7 @@ Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/lay
66
84
  👤 Running container as UID:GID 1001:1001
67
85
  $ 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
68
86
  Compiling 84 files with Solc 0.8.22
69
- Solc 0.8.22 finished in 11.91s
87
+ Solc 0.8.22 finished in 10.99s
70
88
  Compiler run successful with warnings:
71
89
  Warning (2018): Function state mutability can be restricted to view
72
90
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -225,7 +243,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
225
243
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
226
244
  [PASS] test_storageHash() (gas: 3414)
227
245
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
228
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 14.37ms (19.16ms CPU time)
246
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 9.98ms (7.38ms CPU time)
229
247
 
230
248
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
231
249
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -268,7 +286,15 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
268
286
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
269
287
  [PASS] test_storageHash() (gas: 3392)
270
288
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
271
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 36.66ms (28.03ms CPU time)
289
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 11.87ms (8.68ms CPU time)
290
+
291
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
292
+ [PASS] test_feeDeposit() (gas: 17576)
293
+ [PASS] test_setFeeDeposit() (gas: 24995)
294
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
295
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
296
+ [PASS] test_storageHash() (gas: 3337)
297
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 45.25ms (44.70ms CPU time)
272
298
 
273
299
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
274
300
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
@@ -281,78 +307,51 @@ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
281
307
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
282
308
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
283
309
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
284
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 47.19ms (78.66ms CPU time)
310
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 101.36ms (101.13ms CPU time)
285
311
 
286
312
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
287
313
  [PASS] test_feeDeposit() (gas: 17638)
288
314
  [PASS] test_setFeeDeposit() (gas: 27596)
289
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
315
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
290
316
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
291
317
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
292
318
  [PASS] test_storageHash() (gas: 3315)
293
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 53.39ms (52.67ms CPU time)
294
-
295
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
296
- [PASS] test_feeDeposit() (gas: 17576)
297
- [PASS] test_setFeeDeposit() (gas: 24995)
298
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
299
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
300
- [PASS] test_storageHash() (gas: 3337)
301
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 68.76ms (68.26ms CPU time)
302
-
303
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
304
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25260, ~: 12763)
305
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
306
- [PASS] test_assertNotPaused_Success() (gas: 12516)
307
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
308
- [PASS] test_isPaused_InitialState() (gas: 15595)
309
- [PASS] test_pause() (gas: 39592)
310
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28347, ~: 39861)
311
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
312
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
313
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
314
- [PASS] test_storageHash() (gas: 3414)
315
- [PASS] test_unpause() (gas: 31115)
316
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40533, ~: 42029)
317
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
318
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
319
- [PASS] test_whenNotPaused_Success() (gas: 38744)
320
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
321
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
322
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
323
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 130.07ms (134.61ms CPU time)
319
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 57.26ms (56.60ms CPU time)
324
320
 
325
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
326
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
327
- [PASS] test_constructor_InitialMode() (gas: 15578)
328
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
329
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
330
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
331
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
332
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
333
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
334
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
335
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
336
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
337
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
338
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
339
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
340
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
341
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
342
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
343
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
344
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
345
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
346
- [PASS] test_setMode_Blacklist() (gas: 40021)
347
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
348
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
349
- [PASS] test_setMode_Whitelist() (gas: 40108)
350
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
351
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
352
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
353
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
354
- [PASS] test_storageHash() (gas: 3458)
355
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 268.63ms (434.37ms CPU time)
321
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
322
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
323
+ [PASS] test_constructor_InitialMode() (gas: 15778)
324
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
325
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
326
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
327
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
328
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
329
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
330
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
331
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
332
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
333
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
334
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
335
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
336
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
337
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
338
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
339
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
340
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
341
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
342
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
343
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
344
+ [PASS] test_setMode_Blacklist() (gas: 42605)
345
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
346
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
347
+ [PASS] test_setMode_Whitelist() (gas: 42714)
348
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
349
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
350
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
351
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
352
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
353
+ [PASS] test_storageHash() (gas: 3480)
354
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 197.13ms (443.09ms CPU time)
356
355
 
357
356
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
358
357
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -362,7 +361,7 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
362
361
  [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
363
362
  [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
364
363
  [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
365
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46827, ~: 46847)
364
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
366
365
  [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
367
366
  [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
368
367
  [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
@@ -388,7 +387,35 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
388
387
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
389
388
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
390
389
  [PASS] test_storageHash() (gas: 3380)
391
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 312.19ms (424.77ms CPU time)
390
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 204.54ms (277.92ms CPU time)
391
+
392
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
393
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
394
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
395
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44926, ~: 46317)
396
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
397
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
398
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
399
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
400
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
401
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
402
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
403
+ [PASS] test_getFee_Default() (gas: 40577)
404
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42951, ~: 44486)
405
+ [PASS] test_getFee_Rounding() (gas: 42835)
406
+ [PASS] test_getFee_Specific() (gas: 63968)
407
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
408
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
409
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32637, ~: 39667)
410
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
411
+ [PASS] test_setFeeBps() (gas: 73871)
412
+ Logs:
413
+ Bound result 500
414
+
415
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65118, ~: 74224)
416
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
417
+ [PASS] test_storageHash() (gas: 3426)
418
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 869.67ms (339.20ms CPU time)
392
419
 
393
420
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
394
421
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -405,16 +432,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
405
432
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
406
433
  [PASS] test_pauseConfig() (gas: 45626)
407
434
  [PASS] test_setDefaultPaused() (gas: 39667)
408
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28125, ~: 28125)
435
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28290, ~: 39918)
409
436
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
410
437
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
411
438
  [PASS] test_setPaused() (gas: 43060)
412
439
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
413
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38199, ~: 43373)
440
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38557, ~: 43373)
414
441
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
415
442
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
416
443
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
417
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
444
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57800, ~: 46989)
418
445
  [PASS] test_storageHash() (gas: 3480)
419
446
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
420
447
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -422,867 +449,907 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
422
449
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
423
450
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
424
451
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
425
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 831.17ms (374.38ms CPU time)
452
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.04s (261.42ms CPU time)
426
453
 
427
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
428
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
429
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
430
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47216, ~: 48966)
431
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
432
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
433
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
434
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
435
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
436
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
437
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
438
- [PASS] test_getFee_Default() (gas: 43108)
439
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45615, ~: 47017)
440
- [PASS] test_getFee_Rounding() (gas: 45449)
441
- [PASS] test_getFee_Specific() (gas: 66985)
442
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
443
- [PASS] test_setDefaultFeeBps() (gas: 42199)
444
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34822, ~: 42268)
445
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
446
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
447
- [PASS] test_setFeeBps() (gas: 77237)
448
- Logs:
449
- Bound result 500
454
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
455
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25544, ~: 12763)
456
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
457
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
458
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
459
+ [PASS] test_isPaused_InitialState() (gas: 15595)
460
+ [PASS] test_pause() (gas: 39592)
461
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27898, ~: 16219)
462
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
463
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
464
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
465
+ [PASS] test_storageHash() (gas: 3414)
466
+ [PASS] test_unpause() (gas: 31115)
467
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40504, ~: 42029)
468
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
469
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
470
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
471
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
472
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
473
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
474
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.10s (234.73ms CPU time)
450
475
 
451
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69697, ~: 77570)
452
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
453
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
454
- [PASS] test_storageHash() (gas: 3436)
455
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.19s (477.62ms CPU time)
476
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
477
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27192, ~: 41090)
478
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
479
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
480
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
481
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
482
+ [PASS] test_isPaused_InitialState() (gas: 15629)
483
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
484
+ [PASS] test_multipleRoleGrants() (gas: 394130)
485
+ [PASS] test_pause() (gas: 42109)
486
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
487
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
488
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30826, ~: 42378)
489
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
490
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
491
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
492
+ [PASS] test_setPaused_Success() (gas: 40691)
493
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
494
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
495
+ [PASS] test_storageHash() (gas: 3414)
496
+ [PASS] test_unpause() (gas: 35177)
497
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41680, ~: 44479)
498
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
499
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
500
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
501
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
502
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
503
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
504
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.17s (163.00ms CPU time)
456
505
 
457
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
506
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
458
507
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
459
508
 
460
509
  ╭-----------------------------------+---------------------+-------+---------+----------╮
461
510
  | Contract | Selector | Calls | Reverts | Discards |
462
511
  +======================================================================================+
463
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
512
+ | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
464
513
  |-----------------------------------+---------------------+-------+---------+----------|
465
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
514
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
466
515
  |-----------------------------------+---------------------+-------+---------+----------|
467
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
516
+ | RateLimiterRBACUpgradeableHandler | setConfig | 534 | 0 | 0 |
468
517
  |-----------------------------------+---------------------+-------+---------+----------|
469
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | setState | 585 | 0 | 0 |
470
519
  |-----------------------------------+---------------------+-------+---------+----------|
471
520
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
472
521
  |-----------------------------------+---------------------+-------+---------+----------|
473
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
522
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
474
523
  |-----------------------------------+---------------------+-------+---------+----------|
475
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
524
+ | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
476
525
  ╰-----------------------------------+---------------------+-------+---------+----------╯
477
526
 
478
527
  Logs:
479
- Bound result 9904408303728298407082
480
- Bound result 9900000000000186848824
481
- Bound result 80
482
- Bound result 23
483
- Bound result 9900000000000000009800
484
- Bound result 9900000000000000008175
485
- Bound result 9382
486
- Bound result 2025
487
- Bound result 341
488
- Bound result 5702368886537313911098
489
- Bound result 9900201933349503432879
490
- Bound result 12
491
- Bound result 835
492
- Bound result 126296342240516795
493
- Bound result 542674763144299
494
- Bound result 0
495
- Bound result 1077
496
- Bound result 37450
497
- Bound result 1
498
- Bound result 934693208489839568
499
- Bound result 2766509669206133275602
500
- Bound result 0
501
- Bound result 1298696395
502
- Bound result 9406995310507544273999
503
- Bound result 178951659678120
528
+ Bound result 266
529
+ Bound result 682
530
+ Bound result 7198
531
+ Bound result 9425
532
+ Bound result 9324
533
+ Bound result 321
534
+ Bound result 2
535
+ Bound result 418
536
+ Bound result 43
504
537
  Bound result 0
538
+ Bound result 9719
539
+ Bound result 448
540
+ Bound result 100000000000000000001
541
+ Bound result 9900000001495121234951
542
+ Bound result 6242
543
+ Bound result 11
544
+ Bound result 9900000000000000006607
545
+ Bound result 9900000000000000008226
546
+ Bound result 2629
547
+ Bound result 890
548
+ Bound result 5520
549
+ Bound result 2546
550
+ Bound result 647
551
+ Bound result 15555335576731306778703
552
+ Bound result 8436
553
+ Bound result 37462
554
+ Bound result 313
555
+ Bound result 3
505
556
 
506
557
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
507
558
 
508
559
  ╭-----------------------------------+---------------------+-------+---------+----------╮
509
560
  | Contract | Selector | Calls | Reverts | Discards |
510
561
  +======================================================================================+
511
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
562
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
512
563
  |-----------------------------------+---------------------+-------+---------+----------|
513
- | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
564
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
514
565
  |-----------------------------------+---------------------+-------+---------+----------|
515
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
566
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
516
567
  |-----------------------------------+---------------------+-------+---------+----------|
517
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | setState | 504 | 0 | 0 |
518
569
  |-----------------------------------+---------------------+-------+---------+----------|
519
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 583 | 0 | 0 |
520
571
  |-----------------------------------+---------------------+-------+---------+----------|
521
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
522
573
  |-----------------------------------+---------------------+-------+---------+----------|
523
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
524
575
  ╰-----------------------------------+---------------------+-------+---------+----------╯
525
576
 
526
577
  Logs:
527
- Bound result 1292
528
- Bound result 1775825204073242872444
529
- Bound result 545627793784872
530
- Bound result 9
531
- Bound result 52975
532
- Bound result 3997
533
- Bound result 524
534
- Bound result 140847196897514462688
535
- Bound result 202579192921084140645
536
- Bound result 272
537
- Bound result 1921311143954643620704
538
- Bound result 7572271119502448
539
- Bound result 1
540
- Bound result 3
541
- Bound result 2555
542
- Bound result 9
543
- Bound result 0
544
- Bound result 32634
545
- Bound result 15
546
- Bound result 1533157267046250839488
547
- Bound result 26557875
548
- Bound result 471
578
+ Bound result 9900000000001764130261
579
+ Bound result 9900177062347344251619
580
+ Bound result 7470
581
+ Bound result 9997
582
+ Bound result 9745
583
+ Bound result 2
584
+ Bound result 5603
585
+ Bound result 4041
586
+ Bound result 1626
587
+ Bound result 9900000000306633693458
588
+ Bound result 9900000000000000000005
589
+ Bound result 688
590
+ Bound result 11
591
+ Bound result 8365
592
+ Bound result 122
593
+ Bound result 406
594
+ Bound result 100000000000000000003
595
+ Bound result 9900000000000000029643
596
+ Bound result 1165
597
+ Bound result 56
598
+ Bound result 9900000000000000010829
599
+ Bound result 9900000000000000003444
600
+ Bound result 2155
601
+ Bound result 8351
549
602
 
550
603
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
551
604
 
552
605
  ╭-----------------------------------+---------------------+-------+---------+----------╮
553
606
  | Contract | Selector | Calls | Reverts | Discards |
554
607
  +======================================================================================+
555
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
556
609
  |-----------------------------------+---------------------+-------+---------+----------|
557
- | RateLimiterRBACUpgradeableHandler | outflow | 588 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
558
611
  |-----------------------------------+---------------------+-------+---------+----------|
559
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
560
613
  |-----------------------------------+---------------------+-------+---------+----------|
561
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | setState | 479 | 0 | 0 |
562
615
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
564
617
  |-----------------------------------+---------------------+-------+---------+----------|
565
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
566
619
  |-----------------------------------+---------------------+-------+---------+----------|
567
- | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
568
621
  ╰-----------------------------------+---------------------+-------+---------+----------╯
569
622
 
570
623
  Logs:
571
- Bound result 25404106924
572
- Bound result 1
573
- Bound result 15532
574
- Bound result 204928110601142840319
575
- Bound result 6233564514
624
+ Bound result 514264337593504336252
625
+ Bound result 7
576
626
  Bound result 0
577
- Bound result 36718761437523376661
578
- Bound result 514264337593543950334
579
- Bound result 31
580
- Bound result 9470
581
- Bound result 476
582
- Bound result 12
583
- Bound result 338
584
- Bound result 6870
585
- Bound result 1258596102837552416440
586
- Bound result 86
627
+ Bound result 625761768
628
+ Bound result 9900938080326754094145
629
+ Bound result 9900000000000000000005
630
+ Bound result 85
631
+ Bound result 3448
632
+ Bound result 4572
633
+ Bound result 2179033038
634
+ Bound result 1
635
+ Bound result 1885
636
+ Bound result 13069422878675018803045
637
+ Bound result 9900000000000000010441
638
+ Bound result 3169422878675018803044
639
+ Bound result 2289
640
+ Bound result 7422
641
+ Bound result 9900000000087236089447
642
+ Bound result 9900000003287639150334
643
+ Bound result 34
644
+ Bound result 191
645
+ Bound result 34
646
+ Bound result 8256
647
+ Bound result 133783230806191199508
587
648
 
588
649
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
589
650
 
590
651
  ╭-----------------------------------+---------------------+-------+---------+----------╮
591
652
  | Contract | Selector | Calls | Reverts | Discards |
592
653
  +======================================================================================+
593
- | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
594
655
  |-----------------------------------+---------------------+-------+---------+----------|
595
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
596
657
  |-----------------------------------+---------------------+-------+---------+----------|
597
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
598
659
  |-----------------------------------+---------------------+-------+---------+----------|
599
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
600
661
  |-----------------------------------+---------------------+-------+---------+----------|
601
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 578 | 0 | 0 |
602
663
  |-----------------------------------+---------------------+-------+---------+----------|
603
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
604
665
  |-----------------------------------+---------------------+-------+---------+----------|
605
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
666
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
606
667
  ╰-----------------------------------+---------------------+-------+---------+----------╯
607
668
 
608
669
  Logs:
609
- Bound result 2580
610
- Bound result 9419
611
- Bound result 348
612
- Bound result 1
613
- Bound result 1498
614
- Bound result 37735462342003997
615
- Bound result 690952447750667321909
616
- Bound result 474
617
- Bound result 9155
618
- Bound result 1320
619
- Bound result 184
620
- Bound result 573637220759556
621
- Bound result 120641
622
- Bound result 1136
623
- Bound result 497
670
+ Bound result 1193
671
+ Bound result 950
672
+ Bound result 9008
673
+ Bound result 1062
674
+ Bound result 1416
675
+ Bound result 587
676
+ Bound result 1622370234201091457153
677
+ Bound result 983
678
+ Bound result 319
679
+ Bound result 203383
680
+ Bound result 514264337593543950334
681
+ Bound result 9900000000000000008164
682
+ Bound result 9900000000000000005841
683
+ Bound result 6770
684
+ Bound result 7291
685
+ Bound result 9059
686
+ Bound result 1235
687
+ Bound result 966
688
+ Bound result 9900000000000000008151
689
+ Bound result 9900000000000000002430
690
+ Bound result 7275
691
+ Bound result 1556
692
+ Bound result 5652
624
693
 
625
694
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
626
695
 
627
696
  ╭-----------------------------------+---------------------+-------+---------+----------╮
628
697
  | Contract | Selector | Calls | Reverts | Discards |
629
698
  +======================================================================================+
630
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
631
700
  |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
633
702
  |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
635
704
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
637
706
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
639
708
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
641
710
  |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
643
712
  ╰-----------------------------------+---------------------+-------+---------+----------╯
644
713
 
645
714
  Logs:
646
- Bound result 3644
647
- Bound result 9622
648
- Bound result 37486
649
- Bound result 1976
650
- Bound result 1797
651
- Bound result 2554
652
- Bound result 1818
653
- Bound result 1133
654
- Bound result 2742
715
+ Bound result 78
716
+ Bound result 20
717
+ Bound result 764
718
+ Bound result 0
719
+ Bound result 9900481608213320064090
720
+ Bound result 131853355747112952674
721
+ Bound result 20
722
+ Bound result 12
723
+ Bound result 4008
724
+ Bound result 1661981
725
+ Bound result 8
726
+ Bound result 9918392014684758961034
727
+ Bound result 9900001993264902744496
728
+ Bound result 5593
729
+ Bound result 9720
730
+ Bound result 467861620771823830016
731
+ Bound result 4548
732
+ Bound result 10762480256783976092700
733
+ Bound result 186371296318635282977
734
+ Bound result 15693
655
735
 
656
736
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
657
737
 
658
738
  ╭-----------------------------------+---------------------+-------+---------+----------╮
659
739
  | Contract | Selector | Calls | Reverts | Discards |
660
740
  +======================================================================================+
661
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
662
742
  |-----------------------------------+---------------------+-------+---------+----------|
663
- | RateLimiterRBACUpgradeableHandler | outflow | 496 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
664
744
  |-----------------------------------+---------------------+-------+---------+----------|
665
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
666
746
  |-----------------------------------+---------------------+-------+---------+----------|
667
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
668
748
  |-----------------------------------+---------------------+-------+---------+----------|
669
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
749
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
670
750
  |-----------------------------------+---------------------+-------+---------+----------|
671
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
751
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
672
752
  |-----------------------------------+---------------------+-------+---------+----------|
673
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
753
+ | RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
674
754
  ╰-----------------------------------+---------------------+-------+---------+----------╯
675
755
 
676
756
  Logs:
677
- Bound result 2416
678
- Bound result 317903
679
- Bound result 167583241995080164
680
- Bound result 0
681
- Bound result 514264337593543950335
682
- Bound result 2807
683
- Bound result 6896
684
- Bound result 0
685
- Bound result 25779
686
- Bound result 5237
687
- Bound result 901
688
- Bound result 22243408265367101
689
- Bound result 51
690
- Bound result 9900000000127215837004
691
- Bound result 9900000005080327960245
692
- Bound result 12
693
- Bound result 8069
694
- Bound result 15961595145726692013566
757
+ Bound result 1474
758
+ Bound result 1528
759
+ Bound result 9900000000000000009451
760
+ Bound result 9900000000003644407704
761
+ Bound result 128
762
+ Bound result 906
763
+ Bound result 275
764
+ Bound result 1
765
+ Bound result 8307605992826885565
766
+ Bound result 100000000000000000000
767
+ Bound result 9900000000000000000189
768
+ Bound result 506
769
+ Bound result 9051
770
+ Bound result 388
771
+ Bound result 1822203852
772
+ Bound result 279
773
+ Bound result 4255
774
+ Bound result 2108
775
+ Bound result 7452
776
+ Bound result 2
695
777
 
696
778
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
697
779
 
698
780
  ╭-----------------------------------+---------------------+-------+---------+----------╮
699
781
  | Contract | Selector | Calls | Reverts | Discards |
700
782
  +======================================================================================+
701
- | RateLimiterRBACUpgradeableHandler | inflow | 586 | 0 | 0 |
783
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
702
784
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
785
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
704
786
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
787
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
706
788
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
708
790
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 509 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
710
792
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
712
794
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | warp | 613 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
714
796
  ╰-----------------------------------+---------------------+-------+---------+----------╯
715
797
 
716
798
  Logs:
717
- Bound result 8696
718
- Bound result 8441
799
+ Bound result 11178
800
+ Bound result 449
801
+ Bound result 1
802
+ Bound result 7798777546079952448952
803
+ Bound result 9900000000000005054783
804
+ Bound result 9995
805
+ Bound result 3652
806
+ Bound result 83
807
+ Bound result 260755
808
+ Bound result 741873031162
809
+ Bound result 0
810
+ Bound result 1225
811
+ Bound result 14201482529071046824519
812
+ Bound result 16299590608173165788272
813
+ Bound result 3439448184466023600725
814
+ Bound result 9900000000000000000274
815
+ Bound result 3273
816
+ Bound result 1626
817
+ Bound result 2636033095998659867858
719
818
  Bound result 2
720
- Bound result 5338916184266103016384
721
- Bound result 9900000000006147029027
722
- Bound result 11
723
- Bound result 9417
724
- Bound result 193830428
725
- Bound result 3304
726
- Bound result 7033091134962148963241
727
- Bound result 17746199392372628628419
819
+ Bound result 1
820
+ Bound result 2289400113066123904152
821
+ Bound result 1298090181993939592
728
822
  Bound result 0
729
- Bound result 1885189308882275716294
730
- Bound result 265932141375855
731
- Bound result 667
732
- Bound result 12333375747128
733
- Bound result 19744261131761394551933
823
+ Bound result 29408870925745
824
+ Bound result 6914264337591347169654
734
825
  Bound result 1
826
+ Bound result 483
827
+ Bound result 9900000000000000001895
828
+ Bound result 9900000000000000002115
829
+ Bound result 2685
830
+ Bound result 2041
735
831
 
736
832
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
737
833
 
738
834
  ╭-----------------------------------+---------------------+-------+---------+----------╮
739
835
  | Contract | Selector | Calls | Reverts | Discards |
740
836
  +======================================================================================+
741
- | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
742
838
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
744
840
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | setConfig | 581 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | setConfig | 499 | 0 | 0 |
746
842
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | setState | 575 | 0 | 0 |
748
844
  |-----------------------------------+---------------------+-------+---------+----------|
749
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
845
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
750
846
  |-----------------------------------+---------------------+-------+---------+----------|
751
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
847
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 597 | 0 | 0 |
752
848
  |-----------------------------------+---------------------+-------+---------+----------|
753
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
849
+ | RateLimiterRBACUpgradeableHandler | warp | 515 | 0 | 0 |
754
850
  ╰-----------------------------------+---------------------+-------+---------+----------╯
755
851
 
756
852
  Logs:
757
- Bound result 3108708014919
758
- Bound result 1597083259171092789380
759
- Bound result 1
760
- Bound result 506
761
- Bound result 1537
762
- Bound result 6390
763
- Bound result 4867
764
- Bound result 9900000003558791799366
765
- Bound result 9900000000000000000007
766
- Bound result 16
767
- Bound result 48
768
- Bound result 52974
769
- Bound result 129931111364
853
+ Bound result 563
854
+ Bound result 299444063094638688
855
+ Bound result 9647485562296800769
856
+ Bound result 220
857
+ Bound result 1077
858
+ Bound result 395
770
859
  Bound result 1
771
- Bound result 49193330110
860
+ Bound result 9900000000000000000921
861
+ Bound result 9909647485562296800769
862
+ Bound result 4687
863
+ Bound result 4578
772
864
  Bound result 0
773
- Bound result 38
774
- Bound result 9915454683234610932537
775
- Bound result 431349724969831177500
776
- Bound result 60
777
- Bound result 3170
778
-
779
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.33s (8.55s CPU time)
865
+ Bound result 49462664087622
866
+ Bound result 59
867
+ Bound result 1725540767
868
+ Bound result 6775337674500201682265
869
+ Bound result 989
870
+ Bound result 8536
871
+ Bound result 3343
780
872
 
781
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
782
- [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
873
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.16s (8.01s CPU time)
874
+
875
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
876
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
877
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
878
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
879
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
880
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
881
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
882
+ [PASS] test_isPaused_Default() (gas: 47316)
883
+ [PASS] test_isPaused_InitialState() (gas: 22172)
884
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
885
+ [PASS] test_isPaused_Override() (gas: 75171)
886
+ [PASS] test_isPaused_Specific() (gas: 50105)
887
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
888
+ [PASS] test_pauseConfig() (gas: 51028)
889
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
890
+ [PASS] test_setDefaultPaused() (gas: 42196)
891
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30352, ~: 18826)
892
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
893
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
894
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
895
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
896
+ [PASS] test_setPaused() (gas: 48361)
897
+ [PASS] test_setPaused_DormantData() (gas: 295234)
898
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
899
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
900
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43802, ~: 48533)
901
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223285, ~: 219722)
902
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
903
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
904
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
905
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
906
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
907
+ [PASS] test_setPaused_Success() (gas: 45897)
908
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
909
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
910
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
911
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
912
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
913
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
914
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
915
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62364, ~: 50341)
916
+ [PASS] test_storageHash() (gas: 3392)
917
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
918
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
919
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
920
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
921
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
922
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
923
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.23s (700.81ms CPU time)
924
+
925
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
926
+ [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
783
927
 
784
928
  ╭-----------------------------------+---------------------+-------+---------+----------╮
785
929
  | Contract | Selector | Calls | Reverts | Discards |
786
930
  +======================================================================================+
787
- | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
788
932
  |-----------------------------------+---------------------+-------+---------+----------|
789
- | RateLimiterRBACUpgradeableHandler | outflow | 588 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | outflow | 595 | 0 | 0 |
790
934
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
792
936
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
794
938
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
939
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
796
940
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
941
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
798
942
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
943
+ | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
800
944
  ╰-----------------------------------+---------------------+-------+---------+----------╯
801
945
 
802
946
  Logs:
803
- Bound result 111
804
- Bound result 956354934
805
- Bound result 938632286982360
806
- Bound result 9900000000000000008480
807
- Bound result 9900000000004202047188
808
- Bound result 6846
809
- Bound result 617
810
- Bound result 2077
811
- Bound result 9900000000000000000868
812
- Bound result 9900000000000000000302
813
- Bound result 140
814
- Bound result 6242
815
- Bound result 3444
816
- Bound result 729843735
817
- Bound result 9900000000080510778390
818
- Bound result 9900000000000000000183
819
- Bound result 1122
820
- Bound result 6830
821
- Bound result 3
822
- Bound result 15313905472235496379586
947
+ Bound result 15756410177388
948
+ Bound result 10339
949
+ Bound result 2112
950
+ Bound result 3480
951
+ Bound result 1
952
+ Bound result 680843945370168292307
953
+ Bound result 4323140131840525635383
954
+ Bound result 8523
955
+ Bound result 11
956
+ Bound result 9900000007288840234757
957
+ Bound result 6914264337593535947490
958
+ Bound result 2968
959
+ Bound result 1013
960
+ Bound result 534
961
+ Bound result 6816340990616135322902
962
+ Bound result 3154640558
823
963
  Bound result 1
824
- Bound result 9900000000000000005604
825
- Bound result 9900000000000000008589
826
- Bound result 2777
827
- Bound result 5390
828
- Bound result 9900000000030717806745
829
- Bound result 9900000000000000000007
830
- Bound result 951
831
- Bound result 182
832
- Bound result 108789544617
964
+ Bound result 246495975683007979715
965
+ Bound result 1936
966
+ Bound result 5385652018671513
967
+ Bound result 0
968
+ Bound result 0
969
+ Bound result 6330922687912207087236
970
+ Bound result 377573854
971
+ Bound result 6047
833
972
 
834
973
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
835
974
 
836
975
  ╭-----------------------------------+---------------------+-------+---------+----------╮
837
976
  | Contract | Selector | Calls | Reverts | Discards |
838
977
  +======================================================================================+
839
- | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
978
+ | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
840
979
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
980
+ | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
842
981
  |-----------------------------------+---------------------+-------+---------+----------|
843
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
982
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
844
983
  |-----------------------------------+---------------------+-------+---------+----------|
845
984
  | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
846
985
  |-----------------------------------+---------------------+-------+---------+----------|
847
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
848
987
  |-----------------------------------+---------------------+-------+---------+----------|
849
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
850
989
  |-----------------------------------+---------------------+-------+---------+----------|
851
- | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | warp | 510 | 0 | 0 |
852
991
  ╰-----------------------------------+---------------------+-------+---------+----------╯
853
992
 
854
993
  Logs:
855
- Bound result 6914264337593535947491
856
- Bound result 9900000025768529946366
857
- Bound result 7297
858
- Bound result 2228
859
- Bound result 5
860
- Bound result 13059629231628388440430
861
- Bound result 1
862
- Bound result 4
863
- Bound result 9900000000000000789502
864
- Bound result 9912840140024546437231
865
- Bound result 13
866
- Bound result 986
867
- Bound result 2705
868
- Bound result 62
869
- Bound result 872
870
- Bound result 0
871
- Bound result 34079488163
872
- Bound result 68
873
- Bound result 9900000000000000000537
874
- Bound result 7198402883142699003208
875
- Bound result 7543
876
- Bound result 1051
877
- Bound result 9900000000000000000090
878
- Bound result 9900000000000000000898
879
- Bound result 229
880
- Bound result 7059
994
+ Bound result 478
995
+ Bound result 2242
996
+ Bound result 160986979834129688
997
+ Bound result 241439219
998
+ Bound result 78822295317
999
+ Bound result 270
1000
+ Bound result 7514
1001
+ Bound result 8616
1002
+ Bound result 314
1003
+ Bound result 2951
1004
+ Bound result 663714114
1005
+ Bound result 287
1006
+ Bound result 827780903048172113294
1007
+ Bound result 1919023671891984016484
1008
+ Bound result 412
1009
+ Bound result 9063
1010
+ Bound result 5858
1011
+ Bound result 204
1012
+ Bound result 9900027463045794647316
1013
+ Bound result 9900000000000000005906
1014
+ Bound result 1494
1015
+ Bound result 7445
881
1016
 
882
1017
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
883
1018
 
884
1019
  ╭-----------------------------------+---------------------+-------+---------+----------╮
885
1020
  | Contract | Selector | Calls | Reverts | Discards |
886
1021
  +======================================================================================+
887
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
888
1023
  |-----------------------------------+---------------------+-------+---------+----------|
889
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
1024
+ | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
890
1025
  |-----------------------------------+---------------------+-------+---------+----------|
891
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
1026
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
892
1027
  |-----------------------------------+---------------------+-------+---------+----------|
893
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
1028
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
894
1029
  |-----------------------------------+---------------------+-------+---------+----------|
895
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
1030
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
896
1031
  |-----------------------------------+---------------------+-------+---------+----------|
897
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
1032
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
898
1033
  |-----------------------------------+---------------------+-------+---------+----------|
899
- | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
1034
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
900
1035
  ╰-----------------------------------+---------------------+-------+---------+----------╯
901
1036
 
902
1037
  Logs:
903
- Bound result 1292
904
- Bound result 332
905
- Bound result 4476
906
- Bound result 325
907
- Bound result 970569146992
908
- Bound result 2518900894
909
- Bound result 7266
910
- Bound result 847
911
- Bound result 586448803855385158
912
- Bound result 1725303265142617147500
913
- Bound result 64596971829999971949
914
- Bound result 757
915
- Bound result 38921548588426
916
- Bound result 514264337593504336253
1038
+ Bound result 724
1039
+ Bound result 2464
917
1040
  Bound result 0
918
- Bound result 258695001346666
1041
+ Bound result 9900000000461781101632
1042
+ Bound result 9900000000064315383611
1043
+ Bound result 1756
1044
+ Bound result 2234
1045
+ Bound result 544
1046
+ Bound result 1435
1047
+ Bound result 2951
1048
+ Bound result 1
1049
+ Bound result 4
1050
+ Bound result 4400385757059352780686
1051
+ Bound result 9387
1052
+ Bound result 9054006455419932287858
1053
+ Bound result 9900000000005272335002
1054
+ Bound result 9900000014560907777160
1055
+ Bound result 10
1056
+ Bound result 1192
1057
+ Bound result 9900000000000483829832
1058
+ Bound result 100000000000000000002
1059
+ Bound result 10
1060
+ Bound result 8972
919
1061
 
920
1062
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
921
1063
 
922
1064
  ╭-----------------------------------+---------------------+-------+---------+----------╮
923
1065
  | Contract | Selector | Calls | Reverts | Discards |
924
1066
  +======================================================================================+
925
- | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
1067
+ | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
926
1068
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
1069
+ | RateLimiterRBACUpgradeableHandler | outflow | 510 | 0 | 0 |
928
1070
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
1071
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
930
1072
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
1073
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
932
1074
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 567 | 0 | 0 |
1075
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
934
1076
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
1077
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
936
1078
  |-----------------------------------+---------------------+-------+---------+----------|
937
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
1079
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
938
1080
  ╰-----------------------------------+---------------------+-------+---------+----------╯
939
1081
 
940
1082
  Logs:
941
- Bound result 664
942
- Bound result 1019
943
- Bound result 1147
944
- Bound result 9900000000000000057398
945
- Bound result 9904397915390116594501
946
- Bound result 6647
947
- Bound result 370
1083
+ Bound result 1695915
1084
+ Bound result 278190289695296
1085
+ Bound result 9900000000000002261916
1086
+ Bound result 9967054382252403211121
1087
+ Bound result 8862
1088
+ Bound result 2443
1089
+ Bound result 10264
1090
+ Bound result 7395
1091
+ Bound result 1311
948
1092
  Bound result 0
949
- Bound result 17225747321881369
950
- Bound result 373
951
- Bound result 66404
952
- Bound result 12714971555103531341186
953
- Bound result 8143
954
- Bound result 64
955
- Bound result 278410675274
956
- Bound result 8519
957
- Bound result 1409674006363036196
1093
+ Bound result 9900000000000000007499
1094
+ Bound result 9900000000000000008484
1095
+ Bound result 7183
1096
+ Bound result 9765
1097
+ Bound result 2737072850
1098
+ Bound result 116713981149828655699
1099
+ Bound result 9900000000000000006389
1100
+ Bound result 9900000000000000001763
1101
+ Bound result 478
1102
+ Bound result 2525
1103
+ Bound result 64994500504
1104
+ Bound result 219
1105
+ Bound result 1
1106
+ Bound result 3193
958
1107
 
959
1108
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
960
1109
 
961
1110
  ╭-----------------------------------+---------------------+-------+---------+----------╮
962
1111
  | Contract | Selector | Calls | Reverts | Discards |
963
1112
  +======================================================================================+
964
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1113
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
965
1114
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
1115
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
967
1116
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
1117
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
969
1118
  |-----------------------------------+---------------------+-------+---------+----------|
970
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
1119
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
971
1120
  |-----------------------------------+---------------------+-------+---------+----------|
972
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
1121
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
973
1122
  |-----------------------------------+---------------------+-------+---------+----------|
974
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
1123
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
975
1124
  |-----------------------------------+---------------------+-------+---------+----------|
976
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
1125
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
977
1126
  ╰-----------------------------------+---------------------+-------+---------+----------╯
978
1127
 
979
1128
  Logs:
980
- Bound result 674159654178
981
- Bound result 8611
982
- Bound result 9900000000000000000863
983
- Bound result 9900000000000177362150
984
- Bound result 4987
985
- Bound result 126
986
- Bound result 8318
987
- Bound result 10653956352243458983217
988
- Bound result 9900000198303753164213
989
- Bound result 3600958460119545943534
990
- Bound result 11
991
- Bound result 10
992
- Bound result 625761769
993
- Bound result 9900000000000000008348
994
- Bound result 9918446744073709551616
995
- Bound result 4652
996
- Bound result 10000
997
- Bound result 7292
998
- Bound result 4665389155658899934301
999
- Bound result 9900006949686964983516
1000
- Bound result 10
1001
- Bound result 6223
1002
- Bound result 2424676
1003
- Bound result 2618822091799701018055
1004
- Bound result 39
1129
+ Bound result 1284
1130
+ Bound result 808
1131
+ Bound result 5533
1132
+ Bound result 759
1133
+ Bound result 683
1134
+ Bound result 1807
1135
+ Bound result 14
1136
+ Bound result 1531108174798942166340
1137
+ Bound result 0
1138
+ Bound result 91
1139
+ Bound result 625761767
1140
+ Bound result 9591
1141
+ Bound result 454
1142
+ Bound result 255278461221930126491
1143
+ Bound result 1153
1144
+ Bound result 241356
1145
+ Bound result 221588701582452
1146
+ Bound result 230
1005
1147
 
1006
1148
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1007
1149
 
1008
1150
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1009
1151
  | Contract | Selector | Calls | Reverts | Discards |
1010
1152
  +======================================================================================+
1011
- | RateLimiterRBACUpgradeableHandler | inflow | 585 | 0 | 0 |
1153
+ | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
1012
1154
  |-----------------------------------+---------------------+-------+---------+----------|
1013
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
1155
+ | RateLimiterRBACUpgradeableHandler | outflow | 587 | 0 | 0 |
1014
1156
  |-----------------------------------+---------------------+-------+---------+----------|
1015
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1157
+ | RateLimiterRBACUpgradeableHandler | setConfig | 512 | 0 | 0 |
1016
1158
  |-----------------------------------+---------------------+-------+---------+----------|
1017
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
1159
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1018
1160
  |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1161
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 588 | 0 | 0 |
1020
1162
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1163
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
1022
1164
  |-----------------------------------+---------------------+-------+---------+----------|
1023
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1165
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
1024
1166
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1025
1167
 
1026
1168
  Logs:
1027
- Bound result 980
1028
- Bound result 813969345727289107256
1029
- Bound result 903111104164318661495
1030
- Bound result 836
1031
- Bound result 1026
1169
+ Bound result 276034665707622
1170
+ Bound result 514264337593543950334
1171
+ Bound result 564822615475255625601
1172
+ Bound result 9900068460829765944925
1173
+ Bound result 10
1174
+ Bound result 9040
1175
+ Bound result 157704379145375507296
1176
+ Bound result 88994716493022
1177
+ Bound result 1464
1178
+ Bound result 11471
1179
+ Bound result 9843
1180
+ Bound result 4177296027574103048
1181
+ Bound result 2788308075584169
1032
1182
  Bound result 2
1033
- Bound result 2753
1034
- Bound result 9900000554545409923685
1035
- Bound result 9900000157473083462719
1036
- Bound result 6466
1037
- Bound result 9997
1038
- Bound result 1779593
1039
- Bound result 9459996634304
1040
- Bound result 3995
1041
- Bound result 1
1042
- Bound result 66
1043
- Bound result 2949
1183
+ Bound result 8142
1184
+ Bound result 496422074093579213392
1185
+ Bound result 9900000000000244596958
1186
+ Bound result 7561363661540362412279
1187
+ Bound result 9051
1188
+ Bound result 6241
1189
+ Bound result 2004894859008475082132
1190
+ Bound result 9900910754559575504675
1191
+ Bound result 13
1192
+ Bound result 529
1044
1193
 
1045
1194
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1046
1195
 
1047
1196
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1048
1197
  | Contract | Selector | Calls | Reverts | Discards |
1049
1198
  +======================================================================================+
1050
- | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
1199
+ | RateLimiterRBACUpgradeableHandler | inflow | 493 | 0 | 0 |
1051
1200
  |-----------------------------------+---------------------+-------+---------+----------|
1052
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1201
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
1053
1202
  |-----------------------------------+---------------------+-------+---------+----------|
1054
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
1203
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
1055
1204
  |-----------------------------------+---------------------+-------+---------+----------|
1056
- | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
1205
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
1057
1206
  |-----------------------------------+---------------------+-------+---------+----------|
1058
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
1207
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1059
1208
  |-----------------------------------+---------------------+-------+---------+----------|
1060
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
1209
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1061
1210
  |-----------------------------------+---------------------+-------+---------+----------|
1062
- | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
1211
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1063
1212
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1064
1213
 
1065
1214
  Logs:
1066
- Bound result 9900000000000000000307
1067
- Bound result 9900000000000000007156
1068
- Bound result 3563
1069
- Bound result 1916
1070
- Bound result 104245793878
1071
- Bound result 31565985
1072
- Bound result 1
1073
- Bound result 1
1074
- Bound result 6914264337536271597249
1075
- Bound result 0
1076
- Bound result 2788
1077
- Bound result 6348
1078
- Bound result 1958248296
1079
- Bound result 2189
1080
- Bound result 7102245472436859832298
1081
- Bound result 3045953110
1082
- Bound result 4704213843551673407576
1083
- Bound result 1234340499
1084
- Bound result 2293
1085
- Bound result 85826295670310916
1086
- Bound result 2215
1215
+ Bound result 1639907385012838898591
1216
+ Bound result 8710793500579578103354
1217
+ Bound result 8930
1218
+ Bound result 5708
1219
+ Bound result 9900000000014296949333
1220
+ Bound result 9900000000000000000016
1221
+ Bound result 37
1222
+ Bound result 5249
1223
+ Bound result 4100
1224
+ Bound result 6853
1225
+ Bound result 9900000000000000001081
1226
+ Bound result 9900000000000000008720
1227
+ Bound result 637
1228
+ Bound result 9638
1229
+ Bound result 24
1230
+ Bound result 8780606157464091061336
1231
+ Bound result 210
1232
+ Bound result 3840
1233
+ Bound result 807154940103
1234
+ Bound result 919319078899173501
1235
+ Bound result 227884
1236
+ Bound result 2396
1237
+ Bound result 9900000000000000009735
1238
+ Bound result 9900000000000000002565
1239
+ Bound result 7902
1240
+ Bound result 2193
1087
1241
 
1088
1242
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1089
1243
 
1090
1244
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1091
1245
  | Contract | Selector | Calls | Reverts | Discards |
1092
1246
  +======================================================================================+
1093
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1247
+ | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
1094
1248
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
1249
+ | RateLimiterRBACUpgradeableHandler | outflow | 509 | 0 | 0 |
1096
1250
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | setConfig | 491 | 0 | 0 |
1251
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
1098
1252
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
1253
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
1100
1254
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
1255
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1102
1256
  |-----------------------------------+---------------------+-------+---------+----------|
1103
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
1257
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
1104
1258
  |-----------------------------------+---------------------+-------+---------+----------|
1105
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
1259
+ | RateLimiterRBACUpgradeableHandler | warp | 592 | 0 | 0 |
1106
1260
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1107
1261
 
1108
1262
  Logs:
1109
- Bound result 46
1110
- Bound result 520669072
1111
- Bound result 4510
1112
- Bound result 4037675288
1113
- Bound result 650
1114
- Bound result 8
1115
- Bound result 1135
1116
- Bound result 9642
1117
- Bound result 8191
1118
- Bound result 930
1119
- Bound result 882
1120
- Bound result 9900000000000000004016
1121
- Bound result 9900000000002074101769
1122
- Bound result 6390
1123
- Bound result 1509
1124
- Bound result 177
1125
- Bound result 6885577051282687559327
1263
+ Bound result 1246
1264
+ Bound result 9900000000000000008267
1265
+ Bound result 9900000000000000007227
1266
+ Bound result 2092
1267
+ Bound result 1218
1268
+ Bound result 5747629883115674161833
1269
+ Bound result 9900000000000000000031
1270
+ Bound result 100000000000000000001
1271
+ Bound result 88
1272
+ Bound result 52
1273
+ Bound result 79
1126
1274
  Bound result 851
1127
- Bound result 2182
1128
- Bound result 23
1275
+ Bound result 1414553418643056350
1276
+ Bound result 180233191797656834267
1129
1277
  Bound result 9
1130
- Bound result 6914247738880642517876
1131
- Bound result 727
1132
- Bound result 9900000000000000000468
1133
- Bound result 9900000000000000000111
1134
- Bound result 8141
1135
- Bound result 7107
1278
+ Bound result 6914264337593295862171
1279
+ Bound result 411771209103
1280
+ Bound result 912046796271351
1281
+ Bound result 3711
1282
+ Bound result 3480154038
1283
+ Bound result 33
1136
1284
 
1137
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.38s (8.42s CPU time)
1285
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.30s (7.88s CPU time)
1138
1286
 
1139
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1140
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26938, ~: 26938)
1141
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1142
- [PASS] test_assertNotPaused_Success() (gas: 12539)
1143
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1144
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1145
- [PASS] test_isPaused_InitialState() (gas: 15629)
1146
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1147
- [PASS] test_multipleRoleGrants() (gas: 394130)
1148
- [PASS] test_pause() (gas: 42109)
1149
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1150
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1151
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30472, ~: 18756)
1152
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1153
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1154
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1155
- [PASS] test_setPaused_Success() (gas: 40691)
1156
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1157
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1158
- [PASS] test_storageHash() (gas: 3414)
1159
- [PASS] test_unpause() (gas: 35177)
1160
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41809, ~: 44479)
1161
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1162
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1163
- [PASS] test_whenNotPaused_Success() (gas: 38800)
1164
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1165
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1166
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1167
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 10.53s (157.67ms CPU time)
1168
-
1169
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1170
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1171
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1172
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44784, ~: 46317)
1173
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1174
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1175
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1176
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1177
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1178
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1179
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1180
- [PASS] test_getFee_Default() (gas: 40577)
1181
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43250, ~: 44486)
1182
- [PASS] test_getFee_Rounding() (gas: 42835)
1183
- [PASS] test_getFee_Specific() (gas: 63968)
1184
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1185
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1186
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32691, ~: 39667)
1187
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1188
- [PASS] test_setFeeBps() (gas: 73871)
1287
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1288
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1289
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1290
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47612, ~: 48966)
1291
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1292
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1293
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1294
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1295
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1296
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1297
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1298
+ [PASS] test_getFee_Default() (gas: 43108)
1299
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45620, ~: 47017)
1300
+ [PASS] test_getFee_Rounding() (gas: 45449)
1301
+ [PASS] test_getFee_Specific() (gas: 66985)
1302
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1303
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1304
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35123, ~: 42268)
1305
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1306
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1307
+ [PASS] test_setFeeBps() (gas: 77237)
1189
1308
  Logs:
1190
1309
  Bound result 500
1191
1310
 
1192
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65474, ~: 74224)
1193
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1194
- [PASS] test_storageHash() (gas: 3426)
1195
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.53s (474.77ms CPU time)
1196
-
1197
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1198
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1199
- [PASS] test_constructor_InitialMode() (gas: 15778)
1200
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1201
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1202
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1203
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1204
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1205
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1206
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1207
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1208
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1209
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1210
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1211
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1212
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1213
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1214
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1215
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1216
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1217
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1218
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1219
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1220
- [PASS] test_setMode_Blacklist() (gas: 42605)
1221
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1222
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1223
- [PASS] test_setMode_Whitelist() (gas: 42714)
1224
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1225
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1226
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1227
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1228
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1229
- [PASS] test_storageHash() (gas: 3480)
1230
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 10.82s (505.31ms CPU time)
1311
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68898, ~: 77570)
1312
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1313
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1314
+ [PASS] test_storageHash() (gas: 3436)
1315
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.72s (693.82ms CPU time)
1231
1316
 
1232
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1233
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1234
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1235
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1236
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1237
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1238
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1239
- [PASS] test_isPaused_Default() (gas: 47316)
1240
- [PASS] test_isPaused_InitialState() (gas: 22172)
1241
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1242
- [PASS] test_isPaused_Override() (gas: 75171)
1243
- [PASS] test_isPaused_Specific() (gas: 50105)
1244
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1245
- [PASS] test_pauseConfig() (gas: 51028)
1246
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1247
- [PASS] test_setDefaultPaused() (gas: 42196)
1248
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30919, ~: 42446)
1249
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1250
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1251
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1252
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1253
- [PASS] test_setPaused() (gas: 48361)
1254
- [PASS] test_setPaused_DormantData() (gas: 295234)
1255
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1256
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1257
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43783, ~: 48533)
1258
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223637, ~: 219722)
1259
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1260
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1261
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1262
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1263
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1264
- [PASS] test_setPaused_Success() (gas: 45897)
1265
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1266
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1267
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1268
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1269
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1270
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1271
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1272
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61907, ~: 50341)
1273
- [PASS] test_storageHash() (gas: 3392)
1274
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1275
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1276
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1277
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1278
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1279
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1280
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 10.82s (628.74ms CPU time)
1317
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1318
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1319
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1320
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1321
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1322
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1323
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1324
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1325
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1326
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1327
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1328
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1329
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1330
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1331
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1332
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1333
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1334
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1335
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1336
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1337
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1338
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1339
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1340
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1341
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1342
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1343
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1344
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1345
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1346
+ [PASS] test_storageHash() (gas: 3458)
1347
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 10.72s (464.81ms CPU time)
1281
1348
 
1282
1349
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1283
1350
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1284
1351
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1285
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 798838, ~: 195090)
1352
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 770146, ~: 106794)
1286
1353
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1287
1354
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1288
1355
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1295,12 +1362,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1295
1362
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1296
1363
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1297
1364
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1298
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11213361, ~: 10540323)
1365
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11259615, ~: 10651761)
1299
1366
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1300
1367
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1301
1368
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1302
1369
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1303
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 723385, ~: 134370)
1370
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 845498, ~: 416396)
1304
1371
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1305
1372
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1306
1373
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1313,10 +1380,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1313
1380
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1314
1381
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1315
1382
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1316
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11177799, ~: 10529985)
1383
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11190881, ~: 10456685)
1317
1384
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1318
1385
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1319
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.82s (25.35s CPU time)
1386
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.78s (25.49s CPU time)
1320
1387
 
1321
- Ran 17 test suites in 10.85s (59.18s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1322
- ⏳ forge test: 25.690s
1388
+ Ran 17 test suites in 10.81s (40.72s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1389
+ ⏳ forge test: 24.037s