@layerzerolabs/utils-upgradeable-evm-contracts 0.2.76 → 0.2.78

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/.turbo/turbo-lint.log +368 -1
  2. package/.turbo/turbo-test.log +668 -759
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,89 +5,15 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:67289) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
8
+ (node:120046) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
12
- Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
- 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
14
- $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
15
- forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
16
- 86ec798129ac: Pulling fs layer
17
- eef7c391911c: Pulling fs layer
18
- cc2ecf4065b7: Pulling fs layer
19
- 5760fdd70374: Pulling fs layer
20
- c70db14240a1: Pulling fs layer
21
- 0cb2c6965bde: Pulling fs layer
22
- 885bca26f927: Pulling fs layer
23
- 8e167e77288f: Pulling fs layer
24
- 45d43cc973ba: Pulling fs layer
25
- 44c09156221f: Pulling fs layer
26
- f2fb700979ad: Pulling fs layer
27
- 2a1ced882ba9: Pulling fs layer
28
- 597168d5c38e: Pulling fs layer
29
- e431adaf232f: Pulling fs layer
30
- 36e15e3f2788: Pulling fs layer
31
- 8e167e77288f: Waiting
32
- 45d43cc973ba: Waiting
33
- 44c09156221f: Waiting
34
- f2fb700979ad: Waiting
35
- 2a1ced882ba9: Waiting
36
- 597168d5c38e: Waiting
37
- 36e15e3f2788: Waiting
38
- e431adaf232f: Waiting
39
- 0cb2c6965bde: Waiting
40
- 5760fdd70374: Waiting
41
- c70db14240a1: Waiting
42
- 885bca26f927: Waiting
43
- eef7c391911c: Verifying Checksum
44
- eef7c391911c: Download complete
45
- 5760fdd70374: Download complete
46
- c70db14240a1: Verifying Checksum
47
- c70db14240a1: Download complete
48
- 86ec798129ac: Verifying Checksum
49
- 86ec798129ac: Download complete
50
- cc2ecf4065b7: Verifying Checksum
51
- cc2ecf4065b7: Download complete
52
- 8e167e77288f: Download complete
53
- 45d43cc973ba: Verifying Checksum
54
- 45d43cc973ba: Download complete
55
- 44c09156221f: Verifying Checksum
56
- 44c09156221f: Download complete
57
- 0cb2c6965bde: Verifying Checksum
58
- 0cb2c6965bde: Download complete
59
- f2fb700979ad: Download complete
60
- 86ec798129ac: Pull complete
61
- 597168d5c38e: Verifying Checksum
62
- 597168d5c38e: Download complete
63
- eef7c391911c: Pull complete
64
- cc2ecf4065b7: Pull complete
65
- 5760fdd70374: Pull complete
66
- c70db14240a1: Pull complete
67
- 2a1ced882ba9: Verifying Checksum
68
- 2a1ced882ba9: Download complete
69
- 36e15e3f2788: Download complete
70
- 0cb2c6965bde: Pull complete
71
- e431adaf232f: Verifying Checksum
72
- e431adaf232f: Download complete
73
- 885bca26f927: Download complete
74
- 885bca26f927: Pull complete
75
- 8e167e77288f: Pull complete
76
- 45d43cc973ba: Pull complete
77
- 44c09156221f: Pull complete
78
- f2fb700979ad: Pull complete
79
- 2a1ced882ba9: Pull complete
80
- 597168d5c38e: Pull complete
81
- e431adaf232f: Pull complete
82
- 36e15e3f2788: Pull complete
83
- Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
84
- Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
85
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
86
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
12
+ ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
87
13
  👤 Running container as UID:GID 1001:1001
88
14
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
89
15
  Compiling 84 files with Solc 0.8.22
90
- Solc 0.8.22 finished in 15.64s
16
+ Solc 0.8.22 finished in 16.12s
91
17
  Compiler run successful with warnings:
92
18
  Warning (2018): Function state mutability can be restricted to view
93
19
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -246,7 +172,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
246
172
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
247
173
  [PASS] test_storageHash() (gas: 3414)
248
174
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
249
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 51.94ms (49.45ms CPU time)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 9.50ms (6.90ms CPU time)
250
176
 
251
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
252
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -289,7 +215,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
289
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
290
216
  [PASS] test_storageHash() (gas: 3392)
291
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
292
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 63.03ms (40.77ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 26.51ms (20.20ms CPU time)
293
219
 
294
220
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
295
221
  [PASS] test_feeDeposit() (gas: 17576)
@@ -297,7 +223,64 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
297
223
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
298
224
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
299
225
  [PASS] test_storageHash() (gas: 3337)
300
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 180.37ms (179.75ms CPU time)
226
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 43.88ms (42.93ms CPU time)
227
+
228
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
229
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25828, ~: 38584)
230
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
231
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
232
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
233
+ [PASS] test_isPaused_InitialState() (gas: 15595)
234
+ [PASS] test_pause() (gas: 39592)
235
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28158, ~: 39861)
236
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
237
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
238
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
239
+ [PASS] test_storageHash() (gas: 3414)
240
+ [PASS] test_unpause() (gas: 31115)
241
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40464, ~: 42029)
242
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
243
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
244
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
245
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
246
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
247
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
248
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 134.68ms (192.45ms CPU time)
249
+
250
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
251
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
252
+ [PASS] test_constructor_InitialMode() (gas: 15778)
253
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
254
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
255
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
256
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
257
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
258
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
259
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
260
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
261
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
262
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
263
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
264
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
265
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
266
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
267
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
268
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
269
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
270
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
271
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
272
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
273
+ [PASS] test_setMode_Blacklist() (gas: 42605)
274
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
275
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
276
+ [PASS] test_setMode_Whitelist() (gas: 42714)
277
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
278
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
279
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
280
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
281
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
282
+ [PASS] test_storageHash() (gas: 3480)
283
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 325.58ms (371.01ms CPU time)
301
284
 
302
285
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
303
286
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -333,109 +316,37 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
333
316
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
334
317
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
335
318
  [PASS] test_storageHash() (gas: 3380)
336
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 304.30ms (387.72ms CPU time)
337
-
338
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
339
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
340
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
341
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
342
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
343
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
344
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
345
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
346
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
347
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
348
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
349
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 122.27ms (122.07ms CPU time)
350
-
351
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
352
- [PASS] test_feeDeposit() (gas: 17638)
353
- [PASS] test_setFeeDeposit() (gas: 27596)
354
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
355
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
356
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
357
- [PASS] test_storageHash() (gas: 3315)
358
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 252.13ms (251.41ms CPU time)
319
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 328.76ms (297.28ms CPU time)
359
320
 
