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

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 (4) hide show
  1. package/.turbo/turbo-lint.log +224 -1
  2. package/.turbo/turbo-test.log +730 -786
  3. package/foundry.toml +1 -1
  4. package/package.json +7 -7
package/.turbo/turbo-test.log CHANGED
@@ -4,100 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using mini workspace: /tmp/lz-mini-workspace-JA12JO
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-ZxA0HM
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:85059) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:121863) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-mini-workspace-JA12JO:/workspace
15
+ -v /tmp/lz-mini-workspace-ZxA0HM:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
- Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
- 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
21
- $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
22
- forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
23
- 86ec798129ac: Pulling fs layer
24
- eef7c391911c: Pulling fs layer
25
- cc2ecf4065b7: Pulling fs layer
26
- 5760fdd70374: Pulling fs layer
27
- c70db14240a1: Pulling fs layer
28
- 0cb2c6965bde: Pulling fs layer
29
- 885bca26f927: Pulling fs layer
30
- 86ec798129ac: Waiting
31
- 8e167e77288f: Pulling fs layer
32
- eef7c391911c: Waiting
33
- 45d43cc973ba: Pulling fs layer
34
- cc2ecf4065b7: Waiting
35
- 44c09156221f: Pulling fs layer
36
- 5760fdd70374: Waiting
37
- f2fb700979ad: Pulling fs layer
38
- 2a1ced882ba9: Pulling fs layer
39
- c70db14240a1: Waiting
40
- 885bca26f927: Waiting
41
- 597168d5c38e: Pulling fs layer
42
- 0cb2c6965bde: Waiting
43
- e431adaf232f: Pulling fs layer
44
- 36e15e3f2788: Pulling fs layer
45
- 44c09156221f: Waiting
46
- 2a1ced882ba9: Waiting
47
- f2fb700979ad: Waiting
48
- 45d43cc973ba: Waiting
49
- 597168d5c38e: Waiting
50
- 36e15e3f2788: Waiting
51
- eef7c391911c: Verifying Checksum
52
- eef7c391911c: Download complete
53
- 86ec798129ac: Verifying Checksum
54
- 86ec798129ac: Download complete
55
- 5760fdd70374: Verifying Checksum
56
- 5760fdd70374: Download complete
57
- c70db14240a1: Verifying Checksum
58
- c70db14240a1: Download complete
59
- cc2ecf4065b7: Verifying Checksum
60
- cc2ecf4065b7: Download complete
61
- 0cb2c6965bde: Verifying Checksum
62
- 0cb2c6965bde: Download complete
63
- 86ec798129ac: Pull complete
64
- eef7c391911c: Pull complete
65
- 8e167e77288f: Download complete
66
- 45d43cc973ba: Verifying Checksum
67
- 45d43cc973ba: Download complete
68
- 44c09156221f: Download complete
69
- f2fb700979ad: Download complete
70
- cc2ecf4065b7: Pull complete
71
- 5760fdd70374: Pull complete
72
- c70db14240a1: Pull complete
73
- 2a1ced882ba9: Verifying Checksum
74
- 2a1ced882ba9: Download complete
75
- 597168d5c38e: Verifying Checksum
76
- 597168d5c38e: Download complete
77
- 0cb2c6965bde: Pull complete
78
- e431adaf232f: Verifying Checksum
79
- e431adaf232f: Download complete
80
- 36e15e3f2788: Verifying Checksum
81
- 36e15e3f2788: Download complete
82
- 885bca26f927: Verifying Checksum
83
- 885bca26f927: Download complete
84
- 885bca26f927: Pull complete
85
- 8e167e77288f: Pull complete
86
- 45d43cc973ba: Pull complete
87
- 44c09156221f: Pull complete
88
- f2fb700979ad: Pull complete
89
- 2a1ced882ba9: Pull complete
90
- 597168d5c38e: Pull complete
91
- e431adaf232f: Pull complete
92
- 36e15e3f2788: Pull complete
93
- Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
94
- 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
95
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
96
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
+ ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
97
20
  👤 Running container as UID:GID 1001:1001
98
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-JA12JO:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-ZxA0HM:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
99
22
  Compiling 84 files with Solc 0.8.22
100
- Solc 0.8.22 finished in 12.14s
23
+ Solc 0.8.22 finished in 14.34s
101
24
  Compiler run successful with warnings:
102
25
  Warning (2018): Function state mutability can be restricted to view
103
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -256,102 +179,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
256
179
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
257
180
  [PASS] test_storageHash() (gas: 3414)
258
181
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
259
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.12ms (18.72ms CPU time)
260
-
261
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
262
- [PASS] test_feeDeposit() (gas: 17576)
263
- [PASS] test_setFeeDeposit() (gas: 24995)
264
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
265
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
266
- [PASS] test_storageHash() (gas: 3337)
267
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 94.64ms (93.93ms CPU time)
268
-
269
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
270
- [PASS] test_feeDeposit() (gas: 17638)
271
- [PASS] test_setFeeDeposit() (gas: 27596)
272
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
273
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
274
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
275
- [PASS] test_storageHash() (gas: 3315)
276
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 107.53ms (106.62ms CPU time)
277
-
278
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
279
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
280
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
281
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
282
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
283
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
284
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
285
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
286
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
287
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
288
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
289
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 171.76ms (77.51ms CPU time)
290
-
291
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
292
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
293
- [PASS] test_constructor_InitialMode() (gas: 15778)
294
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
295
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
296
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
297
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
298
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
299
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
300
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
301
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
302
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
303
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
304
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
305
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
306
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
307
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
308
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
309
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
310
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
311
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
312
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
313
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
314
- [PASS] test_setMode_Blacklist() (gas: 42605)
315
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
316
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
317
- [PASS] test_setMode_Whitelist() (gas: 42714)
318
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
319
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
320
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
321
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
322
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
323
- [PASS] test_storageHash() (gas: 3480)
324
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 263.74ms (609.69ms CPU time)
325
-
326
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
327
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26768, ~: 12786)
328
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
329
- [PASS] test_assertNotPaused_Success() (gas: 12539)
330
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
331
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
332
- [PASS] test_isPaused_InitialState() (gas: 15629)
333
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
334
- [PASS] test_multipleRoleGrants() (gas: 394130)
335
- [PASS] test_pause() (gas: 42109)
336
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
337
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
338
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30708, ~: 42378)
339
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
340
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
341
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
342
- [PASS] test_setPaused_Success() (gas: 40691)
343
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
344
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
345
- [PASS] test_storageHash() (gas: 3414)
346
- [PASS] test_unpause() (gas: 35177)
347
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
348
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
349
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
350
- [PASS] test_whenNotPaused_Success() (gas: 38800)
351
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
352
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
353
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
354
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 274.67ms (169.93ms CPU time)
182
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 13.60ms (11.51ms CPU time)
355
183
 
