@layerzerolabs/utils-upgradeable-evm-contracts 1.2.25 → 1.2.26

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 +706 -774
  2. package/package.json +4 -4
package/.turbo/turbo-test.log CHANGED
@@ -4,102 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-pdFcIv
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-47bcS4
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:61403) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:181137) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-pdFcIv:/workspace
15
+ -v /tmp/lz-scoped-workspace-47bcS4:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
19
- Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
20
- 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
21
- $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
22
- forge-1.3.6-hardhat-2.26.3-patch-4: Pulling from layerzerolabs/evm-tooling
23
- 17639c486e57: Pulling fs layer
24
- 53d86cd64323: Pulling fs layer
25
- bbd7db620433: Pulling fs layer
26
- dd8d0adb78c1: Pulling fs layer
27
- e2082273f6a6: Pulling fs layer
28
- 6aca5ecbfbf0: Pulling fs layer
29
- 57cfa89d22f0: Pulling fs layer
30
- 95f21f1a21d0: Pulling fs layer
31
- 53d86cd64323: Download complete
32
- 796d60317d4d: Pulling fs layer
33
- e2082273f6a6: Waiting
34
- c35d7f83b6fc: Pulling fs layer
35
- 8f1cde221fc4: Pulling fs layer
36
- bcbb9eb73fb5: Pulling fs layer
37
- 57cfa89d22f0: Waiting
38
- 6aca5ecbfbf0: Waiting
39
- c8e19a2c627e: Pulling fs layer
40
- b79abc894e87: Pulling fs layer
41
- 63ec365deef1: Pulling fs layer
42
- dd8d0adb78c1: Waiting
43
- 8f1cde221fc4: Waiting
44
- 36a7bdc86737: Pulling fs layer
45
- 36a7bdc86737: Waiting
46
- 796d60317d4d: Waiting
47
- bcbb9eb73fb5: Waiting
48
- c35d7f83b6fc: Waiting
49
- c8e19a2c627e: Waiting
50
- b79abc894e87: Waiting
51
- 63ec365deef1: Waiting
52
- 95f21f1a21d0: Waiting
53
- dd8d0adb78c1: Verifying Checksum
54
- dd8d0adb78c1: Download complete
55
- 17639c486e57: Download complete
56
- e2082273f6a6: Verifying Checksum
57
- e2082273f6a6: Download complete
58
- bbd7db620433: Verifying Checksum
59
- bbd7db620433: Download complete
60
- 6aca5ecbfbf0: Download complete
61
- 796d60317d4d: Verifying Checksum
62
- 796d60317d4d: Download complete
63
- 17639c486e57: Pull complete
64
- c35d7f83b6fc: Download complete
65
- 57cfa89d22f0: Verifying Checksum
66
- 57cfa89d22f0: Download complete
67
- 8f1cde221fc4: Verifying Checksum
68
- 8f1cde221fc4: Download complete
69
- bcbb9eb73fb5: Verifying Checksum
70
- bcbb9eb73fb5: Download complete
71
- 53d86cd64323: Pull complete
72
- c8e19a2c627e: Download complete
73
- bbd7db620433: Pull complete
74
- dd8d0adb78c1: Pull complete
75
- e2082273f6a6: Pull complete
76
- 6aca5ecbfbf0: Pull complete
77
- 57cfa89d22f0: Pull complete
78
- 95f21f1a21d0: Verifying Checksum
79
- 95f21f1a21d0: Download complete
80
- 36a7bdc86737: Verifying Checksum
81
- 36a7bdc86737: Download complete
82
- 63ec365deef1: Verifying Checksum
83
- 63ec365deef1: Download complete
84
- b79abc894e87: Verifying Checksum
85
- b79abc894e87: Download complete
86
- 95f21f1a21d0: Pull complete
87
- 796d60317d4d: Pull complete
88
- c35d7f83b6fc: Pull complete
89
- 8f1cde221fc4: Pull complete
90
- bcbb9eb73fb5: Pull complete
91
- c8e19a2c627e: Pull complete
92
- b79abc894e87: Pull complete
93
- 63ec365deef1: Pull complete
94
- 36a7bdc86737: Pull complete
95
- Digest: sha256:778dd8fe35fba1405c5995090a0d4167609e8b03ece06b005fb0e067f4f7e2ab
96
- 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-4
97
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
98
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
19
+ ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4 (amd64)
99
20
  👤 Running container as UID:GID 1001:1001
100
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-pdFcIv:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-47bcS4:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4 forge test
101
22
  Compiling 92 files with Solc 0.8.26
102
- Solc 0.8.26 finished in 8.81s
23
+ Solc 0.8.26 finished in 11.66s
103
24
  Compiler run successful with warnings:
104
25
  Warning (2018): Function state mutability can be restricted to view
105
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -263,62 +184,24 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
263
184
  [PASS] test_setRateLimitStates_Single() (gas: 51642)
264
185
  [PASS] test_storageHash() (gas: 3351)
265
186
  [PASS] test_upscaleRateLimitAmount() (gas: 3446173)
266
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 11.45ms (8.27ms CPU time)
267
-
268
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
269
- [PASS] test_checkpointRateLimits_Empty() (gas: 10793)
270
- [PASS] test_checkpointRateLimits_Multiple() (gas: 148919)
271
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 89826)
272
- [PASS] test_checkpointRateLimits_Single() (gas: 84213)
273
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1716016)
274
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38229)
275
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1715834)
276
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 24633)
277
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 45727)
278
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23429)
279
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23427)
280
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 85150)
281
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2580617)
282
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2542918)
283
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2541074)
284
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 50867)
285
- [PASS] test_inflow_GloballyDisabled() (gas: 51329)
286
- [PASS] test_inflow_WithScaleDecimals() (gas: 2537562)
287
- [PASS] test_initial_state_closed() (gas: 2491351)
288
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 50934)
289
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 29857)
290
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 31786)
291
- [PASS] test_outflow_GloballyDisabled() (gas: 51417)
292
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 75394)
293
- [PASS] test_outflow_WithScaleDecimals() (gas: 2537556)
294
- [PASS] test_setRateLimitAddressExemptions() (gas: 58875)
295
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21288)
296
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 93007)
297
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 106518)
298
- [PASS] test_setRateLimitConfigs_Single() (gas: 75858)
299
- [PASS] test_setRateLimitGlobalConfig() (gas: 48892)
300
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 15831)
301
- [PASS] test_setRateLimitStates_Single() (gas: 49242)
302
- [PASS] test_storageHash() (gas: 3396)
303
- [PASS] test_upscaleRateLimitAmount() (gas: 2473123)
304
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 18.36ms (12.25ms CPU time)
187
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 19.08ms (15.23ms CPU time)
305
188
 
306
189
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
307
190
  [PASS] test_feeDeposit() (gas: 17474)
308
191
  [PASS] test_setFeeDeposit() (gas: 24705)
309
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21216, ~: 21219)
192
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21219, ~: 21219)
310
193
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13189)
311
194
  [PASS] test_storageHash() (gas: 3351)
312
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 37.91ms (37.34ms CPU time)
195
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 85.90ms (85.21ms CPU time)
313
196
 
314
197
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
315
198
  [PASS] test_feeDeposit() (gas: 17592)
316
199
  [PASS] test_setFeeDeposit() (gas: 27299)
317
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 23745, ~: 23748)
200
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 23748, ~: 23748)
318
201
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 23836)
319
202
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15667)
320
203
  [PASS] test_storageHash() (gas: 3329)
321
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 51.91ms (51.14ms CPU time)
204
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 108.89ms (108.28ms CPU time)
322
205
 
323
206
  Ran 13 tests for test/CreditRedirectRBACUpgradeable.t.sol:CreditRedirectRBACUpgradeableTest
324
207
  [PASS] test_initialize() (gas: 18243)
@@ -334,37 +217,7 @@ Ran 13 tests for test/CreditRedirectRBACUpgradeable.t.sol:CreditRedirectRBACUpgr
334
217
  [PASS] test_setCreditRedirectConfig_Set() (gas: 70318)
335
218
  [PASS] test_setCreditRedirectConfig_Unset() (gas: 54923)
336
219
  [PASS] test_storageHash() (gas: 3395)
