@layerzerolabs/utils-upgradeable-evm-contracts 0.2.121 → 0.2.123

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 -224
  2. package/.turbo/turbo-test.log +771 -699
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,102 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using mini workspace: /tmp/lz-mini-workspace-ZxA0HM
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-uFntpW
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:121863) [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.
10
+ (node:96984) [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.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-mini-workspace-ZxA0HM:/workspace
15
+ -v /tmp/lz-mini-workspace-uFntpW:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
- ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
19
+ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
+ 📥 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
21
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
22
+ forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
23
+ 86ec798129ac: Pulling fs layer
24
+ eef7c391911c: Pulling fs layer
25
+ cc2ecf4065b7: Pulling fs layer
26
+ 5760fdd70374: Pulling fs layer
27
+ c70db14240a1: Pulling fs layer
28
+ 0cb2c6965bde: Pulling fs layer
29
+ 885bca26f927: Pulling fs layer
30
+ 8e167e77288f: Pulling fs layer
31
+ 45d43cc973ba: Pulling fs layer
32
+ 86ec798129ac: Waiting
33
+ 44c09156221f: Pulling fs layer
34
+ eef7c391911c: Waiting
35
+ f2fb700979ad: Pulling fs layer
36
+ 2a1ced882ba9: Pulling fs layer
37
+ 885bca26f927: Waiting
38
+ cc2ecf4065b7: Waiting
39
+ 597168d5c38e: Pulling fs layer
40
+ 8e167e77288f: Waiting
41
+ e431adaf232f: Pulling fs layer
42
+ 5760fdd70374: Waiting
43
+ 36e15e3f2788: Pulling fs layer
44
+ 0cb2c6965bde: Waiting
45
+ c70db14240a1: Waiting
46
+ 45d43cc973ba: Waiting
47
+ f2fb700979ad: Waiting
48
+ 44c09156221f: Waiting
49
+ 2a1ced882ba9: Waiting
50
+ e431adaf232f: Waiting
51
+ 597168d5c38e: Waiting
52
+ 86ec798129ac: Verifying Checksum
53
+ 86ec798129ac: Download complete
54
+ eef7c391911c: Verifying Checksum
55
+ eef7c391911c: Download complete
56
+ 86ec798129ac: Pull complete
57
+ eef7c391911c: Pull complete
58
+ cc2ecf4065b7: Verifying Checksum
59
+ cc2ecf4065b7: Download complete
60
+ c70db14240a1: Verifying Checksum
61
+ c70db14240a1: Download complete
62
+ 5760fdd70374: Verifying Checksum
63
+ 5760fdd70374: Download complete
64
+ cc2ecf4065b7: Pull complete
65
+ 5760fdd70374: Pull complete
66
+ c70db14240a1: Pull complete
67
+ 0cb2c6965bde: Verifying Checksum
68
+ 0cb2c6965bde: Download complete
69
+ 8e167e77288f: Download complete
70
+ 45d43cc973ba: Download complete
71
+ 0cb2c6965bde: Pull complete
72
+ 44c09156221f: Verifying Checksum
73
+ 44c09156221f: Download complete
74
+ f2fb700979ad: Verifying Checksum
75
+ f2fb700979ad: Download complete
76
+ 2a1ced882ba9: Verifying Checksum
77
+ 2a1ced882ba9: Download complete
78
+ 885bca26f927: Verifying Checksum
79
+ 885bca26f927: Download complete
80
+ 597168d5c38e: Verifying Checksum
81
+ 597168d5c38e: Download complete
82
+ 36e15e3f2788: Verifying Checksum
83
+ 36e15e3f2788: Download complete
84
+ e431adaf232f: Verifying Checksum
85
+ e431adaf232f: Download complete
86
+ 885bca26f927: Pull complete
87
+ 8e167e77288f: Pull complete
88
+ 45d43cc973ba: Pull complete
89
+ 44c09156221f: Pull complete
90
+ f2fb700979ad: Pull complete
91
+ 2a1ced882ba9: Pull complete
92
+ 597168d5c38e: Pull complete
93
+ e431adaf232f: Pull complete
94
+ 36e15e3f2788: Pull complete
95
+ Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
96
+ Status: Downloaded newer image for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
97
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
98
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
99
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-ZxA0HM:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -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
100
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-uFntpW:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -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
22
101
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 14.34s
102
+ Solc 0.8.22 finished in 13.01s
24
103
  Compiler run successful with warnings:
25
104
  Warning (2018): Function state mutability can be restricted to view
26
105
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -179,7 +258,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
179
258
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
180
259
  [PASS] test_storageHash() (gas: 3414)
181
260
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
182
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 13.60ms (11.51ms CPU time)
261
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 65.10ms (54.43ms CPU time)
183
262
 
184
263
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
185
264
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -222,7 +301,138 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
222
301
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
223
302
  [PASS] test_storageHash() (gas: 3392)
224
303
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
225
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 19.64ms (28.59ms CPU time)
304
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 81.19ms (67.63ms CPU time)
305
+
306
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
307
+ [PASS] test_feeDeposit() (gas: 17576)
308
+ [PASS] test_setFeeDeposit() (gas: 24995)
309
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
310
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
311
+ [PASS] test_storageHash() (gas: 3337)
312
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 204.85ms (204.22ms CPU time)
313
+
314
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
315
+ [PASS] test_feeDeposit() (gas: 17638)
316
+ [PASS] test_setFeeDeposit() (gas: 27596)
317
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
318
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
319
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
320
+ [PASS] test_storageHash() (gas: 3315)
321
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 297.89ms (295.19ms CPU time)
322
+
323
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
324
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
325
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
326
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
327
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
328
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
329
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
330
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
331
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
332
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
333
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
334
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
335
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
336
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
337
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
338
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
339
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
340
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
341
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
342
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
343
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
344
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
345
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
346
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
347
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
348
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
349
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
350
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
351
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
352
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
353
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
354
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
355
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
356
+ [PASS] test_storageHash() (gas: 3380)
357
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 974.78ms (1.16s CPU time)
358
+
359
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
360
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
361
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
362
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
363
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
364
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
365
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
366
+ [PASS] test_isPaused_Default() (gas: 47316)
367
+ [PASS] test_isPaused_InitialState() (gas: 22172)
368
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
369
+ [PASS] test_isPaused_Override() (gas: 75171)
370
+ [PASS] test_isPaused_Specific() (gas: 50105)
371
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
372
+ [PASS] test_pauseConfig() (gas: 51028)
373
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
374
+ [PASS] test_setDefaultPaused() (gas: 42196)
375
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30187, ~: 18826)
376
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
377
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
378
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
379
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
380
+ [PASS] test_setPaused() (gas: 48361)
381
+ [PASS] test_setPaused_DormantData() (gas: 295234)
382
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
383
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
384
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43882, ~: 48533)
385
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223916, ~: 219722)
386
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
387
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
388
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
389
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
390
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
391
+ [PASS] test_setPaused_Success() (gas: 45897)
392
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
393
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
394
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
395
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
396
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
397
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
398
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
399
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62467, ~: 73465)
400
+ [PASS] test_storageHash() (gas: 3392)
401
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
402
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
403
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
404
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
405
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
406
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
407
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.30s (1.79s CPU time)
408
+
409
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
410
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
411
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
412
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45240, ~: 46317)
413
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
414
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
415
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
416
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
417
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
418
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
419
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
420
+ [PASS] test_getFee_Default() (gas: 40577)
421
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43182, ~: 44486)
422
+ [PASS] test_getFee_Rounding() (gas: 42835)
423
+ [PASS] test_getFee_Specific() (gas: 63968)
424
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
425
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
426
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32319, ~: 39667)
427
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
428
+ [PASS] test_setFeeBps() (gas: 73871)
429
+ Logs:
430
+ Bound result 500
431
+
432
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66372, ~: 74224)
433
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
434
+ [PASS] test_storageHash() (gas: 3426)
435
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 2.82s (1.46s CPU time)
226
436
 