356
184
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
357
185
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -394,43 +222,39 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
394
222
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
395
223
  [PASS] test_storageHash() (gas: 3392)
396
224
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
397
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 281.46ms (11.76ms CPU time)
225
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 19.64ms (28.59ms CPU time)
398
226
 
399
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
400
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
401
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
402
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
403
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
404
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
405
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
406
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
407
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
408
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
409
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
410
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
411
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
412
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
413
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
414
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
415
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
416
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
417
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
418
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
419
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
420
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
421
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
422
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
423
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
424
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
425
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
426
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
427
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
428
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
429
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
430
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
431
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
432
- [PASS] test_storageHash() (gas: 3380)
433
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 387.80ms (455.31ms CPU time)
227
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
228
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
229
+ [PASS] test_constructor_InitialMode() (gas: 15578)
230
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
231
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
232
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
233
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
234
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
235
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
236
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
237
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
238
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
239
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
240
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
241
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
242
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
243
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
244
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
245
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
246
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
247
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
248
+ [PASS] test_setMode_Blacklist() (gas: 40021)
249
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
250
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
251
+ [PASS] test_setMode_Whitelist() (gas: 40108)
252
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
253
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
254
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
255
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
256
+ [PASS] test_storageHash() (gas: 3458)
257
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 975.09ms (838.95ms CPU time)
434
258
 
435
259
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
436
260
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -447,16 +271,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
447
271
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
448
272
  [PASS] test_pauseConfig() (gas: 45626)
449
273
  [PASS] test_setDefaultPaused() (gas: 39667)
450
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28408, ~: 39918)
274
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27323, ~: 16332)
451
275
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
452
276
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
453
277
  [PASS] test_setPaused() (gas: 43060)
454
278
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
455
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37900, ~: 43373)
279
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38417, ~: 43373)
456
280
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
457
281
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
458
282
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
459
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57552, ~: 46989)
283
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
460
284
  [PASS] test_storageHash() (gas: 3480)
461
285
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
462
286
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -464,185 +288,236 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
464
288
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
465
289
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
466
290
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
467
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.01s (225.66ms CPU time)
291
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.37s (387.22ms CPU time)
468
292
 
469
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
470
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
471
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
472
- [PASS] test_assertNotPaused_Success() (gas: 14891)
473
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
474
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
475
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
476
- [PASS] test_isPaused_Default() (gas: 47316)
477
- [PASS] test_isPaused_InitialState() (gas: 22172)
478
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
479
- [PASS] test_isPaused_Override() (gas: 75171)
480
- [PASS] test_isPaused_Specific() (gas: 50105)
481
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
482
- [PASS] test_pauseConfig() (gas: 51028)
483
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
484
- [PASS] test_setDefaultPaused() (gas: 42196)
485
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30943, ~: 42446)
486
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
487
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
488
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
489
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
490
- [PASS] test_setPaused() (gas: 48361)
491
- [PASS] test_setPaused_DormantData() (gas: 295234)
492
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
493
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
494
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43926, ~: 48696)
495
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222888, ~: 216804)
496
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
497
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
498
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
499
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
500
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
501
- [PASS] test_setPaused_Success() (gas: 45897)
502
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
503
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
504
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
505
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
506
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
507
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
508
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
509
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62657, ~: 73465)
510
- [PASS] test_storageHash() (gas: 3392)
511
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
512
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
513
- [PASS] test_whenNotPaused_Success() (gas: 41299)
514
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
515
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
516
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
517
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.21s (494.61ms CPU time)
293
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
294
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
295
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
296
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
297
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
298
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
299
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
300
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
301
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
302
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
303
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
304
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.70s (213.11ms CPU time)
518
305
 
519
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
306
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
307
+ [PASS] test_feeDeposit() (gas: 17576)
308
+ [PASS] test_setFeeDeposit() (gas: 24995)
309
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
310
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
311
+ [PASS] test_storageHash() (gas: 3337)
312
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.73s (62.44ms CPU time)
313
+
314
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
315
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27305, ~: 41090)
316
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
317
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
318
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
319
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
320
+ [PASS] test_isPaused_InitialState() (gas: 15629)
321
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
322
+ [PASS] test_multipleRoleGrants() (gas: 394130)
323
+ [PASS] test_pause() (gas: 42109)
324
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
325
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
326
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30519, ~: 18756)
327
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
328
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
329
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
330
+ [PASS] test_setPaused_Success() (gas: 40691)
331
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
332
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
333
+ [PASS] test_storageHash() (gas: 3414)
334
+ [PASS] test_unpause() (gas: 35177)
335
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41877, ~: 44479)
336
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
337
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
338
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
339
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
340
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
341
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
342
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.80s (453.30ms CPU time)
343
+
344
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
345
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
346
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
347
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44853, ~: 46317)
348
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
349
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
350
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
351
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
352
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
353
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
354
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
355
+ [PASS] test_getFee_Default() (gas: 40577)
356
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42746, ~: 44486)
357
+ [PASS] test_getFee_Rounding() (gas: 42835)
358
+ [PASS] test_getFee_Specific() (gas: 63968)
359
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
360
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
361
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32506, ~: 39667)
362
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
363
+ [PASS] test_setFeeBps() (gas: 73871)
364
+ Logs:
365
+ Bound result 500
366
+
367
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65616, ~: 74224)
368
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
369
+ [PASS] test_storageHash() (gas: 3426)
370
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.81s (776.72ms CPU time)
371
+
372
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
373
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25389, ~: 12763)
374
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
375
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
376
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
377
+ [PASS] test_isPaused_InitialState() (gas: 15595)
378
+ [PASS] test_pause() (gas: 39592)
379
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28040, ~: 28040)
380
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
381
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
382
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
383
+ [PASS] test_storageHash() (gas: 3414)
384
+ [PASS] test_unpause() (gas: 31115)
385
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40526, ~: 42029)
386
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
387
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
388
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
389
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
390
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
391
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
392
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.81s (227.49ms CPU time)
393
+
394
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
520
395
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
521
396
 
522
397
  ╭-----------------------------------+---------------------+-------+---------+----------╮
523
398
  | Contract | Selector | Calls | Reverts | Discards |
524
399
  +======================================================================================+
525
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
400
+ | RateLimiterRBACUpgradeableHandler | inflow | 604 | 0 | 0 |
526
401
  |-----------------------------------+---------------------+-------+---------+----------|
527
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
402
+ | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
528
403
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | setConfig | 519 | 0 | 0 |
404
+ | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
530
405
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
406
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
532
407
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
408
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
534
409
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
410
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
536
411
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | warp | 588 | 0 | 0 |
412
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
538
413
  ╰-----------------------------------+---------------------+-------+---------+----------╯
