@layerzerolabs/utils-upgradeable-evm-contracts 0.2.124 → 0.2.125

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/.turbo/turbo-test.log +691 -791
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,102 +4,23 @@
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-uFntpW
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-aLOORg
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
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.
10
+ (node:245986) [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-uFntpW:/workspace
15
+ -v /tmp/lz-mini-workspace-aLOORg:/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
- 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
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)
99
20
  👤 Running container as UID:GID 1001:1001
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
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-aLOORg:/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
101
22
  Compiling 84 files with Solc 0.8.22
102
- Solc 0.8.22 finished in 13.01s
23
+ Solc 0.8.22 finished in 10.54s
103
24
  Compiler run successful with warnings:
104
25
  Warning (2018): Function state mutability can be restricted to view
105
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -258,7 +179,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
258
179
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
259
180
  [PASS] test_storageHash() (gas: 3414)
260
181
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
261
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 65.10ms (54.43ms CPU time)
182
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 7.37ms (5.32ms CPU time)
262
183
 
263
184
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
264
185
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -301,15 +222,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
301
222
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
302
223
  [PASS] test_storageHash() (gas: 3392)
303
224
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
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)
225
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 24.21ms (22.41ms CPU time)
313
226
 
314
227
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
315
228
  [PASS] test_feeDeposit() (gas: 17638)
@@ -318,153 +231,67 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
318
231
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
319
232
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
320
233
  [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)
234
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 76.09ms (75.62ms CPU time)
358
235
 
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)
236
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
237
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
238
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
239
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47704, ~: 48966)
240
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
241
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
242
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
243
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
244
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
245
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
246
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
247
+ [PASS] test_getFee_Default() (gas: 43108)
248
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45869, ~: 47017)
249
+ [PASS] test_getFee_Rounding() (gas: 45449)
250
+ [PASS] test_getFee_Specific() (gas: 66985)
251
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
252
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
253
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35473, ~: 42268)
254
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
255
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
256
+ [PASS] test_setFeeBps() (gas: 77237)
429
257
  Logs:
430
258
  Bound result 500
431
259
 
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)
260
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68956, ~: 77570)
261
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
262
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
263
+ [PASS] test_storageHash() (gas: 3436)
264
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 153.17ms (282.68ms CPU time)
436
265
 
437
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
438
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
439
- [PASS] test_constructor_InitialMode() (gas: 15578)
440
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
441
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
442
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
443
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
444
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
445
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
446
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
447
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
448
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
449
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
450
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
451
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
452
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
453
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
454
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
455
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
456
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
457
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
458
- [PASS] test_setMode_Blacklist() (gas: 40021)
459
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
460
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
461
- [PASS] test_setMode_Whitelist() (gas: 40108)
462
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
463
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
464
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
465
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
466
- [PASS] test_storageHash() (gas: 3458)
467
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 2.95s (1.69s CPU time)
266
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
267
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26739, ~: 12786)
268
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
269
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
270
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
271
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
272
+ [PASS] test_isPaused_InitialState() (gas: 15629)
273
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
274
+ [PASS] test_multipleRoleGrants() (gas: 394130)
275
+ [PASS] test_pause() (gas: 42109)
276
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
277
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
278
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31228, ~: 42378)
279
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
280
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
281
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
282
+ [PASS] test_setPaused_Success() (gas: 40691)
283
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
284
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
285
+ [PASS] test_storageHash() (gas: 3414)
286
+ [PASS] test_unpause() (gas: 35177)
287
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41725, ~: 44479)
288
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
289
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
290
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
291
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
292
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
293
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
294
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 181.94ms (363.68ms CPU time)
468
295
 
469
296
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
470
297
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -499,29 +326,43 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
499
326
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
500
327
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
501
328
  [PASS] test_storageHash() (gas: 3480)
502
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 3.05s (1.54s CPU time)
329
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 185.50ms (379.68ms CPU time)
503
330
 
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)
331
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
332
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
333
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
334
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44785, ~: 46317)
335
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
336
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
337
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
338
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
339
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
340
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
341
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
342
+ [PASS] test_getFee_Default() (gas: 40577)
343
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43165, ~: 44486)
344
+ [PASS] test_getFee_Rounding() (gas: 42835)
345
+ [PASS] test_getFee_Specific() (gas: 63968)
346
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
347
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
348
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32788, ~: 39667)
349
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
350
+ [PASS] test_setFeeBps() (gas: 73871)
351
+ Logs:
352
+ Bound result 500
353
+
354
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66249, ~: 74224)
355
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
356
+ [PASS] test_storageHash() (gas: 3426)
357
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 705.62ms (273.21ms CPU time)
358
+
359
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
360
+ [PASS] test_feeDeposit() (gas: 17576)
361
+ [PASS] test_setFeeDeposit() (gas: 24995)
362
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
363
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
364
+ [PASS] test_storageHash() (gas: 3337)
365
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 764.95ms (66.65ms CPU time)
525
366
 