360
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
361
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26824, ~: 12786)
362
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
363
- [PASS] test_assertNotPaused_Success() (gas: 12539)
364
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
365
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
366
- [PASS] test_isPaused_InitialState() (gas: 15629)
367
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
368
- [PASS] test_multipleRoleGrants() (gas: 394130)
369
- [PASS] test_pause() (gas: 42109)
370
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
371
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
372
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30401, ~: 18756)
373
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
374
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
375
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
376
- [PASS] test_setPaused_Success() (gas: 40691)
377
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
378
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
379
- [PASS] test_storageHash() (gas: 3414)
380
- [PASS] test_unpause() (gas: 35177)
381
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41647, ~: 38860)
382
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
383
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
384
- [PASS] test_whenNotPaused_Success() (gas: 38800)
385
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
386
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
387
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
388
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 475.88ms (179.35ms CPU time)
389
-
390
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
391
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 24847, ~: 12763)
392
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
393
- [PASS] test_assertNotPaused_Success() (gas: 12516)
394
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
395
- [PASS] test_isPaused_InitialState() (gas: 15595)
396
- [PASS] test_pause() (gas: 39592)
397
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27992, ~: 16219)
398
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
399
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
400
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
401
- [PASS] test_storageHash() (gas: 3414)
402
- [PASS] test_unpause() (gas: 31115)
403
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40467, ~: 42029)
404
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
405
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
406
- [PASS] test_whenNotPaused_Success() (gas: 38744)
407
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
408
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
409
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
410
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 488.02ms (683.38ms CPU time)
411
-
412
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
413
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
414
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
415
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44764, ~: 46317)
416
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
417
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
418
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
419
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
420
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
421
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
422
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
423
- [PASS] test_getFee_Default() (gas: 40577)
424
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43525, ~: 44486)
425
- [PASS] test_getFee_Rounding() (gas: 42835)
426
- [PASS] test_getFee_Specific() (gas: 63968)
427
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
428
- [PASS] test_setDefaultFeeBps() (gas: 39576)
429
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32566, ~: 39667)
430
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
431
- [PASS] test_setFeeBps() (gas: 73871)
321
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
322
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
323
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
324
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47697, ~: 48966)
325
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
326
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
327
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
328
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
329
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
330
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
331
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
332
+ [PASS] test_getFee_Default() (gas: 43108)
333
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45929, ~: 47017)
334
+ [PASS] test_getFee_Rounding() (gas: 45449)
335
+ [PASS] test_getFee_Specific() (gas: 66985)
336
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
337
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
338
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35826, ~: 42268)
339
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
340
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
341
+ [PASS] test_setFeeBps() (gas: 77237)
432
342
  Logs:
433
343
  Bound result 500
434
344
 
435
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65586, ~: 74224)
436
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
437
- [PASS] test_storageHash() (gas: 3426)
438
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 703.08ms (459.57ms CPU time)
345
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69166, ~: 77570)
346
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
347
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
348
+ [PASS] test_storageHash() (gas: 3436)
349
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 402.38ms (728.33ms CPU time)
439
350
 
440
351
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
441
352
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -453,7 +364,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
453
364
  [PASS] test_pauseConfig() (gas: 51028)
454
365
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
455
366
  [PASS] test_setDefaultPaused() (gas: 42196)
456
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
367
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30258, ~: 18826)
457
368
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
458
369
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
459
370
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -462,8 +373,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
462
373
  [PASS] test_setPaused_DormantData() (gas: 295234)
463
374
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
464
375
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
465
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43826, ~: 48696)
466
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224200, ~: 219722)
376
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43908, ~: 48696)
377
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224397, ~: 219722)
467
378
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
468
379
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
469
380
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -477,7 +388,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
477
388
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
478
389
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
479
390
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
480
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62838, ~: 73465)
391
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62388, ~: 50341)
481
392
  [PASS] test_storageHash() (gas: 3392)
482
393
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
483
394
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -485,41 +396,110 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
485
396
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
486
397
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
487
398
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
488
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.44s (1.53s CPU time)
399
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 405.58ms (627.81ms CPU time)
489
400
 
490
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
491
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
492
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
493
- [PASS] test_assertNotPaused_Success() (gas: 14934)
494
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
495
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
496
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
497
- [PASS] test_isPaused_Default() (gas: 44698)
498
- [PASS] test_isPaused_InitialState() (gas: 22070)
499
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
500
- [PASS] test_isPaused_Override() (gas: 69381)
501
- [PASS] test_isPaused_Specific() (gas: 46709)
502
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
503
- [PASS] test_pauseConfig() (gas: 45626)
504
- [PASS] test_setDefaultPaused() (gas: 39667)
505
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
506
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
507
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
508
- [PASS] test_setPaused() (gas: 43060)
509
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
510
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38159, ~: 43373)
511
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
512
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
513
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
514
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58683, ~: 69608)
515
- [PASS] test_storageHash() (gas: 3480)
516
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
517
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
518
- [PASS] test_whenNotPaused_Success() (gas: 41297)
519
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
520
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
521
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
522
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.47s (531.36ms CPU time)
401
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
402
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
403
+ [PASS] test_constructor_InitialMode() (gas: 15578)
404
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
405
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
406
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
407
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
408
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
409
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
410
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
411
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
412
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
413
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
414
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
415
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
416
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
417
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
418
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
419
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
420
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
421
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
422
+ [PASS] test_setMode_Blacklist() (gas: 40021)
423
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
424
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
425
+ [PASS] test_setMode_Whitelist() (gas: 40108)
426
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
427
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
428
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
429
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
430
+ [PASS] test_storageHash() (gas: 3458)
431
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 966.88ms (418.60ms CPU time)
432
+
433
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
434
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
435
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
436
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44928, ~: 46317)
437
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
438
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
439
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
440
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
441
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
442
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
443
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
444
+ [PASS] test_getFee_Default() (gas: 40577)
445
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42911, ~: 44486)
446
+ [PASS] test_getFee_Rounding() (gas: 42835)
447
+ [PASS] test_getFee_Specific() (gas: 63968)
448
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
449
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
450
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32054, ~: 39667)
451
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
452
+ [PASS] test_setFeeBps() (gas: 73871)
453
+ Logs:
454
+ Bound result 500
455
+
456
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65693, ~: 74224)
457
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
458
+ [PASS] test_storageHash() (gas: 3426)
459
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.14s (565.88ms CPU time)
460
+
461
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
462
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27758, ~: 41090)
463
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
464
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
465
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
466
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
467
+ [PASS] test_isPaused_InitialState() (gas: 15629)
468
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
469
+ [PASS] test_multipleRoleGrants() (gas: 394130)
470
+ [PASS] test_pause() (gas: 42109)
471
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
472
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
473
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31039, ~: 42378)
474
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
475
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
476
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
477
+ [PASS] test_setPaused_Success() (gas: 40691)
478
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
479
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
480
+ [PASS] test_storageHash() (gas: 3414)
481
+ [PASS] test_unpause() (gas: 35177)
482
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41770, ~: 44479)
483
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
484
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
485
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
486
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
487
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
488
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
489
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.26s (233.37ms CPU time)
490
+
491
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
492
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
493
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
494
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
495
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
496
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
497
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
498
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
499
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
500
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
501
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
502
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.26s (106.95ms CPU time)
523
503
 
