@layerzerolabs/utils-upgradeable-evm-contracts 0.2.80 → 0.2.81

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/.turbo/turbo-test.log +727 -676
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,15 +5,68 @@
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: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.
8
+ (node:70981) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
12
- ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
12
+ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
+ 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
14
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
15
+ forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
16
+ 86ec798129ac: Already exists
17
+ eef7c391911c: Already exists
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
+ 36e15e3f2788: Waiting
32
+ 8e167e77288f: Download complete
33
+ 5760fdd70374: Download complete
34
+ 45d43cc973ba: Download complete
35
+ c70db14240a1: Download complete
36
+ 44c09156221f: Download complete
37
+ f2fb700979ad: Download complete
38
+ 0cb2c6965bde: Download complete
39
+ 2a1ced882ba9: Waiting
40
+ 597168d5c38e: Download complete
41
+ e431adaf232f: Waiting
42
+ cc2ecf4065b7: Pull complete
43
+ 5760fdd70374: Pull complete
44
+ c70db14240a1: Pull complete
45
+ 0cb2c6965bde: Pull complete
46
+ 2a1ced882ba9: Verifying Checksum
47
+ 2a1ced882ba9: Download complete
48
+ 36e15e3f2788: Download complete
49
+ 885bca26f927: Verifying Checksum
50
+ 885bca26f927: Download complete
51
+ e431adaf232f: Verifying Checksum
52
+ e431adaf232f: Download complete
53
+ 885bca26f927: Pull complete
54
+ 8e167e77288f: Pull complete
55
+ 45d43cc973ba: Pull complete
56
+ 44c09156221f: Pull complete
57
+ f2fb700979ad: Pull complete
58
+ 2a1ced882ba9: Pull complete
59
+ 597168d5c38e: Pull complete
60
+ e431adaf232f: Pull complete
61
+ 36e15e3f2788: Pull complete
62
+ Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
63
+ 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
64
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
65
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
66
  👤 Running container as UID:GID 1001:1001
14
67
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
15
68
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 16.12s
69
+ Solc 0.8.22 finished in 11.91s
17
70
  Compiler run successful with warnings:
18
71
  Warning (2018): Function state mutability can be restricted to view
19
72
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -172,7 +225,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
172
225
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
226
  [PASS] test_storageHash() (gas: 3414)
174
227
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 9.50ms (6.90ms CPU time)
228
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 14.37ms (19.16ms CPU time)
176
229
 
177
230
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
231
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -215,7 +268,29 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
268
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
269
  [PASS] test_storageHash() (gas: 3392)
217
270
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 26.51ms (20.20ms CPU time)
271
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 36.66ms (28.03ms CPU time)
272
+
273
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
274
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
275
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
276
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
277
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
278
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
279
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
280
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
281
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
282
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
283
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
284
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 47.19ms (78.66ms CPU time)
285
+
286
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
287
+ [PASS] test_feeDeposit() (gas: 17638)
288
+ [PASS] test_setFeeDeposit() (gas: 27596)
289
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
290
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
291
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
292
+ [PASS] test_storageHash() (gas: 3315)
293
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 53.39ms (52.67ms CPU time)
219
294
 
220
295
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
296
  [PASS] test_feeDeposit() (gas: 17576)
@@ -223,64 +298,61 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
223
298
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
224
299
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
300
  [PASS] test_storageHash() (gas: 3337)
226
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 43.88ms (42.93ms CPU time)
301
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 68.76ms (68.26ms CPU time)
227
302
 
228
303
  Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
229
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25828, ~: 38584)
304
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25260, ~: 12763)
230
305
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
231
306
  [PASS] test_assertNotPaused_Success() (gas: 12516)
232
307
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
233
308
  [PASS] test_isPaused_InitialState() (gas: 15595)
234
309
  [PASS] test_pause() (gas: 39592)
235
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28158, ~: 39861)
310
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28347, ~: 39861)
236
311
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
237
312
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
238
313
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
239
314
  [PASS] test_storageHash() (gas: 3414)
240
315
  [PASS] test_unpause() (gas: 31115)
241
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40464, ~: 42029)
316
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40533, ~: 42029)
242
317
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
243
318
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
244
319
  [PASS] test_whenNotPaused_Success() (gas: 38744)
245
320
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
246
321
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
247
322
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
248
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 134.68ms (192.45ms CPU time)
323
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 130.07ms (134.61ms CPU time)
249
324
 
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)
325
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
326
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
327
+ [PASS] test_constructor_InitialMode() (gas: 15578)
328
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
329
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
330
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
331
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
332
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
333
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
334
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
335
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
336
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
337
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
338
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
339
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
340
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
341
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
342
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
343
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
344
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
345
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
346
+ [PASS] test_setMode_Blacklist() (gas: 40021)
347
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
348
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
349
+ [PASS] test_setMode_Whitelist() (gas: 40108)
350
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
351
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
352
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
353
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
354
+ [PASS] test_storageHash() (gas: 3458)
355
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 268.63ms (434.37ms CPU time)
284
356
 