526
367
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
527
368
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -538,16 +379,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
538
379
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
539
380
  [PASS] test_pauseConfig() (gas: 45626)
540
381
  [PASS] test_setDefaultPaused() (gas: 39667)
541
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28478, ~: 39918)
382
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27417, ~: 16332)
542
383
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
543
384
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
544
385
  [PASS] test_setPaused() (gas: 43060)
545
386
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
546
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37681, ~: 43373)
387
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38119, ~: 43373)
547
388
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
548
389
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
549
390
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
550
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58185, ~: 46989)
391
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58750, ~: 69608)
551
392
  [PASS] test_storageHash() (gas: 3480)
552
393
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
553
394
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -555,787 +396,846 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
555
396
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
556
397
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
557
398
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
558
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.15s (813.16ms CPU time)
399
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 887.43ms (248.77ms CPU time)
559
400
 
560
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
561
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27702, ~: 41090)
562
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
563
- [PASS] test_assertNotPaused_Success() (gas: 12539)
564
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
565
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
566
- [PASS] test_isPaused_InitialState() (gas: 15629)
567
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
568
- [PASS] test_multipleRoleGrants() (gas: 394130)
569
- [PASS] test_pause() (gas: 42109)
570
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
571
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
572
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30354, ~: 18756)
573
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
574
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
575
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
576
- [PASS] test_setPaused_Success() (gas: 40691)
577
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
578
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
579
- [PASS] test_storageHash() (gas: 3414)
580
- [PASS] test_unpause() (gas: 35177)
581
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41652, ~: 38860)
582
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
583
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
584
- [PASS] test_whenNotPaused_Success() (gas: 38800)
585
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
586
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
587
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
588
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 3.13s (683.08ms CPU time)
589
-
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)
611
- Logs:
612
- Bound result 500
401
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
402
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25621, ~: 12763)
403
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
404
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
405
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
406
+ [PASS] test_isPaused_InitialState() (gas: 15595)
407
+ [PASS] test_pause() (gas: 39592)
408
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28087, ~: 39861)
409
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
410
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
411
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
412
+ [PASS] test_storageHash() (gas: 3414)
413
+ [PASS] test_unpause() (gas: 31115)
414
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40473, ~: 42029)
415
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
416
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
417
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
418
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
419
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
420
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
421
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 887.59ms (167.57ms CPU time)
613
422
 
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)
423
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
424
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
425
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
426
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
427
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
428
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
429
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
430
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
431
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
432
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
433
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
434
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.04s (50.45ms CPU time)
619
435
 
620
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
436
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
621
437
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
622
438
 
623
439
  ╭-----------------------------------+---------------------+-------+---------+----------╮
624
440
  | Contract | Selector | Calls | Reverts | Discards |
625
441
  +======================================================================================+
626
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
627
443
  |-----------------------------------+---------------------+-------+---------+----------|
628
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
629
445
  |-----------------------------------+---------------------+-------+---------+----------|
630
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
631
447
  |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
633
449
  |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
450
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
635
451
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 511 | 0 | 0 |
637
453
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
454
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
639
455
  ╰-----------------------------------+---------------------+-------+---------+----------╯
640
456
 
641
457
  Logs:
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
458
+ Bound result 2737072851
459
+ Bound result 9921168013376645587909
460
+ Bound result 9900000039454507481108
461
+ Bound result 7827
462
+ Bound result 1767
463
+ Bound result 6398
464
+ Bound result 421
649
465
  Bound result 0
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
466
+ Bound result 676
467
+ Bound result 104423
468
+ Bound result 131
469
+ Bound result 13132
470
+ Bound result 292486963906
471
+ Bound result 100000000000000000000
472
+ Bound result 9900006911643058595952
473
+ Bound result 6787
474
+ Bound result 7356
475
+ Bound result 2166
476
+ Bound result 9900000003580971812290
477
+ Bound result 9274012975262350392371
478
+ Bound result 3659
479
+ Bound result 6630
661
480
 
662
481
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
663
482
 
664
483
  ╭-----------------------------------+---------------------+-------+---------+----------╮