524
504
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
525
505
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -527,375 +507,337 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
527
507
  ╭-----------------------------------+---------------------+-------+---------+----------╮
528
508
  | Contract | Selector | Calls | Reverts | Discards |
529
509
  +======================================================================================+
530
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
510
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
531
511
  |-----------------------------------+---------------------+-------+---------+----------|
532
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
512
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
533
513
  |-----------------------------------+---------------------+-------+---------+----------|
534
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
514
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
535
515
  |-----------------------------------+---------------------+-------+---------+----------|
536
- | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
516
+ | RateLimiterRBACUpgradeableHandler | setState | 592 | 0 | 0 |
537
517
  |-----------------------------------+---------------------+-------+---------+----------|
538
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
539
519
  |-----------------------------------+---------------------+-------+---------+----------|
540
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
520
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 520 | 0 | 0 |
541
521
  |-----------------------------------+---------------------+-------+---------+----------|
542
- | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
522
+ | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
543
523
  ╰-----------------------------------+---------------------+-------+---------+----------╯
544
524
 
545
525
  Logs:
546
- Bound result 710
547
- Bound result 914
548
- Bound result 448281
549
- Bound result 0
526
+ Bound result 430220859
550
527
  Bound result 3
551
- Bound result 943416918938
552
- Bound result 1384821594377126
553
- Bound result 46486457803
554
- Bound result 947
555
- Bound result 514264337593504336254
556
- Bound result 1116629681742513596181
557
- Bound result 618
528
+ Bound result 0
529
+ Bound result 100000000000000000000
530
+ Bound result 9900000024265795738021
531
+ Bound result 8759
532
+ Bound result 7833
533
+ Bound result 8463
534
+ Bound result 1
535
+ Bound result 100000000000000000003
536
+ Bound result 9900000000000000000191
537
+ Bound result 373
538
+ Bound result 977
539
+ Bound result 8525
540
+ Bound result 2
541
+ Bound result 787951
542
+ Bound result 1
543
+ Bound result 844
544
+ Bound result 266
558
545
 
559
546
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
560
547
 
561
548
  ╭-----------------------------------+---------------------+-------+---------+----------╮
562
549
  | Contract | Selector | Calls | Reverts | Discards |
563
550
  +======================================================================================+
564
- | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
551
+ | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
565
552
  |-----------------------------------+---------------------+-------+---------+----------|
566
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
553
+ | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
567
554
  |-----------------------------------+---------------------+-------+---------+----------|
568
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
555
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
569
556
  |-----------------------------------+---------------------+-------+---------+----------|
570
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
571
558
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
559
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
573
560
  |-----------------------------------+---------------------+-------+---------+----------|
574
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
561
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
575
562
  |-----------------------------------+---------------------+-------+---------+----------|
576
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | warp | 583 | 0 | 0 |
577
564
  ╰-----------------------------------+---------------------+-------+---------+----------╯
578
565
 
579
566
  Logs:
580
- Bound result 107477462
581
- Bound result 220
582
- Bound result 169
583
- Bound result 312039384138583
584
- Bound result 1066435300
585
- Bound result 119
586
- Bound result 1440
587
- Bound result 5578
588
- Bound result 812
589
- Bound result 795
590
- Bound result 9900000000000000002555
591
- Bound result 9900000000000000001157
592
- Bound result 923
593
- Bound result 1512
594
- Bound result 10787
595
- Bound result 3190
596
- Bound result 9900000000000000000408
597
- Bound result 1000000000000000000001
598
- Bound result 1852
599
- Bound result 436
600
- Bound result 9407
601
- Bound result 9900000022244634513547
602
- Bound result 4131391604869704559287
603
- Bound result 56
604
- Bound result 7298
567
+ Bound result 1041
568
+ Bound result 6
569
+ Bound result 1174656503153001060264
570
+ Bound result 394460
571
+ Bound result 476523809418112675
572
+ Bound result 339
573
+ Bound result 455264424
574
+ Bound result 9891957830880882817203
575
+ Bound result 4526835281142001599284
576
+ Bound result 60
577
+ Bound result 2385
578
+ Bound result 103489473682
605
579
 
606
580
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
607
581
 
608
582
  ╭-----------------------------------+---------------------+-------+---------+----------╮
609
583
  | Contract | Selector | Calls | Reverts | Discards |
610
584
  +======================================================================================+
611
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
612
586
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
587
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
614
588
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
589
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
616
590
  |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
591
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
618
592
  |-----------------------------------+---------------------+-------+---------+----------|
619
593
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
620
594
  |-----------------------------------+---------------------+-------+---------+----------|
621
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
595
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
622
596
  |-----------------------------------+---------------------+-------+---------+----------|
623
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
597
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
624
598
  ╰-----------------------------------+---------------------+-------+---------+----------╯
625
599
 
626
600
  Logs:
627
- Bound result 6557447762
628
- Bound result 12153877481689162
629
- Bound result 9900000000000000002074
630
- Bound result 9900000000000534896958
631
- Bound result 10
632
- Bound result 568
633
- Bound result 704
634
- Bound result 122
635
- Bound result 9917
636
- Bound result 783
637
- Bound result 151
638
- Bound result 75
639
- Bound result 9900000000000035189634
640
- Bound result 9900000000005625737000
641
- Bound result 121
642
- Bound result 1985
643
- Bound result 7517242636788455394764
644
- Bound result 267838131561317436667
601
+ Bound result 260160
602
+ Bound result 8451284942180136621983
603
+ Bound result 9900000269825034489287
604
+ Bound result 3673
605
+ Bound result 918
606
+ Bound result 88467884
607
+ Bound result 4
608
+ Bound result 89
645
609
  Bound result 0
646
- Bound result 3239291533296635294550
647
- Bound result 1229
648
- Bound result 9900000000000000006028
649
- Bound result 9900000000000000009230
650
- Bound result 5993
651
- Bound result 3482
610
+ Bound result 701491281726254851856
611
+ Bound result 1
612
+ Bound result 13646929
613
+ Bound result 401651
614
+ Bound result 1
615
+ Bound result 8508
616
+ Bound result 3542
617
+ Bound result 1048
618
+ Bound result 9900000675063042502319
619
+ Bound result 788441840621040669028
620
+ Bound result 551
621
+ Bound result 1805
622
+ Bound result 34630625794734
652
623
 
653
624
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
654
625
 
655
626
  ╭-----------------------------------+---------------------+-------+---------+----------╮
656
627
  | Contract | Selector | Calls | Reverts | Discards |
657
628
  +======================================================================================+