285
357
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
286
358
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -290,7 +362,7 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
290
362
  [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
291
363
  [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
292
364
  [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
293
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
365
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46827, ~: 46847)
294
366
  [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
295
367
  [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
296
368
  [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
@@ -316,12 +388,46 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
316
388
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
317
389
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
318
390
  [PASS] test_storageHash() (gas: 3380)
319
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 328.76ms (297.28ms CPU time)
391
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 312.19ms (424.77ms CPU time)
392
+
393
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
394
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
395
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
396
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
397
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
398
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
399
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
400
+ [PASS] test_isPaused_Default() (gas: 44698)
401
+ [PASS] test_isPaused_InitialState() (gas: 22070)
402
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
403
+ [PASS] test_isPaused_Override() (gas: 69381)
404
+ [PASS] test_isPaused_Specific() (gas: 46709)
405
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
406
+ [PASS] test_pauseConfig() (gas: 45626)
407
+ [PASS] test_setDefaultPaused() (gas: 39667)
408
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28125, ~: 28125)
409
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
410
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
411
+ [PASS] test_setPaused() (gas: 43060)
412
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
413
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38199, ~: 43373)
414
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
415
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
416
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
417
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
418
+ [PASS] test_storageHash() (gas: 3480)
419
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
420
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
421
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
422
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
423
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
424
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
425
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 831.17ms (374.38ms CPU time)
320
426
 
321
427
  Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
322
428
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
323
429
  [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
324
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47697, ~: 48966)
430
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47216, ~: 48966)
325
431
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
326
432
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
327
433
  [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
@@ -330,908 +436,853 @@ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTes
330
436
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
331
437
  [PASS] test_getFee_BoundaryConditions() (gas: 75442)
332
438
  [PASS] test_getFee_Default() (gas: 43108)
333
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45929, ~: 47017)
439
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45615, ~: 47017)
334
440
  [PASS] test_getFee_Rounding() (gas: 45449)
335
441
  [PASS] test_getFee_Specific() (gas: 66985)
336
442
  [PASS] test_getFee_SpecificDisabled() (gas: 66943)
337
443
  [PASS] test_setDefaultFeeBps() (gas: 42199)
338
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35826, ~: 42268)
444
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34822, ~: 42268)
339
445
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
340
446
  [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
341
447
  [PASS] test_setFeeBps() (gas: 77237)
342
448
  Logs:
343
449
  Bound result 500
344
450
 
345
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69166, ~: 77570)
451
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69697, ~: 77570)
346
452
  [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
347
453
  [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
348
454
  [PASS] test_storageHash() (gas: 3436)
349
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 402.38ms (728.33ms CPU time)
350
-
351
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
352
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
353
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
354
- [PASS] test_assertNotPaused_Success() (gas: 14891)
355
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
356
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
357
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
358
- [PASS] test_isPaused_Default() (gas: 47316)
359
- [PASS] test_isPaused_InitialState() (gas: 22172)
360
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
361
- [PASS] test_isPaused_Override() (gas: 75171)
362
- [PASS] test_isPaused_Specific() (gas: 50105)
363
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
364
- [PASS] test_pauseConfig() (gas: 51028)
365
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
366
- [PASS] test_setDefaultPaused() (gas: 42196)
367
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30258, ~: 18826)
368
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
369
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
370
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
371
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
372
- [PASS] test_setPaused() (gas: 48361)
373
- [PASS] test_setPaused_DormantData() (gas: 295234)
374
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
375
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
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)
378
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
379
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
380
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
381
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
382
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
383
- [PASS] test_setPaused_Success() (gas: 45897)
384
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
385
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
386
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
387
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
388
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
389
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
390
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
391
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62388, ~: 50341)
392
- [PASS] test_storageHash() (gas: 3392)
393
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
394
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
395
- [PASS] test_whenNotPaused_Success() (gas: 41299)
396
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
397
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
398
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
399
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 405.58ms (627.81ms CPU time)
400
-
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)
455
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.19s (477.62ms CPU time)
432
456
 
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)
503
-
504
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
457
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
505
458
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
506
459
 
507
460
  ╭-----------------------------------+---------------------+-------+---------+----------╮
508
461
  | Contract | Selector | Calls | Reverts | Discards |
509
462
  +======================================================================================+
510
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
463
+ | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
511
464
  |-----------------------------------+---------------------+-------+---------+----------|
512
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
465
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
513
466
  |-----------------------------------+---------------------+-------+---------+----------|
514
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
467
+ | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
515
468
  |-----------------------------------+---------------------+-------+---------+----------|
516
- | RateLimiterRBACUpgradeableHandler | setState | 592 | 0 | 0 |
469
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
517
470
  |-----------------------------------+---------------------+-------+---------+----------|
518
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
471
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
519
472
  |-----------------------------------+---------------------+-------+---------+----------|
520
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 520 | 0 | 0 |
473
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
521
474
  |-----------------------------------+---------------------+-------+---------+----------|
522
- | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
475
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
523
476
  ╰-----------------------------------+---------------------+-------+---------+----------╯
524
477
 
525
478
  Logs:
526
- Bound result 430220859
527
- Bound result 3
479
+ Bound result 9904408303728298407082
480
+ Bound result 9900000000000186848824
481
+ Bound result 80
482
+ Bound result 23
483
+ Bound result 9900000000000000009800
484
+ Bound result 9900000000000000008175
485
+ Bound result 9382
486
+ Bound result 2025
487
+ Bound result 341
488
+ Bound result 5702368886537313911098
489
+ Bound result 9900201933349503432879
490
+ Bound result 12
491
+ Bound result 835
492
+ Bound result 126296342240516795
493
+ Bound result 542674763144299
528
494
  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
495
+ Bound result 1077
496
+ Bound result 37450
542
497
  Bound result 1
543
- Bound result 844
544
- Bound result 266
498
+ Bound result 934693208489839568
499
+ Bound result 2766509669206133275602
500
+ Bound result 0
501
+ Bound result 1298696395
502
+ Bound result 9406995310507544273999
503
+ Bound result 178951659678120
504
+ Bound result 0
545
505
 
546
506
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
547
507
 
548
508
  ╭-----------------------------------+---------------------+-------+---------+----------╮
549
509
  | Contract | Selector | Calls | Reverts | Discards |
550
510
  +======================================================================================+
551
- | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
511
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
552
512
  |-----------------------------------+---------------------+-------+---------+----------|
553
- | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
513
+ | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
554
514
  |-----------------------------------+---------------------+-------+---------+----------|
555
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
515
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
556
516
  |-----------------------------------+---------------------+-------+---------+----------|
557
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
517
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
558
518
  |-----------------------------------+---------------------+-------+---------+----------|
559
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
519
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
560
520
  |-----------------------------------+---------------------+-------+---------+----------|
561
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
521
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
562
522
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | warp | 583 | 0 | 0 |
523
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
564
524
  ╰-----------------------------------+---------------------+-------+---------+----------╯
565
525
 
566
526
  Logs:
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
527
+ Bound result 1292
528
+ Bound result 1775825204073242872444
529
+ Bound result 545627793784872
530
+ Bound result 9
531
+ Bound result 52975
532
+ Bound result 3997
533
+ Bound result 524
534
+ Bound result 140847196897514462688
535
+ Bound result 202579192921084140645
536
+ Bound result 272
537
+ Bound result 1921311143954643620704
538
+ Bound result 7572271119502448
539
+ Bound result 1
540
+ Bound result 3
541
+ Bound result 2555
542
+ Bound result 9
543
+ Bound result 0
544
+ Bound result 32634
545
+ Bound result 15
546
+ Bound result 1533157267046250839488
547
+ Bound result 26557875
548
+ Bound result 471
579
549
 
580
550
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
581
551
 
582
552
  ╭-----------------------------------+---------------------+-------+---------+----------╮
583
553
  | Contract | Selector | Calls | Reverts | Discards |
584
554
  +======================================================================================+
585
- | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
555
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
586
556
  |-----------------------------------+---------------------+-------+---------+----------|
587
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | outflow | 588 | 0 | 0 |
588
558
  |-----------------------------------+---------------------+-------+---------+----------|
589
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
559
+ | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
590
560
  |-----------------------------------+---------------------+-------+---------+----------|
591
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
561
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
592
562
  |-----------------------------------+---------------------+-------+---------+----------|
593
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
594
564
  |-----------------------------------+---------------------+-------+---------+----------|
595
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
565
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
596
566
  |-----------------------------------+---------------------+-------+---------+----------|
597
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
567
+ | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
598
568
  ╰-----------------------------------+---------------------+-------+---------+----------╯
599
569
 
600
570
  Logs:
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
609
- Bound result 0
610
- Bound result 701491281726254851856
611
- Bound result 1
612
- Bound result 13646929
613
- Bound result 401651
571
+ Bound result 25404106924
614
572
  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
573
+ Bound result 15532
574
+ Bound result 204928110601142840319
575
+ Bound result 6233564514
576
+ Bound result 0
577
+ Bound result 36718761437523376661
578
+ Bound result 514264337593543950334
579
+ Bound result 31
580
+ Bound result 9470
581
+ Bound result 476
582
+ Bound result 12
583
+ Bound result 338
584
+ Bound result 6870
585
+ Bound result 1258596102837552416440
586
+ Bound result 86
623
587
 
624
588
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
625
589
 
626
590
  ╭-----------------------------------+---------------------+-------+---------+----------╮
627
591
  | Contract | Selector | Calls | Reverts | Discards |
628
592
  +======================================================================================+
629
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
593
+ | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
630
594
  |-----------------------------------+---------------------+-------+---------+----------|
631
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
595
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
632
596
  |-----------------------------------+---------------------+-------+---------+----------|
633
- | RateLimiterRBACUpgradeableHandler | setConfig | 534 | 0 | 0 |
597
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
634
598
  |-----------------------------------+---------------------+-------+---------+----------|
635
- | RateLimiterRBACUpgradeableHandler | setState | 578 | 0 | 0 |
599
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
636
600
  |-----------------------------------+---------------------+-------+---------+----------|
637
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
601
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
638
602
  |-----------------------------------+---------------------+-------+---------+----------|
639
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
603
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
640
604
  |-----------------------------------+---------------------+-------+---------+----------|
641
- | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
605
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
642
606
  ╰-----------------------------------+---------------------+-------+---------+----------╯
643
607
 