337
- Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 58.67ms (58.08ms CPU time)
338
-
339
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
340
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26805, ~: 40768)
341
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40537)
342
- [PASS] test_assertNotPaused_Success() (gas: 12529)
343
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15805)
344
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 50937)
345
- [PASS] test_isPaused_InitialState() (gas: 15514)
346
- [PASS] test_modifierEnforcement_WithRoles() (gas: 217708)
347
- [PASS] test_multipleRoleGrants() (gas: 390441)
348
- [PASS] test_pause() (gas: 41837)
349
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 34782)
350
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 179540)
351
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 29790, ~: 18327)
352
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 19940)
353
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41061)
354
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 19702)
355
- [PASS] test_setPaused_Success() (gas: 42361)
356
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58545)
357
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 78246)
358
- [PASS] test_storageHash() (gas: 3351)
359
- [PASS] test_unpause() (gas: 34700)
360
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41813, ~: 44425)
361
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44261)
362
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40566)
363
- [PASS] test_whenNotPaused_Success() (gas: 38892)
364
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52384)
365
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 62468)
366
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15531)
367
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 74.83ms (124.80ms CPU time)
220
+ Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 378.91ms (333.54ms CPU time)
368
221
 
369
222
  Ran 12 tests for test/CreditRedirectBaseUpgradeable.t.sol:CreditRedirectBaseUpgradeableTest
370
223
  [PASS] test_initialize() (gas: 18176)
@@ -379,77 +232,72 @@ Ran 12 tests for test/CreditRedirectBaseUpgradeable.t.sol:CreditRedirectBaseUpgr
379
232
  [PASS] test_setCreditRedirectConfig_Set() (gas: 67874)
380
233
  [PASS] test_setCreditRedirectConfig_Unset() (gas: 52720)
381
234
  [PASS] test_storageHash() (gas: 3373)
382
- Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 106.39ms (105.78ms CPU time)
235
+ Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 400.91ms (144.44ms CPU time)
383
236
 
384
237
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
385
238
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 9993)
386
239
  [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 9948)
387
240
  [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9948)
388
241
  [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8464)
389
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3383, ~: 3388)
242
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3382, ~: 3378)
390
243
  [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8432)
391
244
  [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8933)
392
245
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8931)
393
246
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8953)
394
247
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 4993, ~: 4993)
395
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 155.19ms (71.87ms CPU time)
396
-
397
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
398
- [PASS] test_SwitchModes_PreservesState() (gas: 193990)
399
- [PASS] test_constructor_InitialMode() (gas: 15640)
400
- [PASS] test_constructor_InitializeWhitelist() (gas: 2641840)
401
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127209)
402
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45314)
403
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 114591, ~: 114711)
404
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43362, ~: 43362)
405
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15803, ~: 15803)
406
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43348, ~: 43348)
407
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 114542, ~: 114642)
408
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25782)
409
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45345)
410
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127164)
411
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 125841)
412
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22453)
413
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 123814)
414
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 19876)
415
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13210)
416
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 172891)
417
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 98841)
418
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 123949)
419
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 22650)
420
- [PASS] test_setMode_Blacklist() (gas: 42354)
421
- [PASS] test_setMode_MultipleChanges() (gas: 42426)
422
- [PASS] test_setMode_RevertSameMode() (gas: 50298)
423
- [PASS] test_setMode_Whitelist() (gas: 42396)
424
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13188)
425
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 172803)
426
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 98805)
427
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 123931)
428
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 22564)
429
- [PASS] test_storageHash() (gas: 3395)
430
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 237.47ms (495.45ms CPU time)
248
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 521.03ms (197.92ms CPU time)
431
249
 
432
250
  Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
433
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25642, ~: 38321)
251
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 24976, ~: 12707)
434
252
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 38112)
435
253
  [PASS] test_assertNotPaused_Success() (gas: 12460)
436
254
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15645)
437
255
  [PASS] test_isPaused_InitialState() (gas: 15501)
438
256
  [PASS] test_pause() (gas: 39401)
439
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27472, ~: 15939)
257
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27899, ~: 39670)
440
258
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17540)
441
259
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 38204)
442
260
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 73456)
443
261
  [PASS] test_storageHash() (gas: 3373)
444
262
  [PASS] test_unpause() (gas: 30840)
445
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40510, ~: 41966)
263
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40551, ~: 41966)
446
264
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 41780)
447
265
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38164)
448
266
  [PASS] test_whenNotPaused_Success() (gas: 38812)
449
267
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48425)
450
268
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 57414)
451
269
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15518)
452
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 245.36ms (215.92ms CPU time)
270
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.58s (408.46ms CPU time)
271
+
272
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
273
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 50546)
274
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47297)
275
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47037, ~: 48408)
276
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 46854)
277
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 47666)
278
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 70973)
279
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 66639)
280
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 42885)
281
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22177)
282
+ [PASS] test_getFee_BoundaryConditions() (gas: 74490)
283
+ [PASS] test_getFee_Default() (gas: 42761)
284
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 44986, ~: 46566)
285
+ [PASS] test_getFee_Rounding() (gas: 44991)
286
+ [PASS] test_getFee_Specific() (gas: 66469)
287
+ [PASS] test_getFee_SpecificDisabled() (gas: 66472)
288
+ [PASS] test_setDefaultFeeBps() (gas: 41808)
289
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34444, ~: 41922)
290
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16013)
291
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 21735)
292
+ [PASS] test_setFeeBps() (gas: 76321)
293
+ Logs:
294
+ Bound result 500
295
+
296
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66546, ~: 76676)
297
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16217)
298
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 21879)
299
+ [PASS] test_storageHash() (gas: 3373)
300
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.59s (1.49s CPU time)
453
301
 
454
302
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
455
303
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40555)
@@ -466,16 +314,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
466
314
  [PASS] test_isPaused_SpecificDisabled() (gas: 51334)
467
315
  [PASS] test_pauseConfig() (gas: 45439)
468
316
  [PASS] test_setDefaultPaused() (gas: 39449)
469
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27592, ~: 15980)
317
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28255, ~: 39678)
470
318
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17561)
471
319
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38343)
472
320
  [PASS] test_setPaused() (gas: 42865)
473
321
  [PASS] test_setPaused_EmptyArray() (gas: 10788)
474
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38461, ~: 43178)
322
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38421, ~: 43178)
475
323
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40403)
476
324
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40365)
477
325
  [PASS] test_setPaused_Success_Toggle() (gas: 50934)
478
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58086, ~: 69240)
326
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57928, ~: 46708)
479
327
  [PASS] test_storageHash() (gas: 3395)