665
484
  | Contract | Selector | Calls | Reverts | Discards |
666
485
  +======================================================================================+
667
- | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
668
487
  |-----------------------------------+---------------------+-------+---------+----------|
669
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
670
489
  |-----------------------------------+---------------------+-------+---------+----------|
671
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
672
491
  |-----------------------------------+---------------------+-------+---------+----------|
673
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
492
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
674
493
  |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 591 | 0 | 0 |
494
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
676
495
  |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
496
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
678
497
  |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
498
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
680
499
  ╰-----------------------------------+---------------------+-------+---------+----------╯
681
500
 
682
501
  Logs:
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
502
+ Bound result 461504862523082157
503
+ Bound result 15946137518419411
504
+ Bound result 1
505
+ Bound result 9900000000000000001819
506
+ Bound result 9900000000001958248297
507
+ Bound result 272
508
+ Bound result 371
509
+ Bound result 19
510
+ Bound result 9900000000000000005417
511
+ Bound result 9900000000000000000972
512
+ Bound result 5128
513
+ Bound result 10
514
+ Bound result 1
515
+ Bound result 106067
516
+ Bound result 9754
517
+ Bound result 2944
518
+ Bound result 17843920048554369690807
519
+ Bound result 51485
520
+ Bound result 7028057605394771742380
521
+ Bound result 1083
522
+ Bound result 9900000000000000000230
523
+ Bound result 9900000000000000001254
524
+ Bound result 3457
525
+ Bound result 5225
526
+ Bound result 896191756831
691
527
 
692
528
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
693
529
 
694
530
  ╭-----------------------------------+---------------------+-------+---------+----------╮
695
531
  | Contract | Selector | Calls | Reverts | Discards |
696
532
  +======================================================================================+
697
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
698
534
  |-----------------------------------+---------------------+-------+---------+----------|
699
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
700
536
  |-----------------------------------+---------------------+-------+---------+----------|
701
- | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
702
538
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
539
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
704
540
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
541
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 606 | 0 | 0 |
706
542
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
543
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 505 | 0 | 0 |
708
544
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
545
+ | RateLimiterRBACUpgradeableHandler | warp | 515 | 0 | 0 |
710
546
  ╰-----------------------------------+---------------------+-------+---------+----------╯
711
547
 
712
548
  Logs:
549
+ Bound result 5348
550
+ Bound result 1110565359847967734423
551
+ Bound result 1
552
+ Bound result 3991038784321211891862
553
+ Bound result 100000000000000000003
554
+ Bound result 6241
555
+ Bound result 6242
556
+ Bound result 10
557
+ Bound result 9900000000002072215440
558
+ Bound result 9900000000000000001436
559
+ Bound result 5462
560
+ Bound result 1116
561
+ Bound result 1693
562
+ Bound result 8080
563
+ Bound result 2196095
564
+ Bound result 2045
713
565
  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
566
+ Bound result 399
567
+ Bound result 15647004273
568
+ Bound result 140
569
+ Bound result 8753615734880152571431
570
+ Bound result 1894111072364
571
+ Bound result 4422
572
+ Bound result 5032345011541512
735
573
 
736
574
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
737
575
 
738
576
  ╭-----------------------------------+---------------------+-------+---------+----------╮
739
577
  | Contract | Selector | Calls | Reverts | Discards |
740
578
  +======================================================================================+
741
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | inflow | 503 | 0 | 0 |
742
580
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
744
582
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
583
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
746
584
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
748
586
  |-----------------------------------+---------------------+-------+---------+----------|
749
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
587
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
750
588
  |-----------------------------------+---------------------+-------+---------+----------|
751
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 600 | 0 | 0 |
589
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 594 | 0 | 0 |
752
590
  |-----------------------------------+---------------------+-------+---------+----------|
753
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
591
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
754
592
  ╰-----------------------------------+---------------------+-------+---------+----------╯
755
593
 
756
594
  Logs:
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
595
+ Bound result 9900000000001419106464
596
+ Bound result 6243993676450896364553
597
+ Bound result 8533
598
+ Bound result 2020
599
+ Bound result 3
600
+ Bound result 7266797270789388782787
601
+ Bound result 0
602
+ Bound result 0
603
+ Bound result 147874963
604
+ Bound result 109532509002845731997
605
+ Bound result 0
606
+ Bound result 3117
607
+ Bound result 1479
608
+ Bound result 18
609
+ Bound result 9824381506627207248391
610
+ Bound result 1332528444841490176449
776
611
  Bound result 1