644
608
  Logs:
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
609
+ Bound result 2580
610
+ Bound result 9419
611
+ Bound result 348
655
612
  Bound result 1
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
613
+ Bound result 1498
614
+ Bound result 37735462342003997
615
+ Bound result 690952447750667321909
616
+ Bound result 474
617
+ Bound result 9155
618
+ Bound result 1320
619
+ Bound result 184
620
+ Bound result 573637220759556
621
+ Bound result 120641
622
+ Bound result 1136
623
+ Bound result 497
664
624
 
665
625
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
666
626
 
667
627
  ╭-----------------------------------+---------------------+-------+---------+----------╮
668
628
  | Contract | Selector | Calls | Reverts | Discards |
669
629
  +======================================================================================+
670
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
671
631
  |-----------------------------------+---------------------+-------+---------+----------|
672
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
673
633
  |-----------------------------------+---------------------+-------+---------+----------|
674
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
675
635
  |-----------------------------------+---------------------+-------+---------+----------|
676
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
677
637
  |-----------------------------------+---------------------+-------+---------+----------|
678
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
679
639
  |-----------------------------------+---------------------+-------+---------+----------|
680
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 506 | 0 | 0 |
640
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
681
641
  |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
642
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
683
643
  ╰-----------------------------------+---------------------+-------+---------+----------╯
684
644
 
685
645
  Logs:
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
646
+ Bound result 3644
647
+ Bound result 9622
648
+ Bound result 37486
649
+ Bound result 1976
650
+ Bound result 1797
651
+ Bound result 2554
652
+ Bound result 1818
653
+ Bound result 1133
654
+ Bound result 2742
708
655
 
709
656
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
710
657
 
711
658
  ╭-----------------------------------+---------------------+-------+---------+----------╮
712
659
  | Contract | Selector | Calls | Reverts | Discards |
713
660
  +======================================================================================+
714
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
661
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
715
662
  |-----------------------------------+---------------------+-------+---------+----------|
716
- | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
663
+ | RateLimiterRBACUpgradeableHandler | outflow | 496 | 0 | 0 |
717
664
  |-----------------------------------+---------------------+-------+---------+----------|
718
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
665
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
719
666
  |-----------------------------------+---------------------+-------+---------+----------|
720
- | RateLimiterRBACUpgradeableHandler | setState | 508 | 0 | 0 |
667
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
721
668
  |-----------------------------------+---------------------+-------+---------+----------|
722
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
669
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
723
670
  |-----------------------------------+---------------------+-------+---------+----------|
724
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
671
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
725
672
  |-----------------------------------+---------------------+-------+---------+----------|
726
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
727
674
  ╰-----------------------------------+---------------------+-------+---------+----------╯
728
675
 
729
676
  Logs:
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
677
+ Bound result 2416
678
+ Bound result 317903
679
+ Bound result 167583241995080164
737
680
  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
749
- Bound result 1
750
- Bound result 877
751
- Bound result 7107
681
+ Bound result 514264337593543950335
682
+ Bound result 2807
683
+ Bound result 6896
752
684
  Bound result 0
753
- Bound result 2239
754
- Bound result 4748
755
- Bound result 4294967296
756
- Bound result 1
757
- Bound result 7497
758
- Bound result 1830
685
+ Bound result 25779
686
+ Bound result 5237
687
+ Bound result 901
688
+ Bound result 22243408265367101
689
+ Bound result 51
690
+ Bound result 9900000000127215837004
691
+ Bound result 9900000005080327960245
692
+ Bound result 12
693
+ Bound result 8069
694
+ Bound result 15961595145726692013566
759
695
 
760
696
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
761
697
 
762
698
  ╭-----------------------------------+---------------------+-------+---------+----------╮
763
699
  | Contract | Selector | Calls | Reverts | Discards |
764
700
  +======================================================================================+
765
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | inflow | 586 | 0 | 0 |
766
702
  |-----------------------------------+---------------------+-------+---------+----------|
767
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
768
704
  |-----------------------------------+---------------------+-------+---------+----------|
769
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
770
706
  |-----------------------------------+---------------------+-------+---------+----------|
771
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
772
708
  |-----------------------------------+---------------------+-------+---------+----------|
773
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 509 | 0 | 0 |
774
710
  |-----------------------------------+---------------------+-------+---------+----------|
775
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
776
712
  |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
713
+ | RateLimiterRBACUpgradeableHandler | warp | 613 | 0 | 0 |
778
714
  ╰-----------------------------------+---------------------+-------+---------+----------╯
779
715
 
780
716
  Logs:
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
717
+ Bound result 8696
718
+ Bound result 8441
793
719
  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
720
+ Bound result 5338916184266103016384
721
+ Bound result 9900000000006147029027
722
+ Bound result 11
723
+ Bound result 9417
724
+ Bound result 193830428
725
+ Bound result 3304
726
+ Bound result 7033091134962148963241
727
+ Bound result 17746199392372628628419
728
+ Bound result 0
729
+ Bound result 1885189308882275716294
730
+ Bound result 265932141375855
731
+ Bound result 667
732
+ Bound result 12333375747128
733
+ Bound result 19744261131761394551933
734
+ Bound result 1
801
735
 