480
328
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44207)
481
329
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44284)
@@ -483,133 +331,7 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
483
331
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88304)
484
332
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17781)
485
333
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40580)
486
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 245.83ms (301.16ms CPU time)
487
-
488
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
489
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 96627)
490
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 102935, ~: 102919)
491
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 32672)
492
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18235)
493
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45259)
494
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 101803)
495
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 102248)
496
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46256, ~: 46416)
497
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 22832)
498
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50333)
499
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 34975)
500
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 49543)
501
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17663)
502
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22412)
503
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 115439)
504
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15791)
505
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 1148657)
506
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32251)
507
- [PASS] test_integration_TransferAndTransferAgain() (gas: 231980)
508
- [PASS] test_integration_TransferCancelRetransfer() (gas: 119604)
509
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15510)
510
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 17982)
511
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 46888)
512
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 92610)
513
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 93233)
514
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22454)
515
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25218)
516
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 122870)
517
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 94717)
518
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 17885)
519
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42466)
520
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23575)
521
- [PASS] test_storageHash() (gas: 3362)
522
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 270.78ms (327.67ms CPU time)
523
-
524
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
525
- [PASS] test_SwitchModes_PreservesState() (gas: 185357)
526
- [PASS] test_constructor_InitialMode() (gas: 15507)
527
- [PASS] test_constructor_InitializeWhitelist() (gas: 1639939)
528
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122100)
529
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42789)
530
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 109578, ~: 109738)
531
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40859, ~: 40859)
532
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15701, ~: 15701)
533
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 40856, ~: 40856)
534
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 109664, ~: 109724)
535
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25542)
536
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42831)
537
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122020)
538
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 120870)
539
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22297)
540
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 118820)
541
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10855)
542
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 167666)
543
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 94467)
544
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 118621)
545
- [PASS] test_setMode_Blacklist() (gas: 39853)
546
- [PASS] test_setMode_MultipleChanges() (gas: 39152)
547
- [PASS] test_setMode_RevertSameMode() (gas: 44866)
548
- [PASS] test_setMode_Whitelist() (gas: 39873)
549
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10810)
550
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 167600)
551
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94350)
552
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 118502)
553
- [PASS] test_storageHash() (gas: 3395)
554
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 309.78ms (379.77ms CPU time)
555
-
556
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
557
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 47656)
558
- [PASS] test_getAmountBeforeFee_Default() (gas: 44792)
559
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44540, ~: 45949)
560
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44330)
561
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45088)
562
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68096)
563
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 63765)
564
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40455)
565
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22031)
566
- [PASS] test_getFee_BoundaryConditions() (gas: 71320)
567
- [PASS] test_getFee_Default() (gas: 40420)
568
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42733, ~: 44203)
569
- [PASS] test_getFee_Rounding() (gas: 42598)
570
- [PASS] test_getFee_Specific() (gas: 63734)
571
- [PASS] test_getFee_SpecificDisabled() (gas: 63686)
572
- [PASS] test_setDefaultFeeBps() (gas: 39385)
573
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31851, ~: 39476)
574
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13626)
575
- [PASS] test_setFeeBps() (gas: 73386)
576
- Logs:
577
- Bound result 500
578
-
579
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64405, ~: 73762)
580
- [PASS] test_setFeeBps_RevertInvalid() (gas: 13841)
581
- [PASS] test_storageHash() (gas: 3395)
582
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.04s (280.95ms CPU time)
583
-
584
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
585
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 50546)
586
- [PASS] test_getAmountBeforeFee_Default() (gas: 47297)
587
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47008, ~: 48408)
588
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 46854)
589
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 47666)
590
- [PASS] test_getAmountBeforeFee_Specific() (gas: 70973)
591
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 66639)
592
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 42885)
593
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22177)
594
- [PASS] test_getFee_BoundaryConditions() (gas: 74490)
595
- [PASS] test_getFee_Default() (gas: 42761)
596
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45083, ~: 46566)
597
- [PASS] test_getFee_Rounding() (gas: 44991)
598
- [PASS] test_getFee_Specific() (gas: 66469)
599
- [PASS] test_getFee_SpecificDisabled() (gas: 66472)
600
- [PASS] test_setDefaultFeeBps() (gas: 41808)
601
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34044, ~: 41922)
602
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16013)
603
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 21735)
604
- [PASS] test_setFeeBps() (gas: 76321)
605
- Logs:
606
- Bound result 500
607
-
608
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67848, ~: 76676)
609
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16217)
610
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 21879)
611
- [PASS] test_storageHash() (gas: 3373)
612
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.06s (535.87ms CPU time)
334
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.86s (494.48ms CPU time)
613
335
 
614
336
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
615
337
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -617,342 +339,353 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
617
339
  ╭-----------------------------------+---------------------+-------+---------+----------╮
618
340
  | Contract | Selector | Calls | Reverts | Discards |
619
341
  +======================================================================================+
620
- | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
342
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
621
343
  |-----------------------------------+---------------------+-------+---------+----------|
622
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
344
+ | RateLimiterRBACUpgradeableHandler | outflow | 511 | 0 | 0 |
623
345
  |-----------------------------------+---------------------+-------+---------+----------|
624
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
346
+ | RateLimiterRBACUpgradeableHandler | setConfig | 506 | 0 | 0 |
625
347
  |-----------------------------------+---------------------+-------+---------+----------|
626
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
348
+ | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
627
349
  |-----------------------------------+---------------------+-------+---------+----------|
628
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
350
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
629
351
  |-----------------------------------+---------------------+-------+---------+----------|
630
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
352
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 611 | 0 | 0 |
631
353
  |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | warp | 520 | 0 | 0 |
354
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
633
355
  ╰-----------------------------------+---------------------+-------+---------+----------╯
634
356
 
635
357
  Logs:
636
- Bound result 514264337593543950332
637
- Bound result 31812
638
- Bound result 943
639
- Bound result 5
640
- Bound result 9583
641
- Bound result 44
642
- Bound result 10762
643
- Bound result 471845836639011
644
- Bound result 1002
645
- Bound result 322
646
- Bound result 103811359304345
647
- Bound result 1728342068163665244062
648
- Bound result 35
649
- Bound result 790
650
- Bound result 1784812351290615
651
- Bound result 7048
652
- Bound result 6053
653
- Bound result 732
654
- Bound result 9900000000000000009696
655
- Bound result 9900000000000000002704
656
- Bound result 704
657
- Bound result 6242
658
- Bound result 64805566931689
659
- Bound result 8606503
660
- Bound result 878
358
+ Bound result 2602
359
+ Bound result 3991
360
+ Bound result 1
361
+ Bound result 9900000000000000000743
362
+ Bound result 9900000000000000040288
363
+ Bound result 5366
364
+ Bound result 361
365
+ Bound result 392401227
366
+ Bound result 100000000000000000001
367
+ Bound result 9900000000000000026848
368
+ Bound result 1392
369
+ Bound result 11
370
+ Bound result 9900000000000044864163
371
+ Bound result 9900000007266516095633
372
+ Bound result 8441
373
+ Bound result 103
374
+ Bound result 50785275
375
+ Bound result 266079458648838771
376
+ Bound result 19791176723533383211561
377
+ Bound result 1
378
+ Bound result 224
379
+ Bound result 295
380
+ Bound result 1
381
+ Bound result 9900000000000000009312
382
+ Bound result 9900000000000000004396
383
+ Bound result 851
384
+ Bound result 368
661
385
 
662
386
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
663
387
 
664
388
  ╭-----------------------------------+---------------------+-------+---------+----------╮
665
389
  | Contract | Selector | Calls | Reverts | Discards |
666
390
  +======================================================================================+
667
- | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
391
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
668
392
  |-----------------------------------+---------------------+-------+---------+----------|
669
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
393
+ | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
670
394
  |-----------------------------------+---------------------+-------+---------+----------|
671
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
395
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
672
396
  |-----------------------------------+---------------------+-------+---------+----------|
673
- | RateLimiterRBACUpgradeableHandler | setState | 582 | 0 | 0 |
397
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
674
398
  |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
399
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
676
400
  |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
401
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
678
402
  |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
403
+ | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
680
404
  ╰-----------------------------------+---------------------+-------+---------+----------╯
681
405
 
682
406
  Logs:
683
- Bound result 36
684
- Bound result 6290312607515
685
- Bound result 60246307048588709131
686
- Bound result 253699
687
- Bound result 4
688
- Bound result 933139296137646270858
689
- Bound result 136560803131081129
690
- Bound result 21
691
- Bound result 380
692
- Bound result 1973
693
- Bound result 1759
694
- Bound result 27131645849363552842
695
- Bound result 1646649520521564122820
696
- Bound result 525
697
- Bound result 509663201641569390420
698
- Bound result 9900000000000874291599
699
- Bound result 5465
700
- Bound result 3464
701
- Bound result 1317
702
- Bound result 80959985
407
+ Bound result 1279633869758218649344
408
+ Bound result 100000000000000000000
409
+ Bound result 12
410
+ Bound result 6833
411
+ Bound result 420
412
+ Bound result 866983
413
+ Bound result 879516
414
+ Bound result 259
415
+ Bound result 2170728298131626657565
416
+ Bound result 1848
417
+ Bound result 159188493042265489998
418
+ Bound result 892064205542555533
419
+ Bound result 2575051283
420
+ Bound result 1307
421
+ Bound result 7930337303069777
422
+ Bound result 524527774
423
+ Bound result 9510252682707173824311
424
+ Bound result 100000000000000000002
425
+ Bound result 3729
426
+ Bound result 8878
427
+ Bound result 14098991798174593224803
703
428
 
704
429
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
705
430
 
706
431
  ╭-----------------------------------+---------------------+-------+---------+----------╮
707
432
  | Contract | Selector | Calls | Reverts | Discards |
708
433
  +======================================================================================+
709
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
434
+ | RateLimiterRBACUpgradeableHandler | inflow | 594 | 0 | 0 |
710
435
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
436
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
712
437
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
438
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
714
439
  |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | setState | 503 | 0 | 0 |
