@layerzerolabs/utils-upgradeable-evm-contracts 0.2.100 → 0.2.101

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/.turbo/turbo-lint.log +1 -340
  2. package/.turbo/turbo-test.log +802 -685
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,15 +5,91 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:133620) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
8
+ (node:83703) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
12
- ✅ 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
12
+ 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
13
+ 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
14
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
15
+ forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
16
+ 86ec798129ac: Pulling fs layer
17
+ eef7c391911c: Pulling fs layer
18
+ cc2ecf4065b7: Pulling fs layer
19
+ 5760fdd70374: Pulling fs layer
20
+ c70db14240a1: Pulling fs layer
21
+ 0cb2c6965bde: Pulling fs layer
22
+ 885bca26f927: Pulling fs layer
23
+ 8e167e77288f: Pulling fs layer
24
+ 45d43cc973ba: Pulling fs layer
25
+ 44c09156221f: Pulling fs layer
26
+ f2fb700979ad: Pulling fs layer
27
+ 2a1ced882ba9: Pulling fs layer
28
+ 597168d5c38e: Pulling fs layer
29
+ e431adaf232f: Pulling fs layer
30
+ 36e15e3f2788: Pulling fs layer
31
+ 5760fdd70374: Waiting
32
+ c70db14240a1: Waiting
33
+ 885bca26f927: Waiting
34
+ 0cb2c6965bde: Waiting
35
+ 44c09156221f: Waiting
36
+ f2fb700979ad: Waiting
37
+ 8e167e77288f: Waiting
38
+ 2a1ced882ba9: Waiting
39
+ 45d43cc973ba: Waiting
40
+ 597168d5c38e: Waiting
41
+ 36e15e3f2788: Waiting
42
+ eef7c391911c: Download complete
43
+ 5760fdd70374: Verifying Checksum
44
+ 5760fdd70374: Download complete
45
+ c70db14240a1: Verifying Checksum
46
+ c70db14240a1: Download complete
47
+ 86ec798129ac: Verifying Checksum
48
+ 86ec798129ac: Download complete
49
+ cc2ecf4065b7: Verifying Checksum
50
+ cc2ecf4065b7: Download complete
51
+ 0cb2c6965bde: Verifying Checksum
52
+ 0cb2c6965bde: Download complete
53
+ 8e167e77288f: Verifying Checksum
54
+ 8e167e77288f: Download complete
55
+ 45d43cc973ba: Verifying Checksum
56
+ 45d43cc973ba: Download complete
57
+ 44c09156221f: Verifying Checksum
58
+ 44c09156221f: Download complete
59
+ f2fb700979ad: Verifying Checksum
60
+ f2fb700979ad: Download complete
61
+ 597168d5c38e: Verifying Checksum
62
+ 597168d5c38e: Download complete
63
+ 86ec798129ac: Pull complete
64
+ eef7c391911c: Pull complete
65
+ 2a1ced882ba9: Verifying Checksum
66
+ 2a1ced882ba9: Download complete
67
+ 36e15e3f2788: Verifying Checksum
68
+ 36e15e3f2788: Download complete
69
+ cc2ecf4065b7: Pull complete
70
+ 5760fdd70374: Pull complete
71
+ c70db14240a1: Pull complete
72
+ e431adaf232f: Download complete
73
+ 0cb2c6965bde: Pull complete
74
+ 885bca26f927: Verifying Checksum
75
+ 885bca26f927: Download complete
76
+ 885bca26f927: Pull complete
77
+ 8e167e77288f: Pull complete
78
+ 45d43cc973ba: Pull complete
79
+ 44c09156221f: Pull complete
80
+ f2fb700979ad: Pull complete
81
+ 2a1ced882ba9: Pull complete
82
+ 597168d5c38e: Pull complete
83
+ e431adaf232f: Pull complete
84
+ 36e15e3f2788: Pull complete
85
+ Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
86
+ 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
87
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
88
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
89
  👤 Running container as UID:GID 1001:1001
14
90
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
15
91
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 16.40s
92
+ Solc 0.8.22 finished in 19.23s
17
93
  Compiler run successful with warnings:
18
94
  Warning (2018): Function state mutability can be restricted to view
19
95
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -172,7 +248,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
172
248
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
249
  [PASS] test_storageHash() (gas: 3414)
174
250
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 11.37ms (8.32ms CPU time)
251
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 24.44ms (20.17ms CPU time)
176
252
 
177
253
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
254
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -215,15 +291,15 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
291
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
292
  [PASS] test_storageHash() (gas: 3392)
217
293
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 29.15ms (21.18ms CPU time)
294
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 70.37ms (48.07ms CPU time)
219
295
 
220
296
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
297
  [PASS] test_feeDeposit() (gas: 17576)
222
298
  [PASS] test_setFeeDeposit() (gas: 24995)
223
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
299
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
224
300
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
301
  [PASS] test_storageHash() (gas: 3337)
226
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 43.09ms (42.48ms CPU time)
302
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 100.49ms (98.97ms CPU time)
227
303
 
228
304
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
229
305
  [PASS] test_feeDeposit() (gas: 17638)
@@ -232,20 +308,70 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
232
308
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
233
309
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
234
310
  [PASS] test_storageHash() (gas: 3315)
235
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 96.46ms (95.37ms CPU time)
311
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 130.00ms (129.30ms CPU time)
236
312
 
237
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
239
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
240
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
241
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
242
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
243
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
244
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
245
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
246
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
247
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
248
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 139.12ms (138.93ms CPU time)
313
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
314
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
315
+ [PASS] test_constructor_InitialMode() (gas: 15778)
316
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
317
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
318
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
319
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115141, ~: 115161)
320
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
321
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
322
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
323
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
324
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
325
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
326
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
327
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
328
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
329
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
330
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
331
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
332
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
333
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
334
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
335
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
336
+ [PASS] test_setMode_Blacklist() (gas: 42605)
337
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
338
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
339
+ [PASS] test_setMode_Whitelist() (gas: 42714)
340
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
341
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
342
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
343
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
344
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
345
+ [PASS] test_storageHash() (gas: 3480)
346
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 508.81ms (944.15ms CPU time)
347
+
348
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
349
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
350
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
351
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44844, ~: 46317)
352
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
353
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
354
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
355
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
356
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
357
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
358
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
359
+ [PASS] test_getFee_Default() (gas: 40577)
360
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42984, ~: 44486)
361
+ [PASS] test_getFee_Rounding() (gas: 42835)
362
+ [PASS] test_getFee_Specific() (gas: 63968)
363
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
364
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
365
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 33180, ~: 39667)
366
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
367
+ [PASS] test_setFeeBps() (gas: 73871)
368
+ Logs:
369
+ Bound result 500
370
+
371
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66038, ~: 74224)
372
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
373
+ [PASS] test_storageHash() (gas: 3426)
374
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 650.86ms (858.16ms CPU time)
249
375
 