777
- Bound result 2159030
778
- Bound result 130817902
779
- Bound result 479
780
- Bound result 10262203357154033
781
- Bound result 2159029
782
- Bound result 13
612
+ Bound result 1
613
+ Bound result 58712980195026680422
783
614
 
784
615
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
785
616
 
786
617
  ╭-----------------------------------+---------------------+-------+---------+----------╮
787
618
  | Contract | Selector | Calls | Reverts | Discards |
788
619
  +======================================================================================+
789
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
790
621
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
792
623
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
794
625
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
796
627
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
798
629
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
800
631
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | warp | 577 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
802
633
  ╰-----------------------------------+---------------------+-------+---------+----------╯
803
634
 
804
635
  Logs:
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
813
- Bound result 1
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
636
+ Bound result 7
637
+ Bound result 5229138879649836463
638
+ Bound result 269
639
+ Bound result 210
640
+ Bound result 514264337593504336252
641
+ Bound result 3
642
+ Bound result 112
643
+ Bound result 181
644
+ Bound result 434
645
+ Bound result 1466
646
+ Bound result 4350
647
+ Bound result 141
648
+ Bound result 7152
649
+ Bound result 845
650
+ Bound result 1116
829
651
 
830
652
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
831
653
 
832
654
  ╭-----------------------------------+---------------------+-------+---------+----------╮
833
655
  | Contract | Selector | Calls | Reverts | Discards |
834
656
  +======================================================================================+
835
- | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
657
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
836
658
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
659
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
838
660
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
661
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
840
662
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
663
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
842
664
  |-----------------------------------+---------------------+-------+---------+----------|
843
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 501 | 0 | 0 |
665
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
844
666
  |-----------------------------------+---------------------+-------+---------+----------|
845
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
667
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 587 | 0 | 0 |
846
668
  |-----------------------------------+---------------------+-------+---------+----------|
847
- | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
669
+ | RateLimiterRBACUpgradeableHandler | warp | 495 | 0 | 0 |
848
670
  ╰-----------------------------------+---------------------+-------+---------+----------╯
849
671
 
850
672
  Logs:
851
- Bound result 514264337593504336253
852
- Bound result 1272960987394675
853
- Bound result 0
854
- Bound result 1404354663169206
855
- Bound result 20183031086271005
856
- Bound result 1
857
- Bound result 223
673
+ Bound result 9900000000000000004527
674
+ Bound result 9900000000000000008278
675
+ Bound result 6159
676
+ Bound result 8396
677
+ Bound result 15665779226
678
+ Bound result 19871826408
858
679
  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
680
+ Bound result 3544
681
+ Bound result 114
682
+ Bound result 2684
683
+ Bound result 17281321223732548075523
684
+ Bound result 112
685
+ Bound result 15041
686
+ Bound result 2155727086884332512
687
+ Bound result 16601
688
+ Bound result 6842336075578528982603
689
+ Bound result 9900000000000000000162
690
+ Bound result 2886
691
+ Bound result 46
692
+ Bound result 3106
693
+ Bound result 5380720143083875024494
694
+ Bound result 100000000000000000001
695
+ Bound result 5881
696
+ Bound result 2895
869
697
 
870
698
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
871
699
 
872
700
  ╭-----------------------------------+---------------------+-------+---------+----------╮
873
701
  | Contract | Selector | Calls | Reverts | Discards |
874
702
  +======================================================================================+
875
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
876
704
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
878
706
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
880
708
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
882
710
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
884
712
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
713
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
886
714
  |-----------------------------------+---------------------+-------+---------+----------|
887
- | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
715
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
888
716
  ╰-----------------------------------+---------------------+-------+---------+----------╯
889
717
 
890
718
  Logs:
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
719
+ Bound result 445919896478717
720
+ Bound result 1
721
+ Bound result 97
722
+ Bound result 9900000000000019376510
723
+ Bound result 6914264337593535947490
724
+ Bound result 676
725
+ Bound result 204
726
+ Bound result 44219991378854
727
+ Bound result 8
899
728
  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
729
+ Bound result 10556
730
+ Bound result 1046363172
731
+ Bound result 1
732
+ Bound result 9900000000000000003965
733
+ Bound result 9900000000000000003873
734
+ Bound result 2465
735
+ Bound result 9797
736
+ Bound result 36796995403266
737
+ Bound result 6400861369123
738
+ Bound result 2
921
739
 
922
740
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
923
741
 