716
441
  |-----------------------------------+---------------------+-------+---------+----------|
717
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 595 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
718
443
  |-----------------------------------+---------------------+-------+---------+----------|
719
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
720
445
  |-----------------------------------+---------------------+-------+---------+----------|
721
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
722
447
  ╰-----------------------------------+---------------------+-------+---------+----------╯
723
448
 
724
449
  Logs:
725
- Bound result 9900000000000000005354
726
- Bound result 9900000000000000006194
727
- Bound result 9632
728
- Bound result 2602
729
- Bound result 2
450
+ Bound result 890
451
+ Bound result 1206359015361752334337
452
+ Bound result 369
453
+ Bound result 7329
454
+ Bound result 13651
455
+ Bound result 856434158960
456
+ Bound result 0
457
+ Bound result 93
458
+ Bound result 1423
730
459
  Bound result 1
731
- Bound result 14965175441190193717435
732
- Bound result 14990159717386478012295
733
- Bound result 61331
734
460
  Bound result 1
735
- Bound result 1859975730156434881497
736
- Bound result 8025324945288277844342
737
- Bound result 386
738
- Bound result 141
739
- Bound result 616
740
- Bound result 435
741
- Bound result 1174508972652517763847
742
- Bound result 9900000000000002350673
743
- Bound result 1769641874953319777996
744
- Bound result 9569
745
- Bound result 7561
746
- Bound result 5856
747
- Bound result 9900000538691185911608
748
- Bound result 9900000000000000294037
749
- Bound result 11
750
- Bound result 4870
461
+ Bound result 1013
462
+ Bound result 2
463
+ Bound result 61451396
464
+ Bound result 2
465
+ Bound result 1295
466
+ Bound result 1259508168331042151198
751
467
 
752
468
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
753
469
 
754
470
  ╭-----------------------------------+---------------------+-------+---------+----------╮
755
471
  | Contract | Selector | Calls | Reverts | Discards |
756
472
  +======================================================================================+
757
- | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
473
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
758
474
  |-----------------------------------+---------------------+-------+---------+----------|
759
- | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
475
+ | RateLimiterRBACUpgradeableHandler | outflow | 513 | 0 | 0 |
760
476
  |-----------------------------------+---------------------+-------+---------+----------|
761
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
477
+ | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
762
478
  |-----------------------------------+---------------------+-------+---------+----------|
763
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
479
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
764
480
  |-----------------------------------+---------------------+-------+---------+----------|
765
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
481
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
766
482
  |-----------------------------------+---------------------+-------+---------+----------|
767
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 601 | 0 | 0 |
483
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
768
484
  |-----------------------------------+---------------------+-------+---------+----------|
769
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
485
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
770
486
  ╰-----------------------------------+---------------------+-------+---------+----------╯
771
487
 
772
488
  Logs:
773
- Bound result 11897
774
- Bound result 1950
775
- Bound result 1549836998721109439547
776
- Bound result 17424193
777
- Bound result 0
778
- Bound result 685760238432005070002
779
- Bound result 1628155780764
489
+ Bound result 813645477768611367683
490
+ Bound result 10443
491
+ Bound result 802
780
492
  Bound result 0
781
- Bound result 9900000037881356523988
782
- Bound result 3296394976581932225203
783
- Bound result 378
784
- Bound result 31
785
- Bound result 86
786
- Bound result 2818169115961
787
- Bound result 9645
788
- Bound result 9900000000000009259553
789
- Bound result 108113974487594734467
790
- Bound result 397
791
- Bound result 5635
792
- Bound result 11330399437390
793
- Bound result 140506502611825816834
794
- Bound result 30
795
- Bound result 800
796
- Bound result 2907324871852925
493
+ Bound result 1320
494
+ Bound result 6194
495
+ Bound result 2013
496
+ Bound result 2168
497
+ Bound result 452
498
+ Bound result 839288344542826130203
499
+ Bound result 514264337593504336253
500
+ Bound result 381
501
+ Bound result 948254488126659
502
+ Bound result 1198461546418973233863
503
+ Bound result 793
504
+ Bound result 2360
505
+ Bound result 7344
506
+ Bound result 695
507
+ Bound result 96312656957264254068
508
+ Bound result 818
797
509
 
798
510
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
799
511
 
800
512
  ╭-----------------------------------+---------------------+-------+---------+----------╮
801
513
  | Contract | Selector | Calls | Reverts | Discards |
802
514
  +======================================================================================+
803
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
515
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
804
516
  |-----------------------------------+---------------------+-------+---------+----------|
805
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
517
+ | RateLimiterRBACUpgradeableHandler | outflow | 594 | 0 | 0 |
806
518
  |-----------------------------------+---------------------+-------+---------+----------|
807
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
519
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
808
520
  |-----------------------------------+---------------------+-------+---------+----------|
809
- | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
521
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
810
522
  |-----------------------------------+---------------------+-------+---------+----------|
811
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
523
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
812
524
  |-----------------------------------+---------------------+-------+---------+----------|
813
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 588 | 0 | 0 |
525
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
814
526
  |-----------------------------------+---------------------+-------+---------+----------|
815
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
527
+ | RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
816
528
  ╰-----------------------------------+---------------------+-------+---------+----------╯
817
529
 
818
530
  Logs:
819
- Bound result 11579
820
- Bound result 1245624685547898771989
821
- Bound result 41
822
- Bound result 1887289802
823
- Bound result 1295
824
- Bound result 564010507084007424863
825
- Bound result 100000000000000000002
826
- Bound result 7986
827
- Bound result 1921
828
- Bound result 3639698344530996
829
- Bound result 935
830
- Bound result 672
831
- Bound result 12252
832
- Bound result 9900000000000000004618
833
- Bound result 9900000000000000004473
834
- Bound result 1587
835
- Bound result 5501
836
- Bound result 13497251725346044
531
+ Bound result 1
532
+ Bound result 8391
533
+ Bound result 2
534
+ Bound result 559
535
+ Bound result 514917
536
+ Bound result 47
537
+ Bound result 9300
538
+ Bound result 2423500177
539
+ Bound result 1483115847295041844963
837
540
 
838
541
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
839
542
 
840
543
  ╭-----------------------------------+---------------------+-------+---------+----------╮
841
544
  | Contract | Selector | Calls | Reverts | Discards |
842
545
  +======================================================================================+
843
- | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
546
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
844
547
  |-----------------------------------+---------------------+-------+---------+----------|
845
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
548
+ | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
846
549
  |-----------------------------------+---------------------+-------+---------+----------|
847
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
550
+ | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
848
551
  |-----------------------------------+---------------------+-------+---------+----------|
849
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
552
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
850
553
  |-----------------------------------+---------------------+-------+---------+----------|
851
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
554
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
852
555
  |-----------------------------------+---------------------+-------+---------+----------|
853
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
556
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
854
557
  |-----------------------------------+---------------------+-------+---------+----------|
855
- | RateLimiterRBACUpgradeableHandler | warp | 516 | 0 | 0 |
558
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
856
559
  ╰-----------------------------------+---------------------+-------+---------+----------╯
857
560
 
858
561
  Logs:
859
- Bound result 4195
860
- Bound result 60
861
- Bound result 2613858723
562
+ Bound result 116
563
+ Bound result 124
564
+ Bound result 0
565
+ Bound result 1037045907613120961917
566
+ Bound result 63
567
+ Bound result 0
568
+ Bound result 10679
569
+ Bound result 413
570
+ Bound result 1
571
+ Bound result 4667694047649713970259
572
+ Bound result 9900000299604502575730
573
+ Bound result 552
574
+ Bound result 2043
575
+ Bound result 279115306318470461
576
+ Bound result 32988917685
862
577
  Bound result 0
863
- Bound result 114573341785181358445
864
- Bound result 177111
865
- Bound result 1
866
- Bound result 3
867
- Bound result 9520
868
- Bound result 138853858897969488663
869
- Bound result 2510086
870
- Bound result 1434
871
- Bound result 9900000019496832571282
872
- Bound result 9900000000001485927398
873
- Bound result 9278
874
- Bound result 2434
875
- Bound result 2766
578
+ Bound result 9900000000000000045033
579
+ Bound result 9900000000000000005588
580
+ Bound result 9997
581
+ Bound result 1347
582
+ Bound result 7752130309452123312740
583
+ Bound result 9009
584
+ Bound result 9900000000000000000006
585
+ Bound result 9900000000000295121492
586
+ Bound result 7617
587
+ Bound result 11
588
+ Bound result 6914261975782282427087
589
+ Bound result 3023
590
+ Bound result 2
876
591
 