250
376
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
251
377
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -255,7 +381,7 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
255
381
  [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
256
382
  [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
257
383
  [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
258
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46827, ~: 46847)
384
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
259
385
  [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
260
386
  [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
261
387
  [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
@@ -281,940 +407,931 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
281
407
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
282
408
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
283
409
  [PASS] test_storageHash() (gas: 3380)
284
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 288.60ms (350.96ms CPU time)
285
-
286
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
287
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
288
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
289
- [PASS] test_assertNotPaused_Success() (gas: 14891)
290
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
291
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
292
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
293
- [PASS] test_isPaused_Default() (gas: 47316)
294
- [PASS] test_isPaused_InitialState() (gas: 22172)
295
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
296
- [PASS] test_isPaused_Override() (gas: 75171)
297
- [PASS] test_isPaused_Specific() (gas: 50105)
298
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
299
- [PASS] test_pauseConfig() (gas: 51028)
300
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
301
- [PASS] test_setDefaultPaused() (gas: 42196)
302
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30612, ~: 18826)
303
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
304
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
305
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
306
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
307
- [PASS] test_setPaused() (gas: 48361)
308
- [PASS] test_setPaused_DormantData() (gas: 295234)
309
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
310
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
311
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43446, ~: 48696)
312
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222911, ~: 216804)
313
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
314
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
315
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
316
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
317
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
318
- [PASS] test_setPaused_Success() (gas: 45897)
319
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
320
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
321
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
322
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
323
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
324
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
325
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
326
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62832, ~: 73465)
327
- [PASS] test_storageHash() (gas: 3392)
328
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
329
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
330
- [PASS] test_whenNotPaused_Success() (gas: 41299)
331
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
332
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
333
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
334
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 362.80ms (805.95ms CPU time)
335
-
336
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
337
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27079, ~: 41090)
338
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
339
- [PASS] test_assertNotPaused_Success() (gas: 12539)
340
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
341
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
342
- [PASS] test_isPaused_InitialState() (gas: 15629)
343
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
344
- [PASS] test_multipleRoleGrants() (gas: 394130)
345
- [PASS] test_pause() (gas: 42109)
346
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
347
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
348
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
349
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
350
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
351
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
352
- [PASS] test_setPaused_Success() (gas: 40691)
353
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
354
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
355
- [PASS] test_storageHash() (gas: 3414)
356
- [PASS] test_unpause() (gas: 35177)
357
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
358
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
359
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
360
- [PASS] test_whenNotPaused_Success() (gas: 38800)
361
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
362
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
363
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
364
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 935.18ms (231.93ms CPU time)
365
-
366
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
367
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
368
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
369
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45007, ~: 46317)
370
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
371
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
372
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
373
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
374
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
375
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
376
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
377
- [PASS] test_getFee_Default() (gas: 40577)
378
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42800, ~: 44486)
379
- [PASS] test_getFee_Rounding() (gas: 42835)
380
- [PASS] test_getFee_Specific() (gas: 63968)
381
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
382
- [PASS] test_setDefaultFeeBps() (gas: 39576)
383
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32486, ~: 39667)
384
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
385
- [PASS] test_setFeeBps() (gas: 73871)
386
- Logs:
387
- Bound result 500
410
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 642.86ms (826.24ms CPU time)
388
411
 
389
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65919, ~: 74224)
390
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
391
- [PASS] test_storageHash() (gas: 3426)
392
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 988.05ms (472.24ms CPU time)
412
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
413
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
414
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
415
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
416
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
417
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
418
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
419
+ [PASS] test_isPaused_Default() (gas: 44698)
420
+ [PASS] test_isPaused_InitialState() (gas: 22070)
421
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
422
+ [PASS] test_isPaused_Override() (gas: 69381)
423
+ [PASS] test_isPaused_Specific() (gas: 46709)
424
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
425
+ [PASS] test_pauseConfig() (gas: 45626)
426
+ [PASS] test_setDefaultPaused() (gas: 39667)
427
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27535, ~: 16332)
428
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
429
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
430
+ [PASS] test_setPaused() (gas: 43060)
431
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
432
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38716, ~: 43373)
433
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
434
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
435
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
436
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58524, ~: 69608)
437
+ [PASS] test_storageHash() (gas: 3480)
438
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
439
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
440
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
441
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
442
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
443
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
444
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 850.17ms (901.79ms CPU time)
393
445
 
394
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
395
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
396
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
397
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47408, ~: 48966)
398
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
399
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
400
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
401
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
402
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
403
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
404
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
405
- [PASS] test_getFee_Default() (gas: 43108)
406
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45868, ~: 47017)
407
- [PASS] test_getFee_Rounding() (gas: 45449)
408
- [PASS] test_getFee_Specific() (gas: 66985)
409
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
410
- [PASS] test_setDefaultFeeBps() (gas: 42199)
411
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34575, ~: 42268)
412
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
413
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
414
- [PASS] test_setFeeBps() (gas: 77237)
415
- Logs:
416
- Bound result 500
446
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
447
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
448
+ [PASS] test_constructor_InitialMode() (gas: 15578)
449
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
450
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
451
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
452
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
453
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
454
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
455
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
456
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
457
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
458
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
459
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
460
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
461
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
462
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
463
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
464
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
465
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
466
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
467
+ [PASS] test_setMode_Blacklist() (gas: 40021)
468
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
469
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
470
+ [PASS] test_setMode_Whitelist() (gas: 40108)
471
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
472
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
473
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
474
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
475
+ [PASS] test_storageHash() (gas: 3458)
476
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.29s (1.26s CPU time)
417
477
 
418
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67989, ~: 77570)
419
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
420
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
421
- [PASS] test_storageHash() (gas: 3436)
422
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.16s (474.50ms CPU time)
478
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
479
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
480
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
481
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
482
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
483
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
484
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
485
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
486
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
487
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
488
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
489
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 2.42s (257.90ms CPU time)
423
490
 
424
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
491
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
425
492
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
426
493
 
427
494
  ╭-----------------------------------+---------------------+-------+---------+----------╮
428
495
  | Contract | Selector | Calls | Reverts | Discards |
429
496
  +======================================================================================+
430
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
497
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
431
498
  |-----------------------------------+---------------------+-------+---------+----------|
432
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
499
+ | RateLimiterRBACUpgradeableHandler | outflow | 522 | 0 | 0 |
433
500
  |-----------------------------------+---------------------+-------+---------+----------|
434
- | RateLimiterRBACUpgradeableHandler | setConfig | 597 | 0 | 0 |
501
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
435
502
  |-----------------------------------+---------------------+-------+---------+----------|
436
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
503
+ | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
437
504
  |-----------------------------------+---------------------+-------+---------+----------|
438
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 499 | 0 | 0 |
505
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
439
506
  |-----------------------------------+---------------------+-------+---------+----------|
440
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
507
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
441
508
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
509
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
443
510
  ╰-----------------------------------+---------------------+-------+---------+----------╯
444
511
 
445
512
  Logs:
446
- Bound result 7960779857492496
447
- Bound result 3603596333731031
448
- Bound result 0
449
- Bound result 514264337593504336253
450
- Bound result 4
451
513
  Bound result 1