539
414
 
540
415
  Logs:
541
- Bound result 218891
542
- Bound result 262394494603
416
+ Bound result 3411180122190471125
417
+ Bound result 4164333820057626413658
418
+ Bound result 9900000000017495412002
419
+ Bound result 88
420
+ Bound result 62
421
+ Bound result 324
422
+ Bound result 2806341279982678808045
543
423
  Bound result 1
424
+ Bound result 4202
425
+ Bound result 1800500
426
+ Bound result 192198180
544
427
  Bound result 1
545
- Bound result 1171
546
- Bound result 350
547
- Bound result 9900000000000000002457
548
- Bound result 9900000000000000000922
549
- Bound result 625
550
- Bound result 1399
551
- Bound result 2827222499576948311589
552
- Bound result 100000000000000000000
553
- Bound result 5016
554
- Bound result 9996
555
- Bound result 617
556
- Bound result 253
557
- Bound result 9954692188779849276659
558
- Bound result 9900000000000006107144
559
- Bound result 6242
560
- Bound result 4360
561
- Bound result 991
562
- Bound result 5523433391250687894495
563
- Bound result 784
428
+ Bound result 9884
429
+ Bound result 9114
430
+ Bound result 0
431
+ Bound result 13372045182185231
432
+ Bound result 205
433
+ Bound result 138
564
434
 
565
435
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
566
436
 
567
437
  ╭-----------------------------------+---------------------+-------+---------+----------╮
568
438
  | Contract | Selector | Calls | Reverts | Discards |
569
439
  +======================================================================================+
570
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
571
441
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | outflow | 506 | 0 | 0 |
573
443
  |-----------------------------------+---------------------+-------+---------+----------|
574
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | setConfig | 591 | 0 | 0 |
575
445
  |-----------------------------------+---------------------+-------+---------+----------|
576
446
  | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
577
447
  |-----------------------------------+---------------------+-------+---------+----------|
578
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
579
449
  |-----------------------------------+---------------------+-------+---------+----------|
580
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
450
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
581
451
  |-----------------------------------+---------------------+-------+---------+----------|
582
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | warp | 578 | 0 | 0 |
583
453
  ╰-----------------------------------+---------------------+-------+---------+----------╯
584
454
 
585
455
  Logs:
586
- Bound result 1
587
- Bound result 1070292497
588
- Bound result 514264337593543950332
589
- Bound result 9900000000000000007795
590
- Bound result 9900000000000000003607
591
- Bound result 2066
592
- Bound result 2482
593
- Bound result 20
594
- Bound result 6914264337564677692027
595
- Bound result 6914264337531161781352
596
- Bound result 6914264337564677692024
597
- Bound result 223
598
- Bound result 7702
599
- Bound result 10275
600
- Bound result 211
601
- Bound result 613
602
- Bound result 32
456
+ Bound result 1966
457
+ Bound result 104
458
+ Bound result 700
459
+ Bound result 453671685586553732297
460
+ Bound result 1835607748413970204072
461
+ Bound result 692
462
+ Bound result 479
463
+ Bound result 4207
464
+ Bound result 60099524166582484
465
+ Bound result 488949713955742451925
466
+ Bound result 0
467
+ Bound result 33635096233380
468
+ Bound result 1901156940162936837627
469
+ Bound result 1895801731307373321817
470
+ Bound result 603
471
+ Bound result 3752
472
+ Bound result 9250
473
+ Bound result 3457
474
+ Bound result 709
475
+ Bound result 1626
476
+ Bound result 9900005507260128014487
477
+ Bound result 9900000000000000241030
478
+ Bound result 18
479
+ Bound result 11
603
480
 
604
481
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
605
482
 
606
483
  ╭-----------------------------------+---------------------+-------+---------+----------╮
607
484
  | Contract | Selector | Calls | Reverts | Discards |
608
485
  +======================================================================================+
609
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
610
487
  |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
612
489
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
614
491
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
492
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
616
493
  |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
494
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
618
495
  |-----------------------------------+---------------------+-------+---------+----------|
619
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
496
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
620
497
  |-----------------------------------+---------------------+-------+---------+----------|
621
- | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
498
+ | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
622
499
  ╰-----------------------------------+---------------------+-------+---------+----------╯
623
500
 
624
501
  Logs:
625
- Bound result 8107
626
- Bound result 391
627
- Bound result 281886368832533372129
628
- Bound result 267842938128577187385
629
- Bound result 1293
630
- Bound result 9900000008756930136794
631
- Bound result 100000000000000000001
632
- Bound result 935
633
- Bound result 8373
634
- Bound result 4700
635
- Bound result 506319972180266
636
- Bound result 312636875505
637
- Bound result 1261
638
- Bound result 15276971143648183123004
639
- Bound result 9900000000000025657924
640
- Bound result 9900000029377472619070
641
- Bound result 161
642
- Bound result 3612
643
- Bound result 6723550060668033409098
502
+ Bound result 6305616543281614862744
503
+ Bound result 9900108003522319339048
504
+ Bound result 3671
505
+ Bound result 6242
506
+ Bound result 8567629506693876259269
507
+ Bound result 6103
508
+ Bound result 11739202
509
+ Bound result 1102253
644
510
  Bound result 1
645
- Bound result 3
511
+ Bound result 6053
512
+ Bound result 7027
513
+ Bound result 9900000000058880193036
514
+ Bound result 9258828514914531261138
515
+ Bound result 1392
516
+ Bound result 79
517
+ Bound result 428
518
+ Bound result 6267
519
+ Bound result 1046363172
520
+ Bound result 19
646
521
 
647
522
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
648
523
 
@@ -651,595 +526,679 @@ Logs:
651
526
  +======================================================================================+
652
527
  | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
653
528
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
529
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
655
530
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
657
532
  |-----------------------------------+---------------------+-------+---------+----------|
658
- | RateLimiterRBACUpgradeableHandler | setState | 578 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
659
534
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
661
536
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
663
538
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
539
+ | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
665
540
  ╰-----------------------------------+---------------------+-------+---------+----------╯
666
541
 
667
542
  Logs:
668
- Bound result 4138
669
- Bound result 9945859727634863605130
670
- Bound result 9900000034863731426806
671
- Bound result 3550
672
- Bound result 221
673
- Bound result 5
674
- Bound result 4196
675
- Bound result 2694
676
- Bound result 6
677
- Bound result 11688762491
678
- Bound result 9900000000000000009850
679
- Bound result 9900000000000392401229
680
- Bound result 6664
681
- Bound result 5000
682
- Bound result 523077092117
683
- Bound result 16813788055016958739452
543
+ Bound result 15925748452188228
544
+ Bound result 19849496
545
+ Bound result 6666
546
+ Bound result 2327
547
+ Bound result 1
548
+ Bound result 54758851529
549
+ Bound result 391715773683590
684
550
  Bound result 0