877
592
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
878
593
 
879
594
  ╭-----------------------------------+---------------------+-------+---------+----------╮
880
595
  | Contract | Selector | Calls | Reverts | Discards |
881
596
  +======================================================================================+
882
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
597
+ | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
883
598
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
599
+ | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
885
600
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | setConfig | 580 | 0 | 0 |
601
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
887
602
  |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
603
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
889
604
  |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 520 | 0 | 0 |
605
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
891
606
  |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
607
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
893
608
  |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
609
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
895
610
  ╰-----------------------------------+---------------------+-------+---------+----------╯
896
611
 
897
612
  Logs:
898
- Bound result 360
899
- Bound result 199007219
900
- Bound result 0
901
- Bound result 1
902
- Bound result 67486
903
- Bound result 11646
904
- Bound result 1
905
- Bound result 6987
906
- Bound result 1994656580816375112816
907
- Bound result 66
908
- Bound result 62611662992214842730
909
- Bound result 531
910
- Bound result 23
911
- Bound result 514264337593543950334
613
+ Bound result 514264337593543950335
614
+ Bound result 9900000000000000010847
615
+ Bound result 9900000000000000010817
616
+ Bound result 5742
617
+ Bound result 2890
618
+ Bound result 3
619
+ Bound result 8866
620
+ Bound result 190
621
+ Bound result 7643360678031201984150
622
+ Bound result 9900000000000000000075
623
+ Bound result 9900000000000000003055
624
+ Bound result 6072
625
+ Bound result 1875
626
+ Bound result 9900000000000000000680
627
+ Bound result 9945686845103277391936
628
+ Bound result 13
629
+ Bound result 6226
630
+ Bound result 399880
631
+ Bound result 5559850331420635635583
632
+ Bound result 9900000001799827042666
633
+ Bound result 4505637913674387070293
634
+ Bound result 18
635
+ Bound result 486
912
636
 
913
637
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
914
638
 
915
639
  ╭-----------------------------------+---------------------+-------+---------+----------╮
916
640
  | Contract | Selector | Calls | Reverts | Discards |
917
641
  +======================================================================================+
918
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
642
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
919
643
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
644
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
921
645
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
646
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
923
647
  |-----------------------------------+---------------------+-------+---------+----------|
924
- | RateLimiterRBACUpgradeableHandler | setState | 591 | 0 | 0 |
648
+ | RateLimiterRBACUpgradeableHandler | setState | 523 | 0 | 0 |
925
649
  |-----------------------------------+---------------------+-------+---------+----------|
926
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 508 | 0 | 0 |
650
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
927
651
  |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
929
653
  |-----------------------------------+---------------------+-------+---------+----------|
930
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
931
655
  ╰-----------------------------------+---------------------+-------+---------+----------╯
932
656
 
933
657
  Logs:
934
- Bound result 475160742520173969137
935
- Bound result 17480
936
- Bound result 0
937
- Bound result 3416
938
- Bound result 1000
939
- Bound result 1
940
- Bound result 264758777496446655042
941
- Bound result 107
942
- Bound result 4930
658
+ Bound result 45
659
+ Bound result 9900000000000002262828
660
+ Bound result 7136233665222623181179
661
+ Bound result 23
662
+ Bound result 5386
663
+ Bound result 8537174163025676937926
664
+ Bound result 5115
943
665
  Bound result 0
944
- Bound result 985
945
- Bound result 10228
946
- Bound result 142
947
- Bound result 1
948
- Bound result 5515
949
- Bound result 104217484430804851
950
- Bound result 9900000000000000011207
951
- Bound result 9900000000002159037160
952
- Bound result 348
953
- Bound result 1588
666
+ Bound result 6774
667
+ Bound result 4158
668
+ Bound result 850
669
+ Bound result 1855
670
+ Bound result 9900000000502440041200
671
+ Bound result 9900000000000000001913
672
+ Bound result 6240
673
+ Bound result 36
674
+ Bound result 10002
675
+ Bound result 9900087254690278685927
676
+ Bound result 9900016047810774869680
677
+ Bound result 2751
678
+ Bound result 114
679
+ Bound result 3096
680
+ Bound result 12173
681
+ Bound result 46649628522672239125
682
+ Bound result 5530510078879093106900
683
+ Bound result 100000000000000000000
684
+ Bound result 3278
685
+ Bound result 1395
686
+ Bound result 508
954
687
 
955
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.09s (7.25s CPU time)
688
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.13s (12.50s CPU time)
956
689
 
957
690
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
958
691
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -960,340 +693,406 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
960
693
  ╭-----------------------------------+---------------------+-------+---------+----------╮
961
694
  | Contract | Selector | Calls | Reverts | Discards |
962
695
  +======================================================================================+
963
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
696
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
964
697
  |-----------------------------------+---------------------+-------+---------+----------|
965
- | RateLimiterRBACUpgradeableHandler | outflow | 517 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
966
699
  |-----------------------------------+---------------------+-------+---------+----------|
967
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
968
701
  |-----------------------------------+---------------------+-------+---------+----------|
969
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
970
703
  |-----------------------------------+---------------------+-------+---------+----------|
971
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
704
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
972
705
  |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
706
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
974
707
  |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | warp | 596 | 0 | 0 |
976
709
  ╰-----------------------------------+---------------------+-------+---------+----------╯
977
710
 
978
711
  Logs:
712
+ Bound result 1990136823419951764783
713
+ Bound result 1783795180591461700221
714
+ Bound result 54405
715
+ Bound result 0
716
+ Bound result 3041954474
717
+ Bound result 4395
718
+ Bound result 0
979
719
  Bound result 1
980
- Bound result 10797875
981
- Bound result 1
982
- Bound result 9900007505635392461538
983
- Bound result 9900000001083433704952
984
- Bound result 2423
985
- Bound result 12
986
- Bound result 1064
987
- Bound result 9900000000089323566792
988
- Bound result 9900153434633459291153
989
- Bound result 9014
990
- Bound result 12
991
- Bound result 15613175950959361608002
992
- Bound result 11261738276904013607421
993
- Bound result 2
994
- Bound result 100000000000000000001
995
- Bound result 6914264337593535947488
996
- Bound result 3857
997
- Bound result 5774
998
- Bound result 2245
999
- Bound result 8926
1000
- Bound result 847
720
+ Bound result 259629018
721
+ Bound result 12603
722
+ Bound result 11101
723
+ Bound result 0
724
+ Bound result 6485
725
+ Bound result 34310090144214
726
+ Bound result 7163150707696269111232
727
+ Bound result 2094639741859456046825
728
+ Bound result 410
729
+ Bound result 56
730
+ Bound result 9900000000003222002980
731
+ Bound result 9900000000000000001324
732
+ Bound result 9698
733
+ Bound result 7026
1001
734
 
1002
735
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
1003
736
 
1004
737
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1005
738
  | Contract | Selector | Calls | Reverts | Discards |
1006
739
  +======================================================================================+
1007
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
740
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1008
741
  |-----------------------------------+---------------------+-------+---------+----------|
1009
- | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
1010
743
  |-----------------------------------+---------------------+-------+---------+----------|
1011
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1012
745
  |-----------------------------------+---------------------+-------+---------+----------|
1013
- | RateLimiterRBACUpgradeableHandler | setState | 577 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
1014
747
  |-----------------------------------+---------------------+-------+---------+----------|
1015
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1016
749
  |-----------------------------------+---------------------+-------+---------+----------|
1017
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
1018
751
  |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
1020
753
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1021
754
 
1022
755
  Logs:
1023
- Bound result 9900000000000000012593
1024
- Bound result 9900000000000000009666
1025
- Bound result 6242
1026
- Bound result 1878
1027
- Bound result 8430951
1028
- Bound result 8133
1029
- Bound result 9
1030
- Bound result 4208
1031
- Bound result 2548481
1032
- Bound result 4118068220773472
1033
- Bound result 1285333487
756
+ Bound result 10171154674219995
757
+ Bound result 6407
758
+ Bound result 494
759
+ Bound result 346932613464843346840
760
+ Bound result 725591889441592
1034
761
  Bound result 0