452
- Bound result 1894
453
- Bound result 7514
454
- Bound result 1
455
- Bound result 8848
456
- Bound result 1799740830
457
- Bound result 121
458
- Bound result 257
459
- Bound result 640
460
- Bound result 65
514
+ Bound result 521582983
515
+ Bound result 774
516
+ Bound result 100000000000000000000
517
+ Bound result 9900000000164083627935
518
+ Bound result 9421
519
+ Bound result 201
520
+ Bound result 7385
521
+ Bound result 2457
522
+ Bound result 34
523
+ Bound result 2930
524
+ Bound result 2
525
+ Bound result 259551768655554575
526
+ Bound result 9900000000000000001095
527
+ Bound result 9900000481723745005366
528
+ Bound result 285
529
+ Bound result 9806
530
+ Bound result 9900000043398551646166
531
+ Bound result 100000000000000000001
532
+ Bound result 4215
533
+ Bound result 12
461
534
 
462
535
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
463
536
 
464
537
  ╭-----------------------------------+---------------------+-------+---------+----------╮
465
538
  | Contract | Selector | Calls | Reverts | Discards |
466
539
  +======================================================================================+
467
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
540
+ | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
468
541
  |-----------------------------------+---------------------+-------+---------+----------|
469
- | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
542
+ | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
470
543
  |-----------------------------------+---------------------+-------+---------+----------|
471
- | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
544
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
472
545
  |-----------------------------------+---------------------+-------+---------+----------|
473
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
546
+ | RateLimiterRBACUpgradeableHandler | setState | 585 | 0 | 0 |
474
547
  |-----------------------------------+---------------------+-------+---------+----------|
475
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
548
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
476
549
  |-----------------------------------+---------------------+-------+---------+----------|
477
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
550
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
478
551
  |-----------------------------------+---------------------+-------+---------+----------|
479
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
552
+ | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
480
553
  ╰-----------------------------------+---------------------+-------+---------+----------╯
481
554
 
482
555
  Logs:
483
- Bound result 366
484
- Bound result 5377
485
- Bound result 3847
486
- Bound result 1862695855040328015179
487
- Bound result 115196192712768864
488
- Bound result 0
489
- Bound result 9900000028879014709142
490
- Bound result 9900000000000031372597
491
- Bound result 6239
492
- Bound result 59
493
- Bound result 19039966295916352934033
494
- Bound result 10945
495
- Bound result 0
496
- Bound result 1
497
- Bound result 9900000000000000010420
498
- Bound result 9900000000000000003822
499
- Bound result 175
500
- Bound result 6640
501
- Bound result 4633037697181195250888
502
- Bound result 6029
503
- Bound result 18333317841
556
+ Bound result 1412190521701414433054
557
+ Bound result 5968799139702153995817
558
+ Bound result 8509545265235480400111
559
+ Bound result 6277
560
+ Bound result 598
561
+ Bound result 3321
562
+ Bound result 6321
563
+ Bound result 9900000000000000009026
564
+ Bound result 9900000000000000002458
565
+ Bound result 990
566
+ Bound result 9746
567
+ Bound result 9900071134204805971030
568
+ Bound result 7694067957742508163535
569
+ Bound result 349
570
+ Bound result 12
571
+ Bound result 567
572
+ Bound result 80621117
573
+ Bound result 115
574
+ Bound result 483
504
575
 
505
576
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
506
577
 
507
578
  ╭-----------------------------------+---------------------+-------+---------+----------╮
508
579
  | Contract | Selector | Calls | Reverts | Discards |
509
580
  +======================================================================================+
510
- | RateLimiterRBACUpgradeableHandler | inflow | 510 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
511
582
  |-----------------------------------+---------------------+-------+---------+----------|
512
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
583
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
513
584
  |-----------------------------------+---------------------+-------+---------+----------|
514
- | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
515
586
  |-----------------------------------+---------------------+-------+---------+----------|
516
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
587
+ | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
517
588
  |-----------------------------------+---------------------+-------+---------+----------|
518
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
589
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 505 | 0 | 0 |
519
590
  |-----------------------------------+---------------------+-------+---------+----------|
520
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
591
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
521
592
  |-----------------------------------+---------------------+-------+---------+----------|
522
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
593
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
523
594
  ╰-----------------------------------+---------------------+-------+---------+----------╯
524
595
 
525
596
  Logs:
526
- Bound result 6
527
- Bound result 1267
528
- Bound result 5128199855086
529
- Bound result 1105
530
- Bound result 9900007479682382490269
531
- Bound result 9900156975457631111771
532
- Bound result 4969
533
- Bound result 9997
534
- Bound result 13054316863859326129469
535
- Bound result 333
536
- Bound result 3031
537
- Bound result 2851
538
- Bound result 15012919058900666181050
539
- Bound result 8983971490887623423063
540
- Bound result 5386542460808352263196
541
- Bound result 9996
542
- Bound result 8949
543
- Bound result 5669
544
- Bound result 10313877831701988195960
597
+ Bound result 9900016000513302903248
598
+ Bound result 9900000000000000000010
599
+ Bound result 8393
600
+ Bound result 3098
601
+ Bound result 3251467
602
+ Bound result 3
603
+ Bound result 0
604
+ Bound result 7984
605
+ Bound result 15278497213863120383551
606
+ Bound result 0
607
+ Bound result 6069896820829241190658
608
+ Bound result 9900000000000000000508
609
+ Bound result 4011
610
+ Bound result 6240
611
+ Bound result 2437889
612
+ Bound result 8754423034175678475846
613
+ Bound result 2
614
+ Bound result 347
615
+ Bound result 2890
616
+ Bound result 1
617
+ Bound result 23
618
+ Bound result 9900000000000000001840
619
+ Bound result 9900000000001327428232
620
+ Bound result 7340
621
+ Bound result 816
622
+ Bound result 9900000000000000007835
623
+ Bound result 9900000000000000005123
624
+ Bound result 3737
625
+ Bound result 6950
626
+ Bound result 11250980463
627
+ Bound result 6217
545
628
 
546
629
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
547
630
 
548
631
  ╭-----------------------------------+---------------------+-------+---------+----------╮
549
632
  | Contract | Selector | Calls | Reverts | Discards |
550
633
  +======================================================================================+
551
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
552
635
  |-----------------------------------+---------------------+-------+---------+----------|
553
- | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
554
637
  |-----------------------------------+---------------------+-------+---------+----------|
555
- | RateLimiterRBACUpgradeableHandler | setConfig | 602 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
556
639
  |-----------------------------------+---------------------+-------+---------+----------|
557
- | RateLimiterRBACUpgradeableHandler | setState | 509 | 0 | 0 |
640
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
558
641
  |-----------------------------------+---------------------+-------+---------+----------|
559
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
642
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
560
643
  |-----------------------------------+---------------------+-------+---------+----------|
561
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
644
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
562
645
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
646
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
564
647
  ╰-----------------------------------+---------------------+-------+---------+----------╯
565
648
 
566
649
  Logs:
567
- Bound result 26
568
- Bound result 2
569
- Bound result 9008
570
- Bound result 9900000000309057451152
571
- Bound result 9900000000000004543553
572
- Bound result 258
573
- Bound result 7715
574
- Bound result 6651
575
- Bound result 2548544996695524539977
576
- Bound result 5
577
- Bound result 45
578
- Bound result 24440092832084699
579
- Bound result 7031
580
- Bound result 4692
581
- Bound result 15904060
582
- Bound result 2227787277924931
583
- Bound result 822
650
+ Bound result 9900000000000000003498
651
+ Bound result 9900000000000000000162
652
+ Bound result 140
653
+ Bound result 5294
654
+ Bound result 176937914469827909805
655
+ Bound result 9900000000000000000829
656
+ Bound result 9900000000000000004543
657
+ Bound result 4701
658
+ Bound result 9455
659
+ Bound result 569
660
+ Bound result 1
661
+ Bound result 0
662
+ Bound result 10091689118905
663
+ Bound result 0
664
+ Bound result 7029
665
+ Bound result 7336
666
+ Bound result 9468
667
+ Bound result 6319
668
+ Bound result 13710456083
669
+ Bound result 2096
584
670
 
585
671
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
586
672
 
587
673
  ╭-----------------------------------+---------------------+-------+---------+----------╮
588
674
  | Contract | Selector | Calls | Reverts | Discards |
589
675
  +======================================================================================+
590
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
676
+ | RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
591
677
  |-----------------------------------+---------------------+-------+---------+----------|
592
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
678
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
593
679
  |-----------------------------------+---------------------+-------+---------+----------|
594
- | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
680
+ | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
595
681
  |-----------------------------------+---------------------+-------+---------+----------|
596
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
682
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
597
683
  |-----------------------------------+---------------------+-------+---------+----------|
598
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
684
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
599
685
  |-----------------------------------+---------------------+-------+---------+----------|
600
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 579 | 0 | 0 |
686
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
601
687
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
688
+ | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
603
689
  ╰-----------------------------------+---------------------+-------+---------+----------╯
604
690
 
605
691
  Logs:
606
- Bound result 230
607
- Bound result 1703690006580855740955
608
- Bound result 236598426716663867335
609
- Bound result 0
610
- Bound result 50
611
- Bound result 226482114847958198
612
- Bound result 1
613
- Bound result 33732903213615463223
614
- Bound result 6508
615
- Bound result 1147
692
+ Bound result 111
693
+ Bound result 9900000000000000010126
694
+ Bound result 9900000000000000037247
695
+ Bound result 8238
696
+ Bound result 757
697
+ Bound result 9900000000000000000032
698
+ Bound result 9951202121240193749581
699
+ Bound result 6315
700
+ Bound result 9998
701
+ Bound result 157
616
702
  Bound result 1
617
- Bound result 9900000000000000001288
618
- Bound result 9900000000000000001236
619
- Bound result 8869
620
- Bound result 8386
621
- Bound result 85
622
- Bound result 6249958362683792
623
- Bound result 0
624
- Bound result 9008
625
- Bound result 9900000000000000001560
626
- Bound result 9900000000000000009767
627
- Bound result 1291
628
- Bound result 7902
703
+ Bound result 7456052259810364026942
704
+ Bound result 11881691695787407247
705
+ Bound result 32
706
+ Bound result 90
707
+ Bound result 31895744387251699
708
+ Bound result 9900000000160077680954
709
+ Bound result 9900000000000000000176
710
+ Bound result 10
711
+ Bound result 6071
629
712
 
630
713
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
631
714
 
632
715
  ╭-----------------------------------+---------------------+-------+---------+----------╮
633
716
  | Contract | Selector | Calls | Reverts | Discards |
634
717
  +======================================================================================+
635
- | RateLimiterRBACUpgradeableHandler | inflow | 596 | 0 | 0 |
718
+ | RateLimiterRBACUpgradeableHandler | inflow | 573 | 0 | 0 |
636
719
  |-----------------------------------+---------------------+-------+---------+----------|
637
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
720
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
638
721
  |-----------------------------------+---------------------+-------+---------+----------|
639
- | RateLimiterRBACUpgradeableHandler | setConfig | 519 | 0 | 0 |
722
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
640
723
  |-----------------------------------+---------------------+-------+---------+----------|
641
- | RateLimiterRBACUpgradeableHandler | setState | 492 | 0 | 0 |
724
+ | RateLimiterRBACUpgradeableHandler | setState | 577 | 0 | 0 |
642
725
  |-----------------------------------+---------------------+-------+---------+----------|
643
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 586 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
644
727
  |-----------------------------------+---------------------+-------+---------+----------|
645
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 476 | 0 | 0 |
646
729
  |-----------------------------------+---------------------+-------+---------+----------|
647
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
730
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
648
731
  ╰-----------------------------------+---------------------+-------+---------+----------╯
649
732
 
650
733
  Logs:
651
- Bound result 339922882
652
- Bound result 1664
653
- Bound result 10721
654
- Bound result 203005799
655
- Bound result 1340
656
- Bound result 1734
657
- Bound result 4399
658
- Bound result 8613
659
- Bound result 2140
660
- Bound result 629
661
- Bound result 637
662
- Bound result 10884469313600183
734
+ Bound result 1292
735
+ Bound result 1019977220436854916227
736
+ Bound result 9900000000000084749275
737
+ Bound result 388149467759679532313
738
+ Bound result 2774
739
+ Bound result 929
740
+ Bound result 847
741
+ Bound result 135
742
+ Bound result 615
743
+ Bound result 984
744
+ Bound result 405
745
+ Bound result 1641
746
+ Bound result 533
747
+ Bound result 6914263659358317012232
748
+ Bound result 26
749
+ Bound result 873251697965082
750
+ Bound result 8085
751
+ Bound result 55
663
752
 
664
753
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
665
754
 
666
755
  ╭-----------------------------------+---------------------+-------+---------+----------╮
667
756
  | Contract | Selector | Calls | Reverts | Discards |
668
757
  +======================================================================================+
669
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
758
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
670
759
  |-----------------------------------+---------------------+-------+---------+----------|
671
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
760
+ | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
672
761
  |-----------------------------------+---------------------+-------+---------+----------|
673
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
762
+ | RateLimiterRBACUpgradeableHandler | setConfig | 534 | 0 | 0 |
674
763
  |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
764
+ | RateLimiterRBACUpgradeableHandler | setState | 578 | 0 | 0 |
676
765
  |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
766
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
678
767
  |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
768
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
680
769
  |-----------------------------------+---------------------+-------+---------+----------|
681
- | RateLimiterRBACUpgradeableHandler | warp | 577 | 0 | 0 |
770
+ | RateLimiterRBACUpgradeableHandler | warp | 510 | 0 | 0 |
682
771
  ╰-----------------------------------+---------------------+-------+---------+----------╯
683
772
 
684
773
  Logs:
685
- Bound result 63756776458711004278
686
- Bound result 1413942588369422995547
687
- Bound result 1047
688
- Bound result 8821
689
- Bound result 8625
690
- Bound result 100000000000000000002
691
- Bound result 9911252481384437365410
692
- Bound result 2517
693
- Bound result 797
694
- Bound result 10322949130393321653620
695
- Bound result 995
696
- Bound result 257634185088284458722
697
- Bound result 7
698
- Bound result 6469720
699
- Bound result 5553
700
- Bound result 495
701
- Bound result 1267
774
+ Bound result 2
775
+ Bound result 6760161038678697726
776
+ Bound result 140687533821911328818
777
+ Bound result 5436189372713998237645
778
+ Bound result 80
779
+ Bound result 3849
780
+ Bound result 9900000000000000003135
781
+ Bound result 8437549774017938470597
782
+ Bound result 13
783
+ Bound result 607
784
+ Bound result 6735
785
+ Bound result 883
786
+ Bound result 0
787
+ Bound result 1174
788
+ Bound result 15738532408258153542519
789
+ Bound result 72006152411029147
702
790
 
703
791
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
704
792
 
705
793
  ╭-----------------------------------+---------------------+-------+---------+----------╮
706
794
  | Contract | Selector | Calls | Reverts | Discards |
707
795
  +======================================================================================+
708
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
709
797
  |-----------------------------------+---------------------+-------+---------+----------|
710
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
798
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
711
799
  |-----------------------------------+---------------------+-------+---------+----------|
712
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
800
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
713
801
  |-----------------------------------+---------------------+-------+---------+----------|
714
- | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
802
+ | RateLimiterRBACUpgradeableHandler | setState | 586 | 0 | 0 |
715
803
  |-----------------------------------+---------------------+-------+---------+----------|
716
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
804
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
717
805
  |-----------------------------------+---------------------+-------+---------+----------|
718
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
806
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
719
807
  |-----------------------------------+---------------------+-------+---------+----------|
720
- | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
808
+ | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
721
809
  ╰-----------------------------------+---------------------+-------+---------+----------╯
722
810
 
723
811
  Logs:
724
- Bound result 1596
725
- Bound result 1545360160839082499329
726
- Bound result 1293
727
- Bound result 7056
728
- Bound result 0
729
- Bound result 185620631378999482448
730
- Bound result 71776119061217280
731
- Bound result 8226
812
+ Bound result 129
813
+ Bound result 2162
814
+ Bound result 4539
732
815
  Bound result 1
733
- Bound result 1706
734
- Bound result 1393385963794453214122
735
- Bound result 726020907710655058735
736
- Bound result 159
737
- Bound result 891453513463382423985
738
- Bound result 1668
739
- Bound result 10144
740
- Bound result 323
816
+ Bound result 237327565598
817
+ Bound result 1869
818
+ Bound result 1038418
819
+ Bound result 9068075409417647122496
820
+ Bound result 9900000000071676470861
821
+ Bound result 3662
822
+ Bound result 9995
823
+ Bound result 35169879
824
+ Bound result 6682
825
+ Bound result 2790128251186547706805
826
+ Bound result 8082
827
+ Bound result 1718
828
+
829
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.88s (18.10s CPU time)
741
830
 
742
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.11s CPU time)
743
-
744
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
831
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
745
832
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
746
833
 
747
834
  ╭-----------------------------------+---------------------+-------+---------+----------╮
748
835
  | Contract | Selector | Calls | Reverts | Discards |
749
836
  +======================================================================================+
750
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
751
838
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
753
840
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
755
842
  |-----------------------------------+---------------------+-------+---------+----------|
756
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
757
844
  |-----------------------------------+---------------------+-------+---------+----------|
758
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
845
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
759
846
  |-----------------------------------+---------------------+-------+---------+----------|
760
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
847
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
761
848
  |-----------------------------------+---------------------+-------+---------+----------|
762
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
849
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
763
850
  ╰-----------------------------------+---------------------+-------+---------+----------╯
764
851
 
765
852
  Logs:
766
- Bound result 9900000000000000005641
767
- Bound result 9900000000002072215439
768
- Bound result 7626
769
- Bound result 3189
770
- Bound result 4483527790391844799426
771
- Bound result 11
853
+ Bound result 8652
854
+ Bound result 357094978
772
855
  Bound result 0
773
- Bound result 419
774
- Bound result 1126
775
- Bound result 1
776
- Bound result 1
777
- Bound result 523
778
- Bound result 2
779
- Bound result 13251985344214860365721
780
- Bound result 342534859
781
- Bound result 38460521150941612342
782
- Bound result 38
783
- Bound result 861645592364745178020
784
- Bound result 1065
785
- Bound result 28
786
- Bound result 3071
856
+ Bound result 1993
857
+ Bound result 5460
858
+ Bound result 8595
859
+ Bound result 398
860
+ Bound result 239803332430
861
+ Bound result 80
862
+ Bound result 451
863
+ Bound result 9901055319170348202982
864
+ Bound result 100000000000000000003
865
+ Bound result 11
866
+ Bound result 13
867
+ Bound result 26725732303205
868
+ Bound result 13
869
+ Bound result 1882029968637395189017
870
+ Bound result 244805
871
+ Bound result 3
787
872
 
788
873
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
789
874
 
790
875
  ╭-----------------------------------+---------------------+-------+---------+----------╮
791
876
  | Contract | Selector | Calls | Reverts | Discards |
792
877
  +======================================================================================+
793
- | RateLimiterRBACUpgradeableHandler | inflow | 603 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
794
879
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | outflow | 490 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | outflow | 594 | 0 | 0 |
796
881
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
798
883
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
800
885
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
886
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
802
887
  |-----------------------------------+---------------------+-------+---------+----------|
803
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
804
889
  |-----------------------------------+---------------------+-------+---------+----------|
805
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
890
+ | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
806
891
  ╰-----------------------------------+---------------------+-------+---------+----------╯
807
892
 
808
893
  Logs:
809
- Bound result 9900000000000000001085
810
- Bound result 9900000000000000001788
811
- Bound result 7505
812
- Bound result 916
813
- Bound result 3602752116
814
- Bound result 202
815
- Bound result 97
816
- Bound result 7182
817
- Bound result 9900000000000000000565
818
- Bound result 9900000000000000001247
819
- Bound result 9633
820
- Bound result 1234
821
- Bound result 10277
822
- Bound result 2360567736083194263427
894
+ Bound result 1799
895
+ Bound result 163586687112
896
+ Bound result 59931233
897
+ Bound result 789
898
+ Bound result 9900000000000000004575
899
+ Bound result 9900000000000007594376
900
+ Bound result 3953
901
+ Bound result 851
902
+ Bound result 2626193218106451485450
903
+ Bound result 5738776446963385237865
904
+ Bound result 2032
905
+ Bound result 13
906
+ Bound result 1534076806778092633491
907
+ Bound result 9900000001965479656187
908
+ Bound result 12
909
+ Bound result 1960
910
+ Bound result 2754
911
+ Bound result 9900000000000000001476
912
+ Bound result 9900000000000000001026
913
+ Bound result 1029
914
+ Bound result 338
915
+ Bound result 5836
916
+ Bound result 9157
917
+ Bound result 100
918
+ Bound result 10106
919
+ Bound result 1036107718
920
+ Bound result 1019
823
921
 