658
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
629
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
659
630
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
631
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
661
632
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
633
+ | RateLimiterRBACUpgradeableHandler | setConfig | 534 | 0 | 0 |
663
634
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
635
+ | RateLimiterRBACUpgradeableHandler | setState | 578 | 0 | 0 |
665
636
  |-----------------------------------+---------------------+-------+---------+----------|
666
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
637
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
667
638
  |-----------------------------------+---------------------+-------+---------+----------|
668
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 518 | 0 | 0 |
639
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
669
640
  |-----------------------------------+---------------------+-------+---------+----------|
670
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
641
+ | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
671
642
  ╰-----------------------------------+---------------------+-------+---------+----------╯
672
643
 
673
644
  Logs:
674
- Bound result 4191
675
- Bound result 1684998121434298764716
676
- Bound result 476308818638429071493
677
- Bound result 1
678
- Bound result 9900000000846179274370
679
- Bound result 9929727078355876634234
680
- Bound result 33
681
- Bound result 7490
682
- Bound result 8354
683
- Bound result 2805501229892454568559
684
- Bound result 1738
685
- Bound result 1
686
- Bound result 10881253132097390599196
687
- Bound result 16863253468373433495847
688
- Bound result 0
689
- Bound result 196810711556611010
645
+ Bound result 983
646
+ Bound result 809
647
+ Bound result 281474976710654
648
+ Bound result 461654581096718720841
649
+ Bound result 1621440235569848056315
650
+ Bound result 2112
651
+ Bound result 3782
652
+ Bound result 1859881191227025124713
653
+ Bound result 8047
654
+ Bound result 3
690
655
  Bound result 1
691
- Bound result 7097
692
- Bound result 7666
693
- Bound result 0
694
- Bound result 4450
695
- Bound result 4014628
696
- Bound result 10234
697
- Bound result 6907492496864723640631
698
- Bound result 3381812520029375161127
699
- Bound result 2444
656
+ Bound result 37505
657
+ Bound result 49
658
+ Bound result 1260574823935792450
659
+ Bound result 3437743800219635
660
+ Bound result 4490
661
+ Bound result 3317
662
+ Bound result 1825
663
+ Bound result 54
700
664
 
701
665
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
702
666
 
703
667
  ╭-----------------------------------+---------------------+-------+---------+----------╮
704
668
  | Contract | Selector | Calls | Reverts | Discards |
705
669
  +======================================================================================+
706
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
670
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
707
671
  |-----------------------------------+---------------------+-------+---------+----------|
708
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
672
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
709
673
  |-----------------------------------+---------------------+-------+---------+----------|
710
- | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
674
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
711
675
  |-----------------------------------+---------------------+-------+---------+----------|
712
676
  | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
713
677
  |-----------------------------------+---------------------+-------+---------+----------|
714
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
678
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
715
679
  |-----------------------------------+---------------------+-------+---------+----------|
716
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
680
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 506 | 0 | 0 |
717
681
  |-----------------------------------+---------------------+-------+---------+----------|
718
- | RateLimiterRBACUpgradeableHandler | warp | 519 | 0 | 0 |
682
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
719
683
  ╰-----------------------------------+---------------------+-------+---------+----------╯
720
684
 
721
685
  Logs:
722
- Bound result 991
723
- Bound result 388
724
- Bound result 1561690
725
- Bound result 3119762622161
726
- Bound result 3
727
- Bound result 756
728
- Bound result 950
729
- Bound result 82
730
- Bound result 78
731
- Bound result 2
732
- Bound result 9900000000000120126173
733
- Bound result 9900000000000000008226
734
- Bound result 5603
735
- Bound result 4383
736
- Bound result 164476158111
737
- Bound result 1656
686
+ Bound result 1355
687
+ Bound result 9900000000000000000580
688
+ Bound result 9900800728412493008972
689
+ Bound result 7402
690
+ Bound result 6241
691
+ Bound result 999999999999999999999
692
+ Bound result 174
693
+ Bound result 9900000779151327152361
694
+ Bound result 9900000190223840972282
695
+ Bound result 482
696
+ Bound result 2570
697
+ Bound result 7751
698
+ Bound result 188828697900
699
+ Bound result 1117
700
+ Bound result 9900000000000000001920
701
+ Bound result 9900000000452857328474
702
+ Bound result 8226
703
+ Bound result 829
704
+ Bound result 100000000000000000001
705
+ Bound result 9900000000010757575637
706
+ Bound result 6242
707
+ Bound result 22
738
708
 
739
709
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
740
710
 
741
711
  ╭-----------------------------------+---------------------+-------+---------+----------╮
742
712
  | Contract | Selector | Calls | Reverts | Discards |
743
713
  +======================================================================================+
744
- | RateLimiterRBACUpgradeableHandler | inflow | 588 | 0 | 0 |
714
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
745
715
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
716
+ | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
747
717
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
718
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
749
719
  |-----------------------------------+---------------------+-------+---------+----------|
750
- | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
720
+ | RateLimiterRBACUpgradeableHandler | setState | 508 | 0 | 0 |
751
721
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 511 | 0 | 0 |
722
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
753
723
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 592 | 0 | 0 |
724
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
755
725
  |-----------------------------------+---------------------+-------+---------+----------|
756
- | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
757
727
  ╰-----------------------------------+---------------------+-------+---------+----------╯
758
728
 
759
729
  Logs:
760
- Bound result 6604434656977032851
761
- Bound result 1153517052078272149377
730
+ Bound result 9900000000004768822200
731
+ Bound result 9900000000605812540899
732
+ Bound result 7945
733
+ Bound result 123
734
+ Bound result 86
735
+ Bound result 64768220142864804449
736
+ Bound result 431331609
737
+ Bound result 0
738
+ Bound result 9900000000000000008703
739
+ Bound result 9900000000000000003372
740
+ Bound result 8690
741
+ Bound result 143
742
+ Bound result 2783
743
+ Bound result 9900000000337414417468
744
+ Bound result 9900000000000000000060
745
+ Bound result 4044
746
+ Bound result 3528
747
+ Bound result 4965632465768235762440
748
+ Bound result 124248596731573052249
762
749
  Bound result 1
763
- Bound result 9
764
- Bound result 1492
765
- Bound result 8498
766
- Bound result 854037
767
- Bound result 13865082532702313
768
- Bound result 9
769
- Bound result 617
770
- Bound result 5196
771
- Bound result 281474976710655
772
- Bound result 9900000000000000001716
773
- Bound result 9900000000000000006895
774
- Bound result 8225
775
- Bound result 4235
750
+ Bound result 877
751
+ Bound result 7107
752
+ Bound result 0
753
+ Bound result 2239
754
+ Bound result 4748
755
+ Bound result 4294967296
776
756
  Bound result 1
777
- Bound result 67505
778
- Bound result 24114361483398
757
+ Bound result 7497
758
+ Bound result 1830
779
759
 