802
736
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
803
737
 
804
738
  ╭-----------------------------------+---------------------+-------+---------+----------╮
805
739
  | Contract | Selector | Calls | Reverts | Discards |
806
740
  +======================================================================================+
807
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
808
742
  |-----------------------------------+---------------------+-------+---------+----------|
809
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
810
744
  |-----------------------------------+---------------------+-------+---------+----------|
811
- | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | setConfig | 581 | 0 | 0 |
812
746
  |-----------------------------------+---------------------+-------+---------+----------|
813
- | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
814
748
  |-----------------------------------+---------------------+-------+---------+----------|
815
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
749
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
816
750
  |-----------------------------------+---------------------+-------+---------+----------|
817
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
751
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
818
752
  |-----------------------------------+---------------------+-------+---------+----------|
819
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
753
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
820
754
  ╰-----------------------------------+---------------------+-------+---------+----------╯
821
755
 
822
756
  Logs:
823
- Bound result 1082515988841392111028
824
- Bound result 807150272789688072453
825
- Bound result 694950641320269
826
- Bound result 0
827
- Bound result 3653
828
- Bound result 1376
757
+ Bound result 3108708014919
758
+ Bound result 1597083259171092789380
759
+ Bound result 1
760
+ Bound result 506
761
+ Bound result 1537
762
+ Bound result 6390
763
+ Bound result 4867
764
+ Bound result 9900000003558791799366
765
+ Bound result 9900000000000000000007
766
+ Bound result 16
767
+ Bound result 48
768
+ Bound result 52974
769
+ Bound result 129931111364
829
770
  Bound result 1
830
- Bound result 415
831
- Bound result 213321909248534613145
832
- Bound result 960561798967873049561
833
- Bound result 8973
834
- Bound result 7531
771
+ Bound result 49193330110
835
772
  Bound result 0
836
- Bound result 110
837
- Bound result 43
838
- Bound result 1780612324742102556330
773
+ Bound result 38
774
+ Bound result 9915454683234610932537
775
+ Bound result 431349724969831177500
776
+ Bound result 60
777
+ Bound result 3170
839
778
 
840
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.32s (8.33s CPU time)
779
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.33s (8.55s CPU time)
841
780
 
842
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
781
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
843
782
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
844
783
 
845
784
  ╭-----------------------------------+---------------------+-------+---------+----------╮
846
785
  | Contract | Selector | Calls | Reverts | Discards |
847
786
  +======================================================================================+
848
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
787
+ | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
849
788
  |-----------------------------------+---------------------+-------+---------+----------|
850
- | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | outflow | 588 | 0 | 0 |
851
790
  |-----------------------------------+---------------------+-------+---------+----------|
852
- | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
853
792
  |-----------------------------------+---------------------+-------+---------+----------|
854
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
855
794
  |-----------------------------------+---------------------+-------+---------+----------|
856
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
857
796
  |-----------------------------------+---------------------+-------+---------+----------|
858
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
859
798
  |-----------------------------------+---------------------+-------+---------+----------|
860
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
861
800
  ╰-----------------------------------+---------------------+-------+---------+----------╯
862
801
 
863
802
  Logs:
864
- Bound result 2029075237
865
- Bound result 8984422383581877
866
- Bound result 0
867
- Bound result 613
868
- Bound result 8346
803
+ Bound result 111
804
+ Bound result 956354934
805
+ Bound result 938632286982360
806
+ Bound result 9900000000000000008480
807
+ Bound result 9900000000004202047188
808
+ Bound result 6846
809
+ Bound result 617
810
+ Bound result 2077
811
+ Bound result 9900000000000000000868
812
+ Bound result 9900000000000000000302
813
+ Bound result 140
814
+ Bound result 6242
815
+ Bound result 3444
816
+ Bound result 729843735
817
+ Bound result 9900000000080510778390
818
+ Bound result 9900000000000000000183
819
+ Bound result 1122
820
+ Bound result 6830
821
+ Bound result 3
822
+ Bound result 15313905472235496379586
869
823
  Bound result 1
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
824
+ Bound result 9900000000000000005604
825
+ Bound result 9900000000000000008589
826
+ Bound result 2777
827
+ Bound result 5390
828
+ Bound result 9900000000030717806745
829
+ Bound result 9900000000000000000007
830
+ Bound result 951
831
+ Bound result 182
832
+ Bound result 108789544617
884
833
 
885
834
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
886
835
 
887
836
  ╭-----------------------------------+---------------------+-------+---------+----------╮
888
837
  | Contract | Selector | Calls | Reverts | Discards |
889
838
  +======================================================================================+
890
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
891
840
  |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
893
842
  |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
895
844
  |-----------------------------------+---------------------+-------+---------+----------|
896
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
845
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
897
846
  |-----------------------------------+---------------------+-------+---------+----------|
898
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
847
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
899
848
  |-----------------------------------+---------------------+-------+---------+----------|
900
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
849
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
901
850
  |-----------------------------------+---------------------+-------+---------+----------|
902
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
851
+ | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
903
852
  ╰-----------------------------------+---------------------+-------+---------+----------╯
904
853
 