685
- Bound result 7488678688617040299588
686
- Bound result 9900634563757161455592
687
- Bound result 9900000000000000000006
688
- Bound result 10
689
- Bound result 811
690
- Bound result 727
551
+ Bound result 9900000000000000010031
552
+ Bound result 9900000000000000002546
553
+ Bound result 4302
554
+ Bound result 3566
555
+ Bound result 13967898484397707400021
556
+ Bound result 299
557
+ Bound result 1199
558
+ Bound result 9900000008685767693859
559
+ Bound result 9900000000000000115367
560
+ Bound result 481
561
+ Bound result 4026
562
+ Bound result 9900000035590732601915
563
+ Bound result 9900000000000015029942
564
+ Bound result 9907
565
+ Bound result 135
566
+ Bound result 7680
691
567
 
692
568
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
693
569
 
694
570
  ╭-----------------------------------+---------------------+-------+---------+----------╮
695
571
  | Contract | Selector | Calls | Reverts | Discards |
696
572
  +======================================================================================+
697
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
698
574
  |-----------------------------------+---------------------+-------+---------+----------|
699
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
700
576
  |-----------------------------------+---------------------+-------+---------+----------|
701
- | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
702
578
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
704
580
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 507 | 0 | 0 |
706
582
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
583
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
708
584
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
710
586
  ╰-----------------------------------+---------------------+-------+---------+----------╯
711
587
 
712
588
  Logs:
713
- Bound result 9900001826077512279522
714
- Bound result 9900000000000000000007
715
- Bound result 3025
716
- Bound result 401
717
- Bound result 69
718
- Bound result 219
719
- Bound result 15796966714701030624985
720
- Bound result 478977444
721
- Bound result 2
722
- Bound result 10337
723
- Bound result 1031
724
- Bound result 15772295043893456
725
- Bound result 51674458620653
726
- Bound result 13
727
- Bound result 5999
589
+ Bound result 347
590
+ Bound result 1704
591
+ Bound result 9900000000000000010264
592
+ Bound result 9900000000000000004512
593
+ Bound result 5055
594
+ Bound result 10
595
+ Bound result 11791738176465960631927
596
+ Bound result 9900000000000294443689
597
+ Bound result 9900000000000000008591
598
+ Bound result 682
599
+ Bound result 2594
600
+ Bound result 89927504951098463475
601
+ Bound result 811899737
728
602
  Bound result 1
729
- Bound result 7972124348857292768123
730
- Bound result 9900000000000012703608
731
- Bound result 13
732
- Bound result 207
603
+ Bound result 1115
604
+ Bound result 1
605
+ Bound result 1510283280
733
606
 
734
607
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
735
608
 
736
609
  ╭-----------------------------------+---------------------+-------+---------+----------╮
737
610
  | Contract | Selector | Calls | Reverts | Discards |
738
611
  +======================================================================================+
739
- | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
740
613
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
742
615
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
744
617
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
746
619
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
748
621
  |-----------------------------------+---------------------+-------+---------+----------|
749
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
750
623
  |-----------------------------------+---------------------+-------+---------+----------|
751
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
752
625
  ╰-----------------------------------+---------------------+-------+---------+----------╯
753
626
 
754
627
  Logs:
755
- Bound result 9688179556398605903819
756
- Bound result 9900000000019634450256
757
- Bound result 3275
758
- Bound result 10
759
- Bound result 3870
760
- Bound result 9901097503447601208045
761
- Bound result 9900000021151602470626
762
- Bound result 4039
763
- Bound result 6146
764
- Bound result 66
765
- Bound result 9930877997472788915169
766
- Bound result 9900000321052353392711
767
- Bound result 10
628
+ Bound result 102719569915370
629
+ Bound result 352407403423
630
+ Bound result 0
631
+ Bound result 9296
632
+ Bound result 1016114450078976568951
633
+ Bound result 100
634
+ Bound result 192
635
+ Bound result 3486480063569303770454
636
+ Bound result 9900624033575485403533
768
637
  Bound result 10
769
- Bound result 4704275605645355989732
770
- Bound result 9900000000044189556254
771
- Bound result 8491
772
- Bound result 2150
773
- Bound result 9530
774
- Bound result 9904
775
- Bound result 58
776
- Bound result 1144189856488645
777
- Bound result 844026356
778
- Bound result 15
779
- Bound result 294443687
780
- Bound result 1148
781
- Bound result 5644
782
- Bound result 15711
638
+ Bound result 1329
639
+ Bound result 176530220970825162262
640
+ Bound result 8173479856409110921351
641
+ Bound result 9900000000000008844166
642
+ Bound result 9965
643
+ Bound result 4674
644
+ Bound result 5393
645
+ Bound result 9469
646
+ Bound result 4228
647
+ Bound result 2998
648
+ Bound result 653
783
649
 
784
650
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
785
651
 
786
652
  ╭-----------------------------------+---------------------+-------+---------+----------╮
787
653
  | Contract | Selector | Calls | Reverts | Discards |
788
654
  +======================================================================================+
789
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
655
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
790
656
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
657
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
792
658
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
659
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
794
660
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
661
+ | RateLimiterRBACUpgradeableHandler | setState | 517 | 0 | 0 |
796
662
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
663
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
798
664
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
665
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
800
666
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
667
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
802
668
  ╰-----------------------------------+---------------------+-------+---------+----------╯
803
669
 
804
670
  Logs:
805
- Bound result 9900000000000000007010
806
- Bound result 9900000000000000004543
807
- Bound result 458
808
- Bound result 8994
809
- Bound result 9900000000000000000675
810
- Bound result 9901599984447295876030
811
- Bound result 11
812
- Bound result 99
813
- Bound result 139
814
- Bound result 17978040799952402513452
815
- Bound result 13312264806466517429159
816
- Bound result 3337181536192625492230
817
- Bound result 382242186615540236
818
- Bound result 23
819
- Bound result 17416918337180873312800
820
- Bound result 6234973
821
- Bound result 217849946579
822
- Bound result 0
823
- Bound result 1547
671
+ Bound result 736
672
+ Bound result 9900010320646795767374
673
+ Bound result 9900000000000650257887
674
+ Bound result 5401
675
+ Bound result 6165
676
+ Bound result 9900000000000000009065
677
+ Bound result 9900000000000000002951
678
+ Bound result 8298
679
+ Bound result 6966
680
+ Bound result 10885
681
+ Bound result 106173283
682
+ Bound result 3
683
+ Bound result 16529170384
684
+ Bound result 10125
685
+ Bound result 2096
686
+ Bound result 14601344897779673954616
687
+ Bound result 737
688
+ Bound result 6803
689
+ Bound result 7801
824
690
 