780
760
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
781
761
 
782
762
  ╭-----------------------------------+---------------------+-------+---------+----------╮
783
763
  | Contract | Selector | Calls | Reverts | Discards |
784
764
  +======================================================================================+
785
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
765
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
786
766
  |-----------------------------------+---------------------+-------+---------+----------|
787
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
767
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
788
768
  |-----------------------------------+---------------------+-------+---------+----------|
789
- | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
769
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
790
770
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
771
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
792
772
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
794
774
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
796
776
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
798
778
  ╰-----------------------------------+---------------------+-------+---------+----------╯
799
779
 
800
780
  Logs:
801
- Bound result 372960295861253618372
802
- Bound result 393
803
- Bound result 1198996683314046567426
804
- Bound result 25076358
805
- Bound result 185
806
- Bound result 9900000000000001127969
807
- Bound result 100000000000000000002
808
- Bound result 11
809
- Bound result 80
810
- Bound result 160
811
- Bound result 5
812
- Bound result 100000000000000000000
813
- Bound result 2230689580238792486583
814
- Bound result 4180
815
- Bound result 1601
816
- Bound result 55198230
817
- Bound result 9900000000000000004531
818
- Bound result 1271298667512951725961
819
- Bound result 475
820
- Bound result 8206
781
+ Bound result 9900000000000000007811
782
+ Bound result 9900000000000508542455
783
+ Bound result 2224
784
+ Bound result 971
785
+ Bound result 9900000000000000008691
786
+ Bound result 9900000000000000007810
787
+ Bound result 2013
788
+ Bound result 874
789
+ Bound result 9900000000000000519155
790
+ Bound result 9900000000000002650740
791
+ Bound result 7330
792
+ Bound result 7998
793
+ Bound result 2
794
+ Bound result 122456608717
795
+ Bound result 9900000000000000006056
796
+ Bound result 9900000000000000007155
797
+ Bound result 9427
798
+ Bound result 5071
799
+ Bound result 210033168376
800
+ Bound result 8973
821
801
 
822
802
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
823
803
 
824
804
  ╭-----------------------------------+---------------------+-------+---------+----------╮
825
805
  | Contract | Selector | Calls | Reverts | Discards |
826
806
  +======================================================================================+
827
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
807
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
828
808
  |-----------------------------------+---------------------+-------+---------+----------|
829
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
809
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
830
810
  |-----------------------------------+---------------------+-------+---------+----------|
831
- | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
811
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
832
812
  |-----------------------------------+---------------------+-------+---------+----------|
833
- | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
813
+ | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
834
814
  |-----------------------------------+---------------------+-------+---------+----------|
835
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 578 | 0 | 0 |
815
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
836
816
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
817
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
838
818
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
819
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
840
820
  ╰-----------------------------------+---------------------+-------+---------+----------╯
841
821
 
842
822
  Logs:
843
- Bound result 31065785
844
- Bound result 1308854518907779239058
845
- Bound result 1829
846
- Bound result 2980944
847
- Bound result 690079335456
848
- Bound result 486
849
- Bound result 1127710599194802551629
850
- Bound result 2
851
- Bound result 3690631733098627996
852
- Bound result 905
853
- Bound result 9900002007868417043551
854
- Bound result 6914264337593535947491
855
- Bound result 80
856
- Bound result 5841
857
- Bound result 6658
858
- Bound result 13919
859
- Bound result 99472539064240914
860
- Bound result 59
861
- Bound result 3751
862
-
863
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.83s (17.54s CPU time)
823
+ Bound result 1082515988841392111028
824
+ Bound result 807150272789688072453
825
+ Bound result 694950641320269
826
+ Bound result 0
827
+ Bound result 3653
828
+ Bound result 1376
829
+ Bound result 1
830
+ Bound result 415
831
+ Bound result 213321909248534613145
832
+ Bound result 960561798967873049561
833
+ Bound result 8973
834
+ Bound result 7531
835
+ Bound result 0
836
+ Bound result 110
837
+ Bound result 43
838
+ Bound result 1780612324742102556330
864
839
 
865
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
866
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
867
- [PASS] test_constructor_InitialMode() (gas: 15778)
868
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
869
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
870
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
871
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
872
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
873
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
874
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
875
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
876
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
877
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
878
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
879
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
880
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
881
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
882
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
883
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
884
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
885
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
886
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
887
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
888
- [PASS] test_setMode_Blacklist() (gas: 42605)
889
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
890
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
891
- [PASS] test_setMode_Whitelist() (gas: 42714)
892
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
893
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
894
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
895
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
896
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
897
- [PASS] test_storageHash() (gas: 3480)
898
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 4.25s (919.32ms CPU time)
840
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.32s (8.33s CPU time)
899
841
 
900
842
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
901
843
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -903,426 +845,393 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
903
845
  ╭-----------------------------------+---------------------+-------+---------+----------╮
904
846
  | Contract | Selector | Calls | Reverts | Discards |
905
847
  +======================================================================================+
906
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
848
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
907
849
  |-----------------------------------+---------------------+-------+---------+----------|
908
- | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
850
+ | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
909
851
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
852
+ | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
911
853
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
854
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
913
855
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 578 | 0 | 0 |
856
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
915
857
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
858
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
917
859
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
860
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
919
861
  ╰-----------------------------------+---------------------+-------+---------+----------╯
920
862
 
921
863
  Logs:
922
- Bound result 810248654550682
923
- Bound result 8096
924
- Bound result 1663422
925
- Bound result 102341844482
864
+ Bound result 2029075237
865
+ Bound result 8984422383581877
866
+ Bound result 0
867
+ Bound result 613
868
+ Bound result 8346
926
869
  Bound result 1
927
- Bound result 9900000000001683397269
928
- Bound result 9900816071789718865872
929
- Bound result 3491
930
- Bound result 27
931
- Bound result 88782
932
- Bound result 771
933
- Bound result 6516
934
- Bound result 4862897492117581825957
935
- Bound result 1940791852307058025218
936
- Bound result 36
937
- Bound result 6913
938
- Bound result 410025321100503917865
870
+ Bound result 9900000000000000000103
871
+ Bound result 6914264337593535947491
872
+ Bound result 5540
873
+ Bound result 9998
874
+ Bound result 9900000000000000008173
875
+ Bound result 9900000000000000002124
876
+ Bound result 4948
877
+ Bound result 144
878
+ Bound result 1090705086343654947
879
+ Bound result 2051
880
+ Bound result 10060
881
+ Bound result 1704080653620175
882
+ Bound result 13124081452687999
883
+ Bound result 70460618402877473969
939
884
 
940
885
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
941
886
 
942
887
  ╭-----------------------------------+---------------------+-------+---------+----------╮
943
888
  | Contract | Selector | Calls | Reverts | Discards |
944
889
  +======================================================================================+