924
742
  ╭-----------------------------------+---------------------+-------+---------+----------╮
925
743
  | Contract | Selector | Calls | Reverts | Discards |
926
744
  +======================================================================================+
927
- | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
928
746
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | outflow | 513 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
930
748
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
749
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
932
750
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
751
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
934
752
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 601 | 0 | 0 |
753
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
936
754
  |-----------------------------------+---------------------+-------+---------+----------|
937
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
755
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
938
756
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
757
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
940
758
  ╰-----------------------------------+---------------------+-------+---------+----------╯
941
759
 
942
760
  Logs:
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
952
- Bound result 0
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
761
+ Bound result 31227765975
762
+ Bound result 9920345298608421101075
763
+ Bound result 9900000000000000143206
764
+ Bound result 8425
765
+ Bound result 10000
766
+ Bound result 785
767
+ Bound result 721
768
+ Bound result 68860210784
769
+ Bound result 783
770
+ Bound result 5997
771
+ Bound result 12714971554426034620419
772
+ Bound result 525
773
+ Bound result 951695428138804
774
+ Bound result 734527091937859562896
775
+ Bound result 9943930332132068322041
776
+ Bound result 10
777
+ Bound result 5990
778
+ Bound result 1650
779
+ Bound result 9900000000000089394132
780
+ Bound result 4040567702095230916176
781
+ Bound result 11
782
+ Bound result 8110
783
+ Bound result 46
784
+ Bound result 161
785
+ Bound result 2
786
+ Bound result 930
964
787
 
965
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.26s (19.05s CPU time)
788
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.04s (6.38s CPU time)
966
789
 
967
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
790
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
968
791
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
969
792
 
970
793
  ╭-----------------------------------+---------------------+-------+---------+----------╮
971
794
  | Contract | Selector | Calls | Reverts | Discards |
972
795
  +======================================================================================+
973
- | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
974
797
  |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
798
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
976
799
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
800
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
978
801
  |-----------------------------------+---------------------+-------+---------+----------|
979
- | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
802
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
980
803
  |-----------------------------------+---------------------+-------+---------+----------|
981
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 596 | 0 | 0 |
804
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
982
805
  |-----------------------------------+---------------------+-------+---------+----------|
983
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
806
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
984
807
  |-----------------------------------+---------------------+-------+---------+----------|
985
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
808
+ | RateLimiterRBACUpgradeableHandler | warp | 582 | 0 | 0 |
986
809
  ╰-----------------------------------+---------------------+-------+---------+----------╯
987
810
 
988
811
  Logs:
989
- Bound result 797
990
- Bound result 778
991
- Bound result 221
992
- Bound result 10245
993
- Bound result 8946
812
+ Bound result 9900000000000000004101
813
+ Bound result 9900000000000000008226
814
+ Bound result 3574
815
+ Bound result 4099
816
+ Bound result 4319
817
+ Bound result 2911986125
818
+ Bound result 40334637058310792
819
+ Bound result 110645360849015
820
+ Bound result 5
821
+ Bound result 287
822
+ Bound result 816
823
+ Bound result 1199
824
+ Bound result 29008
825
+ Bound result 9900000000000000481888
826
+ Bound result 9900000000000000270435
827
+ Bound result 6336
828
+ Bound result 6242
994
829
  Bound result 1
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
830
+ Bound result 2719481311
831
+ Bound result 9909440978003152445256
832
+ Bound result 9900000000028634117710
833
+ Bound result 13
834
+ Bound result 9996
835
+ Bound result 14236
1004
836
 
1005
837
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
1006
838
 
1007
839
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1008
840
  | Contract | Selector | Calls | Reverts | Discards |
1009
841
  +======================================================================================+
1010
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
1011
843
  |-----------------------------------+---------------------+-------+---------+----------|
1012
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
844
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
1013
845
  |-----------------------------------+---------------------+-------+---------+----------|
1014
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
1015
847
  |-----------------------------------+---------------------+-------+---------+----------|
1016
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
848
+ | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
1017
849
  |-----------------------------------+---------------------+-------+---------+----------|
1018
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
850
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
1019
851
  |-----------------------------------+---------------------+-------+---------+----------|
1020
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
852
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
1021
853
  |-----------------------------------+---------------------+-------+---------+----------|
1022
- | RateLimiterRBACUpgradeableHandler | warp | 505 | 0 | 0 |
854
+ | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
1023
855
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1024
856
 