825
691
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
826
692
 
827
693
  ╭-----------------------------------+---------------------+-------+---------+----------╮
828
694
  | Contract | Selector | Calls | Reverts | Discards |
829
695
  +======================================================================================+
830
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
696
+ | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
831
697
  |-----------------------------------+---------------------+-------+---------+----------|
832
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
833
699
  |-----------------------------------+---------------------+-------+---------+----------|
834
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
835
701
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | setState | 512 | 0 | 0 |
837
703
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
704
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
839
705
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
706
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
841
707
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | warp | 602 | 0 | 0 |
843
709
  ╰-----------------------------------+---------------------+-------+---------+----------╯
844
710
 
845
711
  Logs:
846
- Bound result 634234337813401
847
- Bound result 5713612403933
848
- Bound result 1
849
- Bound result 3461
850
- Bound result 468
851
- Bound result 10103
852
- Bound result 0
853
- Bound result 514264337593504336253
854
- Bound result 165898833095145596482
855
- Bound result 0
856
- Bound result 3870
857
- Bound result 623
858
- Bound result 1
859
- Bound result 3093
860
- Bound result 5185
712
+ Bound result 140441799328739153184
713
+ Bound result 955452669137
861
714
  Bound result 1
862
- Bound result 1414967274098130262334
863
- Bound result 220247795313176094300
864
715
  Bound result 0
865
- Bound result 7715
866
- Bound result 20581870114
867
- Bound result 10539
716
+ Bound result 416
717
+ Bound result 1475
718
+ Bound result 357094980
719
+ Bound result 1105124034660156085393
720
+ Bound result 9901526392262478577399
721
+ Bound result 9900000000000000005897
722
+ Bound result 6239
723
+ Bound result 7883
724
+ Bound result 261403361894968498914
725
+ Bound result 100000000000000000000
726
+ Bound result 15
727
+ Bound result 5022
728
+ Bound result 9900000000007846915044
729
+ Bound result 9900016451954712589869
730
+ Bound result 5894
731
+ Bound result 9413
732
+ Bound result 1728
868
733
 
869
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.20s CPU time)
734
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.77s (10.05s CPU time)
870
735
 
871
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
736
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
872
737
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
873
738
 
874
739
  ╭-----------------------------------+---------------------+-------+---------+----------╮
875
740
  | Contract | Selector | Calls | Reverts | Discards |
876
741
  +======================================================================================+
877
- | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
878
743
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
880
745
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
882
747
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
884
749
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
886
751
  |-----------------------------------+---------------------+-------+---------+----------|
887
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
888
753
  |-----------------------------------+---------------------+-------+---------+----------|
889
- | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
890
755
  ╰-----------------------------------+---------------------+-------+---------+----------╯
891
756
 
892
757
  Logs:
893
- Bound result 237152470913113934429
894
- Bound result 172914364183965957590
895
- Bound result 0
896
- Bound result 9900000000000000079703
897
- Bound result 3881047508032370729907
898
- Bound result 667
899
- Bound result 1792
900
- Bound result 4955
901
- Bound result 1068337201
902
- Bound result 6149467785336741437098
758
+ Bound result 127
759
+ Bound result 415249655498198609493
760
+ Bound result 514264337593504336253
761
+ Bound result 14
762
+ Bound result 22219737225344185173
763
+ Bound result 210
764
+ Bound result 1
765
+ Bound result 2107269096
766
+ Bound result 7113
767
+ Bound result 8056801605276275969470
768
+ Bound result 9900000000000003820274
769
+ Bound result 9176
770
+ Bound result 783
771
+ Bound result 1
772
+ Bound result 9900000000000000001446
773
+ Bound result 9900000000000613063844
774
+ Bound result 2664
775
+ Bound result 9656
776
+ Bound result 9900759618196922864757
777
+ Bound result 9938401310051592815269
778
+ Bound result 364
779
+ Bound result 9064
780
+ Bound result 1226
781
+ Bound result 1019
782
+ Bound result 118
903
783
  Bound result 0
904
- Bound result 721685573693476323309
905
- Bound result 800627395
906
- Bound result 14986672542909544402715
907
- Bound result 9900000000000002252889
908
- Bound result 1059290899624954331105
909
- Bound result 6241
910
- Bound result 2066
911
- Bound result 8264
912
- Bound result 1161
784
+ Bound result 42911484134541111212
785
+ Bound result 47
786
+ Bound result 7275
787
+ Bound result 9900000004498500273802
788
+ Bound result 9901981644512341621858
789
+ Bound result 254
790
+ Bound result 6900
913
791
 
914
792
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
915
793
 
916
794
  ╭-----------------------------------+---------------------+-------+---------+----------╮
917
795
  | Contract | Selector | Calls | Reverts | Discards |
918
796
  +======================================================================================+
919
- | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
920
798
  |-----------------------------------+---------------------+-------+---------+----------|
921
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
922
800
  |-----------------------------------+---------------------+-------+---------+----------|
923
- | RateLimiterRBACUpgradeableHandler | setConfig | 495 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
924
802
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | setState | 501 | 0 | 0 |
803
+ | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
926
804
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
805
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
928
806
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
807
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
930
808
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
809
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
932
810
  ╰-----------------------------------+---------------------+-------+---------+----------╯
933
811
 
934
812
  Logs:
935
- Bound result 113362798613793846
936
- Bound result 1532060640078029400665
937
- Bound result 0
938
- Bound result 1
939
- Bound result 9900000000000000008762
940
- Bound result 9900000000000000002316
941
- Bound result 2045
942
- Bound result 3755
943
- Bound result 1854
944
- Bound result 16671765004781
813
+ Bound result 79322379169
814
+ Bound result 8059
815
+ Bound result 3691
945
816
  Bound result 1
946
- Bound result 9900000000000000008653
947
- Bound result 9900000000000000005670
948
- Bound result 1585
949
- Bound result 7984
950
- Bound result 4946
951
- Bound result 9900000000000000000039
952
- Bound result 9900000000000000001560
953
- Bound result 393
954
- Bound result 3801
955
- Bound result 5258696413000597526
956
- Bound result 9900000000000000010386
957
- Bound result 9900000000000000008519
958
- Bound result 780
959
- Bound result 1326
960
- Bound result 949
961
- Bound result 8461
962
- Bound result 2043
817
+ Bound result 447098282828275884699
818
+ Bound result 4333534
819
+ Bound result 0
820
+ Bound result 514264337593543950332
821
+ Bound result 5252357906142130612051
822
+ Bound result 100000000000000000003
823
+ Bound result 2727
824
+ Bound result 1715
825
+ Bound result 771579439399398962689
826
+ Bound result 9900000000057779168670
827
+ Bound result 9900000001255338876487
828
+ Bound result 203
829
+ Bound result 3746
830
+ Bound result 880
831
+ Bound result 2965771433
832
+ Bound result 261
833
+ Bound result 8804068496218143060748
834
+ Bound result 9900183027719346978270
835
+ Bound result 8382
836
+ Bound result 1346
837
+ Bound result 821040
963
838
 