1035
- Bound result 8190
1036
- Bound result 5983
1037
- Bound result 7966
1038
- Bound result 7107
1039
- Bound result 4123
1040
- Bound result 13844180935608532253435
1041
- Bound result 11213
1042
- Bound result 7515
762
+ Bound result 11830
763
+ Bound result 5067
764
+ Bound result 1
765
+ Bound result 42
766
+ Bound result 9900002021111041579439
767
+ Bound result 772320900647393078427
768
+ Bound result 4198
769
+ Bound result 132
770
+ Bound result 8
771
+ Bound result 1514321699501986093282
772
+ Bound result 8479130478267442882524
773
+ Bound result 9192
774
+ Bound result 3946
775
+ Bound result 23263143671943
776
+ Bound result 15238381178043523274782
777
+ Bound result 4
778
+ Bound result 9900000000000000010366
779
+ Bound result 9900000000000000001857
780
+ Bound result 2347
781
+ Bound result 7470
782
+ Bound result 36988098
783
+ Bound result 11573
784
+ Bound result 7685
785
+ Bound result 46
786
+ Bound result 6226107781811744789972
787
+ Bound result 100000000000000000001
788
+ Bound result 8991
789
+ Bound result 13
1043
790
 
1044
791
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
1045
792
 
1046
793
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1047
794
  | Contract | Selector | Calls | Reverts | Discards |
1048
795
  +======================================================================================+
1049
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
1050
797
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
798
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1052
799
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
800
+ | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
1054
801
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
802
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
1056
803
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
804
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 592 | 0 | 0 |
1058
805
  |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
806
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
1060
807
  |-----------------------------------+---------------------+-------+---------+----------|
1061
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
808
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1062
809
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1063
810
 
1064
811
  Logs:
1065
- Bound result 1353
1066
- Bound result 9900000000000000002338
1067
- Bound result 9900000000000000010898
1068
- Bound result 512
1069
- Bound result 4915
1070
- Bound result 26
1071
- Bound result 5724163774215288290008
1072
- Bound result 7960891528618349594416
1073
- Bound result 7310
1074
- Bound result 6417
1075
- Bound result 9900000000000000003991
1076
- Bound result 9900000000003739221133
1077
- Bound result 3525
1078
- Bound result 3688
1079
- Bound result 1104
1080
- Bound result 33020950125646
1081
- Bound result 34
1082
- Bound result 9341004749884118639710
1083
- Bound result 27
1084
- Bound result 4635
1085
- Bound result 23
812
+ Bound result 1
813
+ Bound result 750
814
+ Bound result 433984474127997188270
815
+ Bound result 12301
816
+ Bound result 8962
817
+ Bound result 88
818
+ Bound result 211
819
+ Bound result 72
820
+ Bound result 126
821
+ Bound result 244635100274
822
+ Bound result 358
823
+ Bound result 9900000000002826078450
824
+ Bound result 1113418303697576191850
825
+ Bound result 6086
826
+ Bound result 71
827
+ Bound result 60906224988140093353
828
+ Bound result 2210262167854009316917
829
+ Bound result 826
1086
830
 
1087
831
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1088
832
 
1089
833
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1090
834
  | Contract | Selector | Calls | Reverts | Discards |
1091
835
  +======================================================================================+
1092
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1093
837
  |-----------------------------------+---------------------+-------+---------+----------|
1094
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | outflow | 511 | 0 | 0 |
1095
839
  |-----------------------------------+---------------------+-------+---------+----------|
1096
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1097
841
  |-----------------------------------+---------------------+-------+---------+----------|
1098
- | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
1099
843
  |-----------------------------------+---------------------+-------+---------+----------|
1100
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
844
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
1101
845
  |-----------------------------------+---------------------+-------+---------+----------|
1102
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
1103
847
  |-----------------------------------+---------------------+-------+---------+----------|
1104
- | RateLimiterRBACUpgradeableHandler | warp | 583 | 0 | 0 |
848
+ | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
1105
849
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1106
850
 
1107
851
  Logs:
1108
- Bound result 4473522716
1109
- Bound result 4181
1110
- Bound result 1046363171
1111
- Bound result 87552979521789336648
1112
- Bound result 4058
1113
- Bound result 431
1114
- Bound result 4076725132
1115
- Bound result 1409390487600914972568
1116
- Bound result 204
1117
- Bound result 525603933185002334778
1118
- Bound result 1225
1119
- Bound result 514264337593543950333
852
+ Bound result 514264337593504336253
853
+ Bound result 990740630286641610579
854
+ Bound result 0
855
+ Bound result 6694480717
856
+ Bound result 14342311532741515539
857
+ Bound result 1
858
+ Bound result 1
859
+ Bound result 9900000000000000000636
860
+ Bound result 9900000000000000010356
861
+ Bound result 5368
862
+ Bound result 1168
863
+ Bound result 2126
864
+ Bound result 12575169861775556169
865
+ Bound result 804344930999172907
1120
866
 
1121
867
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1122
868
 
1123
869
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1124
870
  | Contract | Selector | Calls | Reverts | Discards |
1125
871
  +======================================================================================+
1126
- | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
872
+ | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
1127
873
  |-----------------------------------+---------------------+-------+---------+----------|
1128
- | RateLimiterRBACUpgradeableHandler | outflow | 517 | 0 | 0 |
874
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
1129
875
  |-----------------------------------+---------------------+-------+---------+----------|
1130
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
1131
877
  |-----------------------------------+---------------------+-------+---------+----------|
1132
- | RateLimiterRBACUpgradeableHandler | setState | 589 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
1133
879
  |-----------------------------------+---------------------+-------+---------+----------|
1134
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
1135
881
  |-----------------------------------+---------------------+-------+---------+----------|
1136
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
1137
883
  |-----------------------------------+---------------------+-------+---------+----------|
1138
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
1139
885
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1140
886
 
1141
887
  Logs:
1142
- Bound result 9900000000000016777216
1143
- Bound result 9900000000000357094980
1144
- Bound result 6242
1145
- Bound result 1325
1146
- Bound result 6
1147
- Bound result 9568
1148
- Bound result 10405
1149
- Bound result 7
1150
- Bound result 9226650063362451916611
1151
- Bound result 40602
1152
- Bound result 2
1153
- Bound result 28354998
1154
- Bound result 3
1155
- Bound result 2073
1156
- Bound result 8503
888
+ Bound result 1732861554470362274873
889
+ Bound result 3193030640052547843
890
+ Bound result 514264337593504336251
891
+ Bound result 0
892
+ Bound result 1572556248248769570810
893
+ Bound result 578825547622149
894
+ Bound result 5956
895
+ Bound result 12102
896
+ Bound result 1315265789008
897
+ Bound result 11610
898
+ Bound result 1177459441741111033144
899
+ Bound result 9567
900
+ Bound result 58
1157
901
  Bound result 0
1158
- Bound result 9900000000000000005169
1159
- Bound result 9900000000000000000201
1160
- Bound result 75
1161
- Bound result 31
1162
- Bound result 1106325243042693
1163
902
 
1164
903
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1165
904
 
1166
905
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1167
906
  | Contract | Selector | Calls | Reverts | Discards |
1168
907
  +======================================================================================+
1169
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
1170
909
  |-----------------------------------+---------------------+-------+---------+----------|
1171
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
1172
911
  |-----------------------------------+---------------------+-------+---------+----------|
1173
- | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
1174
913
  |-----------------------------------+---------------------+-------+---------+----------|
1175
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
1176
915
  |-----------------------------------+---------------------+-------+---------+----------|
1177
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
1178
917
  |-----------------------------------+---------------------+-------+---------+----------|
1179
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
1180
919
  |-----------------------------------+---------------------+-------+---------+----------|
1181
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
1182
921
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1183
922
 
1184
923
  Logs:
1185
- Bound result 304360521686455
1186
- Bound result 552
1187
- Bound result 80113063490857952
1188
- Bound result 0
1189
- Bound result 0
1190
- Bound result 1101
1191
- Bound result 100000000000000000000
1192
- Bound result 9900000000027920055791
1193
- Bound result 1268
1194
- Bound result 6242
1195
- Bound result 2374
924
+ Bound result 11639
925
+ Bound result 6370
926
+ Bound result 165122361067897229149
1196
927
  Bound result 1