227
437
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
228
438
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -234,7 +444,7 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
234
444
  [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
235
445
  [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
236
446
  [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
237
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
447
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
238
448
  [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
239
449
  [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
240
450
  [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
@@ -254,7 +464,64 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
254
464
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
255
465
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
256
466
  [PASS] test_storageHash() (gas: 3458)
257
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 975.09ms (838.95ms CPU time)
467
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 2.95s (1.69s CPU time)
468
+
469
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
470
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
471
+ [PASS] test_constructor_InitialMode() (gas: 15778)
472
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
473
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
474
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
475
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
476
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
477
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
478
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
479
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
480
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
481
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
482
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
483
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
484
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
485
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
486
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
487
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
488
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
489
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
490
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
491
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
492
+ [PASS] test_setMode_Blacklist() (gas: 42605)
493
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
494
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
495
+ [PASS] test_setMode_Whitelist() (gas: 42714)
496
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
497
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
498
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
499
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
500
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
501
+ [PASS] test_storageHash() (gas: 3480)
502
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 3.05s (1.54s CPU time)
503
+
504
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
505
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
506
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
507
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
508
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
509
+ [PASS] test_isPaused_InitialState() (gas: 15595)
510
+ [PASS] test_pause() (gas: 39592)
511
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27496, ~: 16219)
512
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
513
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
514
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
515
+ [PASS] test_storageHash() (gas: 3414)
516
+ [PASS] test_unpause() (gas: 31115)
517
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40426, ~: 38893)
518
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
519
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
520
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
521
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
522
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
523
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
524
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 3.16s (457.59ms CPU time)
258
525
 
259
526
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
260
527
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -271,16 +538,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
271
538
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
272
539
  [PASS] test_pauseConfig() (gas: 45626)
273
540
  [PASS] test_setDefaultPaused() (gas: 39667)
274
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27323, ~: 16332)
541
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28478, ~: 39918)
275
542
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
276
543
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
277
544
  [PASS] test_setPaused() (gas: 43060)
278
545
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
279
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38417, ~: 43373)
546
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37681, ~: 43373)
280
547
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
281
548
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
282
549
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
283
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
550
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58185, ~: 46989)
284
551
  [PASS] test_storageHash() (gas: 3480)
285
552
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
286
553
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -288,31 +555,10 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
288
555
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
289
556
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
290
557
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
291
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.37s (387.22ms CPU time)
292
-
293
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
294
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
295
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
296
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
297
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
298
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
299
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
300
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
301
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
302
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
303
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
304
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.70s (213.11ms CPU time)
305
-
306
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
307
- [PASS] test_feeDeposit() (gas: 17576)
308
- [PASS] test_setFeeDeposit() (gas: 24995)
309
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
310
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
311
- [PASS] test_storageHash() (gas: 3337)
312
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.73s (62.44ms CPU time)
558
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.15s (813.16ms CPU time)
313
559
 
314
560
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
315
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27305, ~: 41090)
561
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27702, ~: 41090)
316
562
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
317
563
  [PASS] test_assertNotPaused_Success() (gas: 12539)
318
564
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -323,7 +569,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
323
569
  [PASS] test_pause() (gas: 42109)
324
570
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
325
571
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
326
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30519, ~: 18756)
572
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30354, ~: 18756)
327
573
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
328
574
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
329
575
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -332,64 +578,44 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
332
578
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
333
579
  [PASS] test_storageHash() (gas: 3414)
334
580
  [PASS] test_unpause() (gas: 35177)
335
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41877, ~: 44479)
581
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41652, ~: 38860)
336
582
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
337
583
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
338
584
  [PASS] test_whenNotPaused_Success() (gas: 38800)
339
585
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
340
586
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
341
587
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
342
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.80s (453.30ms CPU time)
588
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 3.13s (683.08ms CPU time)
343
589
 
344
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
345
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
346
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
347
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44853, ~: 46317)
348
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
349
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
350
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
351
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
352
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
353
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
354
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
355
- [PASS] test_getFee_Default() (gas: 40577)
356
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42746, ~: 44486)
357
- [PASS] test_getFee_Rounding() (gas: 42835)
358
- [PASS] test_getFee_Specific() (gas: 63968)
359
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
360
- [PASS] test_setDefaultFeeBps() (gas: 39576)
361
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32506, ~: 39667)
362
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
363
- [PASS] test_setFeeBps() (gas: 73871)
590
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
591
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
592
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
593
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47577, ~: 48966)
594
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
595
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
596
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
597
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
598
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
599
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
600
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
601
+ [PASS] test_getFee_Default() (gas: 43108)
602
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45281, ~: 47017)
603
+ [PASS] test_getFee_Rounding() (gas: 45449)
604
+ [PASS] test_getFee_Specific() (gas: 66985)
605
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
606
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
607
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34800, ~: 42268)
608
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
609
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
610
+ [PASS] test_setFeeBps() (gas: 77237)
364
611
  Logs:
365
612
  Bound result 500
366
613
 
367
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65616, ~: 74224)
368
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
369
- [PASS] test_storageHash() (gas: 3426)
370
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.81s (776.72ms CPU time)
371
-
372
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
373
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25389, ~: 12763)
374
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
375
- [PASS] test_assertNotPaused_Success() (gas: 12516)
376
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
377
- [PASS] test_isPaused_InitialState() (gas: 15595)
378
- [PASS] test_pause() (gas: 39592)
379
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28040, ~: 28040)
380
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
381
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
382
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
383
- [PASS] test_storageHash() (gas: 3414)
384
- [PASS] test_unpause() (gas: 31115)
385
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40526, ~: 42029)
386
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
387
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
388
- [PASS] test_whenNotPaused_Success() (gas: 38744)
389
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
390
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
391
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
392
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.81s (227.49ms CPU time)
614
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69696, ~: 77570)
615
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
616
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
617
+ [PASS] test_storageHash() (gas: 3436)
618
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 3.15s (1.61s CPU time)
393
619
 