824
922
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
825
923
 
826
924
  ╭-----------------------------------+---------------------+-------+---------+----------╮
827
925
  | Contract | Selector | Calls | Reverts | Discards |
828
926
  +======================================================================================+
829
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
830
928
  |-----------------------------------+---------------------+-------+---------+----------|
831
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
832
930
  |-----------------------------------+---------------------+-------+---------+----------|
833
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
834
932
  |-----------------------------------+---------------------+-------+---------+----------|
835
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | setState | 523 | 0 | 0 |
836
934
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
838
936
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
840
938
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
939
+ | RateLimiterRBACUpgradeableHandler | warp | 582 | 0 | 0 |
842
940
  ╰-----------------------------------+---------------------+-------+---------+----------╯
843
941
 
844
942
  Logs:
845
- Bound result 1004690934450
846
- Bound result 1
847
- Bound result 1
848
- Bound result 86
849
- Bound result 401
850
- Bound result 9900000000000000106716
943
+ Bound result 9900000000000000002662
944
+ Bound result 9900000000000000007874
945
+ Bound result 7211
946
+ Bound result 7063
947
+ Bound result 4355577182400686956320
948
+ Bound result 10363
949
+ Bound result 1006
950
+ Bound result 9900000000000000001083
851
951
  Bound result 100000000000000000000
852
- Bound result 9934
853
- Bound result 10000
854
- Bound result 3023
855
- Bound result 3803
856
- Bound result 1
857
- Bound result 9900000000003371243721
858
- Bound result 100000000000000000001
859
- Bound result 5105
860
- Bound result 6167
952
+ Bound result 4466
953
+ Bound result 7250
954
+ Bound result 10576
955
+ Bound result 1048
956
+ Bound result 572
957
+ Bound result 346286263258
958
+ Bound result 7601937625219610899047
861
959
  Bound result 100000000000000000000
862
- Bound result 8704725520118303809278
863
- Bound result 285
864
- Bound result 2310
865
- Bound result 80
866
- Bound result 2417021053
867
- Bound result 7491
868
- Bound result 4116
869
- Bound result 2324
960
+ Bound result 11
961
+ Bound result 6241
962
+ Bound result 9196
870
963
 
871
964
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
872
965
 
873
966
  ╭-----------------------------------+---------------------+-------+---------+----------╮
874
967
  | Contract | Selector | Calls | Reverts | Discards |
875
968
  +======================================================================================+
876
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
969
+ | RateLimiterRBACUpgradeableHandler | inflow | 511 | 0 | 0 |
877
970
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | outflow | 587 | 0 | 0 |
879
972
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
881
974
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
883
976
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
885
978
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
887
980
  |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
889
982
  ╰-----------------------------------+---------------------+-------+---------+----------╯
890
983
 
891
984
  Logs:
892
- Bound result 87831617738623274005
893
- Bound result 9900000000000000008340
894
- Bound result 9900000000003689055019
895
- Bound result 1849
896
- Bound result 100
897
- Bound result 4
898
- Bound result 0
899
- Bound result 0
900
- Bound result 2135636935420509
901
- Bound result 32100998459320292
985
+ Bound result 9900000000000000001313
986
+ Bound result 9900000000000000000019
987
+ Bound result 5867
988
+ Bound result 11
989
+ Bound result 4372480403465
990
+ Bound result 1104
991
+ Bound result 11031
992
+ Bound result 293
993
+ Bound result 69652981930764649009
994
+ Bound result 6477
995
+ Bound result 36116768228114
996
+ Bound result 2854615547263317788248
997
+ Bound result 3
902
998
  Bound result 1
903
- Bound result 971334
904
- Bound result 564
905
- Bound result 3124842405
906
- Bound result 10707
907
- Bound result 58
908
- Bound result 281273876
909
- Bound result 392401227
910
- Bound result 3154640557
911
- Bound result 386
912
- Bound result 9072
913
- Bound result 9176
914
- Bound result 274
915
- Bound result 29
916
- Bound result 6914234814661719476299
999
+ Bound result 1226
1000
+ Bound result 9900000000000002128367
1001
+ Bound result 9900000000000000117989
1002
+ Bound result 8454
1003
+ Bound result 5986
1004
+ Bound result 404140850583
1005
+ Bound result 3590974520416
1006
+ Bound result 233
1007
+ Bound result 6914264320560554874584
1008
+ Bound result 9900000015387069467710
1009
+ Bound result 9900325250394474687546
1010
+ Bound result 3118
1011
+ Bound result 6891
917
1012
 
918
1013
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
919
1014
 
920
1015
  ╭-----------------------------------+---------------------+-------+---------+----------╮
921
1016
  | Contract | Selector | Calls | Reverts | Discards |
922
1017
  +======================================================================================+
923
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1018
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
924
1019
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
1020
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
926
1021
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
928
1023
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
1024
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
930
1025
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
1026
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
932
1027
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
1028
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
934
1029
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
1030
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
936
1031
  ╰-----------------------------------+---------------------+-------+---------+----------╯
937
1032
 
938
1033
  Logs:
939
- Bound result 3805
940
- Bound result 2
941
- Bound result 34
942
- Bound result 9900000000000000006934
943
- Bound result 9900000000000000037508
944
- Bound result 6889
945
- Bound result 2945
946
- Bound result 7283865150137950151152
947
- Bound result 20847412073672691410
948
- Bound result 1613
949
- Bound result 2578
1034
+ Bound result 1623
1035
+ Bound result 1708
1036
+ Bound result 1408332088826871001153
1037
+ Bound result 13133747330565452429
1038
+ Bound result 727
1039
+ Bound result 7128908485049496027701
1040
+ Bound result 9900000000000000010103
1041
+ Bound result 6840
1042
+ Bound result 3275
1043
+ Bound result 100000000000000000000
1044
+ Bound result 9900000010789486227078
1045
+ Bound result 10
1046
+ Bound result 8796
1047
+ Bound result 23
1048
+ Bound result 11069
1049
+ Bound result 822
1050
+ Bound result 2014
1051
+ Bound result 3636
1052
+ Bound result 7
1053
+ Bound result 20625916854686
1054
+ Bound result 9900000001288260260790
1055
+ Bound result 9900000000000000001824
1056
+ Bound result 181
1057
+ Bound result 122
950
1058
 
951
1059
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
952
1060
 
953
1061
  ╭-----------------------------------+---------------------+-------+---------+----------╮
954
1062
  | Contract | Selector | Calls | Reverts | Discards |
955
1063
  +======================================================================================+
956
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
1064
+ | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
957
1065
  |-----------------------------------+---------------------+-------+---------+----------|
958
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
1066
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
959
1067
  |-----------------------------------+---------------------+-------+---------+----------|
960
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1068
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
961
1069
  |-----------------------------------+---------------------+-------+---------+----------|
962
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
1070
+ | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
963
1071
  |-----------------------------------+---------------------+-------+---------+----------|
964
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
1072
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
965
1073
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
1074
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
967
1075
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1076
+ | RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
969
1077
  ╰-----------------------------------+---------------------+-------+---------+----------╯