1197
- Bound result 8093379504044408293350
1198
- Bound result 9900000000000000000032
1199
- Bound result 4983042054401497738807
928
+ Bound result 1054793293430972057118
929
+ Bound result 6212325326165036264248
930
+ Bound result 1312
1200
931
  Bound result 10
1201
- Bound result 107
1202
- Bound result 9900000000000000000248
1203
- Bound result 9946872212019897595748
1204
- Bound result 6287
1205
- Bound result 9997
932
+ Bound result 454
933
+ Bound result 1286765
934
+ Bound result 683349334304
935
+ Bound result 0
936
+ Bound result 9900000000000000000058
937
+ Bound result 1812597748139735697008
938
+ Bound result 10
939
+ Bound result 318
940
+ Bound result 14813227251059718463
941
+ Bound result 1851117825035825
942
+ Bound result 1
943
+ Bound result 87846251548671
944
+ Bound result 719272991726469213612
945
+ Bound result 1
1206
946
 
1207
947
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1208
948
 
1209
949
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1210
950
  | Contract | Selector | Calls | Reverts | Discards |
1211
951
  +======================================================================================+
1212
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
952
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
1213
953
  |-----------------------------------+---------------------+-------+---------+----------|
1214
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
954
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1215
955
  |-----------------------------------+---------------------+-------+---------+----------|
1216
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
956
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1217
957
  |-----------------------------------+---------------------+-------+---------+----------|
1218
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
958
+ | RateLimiterRBACUpgradeableHandler | setState | 494 | 0 | 0 |
1219
959
  |-----------------------------------+---------------------+-------+---------+----------|
1220
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
960
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
1221
961
  |-----------------------------------+---------------------+-------+---------+----------|
1222
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
962
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
1223
963
  |-----------------------------------+---------------------+-------+---------+----------|
1224
- | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | warp | 581 | 0 | 0 |
1225
965
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1226
966
 
1227
967
  Logs:
1228
- Bound result 2737072852
1229
- Bound result 791
1230
- Bound result 441
1231
- Bound result 12220393451863836
1232
- Bound result 3
1233
- Bound result 9900000000000002242520
1234
- Bound result 9900511503238761465964
1235
- Bound result 8839
1236
- Bound result 1995
1237
- Bound result 408
1238
- Bound result 6914264319647002222032
1239
- Bound result 556985671978506766
1240
- Bound result 11
1241
- Bound result 15136944778309994781
1242
- Bound result 33
1243
- Bound result 9900005828830032442906
1244
- Bound result 100000000000000000000
1245
- Bound result 13
1246
- Bound result 12
968
+ Bound result 601
969
+ Bound result 10679
970
+ Bound result 12658
971
+ Bound result 262
972
+ Bound result 1294
973
+ Bound result 225
974
+ Bound result 9900000000000532368927
975
+ Bound result 9900004405912237857790
976
+ Bound result 9995
977
+ Bound result 9998
978
+ Bound result 479
979
+ Bound result 667
980
+ Bound result 9900000000000000002049
981
+ Bound result 9900000000000000009255
982
+ Bound result 2385
983
+ Bound result 190
1247
984
 
1248
985
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1249
986
 
1250
987
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1251
988
  | Contract | Selector | Calls | Reverts | Discards |
1252
989
  +======================================================================================+
1253
- | RateLimiterRBACUpgradeableHandler | inflow | 581 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
1254
991
  |-----------------------------------+---------------------+-------+---------+----------|
1255
- | RateLimiterRBACUpgradeableHandler | outflow | 504 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
1256
993
  |-----------------------------------+---------------------+-------+---------+----------|
1257
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | setConfig | 581 | 0 | 0 |
1258
995
  |-----------------------------------+---------------------+-------+---------+----------|
1259
- | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
996
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
1260
997
  |-----------------------------------+---------------------+-------+---------+----------|
1261
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 601 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
1262
999
  |-----------------------------------+---------------------+-------+---------+----------|
1263
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 511 | 0 | 0 |
1264
1001
  |-----------------------------------+---------------------+-------+---------+----------|
1265
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
1002
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
1266
1003
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1267
1004
 
1268
1005
  Logs:
1269
- Bound result 9900000000000000060401
1270
- Bound result 9900000000000000000843
1271
- Bound result 9732
1272
- Bound result 13
1273
- Bound result 9900000000000000000442
1274
- Bound result 100000000000000000002
1275
- Bound result 1838
1276
- Bound result 974
1277
- Bound result 9900000000000791671134
1278
- Bound result 9900000000000000000033
1279
- Bound result 5198
1280
- Bound result 1625
1281
- Bound result 7790
1282
- Bound result 1015
1283
- Bound result 10106
1284
- Bound result 109113838343956896
1285
- Bound result 1234976333645010
1286
- Bound result 3696
1287
- Bound result 103248673987
1288
- Bound result 9430
1289
- Bound result 12198
1290
- Bound result 2458
1291
- Bound result 9901047659190697746186
1292
- Bound result 9900000000000470781298
1293
- Bound result 118
1294
- Bound result 7446
1295
-
1296
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.13s (6.75s CPU time)
1006
+ Bound result 8243763591928018962677
1007
+ Bound result 9435633291908949495702
1008
+ Bound result 6685
1009
+ Bound result 11
1010
+ Bound result 4698
1011
+ Bound result 8922105592188789313297
1012
+ Bound result 11595
1013
+ Bound result 9900000000344713262476
1014
+ Bound result 100000000000000000000
1015
+ Bound result 3512
1016
+ Bound result 7467
1017
+ Bound result 10583537377283428378831
1018
+ Bound result 1313373042
1019
+ Bound result 1
1020
+ Bound result 1270517994475070594
1021
+ Bound result 26666
1022
+ Bound result 5869042
1023
+ Bound result 13244
1024
+ Bound result 1153
1025
+ Bound result 0
1026
+ Bound result 791671133
1027
+ Bound result 6300
1028
+
1029
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.18s (12.11s CPU time)
1030
+
1031
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1032
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 96627)
1033
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 102934, ~: 102919)
1034
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 32672)
1035
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18235)
1036
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45259)
1037
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 101803)
1038
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 102248)
1039
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46336, ~: 46416)
1040
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 22832)
1041
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50333)
1042
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 34975)
1043
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 49543)
1044
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17663)
1045
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22412)
1046
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 115439)
1047
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15791)
1048
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 1148657)
1049
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32251)
1050
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 231980)
1051
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 119604)
1052
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15510)
1053
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 17982)
1054
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 46888)
1055
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 92610)
1056
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 93233)
1057
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22454)
1058
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25218)
1059
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 122870)
1060
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 94717)
1061
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 17885)
1062
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42466)
1063
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23575)
1064
+ [PASS] test_storageHash() (gas: 3362)
1065
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 2.18s (525.95ms CPU time)
1066
+
1067
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1068
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27899, ~: 40768)
1069
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40537)
1070
+ [PASS] test_assertNotPaused_Success() (gas: 12529)
1071
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15805)
1072
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 50937)
1073
+ [PASS] test_isPaused_InitialState() (gas: 15514)
1074
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 217708)
1075
+ [PASS] test_multipleRoleGrants() (gas: 390441)
1076
+ [PASS] test_pause() (gas: 41837)
1077
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 34782)
1078
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 179540)
1079
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 29980, ~: 18327)
1080
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 19940)
1081
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41061)
1082
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 19702)
1083
+ [PASS] test_setPaused_Success() (gas: 42361)
1084
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58545)
1085
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 78246)
1086
+ [PASS] test_storageHash() (gas: 3351)
1087
+ [PASS] test_unpause() (gas: 34700)
1088
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41947, ~: 44425)
1089
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44261)
1090
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40566)
1091
+ [PASS] test_whenNotPaused_Success() (gas: 38892)
1092
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52384)
1093
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 62468)
1094
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15531)
1095
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 11.97s (294.45ms CPU time)
1297
1096
 
1298
1097
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1299
1098
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 42974)
@@ -1311,7 +1110,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1311
1110
  [PASS] test_pauseConfig() (gas: 50654)
1312
1111
  [PASS] test_roleManagement_grantAndRevoke() (gas: 171632)