964
839
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
965
840
 
966
841
  ╭-----------------------------------+---------------------+-------+---------+----------╮
967
842
  | Contract | Selector | Calls | Reverts | Discards |
968
843
  +======================================================================================+
969
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
844
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
970
845
  |-----------------------------------+---------------------+-------+---------+----------|
971
- | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | outflow | 522 | 0 | 0 |
972
847
  |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
848
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
974
849
  |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
850
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
976
851
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
852
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
978
853
  |-----------------------------------+---------------------+-------+---------+----------|
979
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
854
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
980
855
  |-----------------------------------+---------------------+-------+---------+----------|
981
- | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
856
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
982
857
  ╰-----------------------------------+---------------------+-------+---------+----------╯
983
858
 
984
859
  Logs:
985
- Bound result 262
986
- Bound result 1257
987
- Bound result 1974211701222620
988
- Bound result 2098129407147058608
989
- Bound result 215
990
- Bound result 1294
991
- Bound result 3370
992
- Bound result 514264337593543950333
860
+ Bound result 9900000000000000008612
861
+ Bound result 9900000000000000002310
862
+ Bound result 1499
863
+ Bound result 5722
864
+ Bound result 3561
865
+ Bound result 575
993
866
  Bound result 1
867
+ Bound result 94372685013723
868
+ Bound result 100000000000000000000
869
+ Bound result 140620131049268824096
870
+ Bound result 5088
871
+ Bound result 10
872
+ Bound result 421741047492350911
873
+ Bound result 166604195983668394158
874
+ Bound result 12481
875
+ Bound result 5
876
+ Bound result 70172235881512205633
994
877
  Bound result 0
995
- Bound result 151
996
- Bound result 5550
878
+ Bound result 124456418001198800114
879
+ Bound result 814909768453410782
997
880
  Bound result 1
881
+ Bound result 7901
998
882
 
999
883
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1000
884
 
1001
885
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1002
886
  | Contract | Selector | Calls | Reverts | Discards |
1003
887
  +======================================================================================+
1004
- | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
1005
889
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | outflow | 486 | 0 | 0 |
890
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1007
891
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
892
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1009
893
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
894
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
1011
895
  |-----------------------------------+---------------------+-------+---------+----------|
1012
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 589 | 0 | 0 |
896
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1013
897
  |-----------------------------------+---------------------+-------+---------+----------|
1014
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
898
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
1015
899
  |-----------------------------------+---------------------+-------+---------+----------|
1016
- | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
900
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1017
901
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1018
902
 
1019
903
  Logs:
1020
- Bound result 348464660961358947059
1021
- Bound result 2000000000000000000000
1022
- Bound result 8009071468877862989569
1023
- Bound result 9900000000000003785813
1024
- Bound result 20
1025
- Bound result 7197
1026
- Bound result 10163
1027
- Bound result 731
904
+ Bound result 6812674777
905
+ Bound result 81534113272914857
906
+ Bound result 2728456053380
1028
907
  Bound result 0
1029
- Bound result 94
1030
- Bound result 5841
1031
- Bound result 328355856542315608691
1032
- Bound result 9900000000000000006868
1033
- Bound result 9900000000000000003860
1034
- Bound result 117
1035
- Bound result 1381
1036
- Bound result 1952
908
+ Bound result 8821
909
+ Bound result 2127334683002165108
910
+ Bound result 9566284817606286918
911
+ Bound result 37539
912
+ Bound result 417
913
+ Bound result 11
914
+ Bound result 533570198632
915
+ Bound result 6314911097628774013906
916
+ Bound result 9914172132491804916676
917
+ Bound result 8276
918
+ Bound result 9995
919
+ Bound result 3413
1037
920
 
1038
921
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1039
922
 
1040
923
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1041
924
  | Contract | Selector | Calls | Reverts | Discards |
1042
925
  +======================================================================================+
1043
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1044
927
  |-----------------------------------+---------------------+-------+---------+----------|
1045
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
1046
929
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
930
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1048
931
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
932
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
1050
933
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
934
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
1052
935
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
936
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1054
937
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
938
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
1056
939
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1057
940
 
1058
941
  Logs:
1059
- Bound result 1769216908398115124489
1060
- Bound result 9900000000000005324095
1061
- Bound result 9900000000000000046318
942
+ Bound result 9900000000000000002848
943
+ Bound result 7553939724162854097841
1062
944
  Bound result 13
1063
- Bound result 10
1064
- Bound result 47601
1065
- Bound result 12852942752898871969274
1066
- Bound result 0
1067
- Bound result 1
1068
- Bound result 613063842
1069
- Bound result 1065
1070
- Bound result 1
1071
- Bound result 6390484191812927
1072
- Bound result 6914264294985638222732
1073
- Bound result 41805860060473
1074
- Bound result 0
1075
- Bound result 9900000000000000000665
1076
- Bound result 9900000000000000000060
1077
- Bound result 64
1078
- Bound result 1261
1079
- Bound result 38162472102
1080
- Bound result 52975
1081
- Bound result 485
945
+ Bound result 5008
946
+ Bound result 14529848
947
+ Bound result 9900000054295171095653
948
+ Bound result 9900000000000000002393
949
+ Bound result 8653
950
+ Bound result 7736
951
+ Bound result 9900000000000000010940
952
+ Bound result 9900000000000000006771
953
+ Bound result 2629
954
+ Bound result 1132
955
+ Bound result 9900003480880338107319
956
+ Bound result 9900000000000000076976
957
+ Bound result 2988
958
+ Bound result 5523
959
+ Bound result 4515887418893026106179
960
+ Bound result 83461609908108
961
+ Bound result 7
962
+ Bound result 18666857249130629484685
963
+ Bound result 5
1082
964
  Bound result 1
965
+ Bound result 3084
966
+ Bound result 9890
967
+ Bound result 7599
968
+ Bound result 280631428947732367256
1083
969
 
1084
970
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1085
971
 
1086
972
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1087
973
  | Contract | Selector | Calls | Reverts | Discards |
1088
974
  +======================================================================================+