970
1078
 
971
1079
  Logs:
972
- Bound result 14
973
- Bound result 1099511627774
974
- Bound result 1000
975
- Bound result 9900000000000177362149
976
- Bound result 9900000000000000001500
977
- Bound result 6597
978
- Bound result 3150
979
- Bound result 9900000000000000001267
980
- Bound result 7128908485049496027700
981
- Bound result 229
982
- Bound result 759
983
- Bound result 6843097594229253763904
984
- Bound result 333
985
- Bound result 171
986
- Bound result 11502844916362272011532
987
- Bound result 6359
988
- Bound result 9900000000000000006868
989
- Bound result 9900000000000000002950
990
- Bound result 6658
991
- Bound result 4016
992
- Bound result 2929
993
- Bound result 6284
994
- Bound result 340
995
- Bound result 11864368352939284175179
996
- Bound result 5202
997
- Bound result 6933
998
- Bound result 4617
999
- Bound result 1748
1080
+ Bound result 2028
1081
+ Bound result 594
1082
+ Bound result 4228
1083
+ Bound result 1
1084
+ Bound result 9900000000000000845457
1085
+ Bound result 6914264337593535947491
1086
+ Bound result 9336
1087
+ Bound result 9653
1088
+ Bound result 9900000000000023683980
1089
+ Bound result 9900000000000002909944
1090
+ Bound result 605
1091
+ Bound result 814
1092
+ Bound result 9900000000000003995851
1093
+ Bound result 9900000000000000000120
1094
+ Bound result 59
1095
+ Bound result 5560
1096
+ Bound result 1479
1097
+ Bound result 5127
1098
+ Bound result 1227
1099
+ Bound result 1642
1100
+ Bound result 5
1101
+ Bound result 9900000000000000000564
1102
+ Bound result 9900000000000000007557
1103
+ Bound result 6607
1104
+ Bound result 4506
1105
+ Bound result 277
1106
+ Bound result 7538
1107
+ Bound result 1281
1108
+ Bound result 29181
1109
+ Bound result 59599383059114130047
1110
+ Bound result 37
1000
1111
 
1001
1112
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1002
1113
 
1003
1114
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1004
1115
  | Contract | Selector | Calls | Reverts | Discards |
1005
1116
  +======================================================================================+
1006
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
1117
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
1007
1118
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1119
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
1009
1120
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
1121
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1011
1122
  |-----------------------------------+---------------------+-------+---------+----------|
1012
- | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
1123
+ | RateLimiterRBACUpgradeableHandler | setState | 575 | 0 | 0 |
1013
1124
  |-----------------------------------+---------------------+-------+---------+----------|
1014
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1125
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
1015
1126
  |-----------------------------------+---------------------+-------+---------+----------|
1016
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
1127
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
1017
1128
  |-----------------------------------+---------------------+-------+---------+----------|
1018
- | RateLimiterRBACUpgradeableHandler | warp | 578 | 0 | 0 |
1129
+ | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1019
1130
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1020
1131
 
1021
1132
  Logs:
1022
- Bound result 514
1023
- Bound result 3119
1024
- Bound result 3857
1025
- Bound result 17
1026
- Bound result 956535519286121316
1027
- Bound result 514264337593543950333
1028
- Bound result 568
1029
- Bound result 764
1030
- Bound result 514264337593504336251
1031
- Bound result 3369
1032
- Bound result 477
1033
- Bound result 9947149124518798147273
1034
- Bound result 5867842060202378203358
1035
- Bound result 10
1036
- Bound result 1467
1037
- Bound result 9900000000000000001219
1038
- Bound result 9900000000000000000032
1039
- Bound result 1286
1040
- Bound result 1008
1041
1133
  Bound result 1
1042
- Bound result 6079629382307150917579
1043
- Bound result 9900000000000133869906
1044
- Bound result 9900000000000000000005
1045
- Bound result 140
1046
- Bound result 10
1134
+ Bound result 16094785
1135
+ Bound result 9900000000003035920799
1136
+ Bound result 5693614888933129769118
1137
+ Bound result 34
1138
+ Bound result 2936
1139
+ Bound result 1099511627778
1140
+ Bound result 13427653832841199390677
1141
+ Bound result 9900000000000000000471
1142
+ Bound result 9900000000000000002093
1143
+ Bound result 11
1144
+ Bound result 289
1145
+ Bound result 123311113606674505151
1146
+ Bound result 86812003800941078
1147
+ Bound result 5652389280252247117001
1148
+ Bound result 151299637029329365
1149
+ Bound result 202189367
1150
+ Bound result 2
1151
+ Bound result 1
1047
1152
 
1048
1153
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1049
1154
 
1050
1155
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1051
1156
  | Contract | Selector | Calls | Reverts | Discards |
1052
1157
  +======================================================================================+
1053
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
1158
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
1054
1159
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1160
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
1056
1161
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1162
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
1058
1163
  |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | setState | 507 | 0 | 0 |
1164
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
1060
1165
  |-----------------------------------+---------------------+-------+---------+----------|
1061
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1166
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1062
1167
  |-----------------------------------+---------------------+-------+---------+----------|
1063
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1168
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
1064
1169
  |-----------------------------------+---------------------+-------+---------+----------|
1065
- | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
1170
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1066
1171
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1067
1172
 
1068
1173
  Logs:
1069
- Bound result 328908485049502411708
1070
- Bound result 100000000000000000001
1071
- Bound result 1286743236518153167516
1072
- Bound result 11
1073
- Bound result 4499
1074
- Bound result 651
1075
- Bound result 3547597611071929
1076
- Bound result 2891
1077
- Bound result 483846257
1078
- Bound result 9900000000000000008525
1079
- Bound result 9900000000000000000536
1080
- Bound result 4872
1081
- Bound result 5404
1082
- Bound result 2330546047620950
1083
- Bound result 2987582011
1084
- Bound result 10796
1085
- Bound result 7848056753358785224662
1086
- Bound result 6324530368159110528920
1087
- Bound result 0
1088
-
1089
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.12s CPU time)
1174
+ Bound result 432
1175
+ Bound result 9900000000000000004681
1176
+ Bound result 9900000000000000001922
1177
+ Bound result 9364
1178
+ Bound result 800
1179
+ Bound result 11672833279871748528480
1180
+ Bound result 31
1181
+ Bound result 9900000000002887661477
1182
+ Bound result 6932543307728919351482
1183
+ Bound result 1289
1184
+ Bound result 1776
1185
+ Bound result 6914241228089214708323
1186
+ Bound result 493271377934827506
1187
+ Bound result 299
1188
+ Bound result 8698
1189
+ Bound result 3480154038
1190
+ Bound result 3968
1191
+ Bound result 93
1192
+ Bound result 9900000000000000000521
1193
+ Bound result 9900000000000000007042
1194
+ Bound result 344
1195
+ Bound result 4072
1196
+
1197
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.92s (19.52s CPU time)
1090
1198
 