394
620
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
395
621
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -397,341 +623,346 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
397
623
  ╭-----------------------------------+---------------------+-------+---------+----------╮
398
624
  | Contract | Selector | Calls | Reverts | Discards |
399
625
  +======================================================================================+
400
- | RateLimiterRBACUpgradeableHandler | inflow | 604 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
401
627
  |-----------------------------------+---------------------+-------+---------+----------|
402
- | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
403
629
  |-----------------------------------+---------------------+-------+---------+----------|
404
- | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
405
631
  |-----------------------------------+---------------------+-------+---------+----------|
406
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
407
633
  |-----------------------------------+---------------------+-------+---------+----------|
408
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
409
635
  |-----------------------------------+---------------------+-------+---------+----------|
410
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
411
637
  |-----------------------------------+---------------------+-------+---------+----------|
412
- | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
413
639
  ╰-----------------------------------+---------------------+-------+---------+----------╯
414
640
 
415
641
  Logs:
416
- Bound result 3411180122190471125
417
- Bound result 4164333820057626413658
418
- Bound result 9900000000017495412002
419
- Bound result 88
420
- Bound result 62
421
- Bound result 324
422
- Bound result 2806341279982678808045
423
- Bound result 1
424
- Bound result 4202
425
- Bound result 1800500
426
- Bound result 192198180
427
- Bound result 1
428
- Bound result 9884
429
- Bound result 9114
642
+ Bound result 927949521845631998
643
+ Bound result 10788
644
+ Bound result 3
645
+ Bound result 1482
646
+ Bound result 52412343730521
647
+ Bound result 8553
648
+ Bound result 6554
430
649
  Bound result 0
431
- Bound result 13372045182185231
432
- Bound result 205
433
- Bound result 138
650
+ Bound result 259
651
+ Bound result 585301130641832496454
652
+ Bound result 918
653
+ Bound result 9900000000000000009366
654
+ Bound result 9900000000001958248295
655
+ Bound result 3566
656
+ Bound result 7183
657
+ Bound result 3
658
+ Bound result 256
659
+ Bound result 3750
660
+ Bound result 1164
434
661
 
435
662
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
436
663
 
437
664
  ╭-----------------------------------+---------------------+-------+---------+----------╮
438
665
  | Contract | Selector | Calls | Reverts | Discards |
439
666
  +======================================================================================+
440
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
667
+ | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
441
668
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | outflow | 506 | 0 | 0 |
669
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
443
670
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | setConfig | 591 | 0 | 0 |
671
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
445
672
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
447
674
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 591 | 0 | 0 |
449
676
  |-----------------------------------+---------------------+-------+---------+----------|
450
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
451
678
  |-----------------------------------+---------------------+-------+---------+----------|
452
- | RateLimiterRBACUpgradeableHandler | warp | 578 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
453
680
  ╰-----------------------------------+---------------------+-------+---------+----------╯
454
681
 
455
682
  Logs:
456
- Bound result 1966
457
- Bound result 104
458
- Bound result 700
459
- Bound result 453671685586553732297
460
- Bound result 1835607748413970204072
461
- Bound result 692
462
- Bound result 479
463
- Bound result 4207
464
- Bound result 60099524166582484
465
- Bound result 488949713955742451925
466
- Bound result 0
467
- Bound result 33635096233380
468
- Bound result 1901156940162936837627
469
- Bound result 1895801731307373321817
470
- Bound result 603
471
- Bound result 3752
472
- Bound result 9250
473
- Bound result 3457
474
- Bound result 709
475
- Bound result 1626
476
- Bound result 9900005507260128014487
477
- Bound result 9900000000000000241030
478
- Bound result 18
479
- Bound result 11
683
+ Bound result 2752634092539972
684
+ Bound result 1151
685
+ Bound result 360907005698035627042
686
+ Bound result 678
687
+ Bound result 63
688
+ Bound result 1457
689
+ Bound result 407
690
+ Bound result 4939
480
691
 
481
692
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
482
693
 
483
694
  ╭-----------------------------------+---------------------+-------+---------+----------╮
484
695
  | Contract | Selector | Calls | Reverts | Discards |
485
696
  +======================================================================================+
486
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
697
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
487
698
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
489
700
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
491
702
  |-----------------------------------+---------------------+-------+---------+----------|
492
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
493
704
  |-----------------------------------+---------------------+-------+---------+----------|
494
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
495
706
  |-----------------------------------+---------------------+-------+---------+----------|
496
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
497
708
  |-----------------------------------+---------------------+-------+---------+----------|
498
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
499
710
  ╰-----------------------------------+---------------------+-------+---------+----------╯
500
711
 
501
712
  Logs:
502
- Bound result 6305616543281614862744
503
- Bound result 9900108003522319339048
504
- Bound result 3671
505
- Bound result 6242
506
- Bound result 8567629506693876259269
507
- Bound result 6103
508
- Bound result 11739202
509
- Bound result 1102253
510
- Bound result 1
511
- Bound result 6053
512
- Bound result 7027
513
- Bound result 9900000000058880193036
514
- Bound result 9258828514914531261138
515
- Bound result 1392
516
- Bound result 79
517
- Bound result 428
518
- Bound result 6267
519
- Bound result 1046363172
520
- Bound result 19
713
+ Bound result 3
714
+ Bound result 514264337593504336253
715
+ Bound result 0
716
+ Bound result 9900000000000000000588
717
+ Bound result 6697854339302607069824
718
+ Bound result 9687
719
+ Bound result 7868
720
+ Bound result 10028
721
+ Bound result 1057549188
722
+ Bound result 6195122
723
+ Bound result 7090048479061795899825
724
+ Bound result 1657
725
+ Bound result 7090048479061801814268
726
+ Bound result 4809
727
+ Bound result 9900000000000000007057
728
+ Bound result 9900000000002215456449
729
+ Bound result 2829
730
+ Bound result 629
731
+ Bound result 9083259745641421182610
732
+ Bound result 9900000044502014870296
733
+ Bound result 5269
734
+ Bound result 6239
521
735
 
522
736
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
523
737
 
524
738
  ╭-----------------------------------+---------------------+-------+---------+----------╮
525
739
  | Contract | Selector | Calls | Reverts | Discards |
526
740
  +======================================================================================+
527
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
528
742
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
530
744
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
532
746
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
534
748
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
749
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
536
750
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
751
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 600 | 0 | 0 |
538
752
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
753
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
540
754
  ╰-----------------------------------+---------------------+-------+---------+----------╯
541
755
 
542
756
  Logs:
543
- Bound result 15925748452188228
544
- Bound result 19849496
545
- Bound result 6666
546
- Bound result 2327
757
+ Bound result 100000000000000000000
758
+ Bound result 9900000000000000000227
759
+ Bound result 9996
760
+ Bound result 1770
761
+ Bound result 982
762
+ Bound result 247741135591320
763
+ Bound result 6066
764
+ Bound result 9900000000000000008107
765
+ Bound result 9900000000000000008133
766
+ Bound result 8007
767
+ Bound result 141
768
+ Bound result 9900000000000000006027
769
+ Bound result 9900000000000000004946
770
+ Bound result 6640
771
+ Bound result 9893
772
+ Bound result 10507
773
+ Bound result 344526422
774
+ Bound result 1557
775
+ Bound result 153
547
776
  Bound result 1
548
- Bound result 54758851529
549
- Bound result 391715773683590
550
- Bound result 0
551
- Bound result 9900000000000000010031
552
- Bound result 9900000000000000002546
553
- Bound result 4302
554
- Bound result 3566
555
- Bound result 13967898484397707400021
556
- Bound result 299
557
- Bound result 1199
558
- Bound result 9900000008685767693859
559
- Bound result 9900000000000000115367
560
- Bound result 481
561
- Bound result 4026
562
- Bound result 9900000035590732601915
563
- Bound result 9900000000000015029942
564
- Bound result 9907
565
- Bound result 135
566
- Bound result 7680
777
+ Bound result 2159030
778
+ Bound result 130817902
779
+ Bound result 479
780
+ Bound result 10262203357154033
781
+ Bound result 2159029
782
+ Bound result 13
567
783
 
568
784
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
569
785
 
570
786
  ╭-----------------------------------+---------------------+-------+---------+----------╮
571
787
  | Contract | Selector | Calls | Reverts | Discards |
572
788
  +======================================================================================+
573
- | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
574
790
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
576
792
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
578
794
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
580
796
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 507 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
582
798
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
584
800
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | warp | 577 | 0 | 0 |
586
802
  ╰-----------------------------------+---------------------+-------+---------+----------╯
587
803
 
588
804
  Logs:
589
- Bound result 347
590
- Bound result 1704
591
- Bound result 9900000000000000010264
592
- Bound result 9900000000000000004512
593
- Bound result 5055
594
- Bound result 10
595
- Bound result 11791738176465960631927
596
- Bound result 9900000000000294443689
597
- Bound result 9900000000000000008591
598
- Bound result 682
599
- Bound result 2594
600
- Bound result 89927504951098463475
601
- Bound result 811899737
805
+ Bound result 1289529814342584391614
806
+ Bound result 77146
807
+ Bound result 9900000000003736598700
808
+ Bound result 9900000000000000000360
809
+ Bound result 666
810
+ Bound result 7513
811
+ Bound result 2860
812
+ Bound result 1098
602
813
  Bound result 1
603
- Bound result 1115
604
- Bound result 1
605
- Bound result 1510283280
814
+ Bound result 43064340055
815
+ Bound result 9900000000000000008322
816
+ Bound result 9900000000000000009601
817
+ Bound result 7330
818
+ Bound result 868
819
+ Bound result 1064715
820
+ Bound result 5603
821
+ Bound result 645288554725932043
822
+ Bound result 1012364
823
+ Bound result 18628107641827819621010
824
+ Bound result 5
825
+ Bound result 3403
826
+ Bound result 3096070584
827
+ Bound result 0
828
+ Bound result 3996
606
829
 
607
830
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
608
831
 
609
832
  ╭-----------------------------------+---------------------+-------+---------+----------╮
610
833
  | Contract | Selector | Calls | Reverts | Discards |
611
834
  +======================================================================================+
612
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
613
836
  |-----------------------------------+---------------------+-------+---------+----------|
614
- | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
615
838
  |-----------------------------------+---------------------+-------+---------+----------|
616
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
617
840
  |-----------------------------------+---------------------+-------+---------+----------|
618
- | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
619
842
  |-----------------------------------+---------------------+-------+---------+----------|
620
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 501 | 0 | 0 |
621
844
  |-----------------------------------+---------------------+-------+---------+----------|
622
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
845
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
623
846
  |-----------------------------------+---------------------+-------+---------+----------|
624
- | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
847
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
625
848
  ╰-----------------------------------+---------------------+-------+---------+----------╯
626
849
 
627
850
  Logs:
628
- Bound result 102719569915370
629
- Bound result 352407403423
851
+ Bound result 514264337593504336253
852
+ Bound result 1272960987394675
630
853
  Bound result 0
631
- Bound result 9296
632
- Bound result 1016114450078976568951
633
- Bound result 100
634
- Bound result 192
635
- Bound result 3486480063569303770454
636
- Bound result 9900624033575485403533
637
- Bound result 10
638
- Bound result 1329
639
- Bound result 176530220970825162262
640
- Bound result 8173479856409110921351
641
- Bound result 9900000000000008844166
642
- Bound result 9965
643
- Bound result 4674
644
- Bound result 5393
645
- Bound result 9469
646
- Bound result 4228
647
- Bound result 2998
648
- Bound result 653
854
+ Bound result 1404354663169206
855
+ Bound result 20183031086271005
856
+ Bound result 1
857
+ Bound result 223
858
+ Bound result 1
859
+ Bound result 15
860
+ Bound result 1318
861
+ Bound result 133234318361
862
+ Bound result 1277637051004033868384
863
+ Bound result 61
864
+ Bound result 26774378366642
865
+ Bound result 1674
866
+ Bound result 8039
867
+ Bound result 580
868
+ Bound result 1292
649
869
 
650
870
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
651
871
 
652
872
  ╭-----------------------------------+---------------------+-------+---------+----------╮
653
873
  | Contract | Selector | Calls | Reverts | Discards |
654
874
  +======================================================================================+
655
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
656
876
  |-----------------------------------+---------------------+-------+---------+----------|
657
877
  | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
658
878
  |-----------------------------------+---------------------+-------+---------+----------|
659
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
660
880
  |-----------------------------------+---------------------+-------+---------+----------|
661
- | RateLimiterRBACUpgradeableHandler | setState | 517 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
662
882
  |-----------------------------------+---------------------+-------+---------+----------|
663
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
664
884
  |-----------------------------------+---------------------+-------+---------+----------|
665
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
666
886
  |-----------------------------------+---------------------+-------+---------+----------|
667
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
668
888
  ╰-----------------------------------+---------------------+-------+---------+----------╯
669
889
 
670
890
  Logs:
671
- Bound result 736
672
- Bound result 9900010320646795767374
673
- Bound result 9900000000000650257887
674
- Bound result 5401
675
- Bound result 6165
676
- Bound result 9900000000000000009065
677
- Bound result 9900000000000000002951
678
- Bound result 8298
679
- Bound result 6966
680
- Bound result 10885
681
- Bound result 106173283
682
- Bound result 3
683
- Bound result 16529170384
684
- Bound result 10125
685
- Bound result 2096
686
- Bound result 14601344897779673954616
687
- Bound result 737
688
- Bound result 6803
689
- Bound result 7801
891
+ Bound result 458917131699682165376
892
+ Bound result 63
893
+ Bound result 7475993687359815010848
894
+ Bound result 9900000000000000019134
895
+ Bound result 12
896
+ Bound result 5976
897
+ Bound result 663714114
898
+ Bound result 154
899
+ Bound result 0
900
+ Bound result 4169
901
+ Bound result 9900000000000000003665
902
+ Bound result 9900000000000000007588
903
+ Bound result 4258
904
+ Bound result 1577
905
+ Bound result 7465
906
+ Bound result 9900000000000000000982
907
+ Bound result 9900000000000003651614
908
+ Bound result 6639
909
+ Bound result 11
910
+ Bound result 3931435698939182695163
911
+ Bound result 2667074652465993954299
912
+ Bound result 6914264337593535947491
913
+ Bound result 4775
914
+ Bound result 9267
915
+ Bound result 2265650695915624093989
916
+ Bound result 6344
917
+ Bound result 9900000000000000000014
918
+ Bound result 1801106833524811820761
919
+ Bound result 5454
920
+ Bound result 3022
690
921
 
691
922
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
692
923
 
693
924
  ╭-----------------------------------+---------------------+-------+---------+----------╮
694
925
  | Contract | Selector | Calls | Reverts | Discards |
695
926
  +======================================================================================+
696
- | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
697
928
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | outflow | 513 | 0 | 0 |
699
930
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
701
932
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | setState | 512 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
703
934
  |-----------------------------------+---------------------+-------+---------+----------|
704
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 601 | 0 | 0 |
705
936
  |-----------------------------------+---------------------+-------+---------+----------|
706
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
707
938
  |-----------------------------------+---------------------+-------+---------+----------|
708
- | RateLimiterRBACUpgradeableHandler | warp | 602 | 0 | 0 |
939
+ | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
709
940
  ╰-----------------------------------+---------------------+-------+---------+----------╯
710
941
 
711
942
  Logs:
712
- Bound result 140441799328739153184
713
- Bound result 955452669137
714
- Bound result 1
943
+ Bound result 514264337593543950332
944
+ Bound result 904
945
+ Bound result 9900000000000000232057
946
+ Bound result 6914264337593535947488
947
+ Bound result 13
948
+ Bound result 774
949
+ Bound result 937226472516654
950
+ Bound result 8423
951
+ Bound result 2102
715
952
  Bound result 0
716
- Bound result 416
717
- Bound result 1475
718
- Bound result 357094980
719
- Bound result 1105124034660156085393
720
- Bound result 9901526392262478577399
721
- Bound result 9900000000000000005897
722
- Bound result 6239
723
- Bound result 7883
724
- Bound result 261403361894968498914
725
- Bound result 100000000000000000000
726
- Bound result 15
727
- Bound result 5022
728
- Bound result 9900000000007846915044
729
- Bound result 9900016451954712589869
730
- Bound result 5894
731
- Bound result 9413
732
- Bound result 1728
953
+ Bound result 6914264337593535947488
954
+ Bound result 6914264337593535947488
955
+ Bound result 2098
956
+ Bound result 2793
957
+ Bound result 6914264337593535947490
958
+ Bound result 6914264337593535947488
959
+ Bound result 2045
960
+ Bound result 2846
961
+ Bound result 13633769491721788684159
962
+ Bound result 12182
963
+ Bound result 40
733
964
 
734
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.77s (10.05s CPU time)
965
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.26s (19.05s CPU time)
735
966
 
736
967
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
737
968
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -739,531 +970,372 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
739
970
  ╭-----------------------------------+---------------------+-------+---------+----------╮
740
971
  | Contract | Selector | Calls | Reverts | Discards |
741
972
  +======================================================================================+
742
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
743
974
  |-----------------------------------+---------------------+-------+---------+----------|
744
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
745
976
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
747
978
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
749
980
  |-----------------------------------+---------------------+-------+---------+----------|
750
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 596 | 0 | 0 |
751
982
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
983
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
753
984
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
985
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
755
986
  ╰-----------------------------------+---------------------+-------+---------+----------╯
756
987
 
757
988
  Logs:
758
- Bound result 127
759
- Bound result 415249655498198609493
760
- Bound result 514264337593504336253
761
- Bound result 14
762
- Bound result 22219737225344185173
763
- Bound result 210
764
- Bound result 1
765
- Bound result 2107269096
766
- Bound result 7113
767
- Bound result 8056801605276275969470
768
- Bound result 9900000000000003820274
769
- Bound result 9176
770
- Bound result 783
989
+ Bound result 797
990
+ Bound result 778
991
+ Bound result 221
992
+ Bound result 10245
993
+ Bound result 8946
771
994
  Bound result 1
772
- Bound result 9900000000000000001446
773
- Bound result 9900000000000613063844
774
- Bound result 2664
775
- Bound result 9656
776
- Bound result 9900759618196922864757
777
- Bound result 9938401310051592815269
778
- Bound result 364
779
- Bound result 9064
780
- Bound result 1226
781
- Bound result 1019
782
- Bound result 118
783
- Bound result 0
784
- Bound result 42911484134541111212
785
- Bound result 47
786
- Bound result 7275
787
- Bound result 9900000004498500273802
788
- Bound result 9901981644512341621858
789
- Bound result 254
790
- Bound result 6900
995
+ Bound result 107795473
996
+ Bound result 9900033032306622020019
997
+ Bound result 9900000000000000040642
998
+ Bound result 1802
999
+ Bound result 6322
1000
+ Bound result 54
1001
+ Bound result 7226
1002
+ Bound result 20
1003
+ Bound result 11259
791
1004
 
792
1005
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
793
1006
 
794
1007
  ╭-----------------------------------+---------------------+-------+---------+----------╮
795
1008
  | Contract | Selector | Calls | Reverts | Discards |
796
1009
  +======================================================================================+
797
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
798
1011
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
800
1013
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
802
1015
  |-----------------------------------+---------------------+-------+---------+----------|
803
- | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
804
1017
  |-----------------------------------+---------------------+-------+---------+----------|
805
1018
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
806
1019
  |-----------------------------------+---------------------+-------+---------+----------|
807
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
1020
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
808
1021
  |-----------------------------------+---------------------+-------+---------+----------|
809
- | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | warp | 505 | 0 | 0 |
810
1023
  ╰-----------------------------------+---------------------+-------+---------+----------╯
811
1024
 
812
1025
  Logs:
813
- Bound result 79322379169
814
- Bound result 8059
815
- Bound result 3691
1026
+ Bound result 6065
1027
+ Bound result 514264337593504336251
1028
+ Bound result 12
1029
+ Bound result 0
1030
+ Bound result 8364
1031
+ Bound result 9900000000000000010204
1032
+ Bound result 9900000000000000001029
1033
+ Bound result 7211
1034
+ Bound result 9621
1035
+ Bound result 3463
1036
+ Bound result 21
1037
+ Bound result 9900000000000000002808
1038
+ Bound result 9900000000000000001645
1039
+ Bound result 274
1040
+ Bound result 2262
1041
+ Bound result 105
1042
+ Bound result 2
816
1043
  Bound result 1