905
854
  Logs:
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
855
+ Bound result 6914264337593535947491
856
+ Bound result 9900000025768529946366
857
+ Bound result 7297
858
+ Bound result 2228
859
+ Bound result 5
860
+ Bound result 13059629231628388440430
920
861
  Bound result 1
921
- Bound result 846
922
- Bound result 9900000000013154436208
923
- Bound result 576228656988279056931
924
- Bound result 673
925
- Bound result 848
862
+ Bound result 4
863
+ Bound result 9900000000000000789502
864
+ Bound result 9912840140024546437231
865
+ Bound result 13
866
+ Bound result 986
867
+ Bound result 2705
868
+ Bound result 62
869
+ Bound result 872
870
+ Bound result 0
871
+ Bound result 34079488163
872
+ Bound result 68
873
+ Bound result 9900000000000000000537
874
+ Bound result 7198402883142699003208
875
+ Bound result 7543
876
+ Bound result 1051
877
+ Bound result 9900000000000000000090
878
+ Bound result 9900000000000000000898
879
+ Bound result 229
880
+ Bound result 7059
926
881
 
927
882
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
928
883
 
929
884
  ╭-----------------------------------+---------------------+-------+---------+----------╮
930
885
  | Contract | Selector | Calls | Reverts | Discards |
931
886
  +======================================================================================+
932
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
933
888
  |-----------------------------------+---------------------+-------+---------+----------|
934
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
889
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
935
890
  |-----------------------------------+---------------------+-------+---------+----------|
936
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
891
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
937
892
  |-----------------------------------+---------------------+-------+---------+----------|
938
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
893
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
939
894
  |-----------------------------------+---------------------+-------+---------+----------|
940
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
895
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
941
896
  |-----------------------------------+---------------------+-------+---------+----------|
942
897
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
943
898
  |-----------------------------------+---------------------+-------+---------+----------|
944
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
899
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
945
900
  ╰-----------------------------------+---------------------+-------+---------+----------╯
946
901
 
947
902
  Logs:
948
- Bound result 7678
949
- Bound result 131
950
- Bound result 1
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
903
+ Bound result 1292
904
+ Bound result 332
905
+ Bound result 4476
906
+ Bound result 325
907
+ Bound result 970569146992
908
+ Bound result 2518900894
909
+ Bound result 7266
910
+ Bound result 847
911
+ Bound result 586448803855385158
912
+ Bound result 1725303265142617147500
913
+ Bound result 64596971829999971949
914
+ Bound result 757
915
+ Bound result 38921548588426
916
+ Bound result 514264337593504336253
961
917
  Bound result 0
962
- Bound result 1341772070995673798325
963
- Bound result 9900000000002975632819
964
- Bound result 100000000000000000000
965
- Bound result 6731
966
- Bound result 10
918
+ Bound result 258695001346666
967
919
 
968
920
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
969
921
 
970
922
  ╭-----------------------------------+---------------------+-------+---------+----------╮
971
923
  | Contract | Selector | Calls | Reverts | Discards |
972
924
  +======================================================================================+
973
- | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
974
926
  |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
976
928
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
978
930
  |-----------------------------------+---------------------+-------+---------+----------|
979
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
980
932
  |-----------------------------------+---------------------+-------+---------+----------|
981
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 567 | 0 | 0 |
982
934
  |-----------------------------------+---------------------+-------+---------+----------|
983
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
984
936
  |-----------------------------------+---------------------+-------+---------+----------|
985
- | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
986
938
  ╰-----------------------------------+---------------------+-------+---------+----------╯
987
939
 
988
940
  Logs:
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
941
+ Bound result 664
942
+ Bound result 1019
943
+ Bound result 1147
944
+ Bound result 9900000000000000057398
945
+ Bound result 9904397915390116594501
946
+ Bound result 6647
947
+ Bound result 370
948
+ Bound result 0
949
+ Bound result 17225747321881369
950
+ Bound result 373
951
+ Bound result 66404
952
+ Bound result 12714971555103531341186
953
+ Bound result 8143
954
+ Bound result 64
955
+ Bound result 278410675274
956
+ Bound result 8519
957
+ Bound result 1409674006363036196
1003
958
 
1004
959
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1005
960
 
1006
961
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1007
962
  | Contract | Selector | Calls | Reverts | Discards |
1008
963
  +======================================================================================+
1009
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1010
965
  |-----------------------------------+---------------------+-------+---------+----------|
1011
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
1012
967
  |-----------------------------------+---------------------+-------+---------+----------|
1013
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
968
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
1014
969
  |-----------------------------------+---------------------+-------+---------+----------|
1015
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
970
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
1016
971
  |-----------------------------------+---------------------+-------+---------+----------|
1017
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
972
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
1018
973
  |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
974
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
1020
975
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
976
+ | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
1022
977
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1023
978
 
1024
979
  Logs:
1025
- Bound result 8096
1026
- Bound result 2518266275854295
1027
- Bound result 218767232899663054003
1028
- Bound result 0
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
980
+ Bound result 674159654178
981
+ Bound result 8611
982
+ Bound result 9900000000000000000863
983
+ Bound result 9900000000000177362150
984
+ Bound result 4987
985
+ Bound result 126
986
+ Bound result 8318
987
+ Bound result 10653956352243458983217
988
+ Bound result 9900000198303753164213
989
+ Bound result 3600958460119545943534
990
+ Bound result 11
991
+ Bound result 10
992
+ Bound result 625761769
993
+ Bound result 9900000000000000008348
994
+ Bound result 9918446744073709551616
995
+ Bound result 4652
996
+ Bound result 10000
997
+ Bound result 7292
998
+ Bound result 4665389155658899934301
999
+ Bound result 9900006949686964983516
1000
+ Bound result 10
1001
+ Bound result 6223
1002
+ Bound result 2424676
1003
+ Bound result 2618822091799701018055
1004
+ Bound result 39
1052
1005
 
1053
1006
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1054
1007
 
1055
1008
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1056
1009
  | Contract | Selector | Calls | Reverts | Discards |
1057
1010
  +======================================================================================+
1058
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
1011
+ | RateLimiterRBACUpgradeableHandler | inflow | 585 | 0 | 0 |
1059
1012
  |-----------------------------------+---------------------+-------+---------+----------|
1060
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
1013
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
1061
1014
  |-----------------------------------+---------------------+-------+---------+----------|
1062
- | RateLimiterRBACUpgradeableHandler | setConfig | 584 | 0 | 0 |
1015
+ | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1063
1016
  |-----------------------------------+---------------------+-------+---------+----------|
1064
- | RateLimiterRBACUpgradeableHandler | setState | 523 | 0 | 0 |
1017
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
1065
1018
  |-----------------------------------+---------------------+-------+---------+----------|
1066
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 520 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1067
1020
  |-----------------------------------+---------------------+-------+---------+----------|
1068
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
1021
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1069
1022
  |-----------------------------------+---------------------+-------+---------+----------|
1070
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
1023
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1071
1024
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1072
1025
 
1073
1026
  Logs:
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
1081
- Bound result 11
1082
- Bound result 0
1083
- Bound result 0
1084
- Bound result 10901797853969800362227
1085
- Bound result 0
1027
+ Bound result 980
1028
+ Bound result 813969345727289107256
1029
+ Bound result 903111104164318661495
1030
+ Bound result 836
1031
+ Bound result 1026
1032
+ Bound result 2
1033
+ Bound result 2753
1034
+ Bound result 9900000554545409923685
1035
+ Bound result 9900000157473083462719
1036
+ Bound result 6466
1037
+ Bound result 9997
1038
+ Bound result 1779593
1039
+ Bound result 9459996634304
1040
+ Bound result 3995
1086
1041
  Bound result 1
1087
- Bound result 8611
1088
- Bound result 8544
1042
+ Bound result 66
1043
+ Bound result 2949
1089
1044
 
1090
1045
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1091
1046
 
1092
1047
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1093
1048
  | Contract | Selector | Calls | Reverts | Discards |
1094
1049
  +======================================================================================+
1095
- | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
1050
+ | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
1096
1051
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1052
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1098
1053
  |-----------------------------------+---------------------+-------+---------+----------|
1099
1054
  | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
1100
1055
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
1056
+ | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
1102
1057
  |-----------------------------------+---------------------+-------+---------+----------|
1103
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
1058
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
1104
1059
  |-----------------------------------+---------------------+-------+---------+----------|
1105
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 580 | 0 | 0 |
1060
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
1106
1061
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
1108
1063
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1109
1064
 
1110
1065
  Logs:
1111
- Bound result 467636708805807444151
1112
- Bound result 514264337593504336251
1066
+ Bound result 9900000000000000000307
1067
+ Bound result 9900000000000000007156
1068
+ Bound result 3563
1069
+ Bound result 1916
1070
+ Bound result 104245793878
1071
+ Bound result 31565985
1072
+ Bound result 1
1073
+ Bound result 1
1074
+ Bound result 6914264337536271597249
1113
1075
  Bound result 0
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
1076
+ Bound result 2788
1077
+ Bound result 6348
1078
+ Bound result 1958248296
1079
+ Bound result 2189
1080
+ Bound result 7102245472436859832298
1081
+ Bound result 3045953110
1082
+ Bound result 4704213843551673407576
1083
+ Bound result 1234340499
1084
+ Bound result 2293
1085
+ Bound result 85826295670310916
1086
+ Bound result 2215
1140
1087
 
1141
1088
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1142
1089
 
1143
1090
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1144
1091
  | Contract | Selector | Calls | Reverts | Discards |
1145
1092
  +======================================================================================+
1146
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1147
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1148
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
1149
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1150
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | setConfig | 491 | 0 | 0 |
1151
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1152
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
1153
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1154
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
1155
1102
  |-----------------------------------+---------------------+-------+---------+----------|
1156
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
1157
1104
  |-----------------------------------+---------------------+-------+---------+----------|
1158
1105
  | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
1159
1106
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1160
1107
 