945
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
890
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
946
891
  |-----------------------------------+---------------------+-------+---------+----------|
947
- | RateLimiterRBACUpgradeableHandler | outflow | 577 | 0 | 0 |
892
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
948
893
  |-----------------------------------+---------------------+-------+---------+----------|
949
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
894
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
950
895
  |-----------------------------------+---------------------+-------+---------+----------|
951
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
896
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
952
897
  |-----------------------------------+---------------------+-------+---------+----------|
953
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
898
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
954
899
  |-----------------------------------+---------------------+-------+---------+----------|
955
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
900
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
956
901
  |-----------------------------------+---------------------+-------+---------+----------|
957
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
902
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
958
903
  ╰-----------------------------------+---------------------+-------+---------+----------╯
959
904
 
960
905
  Logs:
961
- Bound result 2147
962
- Bound result 11068
963
- Bound result 0
964
- Bound result 514264337593543950335
965
- Bound result 9900000000000000010109
966
- Bound result 6636192869016052233240
967
- Bound result 2161
968
- Bound result 1006
969
- Bound result 4573
970
- Bound result 5817
971
- Bound result 17878772063758332717445
972
- Bound result 4236
973
- Bound result 0
974
- Bound result 2250081539
975
- Bound result 374691478706008
976
- Bound result 1
977
- Bound result 1778
978
- Bound result 347
979
- Bound result 1
980
- Bound result 889736235745971537148
981
- Bound result 10992
982
- Bound result 8577421856198218038575
983
- Bound result 0
984
- Bound result 4193263714
985
- Bound result 18185796990404525786146
986
- Bound result 19779282005633434
906
+ Bound result 5787599219917849897821
907
+ Bound result 481743180969739694484
908
+ Bound result 7932
909
+ Bound result 13
910
+ Bound result 5901
911
+ Bound result 5261275687214114591430
912
+ Bound result 9922548089565154139343
913
+ Bound result 5918
914
+ Bound result 13
915
+ Bound result 12
916
+ Bound result 5388
917
+ Bound result 868367
918
+ Bound result 3882
919
+ Bound result 58532287
987
920
  Bound result 1
921
+ Bound result 846
922
+ Bound result 9900000000013154436208
923
+ Bound result 576228656988279056931
924
+ Bound result 673
925
+ Bound result 848
988
926
 
989
927
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
990
928
 
991
929
  ╭-----------------------------------+---------------------+-------+---------+----------╮
992
930
  | Contract | Selector | Calls | Reverts | Discards |
993
931
  +======================================================================================+
994
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
932
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
995
933
  |-----------------------------------+---------------------+-------+---------+----------|
996
- | RateLimiterRBACUpgradeableHandler | outflow | 587 | 0 | 0 |
934
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
997
935
  |-----------------------------------+---------------------+-------+---------+----------|
998
- | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
936
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
999
937
  |-----------------------------------+---------------------+-------+---------+----------|
1000
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
938
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
1001
939
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
940
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1003
941
  |-----------------------------------+---------------------+-------+---------+----------|
1004
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 510 | 0 | 0 |
942
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
1005
943
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
944
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1007
945
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1008
946
 
1009
947
  Logs:
1010
- Bound result 199592
1011
- Bound result 6921026424865313952820
1012
- Bound result 9900027733767935003264
1013
- Bound result 10
1014
- Bound result 847
1015
- Bound result 1082
1016
- Bound result 14360785669665382957938
1017
- Bound result 6503
1018
- Bound result 1070
1019
- Bound result 3165833
1020
- Bound result 2765856164454848737915
1021
- Bound result 22
1022
- Bound result 1170
1023
- Bound result 4622
1024
- Bound result 1733
1025
- Bound result 768
948
+ Bound result 7678
949
+ Bound result 131
1026
950
  Bound result 1
1027
- Bound result 201
1028
- Bound result 1079145659138569825647
1029
- Bound result 816
951
+ Bound result 2139
952
+ Bound result 248056175129
953
+ Bound result 21
954
+ Bound result 1
955
+ Bound result 455
956
+ Bound result 14899215045170
957
+ Bound result 923
958
+ Bound result 351
959
+ Bound result 2742
960
+ Bound result 7666
961
+ Bound result 0
962
+ Bound result 1341772070995673798325
963
+ Bound result 9900000000002975632819
964
+ Bound result 100000000000000000000
965
+ Bound result 6731
966
+ Bound result 10
1030
967
 
1031
968
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1032
969
 
1033
970
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1034
971
  | Contract | Selector | Calls | Reverts | Discards |
1035
972
  +======================================================================================+
1036
- | RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
1037
974
  |-----------------------------------+---------------------+-------+---------+----------|
1038
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1039
976
  |-----------------------------------+---------------------+-------+---------+----------|
1040
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
1041
978
  |-----------------------------------+---------------------+-------+---------+----------|
1042
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
1043
980
  |-----------------------------------+---------------------+-------+---------+----------|
1044
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
1045
982
  |-----------------------------------+---------------------+-------+---------+----------|
1046
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
983
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
1047
984
  |-----------------------------------+---------------------+-------+---------+----------|
1048
- | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
985
+ | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
1049
986
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1050
987
 
1051
988
  Logs:
1052
- Bound result 1292
1053
- Bound result 969220791573780810796
1054
- Bound result 44289236451750167006
1055
- Bound result 932
1056
- Bound result 329
1057
- Bound result 2
1058
- Bound result 823293458081908232383
1059
- Bound result 223
1060
- Bound result 6492
1061
- Bound result 100000000000000000002
1062
- Bound result 9900000000000064798751
1063
- Bound result 7469
1064
- Bound result 10
1065
- Bound result 14924759533600901583059
1066
- Bound result 9900000000000000001025
1067
- Bound result 9900000000000000006863
1068
- Bound result 5689
1069
- Bound result 384
1070
- Bound result 9900000000000026639249
1071
- Bound result 9899076080649081600704
1072
- Bound result 7609
1073
- Bound result 28
1074
- Bound result 9008
1075
- Bound result 9900000000000000001853
1076
- Bound result 9900000000000000000629
1077
- Bound result 1817
1078
- Bound result 9312
989
+ Bound result 672
990
+ Bound result 1632
991
+ Bound result 6804
992
+ Bound result 652
993
+ Bound result 8868514443057633847025
994
+ Bound result 100000000000000000000
995
+ Bound result 7548
996
+ Bound result 7928
997
+ Bound result 1
998
+ Bound result 5406821183019038519
999
+ Bound result 8321
1000
+ Bound result 8458
1001
+ Bound result 58
1002
+ Bound result 1987203153075903771
1079
1003
 
1080
1004
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1081
1005
 
1082
1006
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1083
1007
  | Contract | Selector | Calls | Reverts | Discards |
1084
1008
  +======================================================================================+