1089
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1090
976
  |-----------------------------------+---------------------+-------+---------+----------|
1091
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | outflow | 579 | 0 | 0 |
1092
978
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
1094
980
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
1096
982
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 597 | 0 | 0 |
983
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
1098
984
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 520 | 0 | 0 |
985
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1100
986
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
987
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1102
988
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1103
989
 
1104
990
  Logs:
1105
- Bound result 1049224754172
1106
- Bound result 1
1107
- Bound result 1
1108
- Bound result 1491893492834858570721
1109
- Bound result 3589
1110
- Bound result 491752801
1111
- Bound result 9900024945659157347322
1112
- Bound result 1257917536406138189153
1113
- Bound result 6239
1114
- Bound result 4475
1115
- Bound result 287588622475378051721
1116
- Bound result 842533941950534665451
1117
- Bound result 0
1118
- Bound result 2520
1119
- Bound result 443213003413934108160
1120
- Bound result 0
1121
- Bound result 8974
1122
- Bound result 1014
1123
- Bound result 0
1124
- Bound result 815
1125
- Bound result 1323
1126
- Bound result 0
1127
- Bound result 12378
1128
- Bound result 1632
991
+ Bound result 6466550069669791467321
992
+ Bound result 9900000000000001870563
993
+ Bound result 9995
994
+ Bound result 842
995
+ Bound result 5130
996
+ Bound result 10017
997
+ Bound result 18745
998
+ Bound result 1013332733516247402114
999
+ Bound result 9900000000000000117897
1000
+ Bound result 11
1001
+ Bound result 6242
1002
+ Bound result 5855
1003
+ Bound result 9407
1004
+ Bound result 4711
1005
+ Bound result 6914264336650032651265
1006
+ Bound result 9127
1007
+ Bound result 758
1008
+ Bound result 834047
1009
+ Bound result 121168736
1010
+ Bound result 3995
1011
+ Bound result 34769380330
1012
+ Bound result 1480
1129
1013
 
1130
1014
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1131
1015
 
1132
1016
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1133
1017
  | Contract | Selector | Calls | Reverts | Discards |
1134
1018
  +======================================================================================+
1135
- | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
1136
1020
  |-----------------------------------+---------------------+-------+---------+----------|
1137
- | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
1021
+ | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
1138
1022
  |-----------------------------------+---------------------+-------+---------+----------|
1139
- | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1023
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1140
1024
  |-----------------------------------+---------------------+-------+---------+----------|
1141
- | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
1025
+ | RateLimiterRBACUpgradeableHandler | setState | 607 | 0 | 0 |
1142
1026
  |-----------------------------------+---------------------+-------+---------+----------|
1143
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1027
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
1144
1028
  |-----------------------------------+---------------------+-------+---------+----------|
1145
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
1029
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 504 | 0 | 0 |
1146
1030
  |-----------------------------------+---------------------+-------+---------+----------|
1147
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
1031
+ | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1148
1032
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1149
1033
 
1150
1034
  Logs:
1151
- Bound result 5399
1152
- Bound result 3741
1153
- Bound result 0
1154
- Bound result 5669
1155
- Bound result 6284
1156
- Bound result 0
1157
- Bound result 694239275872497950
1158
- Bound result 5
1159
- Bound result 9900000000000000007151
1160
- Bound result 9900000000000000004227
1161
- Bound result 2157
1162
- Bound result 8213
1163
- Bound result 5583
1164
- Bound result 8020
1165
- Bound result 9212
1166
- Bound result 1511
1167
- Bound result 15662549544001353496507
1035
+ Bound result 782590880772003
1036
+ Bound result 6
1037
+ Bound result 9739860680042043092934
1038
+ Bound result 6914264337593535947488
1039
+ Bound result 3269
1040
+ Bound result 743
1041
+ Bound result 9900000000000000008723
1042
+ Bound result 9900000000000000003319
1043
+ Bound result 4481
1044
+ Bound result 4034
1045
+ Bound result 87980696376
1046
+ Bound result 9900015540201965149832
1047
+ Bound result 9900000000001024960606
1048
+ Bound result 13
1049
+ Bound result 1709
1050
+ Bound result 897014336
1051
+ Bound result 1968
1052
+ Bound result 1434288173
1053
+ Bound result 1763
1054
+ Bound result 2931
1168
1055
 
1169
1056
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1170
1057
 
1171
1058
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1172
1059
  | Contract | Selector | Calls | Reverts | Discards |
1173
1060
  +======================================================================================+
1174
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
1175
1062
  |-----------------------------------+---------------------+-------+---------+----------|
1176
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
1063
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
1177
1064
  |-----------------------------------+---------------------+-------+---------+----------|
1178
- | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
1179
1066
  |-----------------------------------+---------------------+-------+---------+----------|
1180
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
1067
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
1181
1068
  |-----------------------------------+---------------------+-------+---------+----------|
1182
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1069
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1183
1070
  |-----------------------------------+---------------------+-------+---------+----------|
1184
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
1071
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1185
1072
  |-----------------------------------+---------------------+-------+---------+----------|
1186
- | RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
1073
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1187
1074
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1188
1075
 
1189
1076
  Logs:
1190
- Bound result 4287
1191
- Bound result 499936034809240832065
1192
- Bound result 863
1193
- Bound result 1242
1194
- Bound result 18339159310100
1195
- Bound result 9702
1196
- Bound result 9322
1197
- Bound result 331
1077
+ Bound result 9900000000000000008598
1078
+ Bound result 9900000000000000033789
1079
+ Bound result 7312
1080
+ Bound result 1359
1081
+ Bound result 1720358582102242335499
1082
+ Bound result 1150
1198
1083
  Bound result 1
1199
- Bound result 29084
1200
- Bound result 3822
1201
- Bound result 9538596936683538419
1202
- Bound result 620
1084
+ Bound result 8201
1085
+ Bound result 423
1086
+ Bound result 0
1087
+ Bound result 5594
1088
+ Bound result 28142141643097
1089
+ Bound result 0
1090
+ Bound result 800
1091
+ Bound result 29
1092
+ Bound result 447150032947
1093
+ Bound result 42804892329
1094
+ Bound result 194481555310076
1203
1095
  Bound result 1
1096
+ Bound result 9900000002162337149040
1097
+ Bound result 232723515801926497945
1098
+ Bound result 1077
1099
+ Bound result 10
1204
1100
 
1205
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.49s CPU time)
1101
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.85s (11.01s CPU time)
1206
1102
 