1313
1112
  [PASS] test_setDefaultPaused() (gas: 41869)
1314
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30015, ~: 18387)
1113
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30039, ~: 18387)
1315
1114
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20013)
1316
1115
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41080)
1317
1116
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 21810)
@@ -1320,8 +1119,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1320
1119
  [PASS] test_setPaused_DormantData() (gas: 293436)
1321
1120
  [PASS] test_setPaused_EmptyArray() (gas: 15470)
1322
1121
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 101819)
1323
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43247, ~: 48196)
1324
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223169, ~: 217071)
1122
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43369, ~: 48359)
1123
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222934, ~: 217071)
1325
1124
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 24352)
1326
1125
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132862)
1327
1126
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 108452)
@@ -1335,7 +1134,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1335
1134
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 134360)
1336
1135
  [PASS] test_setPaused_Success_Toggle() (gas: 57160)
1337
1136
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 131120)
1338
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61812, ~: 72747)
1137
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62273, ~: 72747)
1339
1138
  [PASS] test_storageHash() (gas: 3351)
1340
1139
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 46605)
1341
1140
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49360)
@@ -1343,12 +1142,145 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1343
1142
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 93775)
1344
1143
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17782)
1345
1144
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 45678)
1346
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 10.40s (511.71ms CPU time)
1145
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 11.99s (960.30ms CPU time)
1146
+
1147
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
1148
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10793)
1149
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 148919)
1150
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 89826)
1151
+ [PASS] test_checkpointRateLimits_Single() (gas: 84213)
1152
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1716016)
1153
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38229)
1154
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1715834)
1155
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 24633)
1156
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 45727)
1157
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23429)
1158
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23427)
1159
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 85150)
1160
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2580617)
1161
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2542918)
1162
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2541074)
1163
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 50867)
1164
+ [PASS] test_inflow_GloballyDisabled() (gas: 51329)
1165
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2537562)
1166
+ [PASS] test_initial_state_closed() (gas: 2491351)
1167
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 50934)
1168
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 29857)
1169
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 31786)
1170
+ [PASS] test_outflow_GloballyDisabled() (gas: 51417)
1171
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 75394)
1172
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2537556)
1173
+ [PASS] test_setRateLimitAddressExemptions() (gas: 58875)
1174
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21288)
1175
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 93007)
1176
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 106518)
1177
+ [PASS] test_setRateLimitConfigs_Single() (gas: 75858)
1178
+ [PASS] test_setRateLimitGlobalConfig() (gas: 48892)
1179
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 15831)
1180
+ [PASS] test_setRateLimitStates_Single() (gas: 49242)
1181
+ [PASS] test_storageHash() (gas: 3396)
1182
+ [PASS] test_upscaleRateLimitAmount() (gas: 2473123)
1183
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 11.99s (20.95ms CPU time)
1184
+
1185
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1186
+ [PASS] test_SwitchModes_PreservesState() (gas: 185357)
1187
+ [PASS] test_constructor_InitialMode() (gas: 15507)
1188
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1639939)
1189
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122100)
1190
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42789)
1191
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 109638, ~: 109738)
1192
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40859, ~: 40859)
1193
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15701, ~: 15701)
1194
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 40856, ~: 40856)
1195
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 109684, ~: 109724)
1196
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25542)
1197
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42831)
1198
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122020)
1199
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 120870)
1200
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22297)
1201
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 118820)
1202
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10855)
1203
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 167666)
1204
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 94467)
1205
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 118621)
1206
+ [PASS] test_setMode_Blacklist() (gas: 39853)
1207
+ [PASS] test_setMode_MultipleChanges() (gas: 39152)
1208
+ [PASS] test_setMode_RevertSameMode() (gas: 44866)
1209
+ [PASS] test_setMode_Whitelist() (gas: 39873)
1210
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10810)
1211
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 167600)
1212
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94350)
1213
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 118502)
1214
+ [PASS] test_storageHash() (gas: 3395)
1215
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.99s (992.31ms CPU time)
1216
+
1217
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1218
+ [PASS] test_SwitchModes_PreservesState() (gas: 193990)
1219
+ [PASS] test_constructor_InitialMode() (gas: 15640)
1220
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2641840)
1221
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127209)
1222
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45314)
1223
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 114591, ~: 114711)
1224
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43362, ~: 43362)
1225
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15803, ~: 15803)
1226
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43348, ~: 43348)
1227
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 114602, ~: 114642)
1228
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25782)
1229
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45345)
1230
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127164)
1231
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 125841)
1232
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22453)
1233
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 123814)
1234
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 19876)
1235
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13210)
1236
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 172891)
1237
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 98841)
1238
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 123949)
1239
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 22650)
1240
+ [PASS] test_setMode_Blacklist() (gas: 42354)
1241
+ [PASS] test_setMode_MultipleChanges() (gas: 42426)
1242
+ [PASS] test_setMode_RevertSameMode() (gas: 50298)
1243
+ [PASS] test_setMode_Whitelist() (gas: 42396)
1244
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13188)
1245
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 172803)
1246
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 98805)
1247
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 123931)
1248
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 22564)
1249
+ [PASS] test_storageHash() (gas: 3395)
1250
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.99s (607.66ms CPU time)
1251
+
1252
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1253
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 47656)
1254
+ [PASS] test_getAmountBeforeFee_Default() (gas: 44792)
1255
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44123, ~: 45949)
1256
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44330)
1257
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45088)
1258
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68096)
1259
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 63765)
1260
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40455)
1261
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22031)
1262
+ [PASS] test_getFee_BoundaryConditions() (gas: 71320)
1263
+ [PASS] test_getFee_Default() (gas: 40420)
1264
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42774, ~: 44203)
1265
+ [PASS] test_getFee_Rounding() (gas: 42598)
1266
+ [PASS] test_getFee_Specific() (gas: 63734)
1267
+ [PASS] test_getFee_SpecificDisabled() (gas: 63686)
1268
+ [PASS] test_setDefaultFeeBps() (gas: 39385)
1269
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31888, ~: 39476)
1270
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13626)
1271
+ [PASS] test_setFeeBps() (gas: 73386)
1272
+ Logs:
1273
+ Bound result 500
1274
+
1275
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 63734, ~: 73762)
1276
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 13841)
1277
+ [PASS] test_storageHash() (gas: 3395)
1278
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.18s (972.64ms CPU time)
1347
1279
 
1348
1280
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1349
1281
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1166795)
1350
1282
  [PASS] test_address_paginate_EmptySet() (gas: 310656)
1351
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 704606, ~: 115420)
1283
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 772593, ~: 139755)
1352
1284
  [PASS] test_address_paginate_LargeSet() (gas: 464670688)
1353
1285
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25605)
1354
1286
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2807473)
@@ -1361,12 +1293,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1361
1293
  [PASS] test_address_paginate_OffsetZero() (gas: 45223)
1362
1294
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3469583)
1363
1295
  [PASS] test_address_paginate_SingleElement() (gas: 377568)
1364
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11102760, ~: 10415424)
1296
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11159378, ~: 10401365)
1365
1297
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 320)
1366
1298
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 919214)
1367
1299
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1140265)
1368
1300
  [PASS] test_uint_paginate_EmptySet() (gas: 286599)
1369
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 810874, ~: 207981)
1301
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 784595, ~: 216915)
1370
1302
  [PASS] test_uint_paginate_LargeSet() (gas: 463683463)
1371
1303
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25351)
1372
1304
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2754427)
@@ -1379,10 +1311,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1379
1311
  [PASS] test_uint_paginate_OffsetZero() (gas: 44622)
1380
1312
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410495)
1381
1313
  [PASS] test_uint_paginate_SingleElement() (gas: 353369)
1382
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11165866, ~: 10396420)
1314
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11112944, ~: 10314531)
1383
1315
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063003)
1384
1316
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896244)
1385
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.41s (24.58s CPU time)
1317
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.18s (30.09s CPU time)
1386
1318
 
1387
- Ran 19 test suites in 10.43s (26.95s CPU time): 437 tests passed, 0 failed, 0 skipped (437 total tests)
1388
- ⏳ forge test: 22.961s
1319
+ Ran 19 test suites in 12.20s (97.32s CPU time): 437 tests passed, 0 failed, 0 skipped (437 total tests)
1320
+ ⏳ forge test: 25.507s