1085
- | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1009
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
1086
1010
  |-----------------------------------+---------------------+-------+---------+----------|
1087
- | RateLimiterRBACUpgradeableHandler | outflow | 579 | 0 | 0 |
1011
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1088
1012
  |-----------------------------------+---------------------+-------+---------+----------|
1089
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1013
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1090
1014
  |-----------------------------------+---------------------+-------+---------+----------|
1091
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
1015
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1092
1016
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 509 | 0 | 0 |
1017
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
1094
1018
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
1096
1020
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
1021
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
1098
1022
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1099
1023
 
1100
1024
  Logs:
1101
- Bound result 9900000001200848215018
1102
- Bound result 659396516426005902418
1103
- Bound result 71
1104
- Bound result 48
1105
- Bound result 5654
1106
- Bound result 5858
1107
- Bound result 6904654136661076439140
1108
- Bound result 1
1109
- Bound result 2693
1110
- Bound result 4508
1025
+ Bound result 8096
1026
+ Bound result 2518266275854295
1027
+ Bound result 218767232899663054003
1111
1028
  Bound result 0
1112
- Bound result 10364
1113
- Bound result 36
1114
- Bound result 88
1115
- Bound result 9900000000000000006979
1116
- Bound result 9900000000002719481311
1117
- Bound result 506
1118
- Bound result 1557
1119
- Bound result 2029
1120
- Bound result 4506
1029
+ Bound result 9900115550614565751927
1030
+ Bound result 9900000000004790528094
1031
+ Bound result 3770
1032
+ Bound result 1849
1033
+ Bound result 7944
1034
+ Bound result 4031537372228636469
1035
+ Bound result 1398323856619923559712
1036
+ Bound result 1
1037
+ Bound result 9900000000000000000248
1038
+ Bound result 9900000000000221382095
1039
+ Bound result 531
1040
+ Bound result 3313
1041
+ Bound result 3369440509232806190031
1042
+ Bound result 9933798305606641442797
1043
+ Bound result 86
1044
+ Bound result 7234
1045
+ Bound result 5736954851312578327809
1046
+ Bound result 2776
1047
+ Bound result 1
1048
+ Bound result 2338
1049
+ Bound result 992
1050
+ Bound result 1
1051
+ Bound result 2221314093440411
1121
1052
 
1122
1053
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1123
1054
 
1124
1055
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1125
1056
  | Contract | Selector | Calls | Reverts | Discards |
1126
1057
  +======================================================================================+
1127
- | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
1058
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
1128
1059
  |-----------------------------------+---------------------+-------+---------+----------|
1129
- | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
1060
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
1130
1061
  |-----------------------------------+---------------------+-------+---------+----------|
1131
- | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | setConfig | 584 | 0 | 0 |
1132
1063
  |-----------------------------------+---------------------+-------+---------+----------|
1133
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1064
+ | RateLimiterRBACUpgradeableHandler | setState | 523 | 0 | 0 |
1134
1065
  |-----------------------------------+---------------------+-------+---------+----------|
1135
1066
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 520 | 0 | 0 |
1136
1067
  |-----------------------------------+---------------------+-------+---------+----------|
1137
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
1068
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
1138
1069
  |-----------------------------------+---------------------+-------+---------+----------|
1139
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
1070
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
1140
1071
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1141
1072
 
1142
1073
  Logs:
1143
- Bound result 9900000000000000005295
1144
- Bound result 9900000000000000005854
1145
- Bound result 8206
1146
- Bound result 8769
1147
- Bound result 231520133927151875761
1148
- Bound result 1920
1149
- Bound result 9917835129928019042456
1150
- Bound result 1716752014432106279741
1151
- Bound result 10
1074
+ Bound result 12122947267
1075
+ Bound result 1070013247513807844702
1076
+ Bound result 1340746441847313130284
1077
+ Bound result 9900000000000000000008
1078
+ Bound result 4570
1079
+ Bound result 256
1080
+ Bound result 937770802844
1152
1081
  Bound result 11
1153
- Bound result 9900000000000000000651
1154
- Bound result 9900000000000000002808
1155
- Bound result 1479
1156
- Bound result 7972
1157
- Bound result 6914264337571071964380
1158
- Bound result 586520770876333325276
1159
- Bound result 4444662662865833056231
1160
- Bound result 1977
1161
- Bound result 5753
1162
- Bound result 221672091078395762
1163
- Bound result 11340629622902285
1164
1082
  Bound result 0
1165
- Bound result 1126131400539211706451
1166
1083
  Bound result 0
1084
+ Bound result 10901797853969800362227
1085
+ Bound result 0
1086
+ Bound result 1
1087
+ Bound result 8611
1088
+ Bound result 8544
1167
1089
 
1168
1090
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1169
1091
 
1170
1092
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1171
1093
  | Contract | Selector | Calls | Reverts | Discards |
1172
1094
  +======================================================================================+
1173
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
1174
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1175
- | RateLimiterRBACUpgradeableHandler | outflow | 501 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1176
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1177
- | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
1178
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1179
- | RateLimiterRBACUpgradeableHandler | setState | 629 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
1180
1102
  |-----------------------------------+---------------------+-------+---------+----------|
1181
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
1182
1104
  |-----------------------------------+---------------------+-------+---------+----------|
1183
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 580 | 0 | 0 |
1184
1106
  |-----------------------------------+---------------------+-------+---------+----------|
1185
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
1186
1108
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1187
1109
 
1188
1110
  Logs:
1189
- Bound result 135
1190
- Bound result 2092
1191
- Bound result 1576
1192
- Bound result 9900000000000000007749
1193
- Bound result 9900000000000000000657
1194
- Bound result 8727
1195
- Bound result 1512
1196
- Bound result 1000000000000000000001
1197
- Bound result 9591
1198
- Bound result 35
1111
+ Bound result 467636708805807444151
1112
+ Bound result 514264337593504336251
1199
1113
  Bound result 0
1200
- Bound result 5
1201
- Bound result 174
1202
- Bound result 8520814222693
1203
- Bound result 649
1204
- Bound result 7059
1205
- Bound result 267
1206
- Bound result 10750
1114
+ Bound result 1966
1115
+ Bound result 9927214329972313584843
1116
+ Bound result 9900000000000013199699
1117
+ Bound result 4743
1118
+ Bound result 4457
1119
+ Bound result 7065
1120
+ Bound result 2556380244971450314371
1121
+ Bound result 4323632356975216
1122
+ Bound result 110
1123
+ Bound result 9973425576024822214290
1124
+ Bound result 9900021510662658457239
1125
+ Bound result 6242
1126
+ Bound result 87
1127
+ Bound result 1912091136049577417
1128
+ Bound result 7119
1129
+ Bound result 17701220445327525343432
1130
+ Bound result 403828749865585666084
1131
+ Bound result 4
1132
+ Bound result 11274350493105230697303
1133
+ Bound result 3737
1134
+ Bound result 5643
1135
+ Bound result 9900000000000000008081
1136
+ Bound result 9900000000000000008100
1137
+ Bound result 5688
1138
+ Bound result 3043
1139
+ Bound result 8109
1207
1140
 