1025
857
  Logs:
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
858
+ Bound result 223782
859
+ Bound result 3492683907
860
+ Bound result 537573472170
861
+ Bound result 3737
862
+ Bound result 8393
1043
863
  Bound result 1
1044
- Bound result 7199
1045
- Bound result 2977
1046
- Bound result 0
864
+ Bound result 1719639409
865
+ Bound result 556
866
+ Bound result 9900010075905315636989
867
+ Bound result 9900000000000000078921
868
+ Bound result 11
869
+ Bound result 9997
870
+ Bound result 9900000000000000009944
871
+ Bound result 9900000000000000003173
872
+ Bound result 9600
873
+ Bound result 380
1047
874
 
1048
875
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
1049
876
 
1050
877
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1051
878
  | Contract | Selector | Calls | Reverts | Discards |
1052
879
  +======================================================================================+
1053
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1054
881
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
1056
883
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
1058
885
  |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
886
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1060
887
  |-----------------------------------+---------------------+-------+---------+----------|
1061
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
1062
889
  |-----------------------------------+---------------------+-------+---------+----------|
1063
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596 | 0 | 0 |
890
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
1064
891
  |-----------------------------------+---------------------+-------+---------+----------|
1065
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
892
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
1066
893
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1067
894
 
1068
895
  Logs:
1069
- Bound result 2093
1070
- Bound result 8524
1071
- Bound result 1
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
896
+ Bound result 14337694
897
+ Bound result 629261956
898
+ Bound result 0
899
+ Bound result 60762
900
+ Bound result 6
901
+ Bound result 9900000000021397458803
902
+ Bound result 9900000000014576304434
903
+ Bound result 5651
904
+ Bound result 7933
1079
905
  Bound result 1
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
906
+ Bound result 3041954474
907
+ Bound result 1031
908
+ Bound result 3
909
+ Bound result 12349
910
+ Bound result 50
911
+ Bound result 204020671546976252
912
+ Bound result 3528
1095
913
 
1096
914
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1097
915
 
1098
916
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1099
917
  | Contract | Selector | Calls | Reverts | Discards |
1100
918
  +======================================================================================+
1101
- | RateLimiterRBACUpgradeableHandler | inflow | 498 | 0 | 0 |
919
+ | RateLimiterRBACUpgradeableHandler | inflow | 573 | 0 | 0 |
1102
920
  |-----------------------------------+---------------------+-------+---------+----------|
1103
- | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
921
+ | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
1104
922
  |-----------------------------------+---------------------+-------+---------+----------|
1105
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | setConfig | 589 | 0 | 0 |
1106
924
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | setState | 513 | 0 | 0 |
1108
926
  |-----------------------------------+---------------------+-------+---------+----------|
1109
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
1110
928
  |-----------------------------------+---------------------+-------+---------+----------|
1111
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
1112
930
  |-----------------------------------+---------------------+-------+---------+----------|
1113
- | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
1114
932
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1115
933
 
1116
934
  Logs:
1117
- Bound result 1113219430
1118
- Bound result 1634
1119
- Bound result 0
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
935
+ Bound result 9900000000000000009804
936
+ Bound result 9900000000000000000129
937
+ Bound result 2096
938
+ Bound result 2316
939
+ Bound result 2597674729985069590154
940
+ Bound result 5326779817655146541881
941
+ Bound result 2349
942
+ Bound result 10
943
+ Bound result 9900000000016343637055
944
+ Bound result 9900000093012066647356
945
+ Bound result 369
946
+ Bound result 5376
947
+ Bound result 1614
948
+ Bound result 6556879863488492886295
949
+ Bound result 6169903278097150869869
950
+ Bound result 9900000000000000211648
951
+ Bound result 9900000000000001896769
952
+ Bound result 3946
953
+ Bound result 9996
954
+ Bound result 3704357901601
1134
955
 
1135
956
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1136
957
 
1137
958
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1138
959
  | Contract | Selector | Calls | Reverts | Discards |
1139
960
  +======================================================================================+
1140
- | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
961
+ | RateLimiterRBACUpgradeableHandler | inflow | 585 | 0 | 0 |
1141
962
  |-----------------------------------+---------------------+-------+---------+----------|
1142
- | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | outflow | 503 | 0 | 0 |
1143
964
  |-----------------------------------+---------------------+-------+---------+----------|
1144
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
965
+ | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
1145
966
  |-----------------------------------+---------------------+-------+---------+----------|
1146
- | RateLimiterRBACUpgradeableHandler | setState | 519 | 0 | 0 |
967
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
1147
968
  |-----------------------------------+---------------------+-------+---------+----------|