1091
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1092
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1093
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1094
- [PASS] test_assertNotPaused_Success() (gas: 14934)
1095
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1096
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
1097
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1098
- [PASS] test_isPaused_Default() (gas: 44698)
1099
- [PASS] test_isPaused_InitialState() (gas: 22070)
1100
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1101
- [PASS] test_isPaused_Override() (gas: 69381)
1102
- [PASS] test_isPaused_Specific() (gas: 46709)
1103
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1104
- [PASS] test_pauseConfig() (gas: 45626)
1105
- [PASS] test_setDefaultPaused() (gas: 39667)
1106
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27417, ~: 16332)
1107
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1108
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1109
- [PASS] test_setPaused() (gas: 43060)
1110
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
1111
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38537, ~: 43373)
1112
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1113
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1114
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1115
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58411, ~: 69608)
1116
- [PASS] test_storageHash() (gas: 3480)
1117
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1118
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1119
- [PASS] test_whenNotPaused_Success() (gas: 41297)
1120
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1121
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1122
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1123
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 16.76s (296.05ms CPU time)
1199
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1200
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27588, ~: 41090)
1201
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1202
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
1203
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1204
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1205
+ [PASS] test_isPaused_InitialState() (gas: 15629)
1206
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1207
+ [PASS] test_multipleRoleGrants() (gas: 394130)
1208
+ [PASS] test_pause() (gas: 42109)
1209
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1210
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1211
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31039, ~: 42378)
1212
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1213
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1214
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1215
+ [PASS] test_setPaused_Success() (gas: 40691)
1216
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1217
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1218
+ [PASS] test_storageHash() (gas: 3414)
1219
+ [PASS] test_unpause() (gas: 35177)
1220
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41720, ~: 44479)
1221
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1222
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1223
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
1224
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1225
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1226
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1227
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 17.09s (306.13ms CPU time)
1124
1228
 
1125
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1126
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1127
- [PASS] test_constructor_InitialMode() (gas: 15778)
1128
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1129
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1130
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1131
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1132
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1133
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1134
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1135
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1136
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1137
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1138
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1139
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1140
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1141
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1142
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1143
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1144
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1145
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1146
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1147
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1148
- [PASS] test_setMode_Blacklist() (gas: 42605)
1149
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1150
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1151
- [PASS] test_setMode_Whitelist() (gas: 42714)
1152
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1153
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1154
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1155
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1156
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1157
- [PASS] test_storageHash() (gas: 3480)
1158
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 16.76s (540.20ms CPU time)
1229
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1230
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1231
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1232
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47518, ~: 48966)
1233
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1234
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1235
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1236
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1237
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1238
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1239
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1240
+ [PASS] test_getFee_Default() (gas: 43108)
1241
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45780, ~: 47017)
1242
+ [PASS] test_getFee_Rounding() (gas: 45449)
1243
+ [PASS] test_getFee_Specific() (gas: 66985)
1244
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1245
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1246
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35023, ~: 42268)
1247
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1248
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1249
+ [PASS] test_setFeeBps() (gas: 77237)
1250
+ Logs:
1251
+ Bound result 500
1159
1252
 
1160
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1161
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1162
- [PASS] test_constructor_InitialMode() (gas: 15578)
1163
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1164
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1165
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1166
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1167
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1168
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1169
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1170
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1171
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1172
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1173
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1174
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1175
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1176
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1177
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1178
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1179
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1180
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1181
- [PASS] test_setMode_Blacklist() (gas: 40021)
1182
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1183
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1184
- [PASS] test_setMode_Whitelist() (gas: 40108)
1185
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1186
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1187
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1188
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1189
- [PASS] test_storageHash() (gas: 3458)
1190
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.76s (631.70ms CPU time)
1253
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68599, ~: 77570)
1254
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1255
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1256
+ [PASS] test_storageHash() (gas: 3436)
1257
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 16.99s (1.06s CPU time)
1191
1258
 
1192
1259
  Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1193
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26267, ~: 38584)
1260
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25492, ~: 12763)
1194
1261
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1195
1262
  [PASS] test_assertNotPaused_Success() (gas: 12516)
1196
1263
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1197
1264
  [PASS] test_isPaused_InitialState() (gas: 15595)
1198
1265
  [PASS] test_pause() (gas: 39592)
1199
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
1266
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28181, ~: 39861)
1200
1267
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1201
1268
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1202
1269
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1203
1270
  [PASS] test_storageHash() (gas: 3414)
1204
1271
  [PASS] test_unpause() (gas: 31115)
1205
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40473, ~: 42029)
1272
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40445, ~: 38893)
1206
1273
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1207
1274
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1208
1275
  [PASS] test_whenNotPaused_Success() (gas: 38744)
1209
1276
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1210
1277
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1211
1278
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1212
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 16.77s (181.39ms CPU time)
1279
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 17.16s (580.06ms CPU time)
1280
+
1281
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1282
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1283
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1284
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
1285
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1286
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
1287
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1288
+ [PASS] test_isPaused_Default() (gas: 47316)
1289
+ [PASS] test_isPaused_InitialState() (gas: 22172)
1290
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1291
+ [PASS] test_isPaused_Override() (gas: 75171)
1292
+ [PASS] test_isPaused_Specific() (gas: 50105)
1293
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1294
+ [PASS] test_pauseConfig() (gas: 51028)
1295
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1296
+ [PASS] test_setDefaultPaused() (gas: 42196)
1297
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30305, ~: 18826)
1298
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1299
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1300
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1301
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
1302
+ [PASS] test_setPaused() (gas: 48361)
1303
+ [PASS] test_setPaused_DormantData() (gas: 295234)
1304
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
1305
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1306
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43628, ~: 48696)
1307
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222650, ~: 216804)
1308
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1309
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1310
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1311
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1312
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1313
+ [PASS] test_setPaused_Success() (gas: 45897)
1314
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
1315
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1316
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1317
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1318
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1319
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1320
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1321
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 63053, ~: 73465)
1322
+ [PASS] test_storageHash() (gas: 3392)
1323
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1324
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1325
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
1326
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1327
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1328
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1329
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 17.15s (1.84s CPU time)
1213
1330
 
1214
1331
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1215
1332
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1216
1333
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1217
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 837402, ~: 309211)
1334
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 765035, ~: 118239)
1218
1335
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1219
1336
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1220
1337
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1227,12 +1344,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1227
1344
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1228
1345
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1229
1346
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1230
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11241068, ~: 10510326)
1347
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11209495, ~: 10446924)
1231
1348
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1232
1349
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1233
1350
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1234
1351
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1235
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 762885, ~: 169505)
1352
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 764006, ~: 200459)
1236
1353
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1237
1354
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1238
1355
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1245,10 +1362,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1245
1362
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1246
1363
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1247
1364
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1248
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11186011, ~: 10497398)
1365
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11225657, ~: 10531275)
1249
1366
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1250
1367
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1251
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.77s (38.23s CPU time)
1368
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.92s (42.74s CPU time)
1252
1369
 
1253
- Ran 17 test suites in 16.83s (90.44s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1254
- ⏳ forge test: 35.999s
1370
+ Ran 17 test suites in 17.97s (98.79s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1371
+ ⏳ forge test: 40.086s