817
- Bound result 447098282828275884699
818
- Bound result 4333534
1044
+ Bound result 7199
1045
+ Bound result 2977
819
1046
  Bound result 0
820
- Bound result 514264337593543950332
821
- Bound result 5252357906142130612051
822
- Bound result 100000000000000000003
823
- Bound result 2727
824
- Bound result 1715
825
- Bound result 771579439399398962689
826
- Bound result 9900000000057779168670
827
- Bound result 9900000001255338876487
828
- Bound result 203
829
- Bound result 3746
830
- Bound result 880
831
- Bound result 2965771433
832
- Bound result 261
833
- Bound result 8804068496218143060748
834
- Bound result 9900183027719346978270
835
- Bound result 8382
836
- Bound result 1346
837
- Bound result 821040
838
1047
 
839
1048
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
840
1049
 
841
1050
  ╭-----------------------------------+---------------------+-------+---------+----------╮
842
1051
  | Contract | Selector | Calls | Reverts | Discards |
843
1052
  +======================================================================================+
844
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
845
1054
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | outflow | 522 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
847
1056
  |-----------------------------------+---------------------+-------+---------+----------|
848
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
849
1058
  |-----------------------------------+---------------------+-------+---------+----------|
850
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
851
1060
  |-----------------------------------+---------------------+-------+---------+----------|
852
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
853
1062
  |-----------------------------------+---------------------+-------+---------+----------|
854
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
1063
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596 | 0 | 0 |
855
1064
  |-----------------------------------+---------------------+-------+---------+----------|
856
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
857
1066
  ╰-----------------------------------+---------------------+-------+---------+----------╯
858
1067
 
859
1068
  Logs:
860
- Bound result 9900000000000000008612
861
- Bound result 9900000000000000002310
862
- Bound result 1499
863
- Bound result 5722
864
- Bound result 3561
865
- Bound result 575
1069
+ Bound result 2093
1070
+ Bound result 8524
866
1071
  Bound result 1
867
- Bound result 94372685013723
868
- Bound result 100000000000000000000
869
- Bound result 140620131049268824096
870
- Bound result 5088
871
- Bound result 10
872
- Bound result 421741047492350911
873
- Bound result 166604195983668394158
874
- Bound result 12481
875
- Bound result 5
876
- Bound result 70172235881512205633
877
- Bound result 0
878
- Bound result 124456418001198800114
879
- Bound result 814909768453410782
1072
+ Bound result 9900000000000000010197
1073
+ Bound result 9900000000000000004420
1074
+ Bound result 698
1075
+ Bound result 7483
1076
+ Bound result 799
1077
+ Bound result 3301133406996
1078
+ Bound result 411986024378006898109
880
1079
  Bound result 1
881
- Bound result 7901
1080
+ Bound result 1244
1081
+ Bound result 20193609575356490
1082
+ Bound result 13715337159211801363266
1083
+ Bound result 53
1084
+ Bound result 6063825113084708167867
1085
+ Bound result 9900000000000063683587
1086
+ Bound result 8584
1087
+ Bound result 38
1088
+ Bound result 11235946331147826
1089
+ Bound result 172712885850772
1090
+ Bound result 310
1091
+ Bound result 2754
1092
+ Bound result 2676
1093
+ Bound result 196
1094
+ Bound result 9936324813413556559089
882
1095
 
883
1096
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
884
1097
 
885
1098
  ╭-----------------------------------+---------------------+-------+---------+----------╮
886
1099
  | Contract | Selector | Calls | Reverts | Discards |
887
1100
  +======================================================================================+
888
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | inflow | 498 | 0 | 0 |
889
1102
  |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
891
1104
  |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
893
1106
  |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
895
1108
  |-----------------------------------+---------------------+-------+---------+----------|
896
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1109
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
897
1110
  |-----------------------------------+---------------------+-------+---------+----------|
898
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
1111
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
899
1112
  |-----------------------------------+---------------------+-------+---------+----------|
900
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1113
+ | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
901
1114
  ╰-----------------------------------+---------------------+-------+---------+----------╯
902
1115
 
903
1116
  Logs:
904
- Bound result 6812674777
905
- Bound result 81534113272914857
906
- Bound result 2728456053380
1117
+ Bound result 1113219430
1118
+ Bound result 1634
907
1119
  Bound result 0
908
- Bound result 8821
909
- Bound result 2127334683002165108
910
- Bound result 9566284817606286918
911
- Bound result 37539
912
- Bound result 417
913
- Bound result 11
914
- Bound result 533570198632
915
- Bound result 6314911097628774013906
916
- Bound result 9914172132491804916676
917
- Bound result 8276
918
- Bound result 9995
919
- Bound result 3413
1120
+ Bound result 1
1121
+ Bound result 9900000000000000005865
1122
+ Bound result 9900000000000000002162
1123
+ Bound result 5029
1124
+ Bound result 40
1125
+ Bound result 3525
1126
+ Bound result 9900000000000000000008
1127
+ Bound result 9900000000000001019956
1128
+ Bound result 4542
1129
+ Bound result 5632
1130
+ Bound result 151426662
1131
+ Bound result 2506
1132
+ Bound result 2051
1133
+ Bound result 10727508426400270259179
920
1134
 
921
1135
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
922
1136
 
923
1137
  ╭-----------------------------------+---------------------+-------+---------+----------╮
924
1138
  | Contract | Selector | Calls | Reverts | Discards |
925
1139
  +======================================================================================+
926
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1140
+ | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
927
1141
  |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
1142
+ | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
929
1143
  |-----------------------------------+---------------------+-------+---------+----------|
930
- | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1144
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
931
1145
  |-----------------------------------+---------------------+-------+---------+----------|
932
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
1146
+ | RateLimiterRBACUpgradeableHandler | setState | 519 | 0 | 0 |
933
1147
  |-----------------------------------+---------------------+-------+---------+----------|
934
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
1148
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
935
1149
  |-----------------------------------+---------------------+-------+---------+----------|
936
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1150
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
937
1151
  |-----------------------------------+---------------------+-------+---------+----------|
938
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
1152
+ | RateLimiterRBACUpgradeableHandler | warp | 579 | 0 | 0 |
939
1153
  ╰-----------------------------------+---------------------+-------+---------+----------╯
940
1154
 
941
1155
  Logs:
942
- Bound result 9900000000000000002848
943
- Bound result 7553939724162854097841
944
- Bound result 13
945
- Bound result 5008
946
- Bound result 14529848
947
- Bound result 9900000054295171095653
948
- Bound result 9900000000000000002393
949
- Bound result 8653
950
- Bound result 7736
951
- Bound result 9900000000000000010940
952
- Bound result 9900000000000000006771
953
- Bound result 2629
954
- Bound result 1132
955
- Bound result 9900003480880338107319
956
- Bound result 9900000000000000076976
957
- Bound result 2988
958
- Bound result 5523
959
- Bound result 4515887418893026106179
960
- Bound result 83461609908108
961
- Bound result 7
962
- Bound result 18666857249130629484685
963
- Bound result 5
1156
+ Bound result 9900005018073860286034
1157
+ Bound result 9900000000000000130061
1158
+ Bound result 12
1159
+ Bound result 6570
1160
+ Bound result 899
1161
+ Bound result 9900000158461956961670
1162
+ Bound result 9900000772900294035419
1163
+ Bound result 7300
1164
+ Bound result 5539
1165
+ Bound result 3821
1166
+ Bound result 864
1167
+ Bound result 1099511627775
1168
+ Bound result 1
1169
+ Bound result 128
1170
+ Bound result 4973886181081314
1171
+ Bound result 8614
1172
+ Bound result 9900000000000000007354
1173
+ Bound result 9900000000002215456451
1174
+ Bound result 6162
1175
+ Bound result 864
1176
+ Bound result 9900000022159117985032
1177
+ Bound result 2872216587776351595532
1178
+ Bound result 9998
1179
+ Bound result 12
1180
+ Bound result 947296146499182673876
1181
+ Bound result 2885913946735728684500
1182
+ Bound result 9900000000001060227595
1183
+ Bound result 9900000000000002069528
1184
+ Bound result 3787
1185
+ Bound result 1612
1186
+ Bound result 862044258405802642389
1187
+ Bound result 13064357438241173858334
964
1188
  Bound result 1
965
- Bound result 3084
966
- Bound result 9890
967
- Bound result 7599
968
- Bound result 280631428947732367256
969
1189
 
970
1190
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
971
1191
 
972
1192
  ╭-----------------------------------+---------------------+-------+---------+----------╮
973
1193
  | Contract | Selector | Calls | Reverts | Discards |
974
1194
  +======================================================================================+
975
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1195
+ | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
976
1196
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | outflow | 579 | 0 | 0 |
1197
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
978
1198
  |-----------------------------------+---------------------+-------+---------+----------|
979
1199
  | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
980
1200
  |-----------------------------------+---------------------+-------+---------+----------|
981
- | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
1201
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
982
1202
  |-----------------------------------+---------------------+-------+---------+----------|
983
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
1203
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
984
1204
  |-----------------------------------+---------------------+-------+---------+----------|
985
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1205
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
986
1206
  |-----------------------------------+---------------------+-------+---------+----------|
987
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1207
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
988
1208
  ╰-----------------------------------+---------------------+-------+---------+----------╯
989
1209
 
990
1210
  Logs:
991
- Bound result 6466550069669791467321
992
- Bound result 9900000000000001870563
993
- Bound result 9995
994
- Bound result 842
995
- Bound result 5130
996
- Bound result 10017
997
- Bound result 18745
998
- Bound result 1013332733516247402114
999
- Bound result 9900000000000000117897
1000
- Bound result 11
1001
- Bound result 6242
1002
- Bound result 5855
1003
- Bound result 9407
1004
- Bound result 4711
1005
- Bound result 6914264336650032651265
1006
- Bound result 9127
1007
- Bound result 758
1008
- Bound result 834047
1009
- Bound result 121168736
1010
- Bound result 3995
1011
- Bound result 34769380330
1012
- Bound result 1480
1211
+ Bound result 6103
1212
+ Bound result 52
1213
+ Bound result 1
1214
+ Bound result 514264337593543950333
1215
+ Bound result 1074626400631
1216
+ Bound result 31065786
1217
+ Bound result 30
1218
+ Bound result 696430070036902609318
1219
+ Bound result 1554234165449
1220
+ Bound result 1
1221
+ Bound result 9900000000290644608771
1222
+ Bound result 9900000000000001113646
1223
+ Bound result 3978
1224
+ Bound result 8585
1225
+ Bound result 1809
1226
+ Bound result 8614
1013
1227
 
1014
1228
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1015
1229
 
1016
1230
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1017
1231
  | Contract | Selector | Calls | Reverts | Discards |
1018
1232
  +======================================================================================+
1019
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
1233
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1020
1234
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
1235
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
1022
1236
  |-----------------------------------+---------------------+-------+---------+----------|
1023
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1237
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1024
1238
  |-----------------------------------+---------------------+-------+---------+----------|
1025
- | RateLimiterRBACUpgradeableHandler | setState | 607 | 0 | 0 |
1239
+ | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
1026
1240
  |-----------------------------------+---------------------+-------+---------+----------|
1027
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
1241
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
1028
1242
  |-----------------------------------+---------------------+-------+---------+----------|
1029
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 504 | 0 | 0 |
1243
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
1030
1244
  |-----------------------------------+---------------------+-------+---------+----------|
1031
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1245
+ | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
1032
1246
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1033
1247
 
1034
1248
  Logs:
1035
- Bound result 782590880772003
1036
- Bound result 6
1037
- Bound result 9739860680042043092934
1038
- Bound result 6914264337593535947488
1039
- Bound result 3269
1040
- Bound result 743
1041
- Bound result 9900000000000000008723
1042
- Bound result 9900000000000000003319
1043
- Bound result 4481
1044
- Bound result 4034
1045
- Bound result 87980696376
1046
- Bound result 9900015540201965149832
1047
- Bound result 9900000000001024960606
1048
- Bound result 13
1049
- Bound result 1709
1050
- Bound result 897014336
1051
- Bound result 1968
1052
- Bound result 1434288173
1053
- Bound result 1763
1054
- Bound result 2931
1249
+ Bound result 9055
1250
+ Bound result 4657
1251
+ Bound result 1
1252
+ Bound result 6646577
1253
+ Bound result 514264337593504336251
1254
+ Bound result 5194750122
1255
+ Bound result 1
1256
+ Bound result 577
1257
+ Bound result 225
1258
+ Bound result 116484
1259
+ Bound result 3945373
1260
+ Bound result 1944527
1261
+ Bound result 551431828806357427
1262
+ Bound result 65201578498800925
1263
+ Bound result 499
1264
+ Bound result 10275
1265
+ Bound result 32907047397780
1266
+ Bound result 1718
1055
1267
 
1056
1268
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1057
1269
 
1058
1270
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1059
1271
  | Contract | Selector | Calls | Reverts | Discards |
1060
1272
  +======================================================================================+
1061
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
1273
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
1062
1274
  |-----------------------------------+---------------------+-------+---------+----------|
1063
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
1275
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
1064
1276
  |-----------------------------------+---------------------+-------+---------+----------|
1065
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
1277
+ | RateLimiterRBACUpgradeableHandler | setConfig | 511 | 0 | 0 |
1066
1278
  |-----------------------------------+---------------------+-------+---------+----------|