1208
1141
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1209
1142
 
1210
1143
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1211
1144
  | Contract | Selector | Calls | Reverts | Discards |
1212
1145
  +======================================================================================+
1213
- | RateLimiterRBACUpgradeableHandler | inflow | 520 | 0 | 0 |
1146
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
1214
1147
  |-----------------------------------+---------------------+-------+---------+----------|
1215
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
1148
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1216
1149
  |-----------------------------------+---------------------+-------+---------+----------|
1217
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
1150
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
1218
1151
  |-----------------------------------+---------------------+-------+---------+----------|
1219
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1152
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
1220
1153
  |-----------------------------------+---------------------+-------+---------+----------|
1221
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
1154
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
1222
1155
  |-----------------------------------+---------------------+-------+---------+----------|
1223
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
1156
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
1224
1157
  |-----------------------------------+---------------------+-------+---------+----------|
1225
- | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
1158
+ | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
1226
1159
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1227
1160
 
1228
1161
  Logs:
1229
- Bound result 9927185152393366828045
1230
- Bound result 1164079666587706868389
1231
- Bound result 6239
1232
- Bound result 177
1233
- Bound result 1471932636613513984170
1234
- Bound result 880016727800506874230
1235
- Bound result 6494
1162
+ Bound result 9900000000000000009484
1163
+ Bound result 9900000000000000007987
1164
+ Bound result 5035
1165
+ Bound result 718
1166
+ Bound result 7424
1167
+ Bound result 8426
1168
+ Bound result 1
1169
+ Bound result 946
1170
+ Bound result 6766793938721316449577
1171
+ Bound result 9900229435059730014099
1172
+ Bound result 12
1173
+ Bound result 2631
1174
+ Bound result 1960842529069
1175
+ Bound result 9900000000000000380233
1176
+ Bound result 265414821918295851205
1177
+ Bound result 9285
1178
+ Bound result 2624
1179
+ Bound result 599
1180
+ Bound result 9900000000030673534615
1181
+ Bound result 9900000020886428288087
1182
+ Bound result 8022
1236
1183
  Bound result 10
1237
- Bound result 11000
1238
- Bound result 45255564516780602
1239
- Bound result 3968
1240
- Bound result 1972357864
1241
- Bound result 120427637417
1242
- Bound result 821
1243
- Bound result 9994806745091080495628
1244
- Bound result 9901045431809080434810
1245
- Bound result 4084
1246
- Bound result 7985
1247
- Bound result 10927
1248
- Bound result 462
1249
- Bound result 9900000000000144467446
1250
- Bound result 8773683049460023641398
1251
- Bound result 6655
1252
- Bound result 191
1253
- Bound result 9900000000000000000498
1254
- Bound result 9900000000000000005199
1255
- Bound result 3663
1256
- Bound result 3149
1257
-
1258
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 4.24s (17.95s CPU time)
1184
+ Bound result 32
1259
1185
 
1260
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1261
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1262
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1263
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47549, ~: 48966)
1264
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1265
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1266
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1267
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1268
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1269
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1270
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1271
- [PASS] test_getFee_Default() (gas: 43108)
1272
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45430, ~: 47017)
1273
- [PASS] test_getFee_Rounding() (gas: 45449)
1274
- [PASS] test_getFee_Specific() (gas: 66985)
1275
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1276
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1277
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35354, ~: 42268)
1278
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1279
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1280
- [PASS] test_setFeeBps() (gas: 77237)
1281
- Logs:
1282
- Bound result 500
1186
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.33s (8.82s CPU time)
1283
1187
 
1284
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69183, ~: 77570)
1285
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1286
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1287
- [PASS] test_storageHash() (gas: 3436)
1288
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 16.25s (979.39ms CPU time)
1188
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1189
+ [PASS] test_feeDeposit() (gas: 17638)
1190
+ [PASS] test_setFeeDeposit() (gas: 27596)
1191
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
1192
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1193
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1194
+ [PASS] test_storageHash() (gas: 3315)
1195
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 11.27s (93.75ms CPU time)
1289
1196
 
1290
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1291
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1292
- [PASS] test_constructor_InitialMode() (gas: 15578)
1293
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1294
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1295
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1296
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1297
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1298
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1299
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1300
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1301
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1302
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1303
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1304
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1305
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1306
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1307
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1308
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1309
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1310
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1311
- [PASS] test_setMode_Blacklist() (gas: 40021)
1312
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1313
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1314
- [PASS] test_setMode_Whitelist() (gas: 40108)
1315
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1316
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1317
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1318
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1319
- [PASS] test_storageHash() (gas: 3458)
1320
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 17.39s (730.15ms CPU time)
1197
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1198
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1199
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1200
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1201
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1202
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1203
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1204
+ [PASS] test_isPaused_Default() (gas: 44698)
1205
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1206
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1207
+ [PASS] test_isPaused_Override() (gas: 69381)
1208
+ [PASS] test_isPaused_Specific() (gas: 46709)
1209
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1210
+ [PASS] test_pauseConfig() (gas: 45626)
1211
+ [PASS] test_setDefaultPaused() (gas: 39667)
1212
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28384, ~: 39918)
1213
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1214
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1215
+ [PASS] test_setPaused() (gas: 43060)
1216
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1217
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38000, ~: 43373)
1218
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1219
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1220
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1221
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58750, ~: 69608)
1222
+ [PASS] test_storageHash() (gas: 3480)
1223
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1224
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1225
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1226
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1227
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1228
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1229
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 11.27s (660.16ms CPU time)
1321
1230
 
1322
1231
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1323
1232
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1324
1233
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1325
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 766700, ~: 149339)
1234
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 724465, ~: 96983)
1326
1235
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1327
1236
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1328
1237
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1335,12 +1244,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1335
1244
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1336
1245
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1337
1246
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1338
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11192271, ~: 10487454)
1247
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11297759, ~: 10558691)
1339
1248
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1340
1249
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1341
1250
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1342
1251
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1343
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 765187, ~: 177903)
1252
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 768360, ~: 192061)
1344
1253
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1345
1254
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1346
1255
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1353,10 +1262,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1353
1262
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1354
1263
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1355
1264
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1356
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11151018, ~: 10367662)
1265
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11166897, ~: 10366103)
1357
1266
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1358
1267
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1359
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.37s (43.78s CPU time)
1268
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.27s (26.45s CPU time)
1360
1269
 
1361
- Ran 17 test suites in 17.42s (71.89s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1362
- ⏳ forge test: 35.251s
1270
+ Ran 17 test suites in 11.29s (42.79s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1271
+ ⏳ forge test: 30.222s