1148
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
969
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1149
970
  |-----------------------------------+---------------------+-------+---------+----------|
1150
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1151
972
  |-----------------------------------+---------------------+-------+---------+----------|
1152
- | RateLimiterRBACUpgradeableHandler | warp | 579 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
1153
974
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1154
975
 
1155
976
  Logs:
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
1188
- Bound result 1
977
+ Bound result 1396924891922642026531
978
+ Bound result 25928586142707913
979
+ Bound result 104963889404694055978
980
+ Bound result 909877338765283127005
981
+ Bound result 2096
982
+ Bound result 946
983
+ Bound result 70608399335006889489
984
+ Bound result 7074
985
+ Bound result 0
986
+ Bound result 392687565565490
987
+ Bound result 4895
1189
988
 
1190
989
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1191
990
 
1192
991
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1193
992
  | Contract | Selector | Calls | Reverts | Discards |
1194
993
  +======================================================================================+
1195
- | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
1196
995
  |-----------------------------------+---------------------+-------+---------+----------|
1197
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
996
+ | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
1198
997
  |-----------------------------------+---------------------+-------+---------+----------|
1199
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1200
999
  |-----------------------------------+---------------------+-------+---------+----------|
1201
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
1202
1001
  |-----------------------------------+---------------------+-------+---------+----------|
1203
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1002
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
1204
1003
  |-----------------------------------+---------------------+-------+---------+----------|
1205
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
1206
1005
  |-----------------------------------+---------------------+-------+---------+----------|
1207
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
1208
1007
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1209
1008
 
1210
1009
  Logs:
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
1010
+ Bound result 9842
1011
+ Bound result 10221
1012
+ Bound result 0
1013
+ Bound result 521692963
1014
+ Bound result 2843945288
1015
+ Bound result 9900000000000022685912
1016
+ Bound result 9900000000000000000024
1017
+ Bound result 10
1018
+ Bound result 848
1019
+ Bound result 7219
1020
+ Bound result 10
1021
+ Bound result 9900000000000000006683
1022
+ Bound result 9900000000000000008628
1023
+ Bound result 5744
1024
+ Bound result 935
1025
+ Bound result 9900000000001958248297
1026
+ Bound result 9900000000000000000337
1027
+ Bound result 96
1028
+ Bound result 8356
1029
+ Bound result 8858068466262544068970
1030
+ Bound result 9671665258571990758812
1031
+ Bound result 9918
1032
+ Bound result 47
1033
+ Bound result 2648
1034
+ Bound result 9450
1035
+ Bound result 9296
1036
+ Bound result 21
1037
+ Bound result 9900000000000000000619
1038
+ Bound result 6056269416823956856169
1039
+ Bound result 10
1040
+ Bound result 6510
1227
1041
 
1228
1042
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1229
1043
 
1230
1044
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1231
1045
  | Contract | Selector | Calls | Reverts | Discards |
1232
1046
  +======================================================================================+
1233
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
1234
1048
  |-----------------------------------+---------------------+-------+---------+----------|
1235
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
1236
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1237
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1238
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1239
- | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
1240
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1241
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
1242
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1243
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1244
1058
  |-----------------------------------+---------------------+-------+---------+----------|
1245
- | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1246
1060
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1247
1061
 
1248
1062
  Logs:
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
1063
+ Bound result 712238
1064
+ Bound result 1416
1065
+ Bound result 417
1066
+ Bound result 5223
1067
+ Bound result 1715
1068
+ Bound result 416
1069
+ Bound result 1267651394147460660106
1070
+ Bound result 6224705
1071
+ Bound result 287046194012648644072
1072
+ Bound result 757
1073
+ Bound result 7512
1267
1074
 
1268
1075
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1269
1076
 
1270
1077
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1271
1078
  | Contract | Selector | Calls | Reverts | Discards |
1272
1079
  +======================================================================================+
1273
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
1080
+ | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
1274
1081
  |-----------------------------------+---------------------+-------+---------+----------|
1275
- | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
1082
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
1276
1083
  |-----------------------------------+---------------------+-------+---------+----------|
1277
- | RateLimiterRBACUpgradeableHandler | setConfig | 511 | 0 | 0 |
1084
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1278
1085
  |-----------------------------------+---------------------+-------+---------+----------|
1279
- | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
1086
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
1280
1087
  |-----------------------------------+---------------------+-------+---------+----------|
1281
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
1088
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
1282
1089
  |-----------------------------------+---------------------+-------+---------+----------|