1207
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1208
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1209
- [PASS] test_constructor_InitialMode() (gas: 15578)
1210
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1211
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1212
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1213
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1214
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1215
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1216
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1217
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
1218
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1219
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1220
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1221
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1222
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1223
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1224
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1225
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1226
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1227
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1228
- [PASS] test_setMode_Blacklist() (gas: 40021)
1229
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1230
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1231
- [PASS] test_setMode_Whitelist() (gas: 40108)
1232
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1233
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1234
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1235
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1236
- [PASS] test_storageHash() (gas: 3458)
1237
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 12.63s (315.43ms CPU time)
1103
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1104
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1105
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1106
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
1107
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1108
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
1109
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1110
+ [PASS] test_isPaused_Default() (gas: 47316)
1111
+ [PASS] test_isPaused_InitialState() (gas: 22172)
1112
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1113
+ [PASS] test_isPaused_Override() (gas: 75171)
1114
+ [PASS] test_isPaused_Specific() (gas: 50105)
1115
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1116
+ [PASS] test_pauseConfig() (gas: 51028)
1117
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1118
+ [PASS] test_setDefaultPaused() (gas: 42196)
1119
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29974, ~: 18826)
1120
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1121
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1122
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1123
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
1124
+ [PASS] test_setPaused() (gas: 48361)
1125
+ [PASS] test_setPaused_DormantData() (gas: 295234)
1126
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
1127
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1128
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43885, ~: 48696)
1129
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223437, ~: 219722)
1130
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1131
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1132
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1133
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1134
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1135
+ [PASS] test_setPaused_Success() (gas: 45897)
1136
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
1137
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1138
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1139
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1140
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1141
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1142
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1143
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62093, ~: 50341)
1144
+ [PASS] test_storageHash() (gas: 3392)
1145
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1146
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1147
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
1148
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1149
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1150
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1151
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.86s (864.21ms CPU time)
1152
+
1153
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1154
+ [PASS] test_feeDeposit() (gas: 17638)
1155
+ [PASS] test_setFeeDeposit() (gas: 27596)
1156
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
1157
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1158
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1159
+ [PASS] test_storageHash() (gas: 3315)
1160
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 1.86s (41.94ms CPU time)
1161
+
1162
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1163
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1164
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1165
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1166
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1167
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1168
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1169
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1170
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1171
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1172
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1173
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1174
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1175
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1176
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1177
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1178
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1179
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1180
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1181
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1182
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1183
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1184
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1185
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1186
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1187
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1188
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1189
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1190
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1191
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1192
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1193
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1194
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1195
+ [PASS] test_storageHash() (gas: 3380)
1196
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.86s (633.78ms CPU time)
1238
1197
 
1239
1198
  Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1240
1199
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1241
1200
  [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1242
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47330, ~: 48966)
1201
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47486, ~: 48966)
1243
1202
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1244
1203
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1245
1204
  [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
@@ -1248,78 +1207,63 @@ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTes
1248
1207
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1249
1208
  [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1250
1209
  [PASS] test_getFee_Default() (gas: 43108)
1251
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45866, ~: 47017)
1210
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45890, ~: 47017)
1252
1211
  [PASS] test_getFee_Rounding() (gas: 45449)
1253
1212
  [PASS] test_getFee_Specific() (gas: 66985)
1254
1213
  [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1255
1214
  [PASS] test_setDefaultFeeBps() (gas: 42199)
1256
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35344, ~: 42268)
1215
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35356, ~: 42268)
1257
1216
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1258
1217
  [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1259
1218
  [PASS] test_setFeeBps() (gas: 77237)
1260
1219
  Logs:
1261
1220
  Bound result 500
1262
1221
 
1263
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69211, ~: 77570)
1222
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69319, ~: 77570)
1264
1223
  [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1265
1224
  [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1266
1225
  [PASS] test_storageHash() (gas: 3436)
1267
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.73s (607.30ms CPU time)
1268
-
1269
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1270
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1271
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1272
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44641, ~: 46317)
1273
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1274
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1275
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1276
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1277
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1278
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1279
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1280
- [PASS] test_getFee_Default() (gas: 40577)
1281
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43302, ~: 44486)
1282
- [PASS] test_getFee_Rounding() (gas: 42835)
1283
- [PASS] test_getFee_Specific() (gas: 63968)
1284
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1285
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1286
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32972, ~: 39667)
1287
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1288
- [PASS] test_setFeeBps() (gas: 73871)
1289
- Logs:
1290
- Bound result 500
1291
-
1292
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66462, ~: 74224)
1293
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1294
- [PASS] test_storageHash() (gas: 3426)
1295
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.73s (453.76ms CPU time)
1226
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.04s (815.66ms CPU time)
1296
1227
 
1297
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1298
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26577, ~: 38584)
1299
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1300
- [PASS] test_assertNotPaused_Success() (gas: 12516)
1301
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1302
- [PASS] test_isPaused_InitialState() (gas: 15595)
1303
- [PASS] test_pause() (gas: 39592)
1304
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28040, ~: 28040)
1305
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1306
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1307
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1308
- [PASS] test_storageHash() (gas: 3414)
1309
- [PASS] test_unpause() (gas: 31115)
1310
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40423, ~: 38893)
1311
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1312
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1313
- [PASS] test_whenNotPaused_Success() (gas: 38744)
1314
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1315
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1316
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1317
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 12.73s (212.92ms CPU time)
1228
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1229
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1230
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1231
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1232
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1233
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1234
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1235
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1236
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1237
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1238
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1239
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1240
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1241
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1242
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1243
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1244
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1245
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1246
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1247
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1248
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1249
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1250
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1251
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1252
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1253
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1254
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1255
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1256
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1257
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1258
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1259
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1260
+ [PASS] test_storageHash() (gas: 3480)
1261
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 12.39s (756.35ms CPU time)
1318
1262
 
1319
1263
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1320
1264
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1321
1265
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1322
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 774054, ~: 183611)
1266
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 788150, ~: 171856)
1323
1267
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1324
1268
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1325
1269
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1332,12 +1276,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1332
1276
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1333
1277
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1334
1278
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1335
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11092669, ~: 10264287)
1279
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11139286, ~: 10429888)
1336
1280
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1337
1281
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1338
1282
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1339
1283
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1340
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 797839, ~: 211395)
1284
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 751237, ~: 168236)
1341
1285
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1342
1286
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1343
1287
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1350,10 +1294,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1350
1294
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1351
1295
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1352
1296
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1353
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178953, ~: 10537950)
1297
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11193897, ~: 10580536)
1354
1298
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1355
1299
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1356
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.73s (29.58s CPU time)
1300
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.39s (29.27s CPU time)
1357
1301
 
1358
- Ran 17 test suites in 12.76s (69.96s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1359
- ⏳ forge test: 27.232s
1302
+ Ran 17 test suites in 12.43s (57.27s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1303
+ ⏳ forge test: 30.069s