1161
1108
  Logs:
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
1183
- Bound result 10
1184
- Bound result 32
1109
+ Bound result 46
1110
+ Bound result 520669072
1111
+ Bound result 4510
1112
+ Bound result 4037675288
1113
+ Bound result 650
1114
+ Bound result 8
1115
+ Bound result 1135
1116
+ Bound result 9642
1117
+ Bound result 8191
1118
+ Bound result 930
1119
+ Bound result 882
1120
+ Bound result 9900000000000000004016
1121
+ Bound result 9900000000002074101769
1122
+ Bound result 6390
1123
+ Bound result 1509
1124
+ Bound result 177
1125
+ Bound result 6885577051282687559327
1126
+ Bound result 851
1127
+ Bound result 2182
1128
+ Bound result 23
1129
+ Bound result 9
1130
+ Bound result 6914247738880642517876
1131
+ Bound result 727
1132
+ Bound result 9900000000000000000468
1133
+ Bound result 9900000000000000000111
1134
+ Bound result 8141
1135
+ Bound result 7107
1185
1136
 
1186
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.33s (8.82s CPU time)
1137
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.38s (8.42s CPU time)
1187
1138
 
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)
1139
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1140
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26938, ~: 26938)
1141
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1142
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
1143
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1144
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1145
+ [PASS] test_isPaused_InitialState() (gas: 15629)
1146
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1147
+ [PASS] test_multipleRoleGrants() (gas: 394130)
1148
+ [PASS] test_pause() (gas: 42109)
1149
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1150
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1151
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30472, ~: 18756)
1152
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1153
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1154
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1155
+ [PASS] test_setPaused_Success() (gas: 40691)
1156
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1157
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1158
+ [PASS] test_storageHash() (gas: 3414)
1159
+ [PASS] test_unpause() (gas: 35177)
1160
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41809, ~: 44479)
1161
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1162
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1163
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
1164
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1165
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1166
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1167
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 10.53s (157.67ms CPU time)
1196
1168
 
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)
1169
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1170
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1171
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1172
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44784, ~: 46317)
1173
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1174
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1175
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1176
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1177
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1178
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1179
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1180
+ [PASS] test_getFee_Default() (gas: 40577)
1181
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43250, ~: 44486)
1182
+ [PASS] test_getFee_Rounding() (gas: 42835)
1183
+ [PASS] test_getFee_Specific() (gas: 63968)
1184
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1185
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1186
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32691, ~: 39667)
1187
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1188
+ [PASS] test_setFeeBps() (gas: 73871)
1189
+ Logs:
1190
+ Bound result 500
1191
+
1192
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65474, ~: 74224)
1193
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1194
+ [PASS] test_storageHash() (gas: 3426)
1195
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.53s (474.77ms CPU time)
1196
+
1197
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1198
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1199
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1200
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1201
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1202
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1203
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1204
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1205
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1206
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1207
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1208
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1209
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1210
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1211
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1212
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1213
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1214
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1215
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1216
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1217
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1218
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1219
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1220
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1221
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1222
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1223
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1224
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1225
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1226
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1227
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1228
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1222
1229
  [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)
1230
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 10.82s (505.31ms CPU time)
1231
+
1232
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1233
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1234
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1235
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
1236
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1237
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
1238
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1239
+ [PASS] test_isPaused_Default() (gas: 47316)
1240
+ [PASS] test_isPaused_InitialState() (gas: 22172)
1241
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1242
+ [PASS] test_isPaused_Override() (gas: 75171)
1243
+ [PASS] test_isPaused_Specific() (gas: 50105)
1244
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1245
+ [PASS] test_pauseConfig() (gas: 51028)
1246
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1247
+ [PASS] test_setDefaultPaused() (gas: 42196)
1248
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30919, ~: 42446)
1249
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1250
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1251
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1252
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
1253
+ [PASS] test_setPaused() (gas: 48361)
1254
+ [PASS] test_setPaused_DormantData() (gas: 295234)
1255
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
1256
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1257
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43783, ~: 48533)
1258
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223637, ~: 219722)
1259
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1260
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1261
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1262
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1263
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1264
+ [PASS] test_setPaused_Success() (gas: 45897)
1265
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
1266
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1267
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1268
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1269
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1270
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1271
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1272
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61907, ~: 50341)
1273
+ [PASS] test_storageHash() (gas: 3392)
1274
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1275
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1276
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
1277
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1278
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1279
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1280
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 10.82s (628.74ms CPU time)
1230
1281
 
1231
1282
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1232
1283
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1233
1284
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1234
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 724465, ~: 96983)
1285
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 798838, ~: 195090)
1235
1286
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1236
1287
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1237
1288
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1244,12 +1295,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1244
1295
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1245
1296
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1246
1297
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1247
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11297759, ~: 10558691)
1298
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11213361, ~: 10540323)
1248
1299
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1249
1300
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1250
1301
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1251
1302
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1252
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 768360, ~: 192061)
1303
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 723385, ~: 134370)
1253
1304
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1254
1305
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1255
1306
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1262,10 +1313,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1262
1313
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1263
1314
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1264
1315
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1265
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11166897, ~: 10366103)
1316
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11177799, ~: 10529985)
1266
1317
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1267
1318
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1268
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.27s (26.45s CPU time)
1319
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.82s (25.35s CPU time)
1269
1320
 
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
1321
+ Ran 17 test suites in 10.85s (59.18s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1322
+ ⏳ forge test: 25.690s