1283
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1090
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 593 | 0 | 0 |
1284
1091
  |-----------------------------------+---------------------+-------+---------+----------|
1285
- | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
1092
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1286
1093
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1287
1094
 
1288
1095
  Logs:
1289
- Bound result 981
1290
- Bound result 5009287098266
1291
- Bound result 456
1292
- Bound result 1
1293
- Bound result 45511880662
1294
- Bound result 1733716
1295
- Bound result 0
1296
- Bound result 0
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
1096
+ Bound result 771
1097
+ Bound result 100000000000000000000
1098
+ Bound result 9900000000000479635336
1099
+ Bound result 9264364745917804602016
1100
+ Bound result 105
1101
+ Bound result 8385
1102
+ Bound result 100000000000000000003
1103
+ Bound result 9900000000000000000013
1104
+ Bound result 112
1310
1105
  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
1106
+ Bound result 2048949560553571797094
1107
+ Bound result 9900000000000001385028
1108
+ Bound result 446
1109
+ Bound result 7969
1110
+ Bound result 9900000000000000001498
1111
+ Bound result 9900000000000000001984
1112
+ Bound result 8401
1113
+ Bound result 9941
1319
1114
 
1320
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.39s (19.86s CPU time)
1115
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.05s (6.64s CPU time)
1321
1116
 
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)
1117
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1118
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1119
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1120
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
1121
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1122
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
1123
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1124
+ [PASS] test_isPaused_Default() (gas: 47316)
1125
+ [PASS] test_isPaused_InitialState() (gas: 22172)
1126
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1127
+ [PASS] test_isPaused_Override() (gas: 75171)
1128
+ [PASS] test_isPaused_Specific() (gas: 50105)
1129
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1130
+ [PASS] test_pauseConfig() (gas: 51028)
1131
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1132
+ [PASS] test_setDefaultPaused() (gas: 42196)
1133
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
1134
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1135
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1136
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1137
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
1138
+ [PASS] test_setPaused() (gas: 48361)
1139
+ [PASS] test_setPaused_DormantData() (gas: 295234)
1140
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
1141
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1142
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43767, ~: 48696)
1143
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222594, ~: 216804)
1144
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1145
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1146
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1147
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1148
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1149
+ [PASS] test_setPaused_Success() (gas: 45897)
1150
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
1151
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1152
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1153
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1154
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1155
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1156
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1157
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62493, ~: 73465)
1158
+ [PASS] test_storageHash() (gas: 3392)
1159
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1160
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1161
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
1162
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1163
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1164
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1165
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 6.85s (445.36ms CPU time)
1166
+
1167
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1168
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1169
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1170
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1171
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1172
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1173
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110068, ~: 110088)
1174
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1175
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1176
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1177
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1178
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1179
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1180
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1181
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1182
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1183
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1184
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1185
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1186
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1187
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1188
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1189
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1190
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1191
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1192
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1193
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1194
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1195
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1196
+ [PASS] test_storageHash() (gas: 3458)
1197
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 6.85s (284.89ms CPU time)
1198
+
1199
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1200
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1201
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
1202
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1203
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1204
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1205
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1206
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1207
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1208
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1209
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1210
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1211
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1212
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1213
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1214
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1215
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1216
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1217
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1218
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1219
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1220
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1221
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1222
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1223
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1224
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1225
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1226
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1227
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1228
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1229
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1230
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1231
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1232
+ [PASS] test_storageHash() (gas: 3380)
1233
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 6.85s (234.73ms CPU time)
1334
1234
 
1335
1235
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1336
1236
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1337
1237
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1338
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 747051, ~: 177137)
1238
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 830123, ~: 302638)
1339
1239
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1340
1240
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1341
1241
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1348,12 +1248,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1348
1248
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1349
1249
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1350
1250
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1351
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11179019, ~: 10445206)
1251
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11142522, ~: 10374732)
1352
1252
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1353
1253
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1354
1254
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1355
1255
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1356
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 789792, ~: 243618)
1256
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 747948, ~: 242382)
1357
1257
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1358
1258
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1359
1259
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1366,10 +1266,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1366
1266
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1367
1267
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1368
1268
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1369
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147964, ~: 10412512)
1269
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11168109, ~: 10359887)
1370
1270
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1371
1271
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1372
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.97s (43.88s CPU time)
1272
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 6.85s (16.15s CPU time)
1373
1273
 
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
1274
+ Ran 17 test suites in 6.90s (34.40s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1275
+ ⏳ forge test: 19.181s