1067
- | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
1279
+ | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
1068
1280
  |-----------------------------------+---------------------+-------+---------+----------|
1069
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1281
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
1070
1282
  |-----------------------------------+---------------------+-------+---------+----------|
1071
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1283
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1072
1284
  |-----------------------------------+---------------------+-------+---------+----------|
1073
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1285
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
1074
1286
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1075
1287
 
1076
1288
  Logs:
1077
- Bound result 9900000000000000008598
1078
- Bound result 9900000000000000033789
1079
- Bound result 7312
1080
- Bound result 1359
1081
- Bound result 1720358582102242335499
1082
- Bound result 1150
1289
+ Bound result 981
1290
+ Bound result 5009287098266
1291
+ Bound result 456
1083
1292
  Bound result 1
1084
- Bound result 8201
1085
- Bound result 423
1293
+ Bound result 45511880662
1294
+ Bound result 1733716
1086
1295
  Bound result 0
1087
- Bound result 5594
1088
- Bound result 28142141643097
1089
1296
  Bound result 0
1090
- Bound result 800
1091
- Bound result 29
1092
- Bound result 447150032947
1093
- Bound result 42804892329
1094
- Bound result 194481555310076
1095
- Bound result 1
1096
- Bound result 9900000002162337149040
1097
- Bound result 232723515801926497945
1098
- Bound result 1077
1099
- Bound result 10
1100
-
1101
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.85s (11.01s CPU time)
1102
-
1103
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1104
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1105
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1106
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1107
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1108
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1109
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1110
- [PASS] test_isPaused_Default() (gas: 47316)
1111
- [PASS] test_isPaused_InitialState() (gas: 22172)
1112
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1113
- [PASS] test_isPaused_Override() (gas: 75171)
1114
- [PASS] test_isPaused_Specific() (gas: 50105)
1115
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1116
- [PASS] test_pauseConfig() (gas: 51028)
1117
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1118
- [PASS] test_setDefaultPaused() (gas: 42196)
1119
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29974, ~: 18826)
1120
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1121
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1122
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1123
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1124
- [PASS] test_setPaused() (gas: 48361)
1125
- [PASS] test_setPaused_DormantData() (gas: 295234)
1126
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1127
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1128
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43885, ~: 48696)
1129
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223437, ~: 219722)
1130
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1131
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1132
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1133
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1134
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1135
- [PASS] test_setPaused_Success() (gas: 45897)
1136
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1137
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1138
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1139
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1140
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1141
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1142
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1143
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62093, ~: 50341)
1144
- [PASS] test_storageHash() (gas: 3392)
1145
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1146
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1147
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1148
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1149
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1150
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1151
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.86s (864.21ms CPU time)
1152
-
1153
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1154
- [PASS] test_feeDeposit() (gas: 17638)
1155
- [PASS] test_setFeeDeposit() (gas: 27596)
1156
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
1157
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1158
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1159
- [PASS] test_storageHash() (gas: 3315)
1160
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 1.86s (41.94ms CPU time)
1161
-
1162
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1163
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1164
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1165
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1166
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1167
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1168
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1169
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1170
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1171
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1172
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1173
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1174
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1175
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1176
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1177
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1178
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1179
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1180
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1181
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1182
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1183
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1184
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1185
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1186
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1187
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1188
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1189
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1190
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1191
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1192
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1193
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1194
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1195
- [PASS] test_storageHash() (gas: 3380)
1196
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.86s (633.78ms CPU time)
1197
-
1198
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1199
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1200
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1201
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47486, ~: 48966)
1202
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1203
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1204
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1205
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1206
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1207
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1208
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1209
- [PASS] test_getFee_Default() (gas: 43108)
1210
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45890, ~: 47017)
1211
- [PASS] test_getFee_Rounding() (gas: 45449)
1212
- [PASS] test_getFee_Specific() (gas: 66985)
1213
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1214
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1215
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35356, ~: 42268)
1216
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1217
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1218
- [PASS] test_setFeeBps() (gas: 77237)
1219
- Logs:
1220
- Bound result 500
1221
-
1222
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69319, ~: 77570)
1223
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1224
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1225
- [PASS] test_storageHash() (gas: 3436)
1226
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.04s (815.66ms CPU time)
1297
+ Bound result 4575
1298
+ Bound result 3695152416
1299
+ Bound result 0
1300
+ Bound result 65
1301
+ Bound result 9900000000000000052470
1302
+ Bound result 9900000000005282084302
1303
+ Bound result 9999
1304
+ Bound result 407
1305
+ Bound result 10505
1306
+ Bound result 889
1307
+ Bound result 9900000000000283944093
1308
+ Bound result 9901508225297893166944
1309
+ Bound result 6684
1310
+ Bound result 12
1311
+ Bound result 4092642413
1312
+ Bound result 3847031
1313
+ Bound result 2755
1314
+ Bound result 9900000000000000000209
1315
+ Bound result 9900000000000000009330
1316
+ Bound result 8085
1317
+ Bound result 4944
1318
+ Bound result 4677
1319
+
1320
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.39s (19.86s CPU time)
1227
1321
 
1228
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1229
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1230
- [PASS] test_constructor_InitialMode() (gas: 15778)
1231
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1232
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1233
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1234
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1235
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1236
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1237
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1238
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1239
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1240
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1241
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1242
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1243
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1244
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1245
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1246
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1247
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1248
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1249
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1250
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1251
- [PASS] test_setMode_Blacklist() (gas: 42605)
1252
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1253
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1254
- [PASS] test_setMode_Whitelist() (gas: 42714)
1255
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1256
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1257
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1258
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1259
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1260
- [PASS] test_storageHash() (gas: 3480)
1261
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 12.39s (756.35ms CPU time)
1322
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1323
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1324
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1325
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1326
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1327
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
1328
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1329
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1330
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1331
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1332
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1333
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 17.10s (279.53ms CPU time)
1262
1334
 
1263
1335
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1264
1336
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1265
1337
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1266
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 788150, ~: 171856)
1338
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 747051, ~: 177137)
1267
1339
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1268
1340
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1269
1341
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1276,12 +1348,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1276
1348
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1277
1349
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1278
1350
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1279
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11139286, ~: 10429888)
1351
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11179019, ~: 10445206)
1280
1352
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1281
1353
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1282
1354
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1283
1355
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1284
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 751237, ~: 168236)
1356
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 789792, ~: 243618)
1285
1357
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1286
1358
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1287
1359
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1294,10 +1366,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1294
1366
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1295
1367
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1296
1368
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1297
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11193897, ~: 10580536)
1369
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147964, ~: 10412512)
1298
1370
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1299
1371
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1300
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.39s (29.27s CPU time)
1372
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.97s (43.88s CPU time)
1301
1373
 
1302
- Ran 17 test suites in 12.43s (57.27s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1303
- ⏳ forge test: 30.069s
1374
+ Ran 17 test suites in 18.00s (67.05s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1375
+ ⏳ forge test: 32.959s