@layerzerolabs/utils-upgradeable-evm-contracts 1.2.13 → 1.2.14

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 +752 -662
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,95 @@
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-Fkq3xr
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-NokZXP
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:221568) [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:62115) [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-Fkq3xr:/workspace
15
+ -v /tmp/lz-scoped-workspace-NokZXP:/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
- $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
- ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
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
+ 796d60317d4d: Pulling fs layer
32
+ c35d7f83b6fc: Pulling fs layer
33
+ 8f1cde221fc4: Pulling fs layer
34
+ dd8d0adb78c1: Download complete
35
+ bcbb9eb73fb5: Pulling fs layer
36
+ c8e19a2c627e: Pulling fs layer
37
+ 53d86cd64323: Download complete
38
+ b79abc894e87: Pulling fs layer
39
+ 95f21f1a21d0: Waiting
40
+ 63ec365deef1: Pulling fs layer
41
+ 36a7bdc86737: Pulling fs layer
42
+ 36a7bdc86737: Waiting
43
+ 57cfa89d22f0: Waiting
44
+ 796d60317d4d: Waiting
45
+ 6aca5ecbfbf0: Download complete
46
+ c35d7f83b6fc: Waiting
47
+ e2082273f6a6: Download complete
48
+ 8f1cde221fc4: Waiting
49
+ c8e19a2c627e: Waiting
50
+ b79abc894e87: Waiting
51
+ bcbb9eb73fb5: Waiting
52
+ 63ec365deef1: Waiting
53
+ bbd7db620433: Verifying Checksum
54
+ bbd7db620433: Download complete
55
+ 796d60317d4d: Verifying Checksum
56
+ 796d60317d4d: Download complete
57
+ 57cfa89d22f0: Verifying Checksum
58
+ 57cfa89d22f0: Download complete
59
+ 8f1cde221fc4: Download complete
60
+ c35d7f83b6fc: Download complete
61
+ bcbb9eb73fb5: Verifying Checksum
62
+ bcbb9eb73fb5: Download complete
63
+ 17639c486e57: Pull complete
64
+ c8e19a2c627e: Verifying Checksum
65
+ c8e19a2c627e: Download complete
66
+ 53d86cd64323: Pull complete
67
+ 95f21f1a21d0: Verifying Checksum
68
+ 95f21f1a21d0: Download complete
69
+ b79abc894e87: Verifying Checksum
70
+ b79abc894e87: Download complete
71
+ 63ec365deef1: Verifying Checksum
72
+ 63ec365deef1: Download complete
73
+ 36a7bdc86737: Download complete
74
+ bbd7db620433: Pull complete
75
+ dd8d0adb78c1: Pull complete
76
+ e2082273f6a6: Pull complete
77
+ 6aca5ecbfbf0: Pull complete
78
+ 57cfa89d22f0: Pull complete
79
+ 95f21f1a21d0: Pull complete
80
+ 796d60317d4d: Pull complete
81
+ c35d7f83b6fc: Pull complete
82
+ 8f1cde221fc4: Pull complete
83
+ bcbb9eb73fb5: Pull complete
84
+ c8e19a2c627e: Pull complete
85
+ b79abc894e87: Pull complete
86
+ 63ec365deef1: Pull complete
87
+ 36a7bdc86737: Pull complete
88
+ Digest: sha256:778dd8fe35fba1405c5995090a0d4167609e8b03ece06b005fb0e067f4f7e2ab
89
+ 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
90
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
91
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
20
92
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-Fkq3xr:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
93
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-NokZXP:/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
22
94
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 12.35s
95
+ Solc 0.8.22 finished in 11.24s
24
96
  Compiler run successful with warnings:
25
97
  Warning (2018): Function state mutability can be restricted to view
26
98
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -184,7 +256,15 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
184
256
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
185
257
  [PASS] test_storageHash() (gas: 3392)
186
258
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
187
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 30.58ms (20.30ms CPU time)
259
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 33.66ms (24.32ms CPU time)
260
+
261
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
262
+ [PASS] test_feeDeposit() (gas: 17598)
263
+ [PASS] test_setFeeDeposit() (gas: 24907)
264
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
265
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
266
+ [PASS] test_storageHash() (gas: 3337)
267
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 81.28ms (80.72ms CPU time)
188
268
 
189
269
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
190
270
  [PASS] test_feeDeposit() (gas: 17660)
@@ -193,75 +273,7 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
193
273
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
194
274
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
195
275
  [PASS] test_storageHash() (gas: 3315)
196
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 92.89ms (92.23ms CPU time)
197
-
198
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
199
- [PASS] test_feeDeposit() (gas: 17598)
200
- [PASS] test_setFeeDeposit() (gas: 24907)
201
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21448, ~: 21454)
202
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
203
- [PASS] test_storageHash() (gas: 3337)
204
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 103.81ms (90.73ms CPU time)
205
-
206
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
207
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26215, ~: 38584)
208
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
209
- [PASS] test_assertNotPaused_Success() (gas: 12516)
210
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
211
- [PASS] test_isPaused_InitialState() (gas: 15595)
212
- [PASS] test_pause() (gas: 39592)
213
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27850, ~: 16219)
214
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
215
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
216
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
217
- [PASS] test_storageHash() (gas: 3414)
218
- [PASS] test_unpause() (gas: 31115)
219
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40776, ~: 42291)
220
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
221
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
222
- [PASS] test_whenNotPaused_Success() (gas: 38930)
223
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
224
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
225
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
226
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 172.33ms (218.59ms CPU time)
227
-
228
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
229
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
230
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
231
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
232
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
233
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
234
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
235
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
236
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
237
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
238
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
239
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
240
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
241
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
242
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
243
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
244
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
245
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
246
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
247
- [PASS] test_initial_state_closed() (gas: 2034659)
248
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
249
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
250
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
251
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
252
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
253
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
254
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
255
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
256
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
257
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
258
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
259
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
260
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
261
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
262
- [PASS] test_storageHash() (gas: 3414)
263
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
264
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 184.68ms (9.20ms CPU time)
276
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 124.81ms (121.26ms CPU time)
265
277
 
266
278
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
267
279
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -297,71 +309,20 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
297
309
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
298
310
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
299
311
  [PASS] test_storageHash() (gas: 3380)
300
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 361.68ms (422.85ms CPU time)
312
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 190.55ms (254.04ms CPU time)
301
313
 
302
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
303
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
304
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
305
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47378, ~: 48966)
306
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
307
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
308
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
309
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
310
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
311
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
312
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
313
- [PASS] test_getFee_Default() (gas: 43108)
314
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45538, ~: 47017)
315
- [PASS] test_getFee_Rounding() (gas: 45449)
316
- [PASS] test_getFee_Specific() (gas: 66985)
317
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
318
- [PASS] test_setDefaultFeeBps() (gas: 42199)
319
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35005, ~: 42268)
320
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
321
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
322
- [PASS] test_setFeeBps() (gas: 77237)
323
- Logs:
324
- Bound result 500
325
-
326
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69095, ~: 77570)
327
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
328
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
329
- [PASS] test_storageHash() (gas: 3436)
330
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 390.78ms (498.56ms CPU time)
331
-
332
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
333
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
334
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
335
- [PASS] test_assertNotPaused_Success() (gas: 14934)
336
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
337
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
338
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
339
- [PASS] test_isPaused_Default() (gas: 44698)
340
- [PASS] test_isPaused_InitialState() (gas: 22070)
341
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
342
- [PASS] test_isPaused_Override() (gas: 69381)
343
- [PASS] test_isPaused_Specific() (gas: 46709)
344
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
345
- [PASS] test_pauseConfig() (gas: 45626)
346
- [PASS] test_setDefaultPaused() (gas: 39667)
347
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28195, ~: 39918)
348
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
349
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
350
- [PASS] test_setPaused() (gas: 43060)
351
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
352
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38378, ~: 43373)
353
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
354
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
355
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
356
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58909, ~: 69608)
357
- [PASS] test_storageHash() (gas: 3480)
358
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
359
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
360
- [PASS] test_whenNotPaused_Success() (gas: 41297)
361
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
362
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
363
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
364
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 796.95ms (234.91ms CPU time)
314
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
315
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
316
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
317
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
318
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
319
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
320
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
321
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
322
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
323
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
324
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
325
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 229.33ms (61.57ms CPU time)
365
326
 
366
327
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
367
328
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -379,7 +340,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
379
340
  [PASS] test_pauseConfig() (gas: 51028)
380
341
  [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
381
342
  [PASS] test_setDefaultPaused() (gas: 42196)
382
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30541, ~: 18826)
343
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
383
344
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
384
345
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
385
346
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
@@ -388,8 +349,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
388
349
  [PASS] test_setPaused_DormantData() (gas: 297504)
389
350
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
390
351
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
391
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43545, ~: 48533)
392
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225855, ~: 219074)
352
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 44002, ~: 48533)
353
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224991, ~: 221992)
393
354
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
394
355
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
395
356
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
@@ -403,7 +364,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
403
364
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
404
365
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
405
366
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
406
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62740, ~: 73465)
367
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61727, ~: 50341)
407
368
  [PASS] test_storageHash() (gas: 3392)
408
369
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
409
370
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -411,10 +372,77 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
411
372
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
412
373
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
413
374
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
414
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.19s (797.39ms CPU time)
375
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 929.89ms (514.41ms CPU time)
376
+
377
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
378
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
379
+ [PASS] test_constructor_InitialMode() (gas: 15778)
380
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
381
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
382
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
383
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
384
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
385
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
386
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
387
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
388
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
389
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
390
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
391
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
392
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
393
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
394
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
395
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
396
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
397
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
398
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
399
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
400
+ [PASS] test_setMode_Blacklist() (gas: 42605)
401
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
402
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
403
+ [PASS] test_setMode_Whitelist() (gas: 42714)
404
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
405
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
406
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
407
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
408
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
409
+ [PASS] test_storageHash() (gas: 3480)
410
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 944.21ms (542.82ms CPU time)
411
+
412
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
413
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
414
+ [PASS] test_constructor_InitialMode() (gas: 15578)
415
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
416
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
417
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
418
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
419
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
420
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
421
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
422
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
423
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
424
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
425
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
426
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
427
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
428
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
429
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
430
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
431
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
432
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
433
+ [PASS] test_setMode_Blacklist() (gas: 40021)
434
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
435
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
436
+ [PASS] test_setMode_Whitelist() (gas: 40108)
437
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
438
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
439
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
440
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
441
+ [PASS] test_storageHash() (gas: 3458)
442
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.05s (411.80ms CPU time)
415
443
 
416
444
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
417
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26881, ~: 12786)
445
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26966, ~: 41090)
418
446
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
419
447
  [PASS] test_assertNotPaused_Success() (gas: 12539)
420
448
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
@@ -425,7 +453,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
425
453
  [PASS] test_pause() (gas: 42109)
426
454
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
427
455
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
428
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
456
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30425, ~: 18756)
429
457
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
430
458
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
431
459
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
@@ -434,177 +462,213 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
434
462
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
435
463
  [PASS] test_storageHash() (gas: 3414)
436
464
  [PASS] test_unpause() (gas: 35177)
437
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 42094, ~: 44741)
465
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 42032, ~: 44741)
438
466
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
439
467
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
440
468
  [PASS] test_whenNotPaused_Success() (gas: 38986)
441
469
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
442
470
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
443
471
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
444
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.28s (230.13ms CPU time)
472
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.27s (176.42ms CPU time)
445
473
 
446
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
474
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
475
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25260, ~: 12763)
476
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
477
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
478
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
479
+ [PASS] test_isPaused_InitialState() (gas: 15595)
480
+ [PASS] test_pause() (gas: 39592)
481
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27921, ~: 16219)
482
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
483
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
484
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
485
+ [PASS] test_storageHash() (gas: 3414)
486
+ [PASS] test_unpause() (gas: 31115)
487
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40757, ~: 42291)
488
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
489
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
490
+ [PASS] test_whenNotPaused_Success() (gas: 38930)
491
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
492
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
493
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
494
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.28s (244.53ms CPU time)
495
+
496
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
447
497
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
448
498
 
449
499
  ╭-----------------------------------+---------------------+-------+---------+----------╮
450
500
  | Contract | Selector | Calls | Reverts | Discards |
451
501
  +======================================================================================+
452
- | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
502
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
453
503
  |-----------------------------------+---------------------+-------+---------+----------|
454
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
504
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
455
505
  |-----------------------------------+---------------------+-------+---------+----------|
456
- | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
506
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
457
507
  |-----------------------------------+---------------------+-------+---------+----------|
458
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
508
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
459
509
  |-----------------------------------+---------------------+-------+---------+----------|
460
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
510
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
461
511
  |-----------------------------------+---------------------+-------+---------+----------|
462
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
512
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
463
513
  |-----------------------------------+---------------------+-------+---------+----------|
464
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
514
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
465
515
  ╰-----------------------------------+---------------------+-------+---------+----------╯
466
516
 
467
517
  Logs:
468
- Bound result 7129
469
- Bound result 96
470
- Bound result 8372398430898658330537
471
- Bound result 9900000000000000006220
472
- Bound result 849
473
- Bound result 6844
474
- Bound result 7266
475
- Bound result 8790
476
- Bound result 3
477
- Bound result 2193
478
- Bound result 8262
479
- Bound result 4156029342
518
+ Bound result 902941538525927879490
519
+ Bound result 1999999999999999999995
520
+ Bound result 233
521
+ Bound result 0
522
+ Bound result 1233
523
+ Bound result 1059
524
+ Bound result 6978
525
+ Bound result 297
526
+ Bound result 1726562
527
+ Bound result 875828718384643508939
528
+ Bound result 3149
529
+ Bound result 8822
530
+ Bound result 395
531
+ Bound result 9900001608161946454448
532
+ Bound result 9900000000002061838444
533
+ Bound result 36
534
+ Bound result 6242
535
+ Bound result 4308
536
+ Bound result 2185641633222513568
537
+ Bound result 275010281049647
538
+ Bound result 151
480
539
 
481
540
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
482
541
 
483
542
  ╭-----------------------------------+---------------------+-------+---------+----------╮
484
543
  | Contract | Selector | Calls | Reverts | Discards |
485
544
  +======================================================================================+
486
- | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
545
+ | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
487
546
  |-----------------------------------+---------------------+-------+---------+----------|
488
547
  | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
489
548
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
549
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
491
550
  |-----------------------------------+---------------------+-------+---------+----------|
492
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
551
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
493
552
  |-----------------------------------+---------------------+-------+---------+----------|
494
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
553
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
495
554
  |-----------------------------------+---------------------+-------+---------+----------|
496
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
555
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
497
556
  |-----------------------------------+---------------------+-------+---------+----------|
498
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
499
558
  ╰-----------------------------------+---------------------+-------+---------+----------╯
500
559
 
501
560
  Logs:
502
- Bound result 814838071901517072301
503
- Bound result 9900000000000000007912
504
- Bound result 9900000000000000009791
505
- Bound result 1097
506
- Bound result 8552
507
- Bound result 214635435
508
- Bound result 9900000000000000010416
509
- Bound result 9900000000000000008133
510
- Bound result 7491
511
- Bound result 4606
512
- Bound result 2
513
- Bound result 1424
514
- Bound result 1799740832
515
- Bound result 1
516
- Bound result 1213333844084935514130
517
- Bound result 389071897207489
518
- Bound result 0
519
- Bound result 7673
561
+ Bound result 214653567665343082378
562
+ Bound result 5923
563
+ Bound result 23
564
+ Bound result 100000000000000000000
565
+ Bound result 9947209001580540421226
566
+ Bound result 968
567
+ Bound result 6241
568
+ Bound result 10047
569
+ Bound result 2737
570
+ Bound result 10309
571
+ Bound result 13286
572
+ Bound result 8487207066734849841930
573
+ Bound result 3272
574
+ Bound result 682
575
+ Bound result 14
576
+ Bound result 9900000000000000008293
577
+ Bound result 9900000000003695152419
578
+ Bound result 3094
579
+ Bound result 1993
520
580
 
521
581
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
522
582
 
523
583
  ╭-----------------------------------+---------------------+-------+---------+----------╮
524
584
  | Contract | Selector | Calls | Reverts | Discards |
525
585
  +======================================================================================+
526
- | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
586
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
527
587
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
588
+ | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
529
589
  |-----------------------------------+---------------------+-------+---------+----------|
530
- | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
590
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
531
591
  |-----------------------------------+---------------------+-------+---------+----------|
532
- | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
592
+ | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
533
593
  |-----------------------------------+---------------------+-------+---------+----------|
534
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 504 | 0 | 0 |
594
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
535
595
  |-----------------------------------+---------------------+-------+---------+----------|
536
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
596
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
537
597
  |-----------------------------------+---------------------+-------+---------+----------|
538
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
539
599
  ╰-----------------------------------+---------------------+-------+---------+----------╯
540
600
 
541
601
  Logs:
542
- Bound result 9900000000000000007011
543
- Bound result 9900000000000000005634
544
- Bound result 2065
545
- Bound result 6769
546
- Bound result 9900000000000000005476
547
- Bound result 9900000000000000003059
548
- Bound result 1644
549
- Bound result 7609
550
- Bound result 206705642451607817996
602
+ Bound result 2445
603
+ Bound result 1376
604
+ Bound result 2415
551
605
  Bound result 1
552
- Bound result 97158075580454152
553
- Bound result 363284222
554
- Bound result 1
555
- Bound result 280375465082881
556
- Bound result 3691
557
- Bound result 7640827500288764292249
558
- Bound result 9901542905957036137578
606
+ Bound result 9900220308100383780122
607
+ Bound result 6914264337593535947488
608
+ Bound result 1555
609
+ Bound result 2560
610
+ Bound result 18261950974554
611
+ Bound result 2
612
+ Bound result 0
613
+ Bound result 2948
614
+ Bound result 2529
615
+ Bound result 287798682349029756
616
+ Bound result 22690605
617
+ Bound result 2858800
618
+ Bound result 2002761168866855182185
559
619
  Bound result 27
560
- Bound result 11
561
- Bound result 2152194664521984
562
620
 
563
621
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
564
622
 
565
623
  ╭-----------------------------------+---------------------+-------+---------+----------╮
566
624
  | Contract | Selector | Calls | Reverts | Discards |
567
625
  +======================================================================================+
568
- | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
569
627
  |-----------------------------------+---------------------+-------+---------+----------|
570
- | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
571
629
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
573
631
  |-----------------------------------+---------------------+-------+---------+----------|
574
- | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
575
633
  |-----------------------------------+---------------------+-------+---------+----------|
576
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
577
635
  |-----------------------------------+---------------------+-------+---------+----------|
578
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
579
637
  |-----------------------------------+---------------------+-------+---------+----------|
580
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
581
639
  ╰-----------------------------------+---------------------+-------+---------+----------╯
582
640
 
583
641
  Logs:
584
- Bound result 100000000000000000000
585
- Bound result 100000000000000000000
586
- Bound result 516
587
- Bound result 1612
588
- Bound result 150498398634
589
- Bound result 2
590
- Bound result 3195
591
- Bound result 9900000000666517511413
592
- Bound result 661013408946910934440
593
- Bound result 4169
594
- Bound result 11
595
- Bound result 24846505
596
- Bound result 1
597
- Bound result 1
598
- Bound result 626
599
- Bound result 9900000000000000000270
600
- Bound result 9900000000000000003353
601
- Bound result 2828
602
- Bound result 8297
603
- Bound result 3
604
- Bound result 598
605
- Bound result 7938845264452
606
- Bound result 3209
607
- Bound result 99999999999999999999
642
+ Bound result 937
643
+ Bound result 9900000459595236572776
644
+ Bound result 9926072134965009864398
645
+ Bound result 2565
646
+ Bound result 4561
647
+ Bound result 1218
648
+ Bound result 546
649
+ Bound result 9900000000000000004175
650
+ Bound result 9900000000000000000365
651
+ Bound result 9174
652
+ Bound result 517
653
+ Bound result 22519211344145714790
654
+ Bound result 15343477
655
+ Bound result 717
656
+ Bound result 6150
657
+ Bound result 8164182125372833161662
658
+ Bound result 9900000091185225336879
659
+ Bound result 2680
660
+ Bound result 6035
661
+ Bound result 11329982
662
+ Bound result 6184523204117653866457
663
+ Bound result 13484631865
664
+ Bound result 718996942907991210206
665
+ Bound result 21
666
+ Bound result 5002
667
+ Bound result 6754
668
+ Bound result 1254
669
+ Bound result 2778
670
+ Bound result 1469
671
+ Bound result 24111056076245593910
608
672
 
609
673
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
610
674
 
@@ -613,520 +677,558 @@ Logs:
613
677
  +======================================================================================+
614
678
  | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
615
679
  |-----------------------------------+---------------------+-------+---------+----------|
616
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
680
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
617
681
  |-----------------------------------+---------------------+-------+---------+----------|
618
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
682
+ | RateLimiterRBACUpgradeableHandler | setConfig | 585 | 0 | 0 |
619
683
  |-----------------------------------+---------------------+-------+---------+----------|
620
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
684
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
621
685
  |-----------------------------------+---------------------+-------+---------+----------|
622
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
686
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 515 | 0 | 0 |
623
687
  |-----------------------------------+---------------------+-------+---------+----------|
624
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
688
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
625
689
  |-----------------------------------+---------------------+-------+---------+----------|
626
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
690
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
627
691
  ╰-----------------------------------+---------------------+-------+---------+----------╯
628
692
 
629
693
  Logs:
630
- Bound result 9900000000000000000713
631
- Bound result 9900000000000000000999
632
- Bound result 187
633
- Bound result 364
634
- Bound result 7677146356965214515341
635
- Bound result 0
694
+ Bound result 2049
695
+ Bound result 4558
636
696
  Bound result 0
637
- Bound result 3151
638
- Bound result 9900000000173336772823
639
- Bound result 9900000000000000186798
640
- Bound result 3321
641
- Bound result 58
642
- Bound result 9906556507159017386225
643
- Bound result 100000000000000000003
644
- Bound result 1594
645
- Bound result 634
646
- Bound result 35039188253569
647
- Bound result 487218801279
697
+ Bound result 108517163
698
+ Bound result 514264337593504336253
699
+ Bound result 271679317494
648
700
  Bound result 0
649
- Bound result 1535
650
- Bound result 1983
651
- Bound result 4527
701
+ Bound result 150
702
+ Bound result 743
703
+ Bound result 9900000000000402286044
704
+ Bound result 6914264337593535947488
705
+ Bound result 162
706
+ Bound result 72
707
+ Bound result 9900000000000000001616
708
+ Bound result 9900000000000000008763
709
+ Bound result 146
710
+ Bound result 907
711
+ Bound result 6914264337580611354428
712
+ Bound result 1171
713
+ Bound result 228
714
+ Bound result 301
715
+ Bound result 3527295333654796923283
716
+ Bound result 100000000000000000000
717
+ Bound result 427
718
+ Bound result 4298
719
+ Bound result 6720379750200489348
652
720
 
653
721
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
654
722
 
655
723
  ╭-----------------------------------+---------------------+-------+---------+----------╮
656
724
  | Contract | Selector | Calls | Reverts | Discards |
657
725
  +======================================================================================+
658
- | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
659
727
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
661
729
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
730
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
663
731
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
732
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
665
733
  |-----------------------------------+---------------------+-------+---------+----------|
666
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
734
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 519 | 0 | 0 |
667
735
  |-----------------------------------+---------------------+-------+---------+----------|
668
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
736
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
669
737
  |-----------------------------------+---------------------+-------+---------+----------|
670
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
738
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
671
739
  ╰-----------------------------------+---------------------+-------+---------+----------╯
672
740
 
673
741
  Logs:
674
- Bound result 3566
675
- Bound result 1965
676
- Bound result 31103204032617
677
- Bound result 506786550
678
- Bound result 896
679
- Bound result 1496280103820460760439
680
- Bound result 9900000000000000009175
681
- Bound result 9900000000000000001790
682
- Bound result 1132
683
- Bound result 551
684
- Bound result 9900000015076573945489
685
- Bound result 9900007586661576891697
686
- Bound result 221
687
- Bound result 98
688
- Bound result 63
689
- Bound result 2285924395802
690
- Bound result 9900000000000000009175
691
- Bound result 9900000000000000009746
692
- Bound result 5036
693
- Bound result 7909
694
- Bound result 16679721717510910132253
742
+ Bound result 237
743
+ Bound result 128
744
+ Bound result 537725265222031486938
745
+ Bound result 0
746
+ Bound result 149
747
+ Bound result 514264337593504336253
748
+ Bound result 9702
749
+ Bound result 31
750
+ Bound result 12994
751
+ Bound result 9900000000000604439324
752
+ Bound result 6914264337593535947491
753
+ Bound result 3317
754
+ Bound result 13
755
+ Bound result 100000000000000000001
756
+ Bound result 2366205928565233925604
757
+ Bound result 7501
758
+ Bound result 3611
759
+ Bound result 8
760
+ Bound result 4576
761
+ Bound result 6509
762
+ Bound result 1240
695
763
 
696
764
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
697
765
 
698
766
  ╭-----------------------------------+---------------------+-------+---------+----------╮
699
767
  | Contract | Selector | Calls | Reverts | Discards |
700
768
  +======================================================================================+
701
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
769
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
702
770
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
771
+ | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
704
772
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
706
774
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
708
776
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
710
778
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
712
780
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | warp | 590 | 0 | 0 |
781
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
714
782
  ╰-----------------------------------+---------------------+-------+---------+----------╯
715
783
 
716
784
  Logs:
717
- Bound result 4157049185
718
- Bound result 9830614975160660787161
719
- Bound result 100000000000000000000
720
- Bound result 3453
721
- Bound result 15
722
- Bound result 1253
723
- Bound result 2807
724
- Bound result 9008
725
- Bound result 6047
785
+ Bound result 1859148445158973983605
786
+ Bound result 89202922047
787
+ Bound result 0
788
+ Bound result 54
789
+ Bound result 34864321869
790
+ Bound result 0
791
+ Bound result 28
726
792
  Bound result 1
727
- Bound result 2095
728
- Bound result 2951
729
- Bound result 9900000000000000001103
730
- Bound result 9900000000000000008499
731
- Bound result 7921
732
- Bound result 47
733
- Bound result 13491
734
- Bound result 3930
735
- Bound result 10989
793
+ Bound result 384557019136967412
794
+ Bound result 37619686770024697
795
+ Bound result 100000000000000000001
796
+ Bound result 9900000913860589670797
797
+ Bound result 39
798
+ Bound result 377
799
+ Bound result 432
800
+ Bound result 82693128958
801
+ Bound result 0
802
+ Bound result 363
803
+ Bound result 71
736
804
 
737
805
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
738
806
 
739
807
  ╭-----------------------------------+---------------------+-------+---------+----------╮
740
808
  | Contract | Selector | Calls | Reverts | Discards |
741
809
  +======================================================================================+
742
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
810
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
743
811
  |-----------------------------------+---------------------+-------+---------+----------|
744
- | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
812
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
745
813
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
814
+ | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
747
815
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
816
+ | RateLimiterRBACUpgradeableHandler | setState | 510 | 0 | 0 |
749
817
  |-----------------------------------+---------------------+-------+---------+----------|
750
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
818
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 589 | 0 | 0 |
751
819
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
820
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
753
821
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
822
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
755
823
  ╰-----------------------------------+---------------------+-------+---------+----------╯
756
824
 
757
825
  Logs:
758
- Bound result 294443687
759
- Bound result 2159037157
826
+ Bound result 76
827
+ Bound result 9799
828
+ Bound result 657584102329086802259
829
+ Bound result 52
830
+ Bound result 661167068324357162
831
+ Bound result 1320358803878960253
832
+ Bound result 57
833
+ Bound result 9900000000000000001466
834
+ Bound result 9900000000000000002774
835
+ Bound result 9136
836
+ Bound result 10
837
+ Bound result 544361197105
838
+ Bound result 68450157918975976
839
+ Bound result 6914264337581807779609
760
840
  Bound result 1
761
- Bound result 447245592362758479
762
- Bound result 1962
841
+ Bound result 0
842
+ Bound result 19259820383674702863913
763
843
  Bound result 1
764
- Bound result 1470034435085627864133
765
- Bound result 2
766
- Bound result 1073
767
- Bound result 1198996683314046567425
768
- Bound result 6914264337593535947488
769
- Bound result 9900000000000247191390
770
- Bound result 4021
771
- Bound result 9997
772
- Bound result 938
773
- Bound result 47876
774
- Bound result 9900000000000000005888
775
- Bound result 9900000000000000007668
776
- Bound result 448
777
- Bound result 8791
778
- Bound result 10382
779
- Bound result 8493
780
-
781
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.31s CPU time)
844
+ Bound result 24
845
+ Bound result 5399
846
+ Bound result 10879
847
+ Bound result 7
848
+ Bound result 14482
849
+ Bound result 10261
850
+ Bound result 9900000000000000005629
851
+ Bound result 9900000000000000002648
852
+ Bound result 7337
853
+ Bound result 5999
854
+ Bound result 56
782
855
 
783
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
856
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (7.61s CPU time)
857
+
858
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
784
859
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
785
860
 
786
861
  ╭-----------------------------------+---------------------+-------+---------+----------╮
787
862
  | Contract | Selector | Calls | Reverts | Discards |
788
863
  +======================================================================================+
789
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
864
+ | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
790
865
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
866
+ | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
792
867
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
868
+ | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
794
869
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
870
+ | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
796
871
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
872
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
798
873
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
874
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
800
875
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
802
877
  ╰-----------------------------------+---------------------+-------+---------+----------╯
803
878
 
804
879
  Logs:
805
- Bound result 61789
806
- Bound result 9900000000001425644633
807
- Bound result 6843097594233902958754
808
- Bound result 8730
809
- Bound result 517
810
- Bound result 2
811
- Bound result 1383
812
- Bound result 8194609542513
813
- Bound result 9900000000064994043683
814
- Bound result 4245850867136172054595
815
- Bound result 247
816
- Bound result 9997
817
- Bound result 13418836175925669
818
- Bound result 3663496590451271718743
819
- Bound result 0
820
- Bound result 6874041466013421182288
821
- Bound result 3045953109
822
- Bound result 1589
823
- Bound result 2
824
- Bound result 304011585069084771487
880
+ Bound result 1160
881
+ Bound result 495
882
+ Bound result 52974
883
+ Bound result 55670861367876344
884
+ Bound result 17156713670154787900
885
+ Bound result 360
886
+ Bound result 9900000000002072215440
887
+ Bound result 9900000000000000007244
888
+ Bound result 655
889
+ Bound result 5998
890
+ Bound result 76
891
+ Bound result 4195
892
+ Bound result 324
893
+ Bound result 65
894
+ Bound result 4730
895
+ Bound result 16100020
896
+ Bound result 1062141416039177
897
+ Bound result 15154826720959713995780
898
+ Bound result 468
825
899
 
826
900
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
827
901
 
828
902
  ╭-----------------------------------+---------------------+-------+---------+----------╮
829
903
  | Contract | Selector | Calls | Reverts | Discards |
830
904
  +======================================================================================+
831
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
905
+ | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
832
906
  |-----------------------------------+---------------------+-------+---------+----------|
833
- | RateLimiterRBACUpgradeableHandler | outflow | 498 | 0 | 0 |
907
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
834
908
  |-----------------------------------+---------------------+-------+---------+----------|
835
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
909
+ | RateLimiterRBACUpgradeableHandler | setConfig | 517 | 0 | 0 |
836
910
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
911
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
838
912
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
913
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 603 | 0 | 0 |
840
914
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
915
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
842
916
  |-----------------------------------+---------------------+-------+---------+----------|
843
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
917
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
844
918
  ╰-----------------------------------+---------------------+-------+---------+----------╯
845
919
 
846
920
  Logs:
847
- Bound result 9714
848
- Bound result 3491
849
- Bound result 1
850
- Bound result 3077567105752396576
851
- Bound result 9900000000000000002553
852
- Bound result 9900000000000613063845
853
- Bound result 102
854
- Bound result 7795
855
- Bound result 2959
856
- Bound result 48
857
- Bound result 243
858
- Bound result 10839
859
- Bound result 9571
860
- Bound result 577
861
- Bound result 229
862
- Bound result 13215742619264485220391
863
- Bound result 60259982712469109867
864
- Bound result 110
921
+ Bound result 109775064307
922
+ Bound result 22546373981
923
+ Bound result 388064489873888628038
924
+ Bound result 321178017272
925
+ Bound result 3521
926
+ Bound result 551
927
+ Bound result 369
928
+ Bound result 1979035761943771610630
865
929
 
866
930
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
867
931
 
868
932
  ╭-----------------------------------+---------------------+-------+---------+----------╮
869
933
  | Contract | Selector | Calls | Reverts | Discards |
870
934
  +======================================================================================+
871
- | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | inflow | 592 | 0 | 0 |
872
936
  |-----------------------------------+---------------------+-------+---------+----------|
873
- | RateLimiterRBACUpgradeableHandler | outflow | 515 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
874
938
  |-----------------------------------+---------------------+-------+---------+----------|
875
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
939
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
876
940
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
941
+ | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
878
942
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
943
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
880
944
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 587 | 0 | 0 |
945
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
882
946
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
947
+ | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
884
948
  ╰-----------------------------------+---------------------+-------+---------+----------╯
885
949
 
886
950
  Logs:
887
- Bound result 657584102329086802259
888
- Bound result 9642
951
+ Bound result 625326797433707774616
952
+ Bound result 602651024013277991514
889
953
  Bound result 1
890
- Bound result 2579647
891
- Bound result 1180
892
- Bound result 65197874
893
- Bound result 9900000000000000004419
894
- Bound result 9900000000000000002092
895
- Bound result 277
896
- Bound result 8280
897
- Bound result 1
898
- Bound result 606417462389003
899
- Bound result 663
900
- Bound result 10
901
- Bound result 323
954
+ Bound result 4895
955
+ Bound result 109
956
+ Bound result 10248955064878822690
957
+ Bound result 1028363133205233971804
958
+ Bound result 24148
959
+ Bound result 162
960
+ Bound result 48
961
+ Bound result 24
962
+ Bound result 158
963
+ Bound result 19
964
+ Bound result 6519734755253004615311
965
+ Bound result 9975502856045118046334
966
+ Bound result 1856
967
+ Bound result 412
968
+ Bound result 21061084179
969
+ Bound result 2690
902
970
 
903
971
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
904
972
 
905
973
  ╭-----------------------------------+---------------------+-------+---------+----------╮
906
974
  | Contract | Selector | Calls | Reverts | Discards |
907
975
  +======================================================================================+
908
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
976
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
909
977
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
978
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
911
979
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
980
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
913
981
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
982
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
915
983
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
984
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
917
985
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
919
987
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
921
989
  ╰-----------------------------------+---------------------+-------+---------+----------╯
922
990
 
923
991
  Logs:
924
- Bound result 3207
925
- Bound result 1294
926
- Bound result 169
927
- Bound result 2131
928
- Bound result 1350
929
- Bound result 91958387825091558
930
- Bound result 168494061843205575752
931
- Bound result 508
932
- Bound result 9900000223058033232892
933
- Bound result 9900000000000000000006
934
- Bound result 2029
935
- Bound result 8631
936
- Bound result 9839
937
- Bound result 830
992
+ Bound result 727
993
+ Bound result 2948
994
+ Bound result 10438
938
995
  Bound result 1
939
- Bound result 2293517446
940
- Bound result 9900000054813922413421
941
- Bound result 9900000000113864257624
942
- Bound result 2126
943
- Bound result 902
944
- Bound result 3
945
- Bound result 6717968120865419203855
946
- Bound result 9900000000000017346673
947
- Bound result 1156
948
- Bound result 3241
996
+ Bound result 1
997
+ Bound result 881366912233619049315
998
+ Bound result 1
999
+ Bound result 1
1000
+ Bound result 4985
1001
+ Bound result 0
1002
+ Bound result 9025
1003
+ Bound result 248
1004
+ Bound result 1972837129544842236187
1005
+ Bound result 4560336709076881537
1006
+ Bound result 0
1007
+ Bound result 9
949
1008
 
950
1009
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
951
1010
 
952
1011
  ╭-----------------------------------+---------------------+-------+---------+----------╮
953
1012
  | Contract | Selector | Calls | Reverts | Discards |
954
1013
  +======================================================================================+
955
- | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
956
1015
  |-----------------------------------+---------------------+-------+---------+----------|
957
- | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
958
1017
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
1018
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
960
1019
  |-----------------------------------+---------------------+-------+---------+----------|
961
- | RateLimiterRBACUpgradeableHandler | setState | 512 | 0 | 0 |
1020
+ | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
962
1021
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
964
1023
  |-----------------------------------+---------------------+-------+---------+----------|
965
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1024
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
966
1025
  |-----------------------------------+---------------------+-------+---------+----------|
967
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
1026
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
968
1027
  ╰-----------------------------------+---------------------+-------+---------+----------╯
969
1028
 
970
1029
  Logs:
971
- Bound result 3924909985078139
972
- Bound result 9315
973
- Bound result 7118545
974
- Bound result 1091370
975
- Bound result 0
976
- Bound result 578040799954093829902
977
- Bound result 27587158073715297726
978
- Bound result 4771
979
- Bound result 972
1030
+ Bound result 9900000000000000001556
1031
+ Bound result 9900000000000000000330
1032
+ Bound result 1148
1033
+ Bound result 2273
1034
+ Bound result 9900000000000000004527
1035
+ Bound result 9900000000000000003847
1036
+ Bound result 8860
1037
+ Bound result 5841
1038
+ Bound result 39
1039
+ Bound result 415
1040
+ Bound result 252838054620
980
1041
  Bound result 1
981
- Bound result 1439648964138461987338
982
- Bound result 4084760629951359
983
- Bound result 9900000000000000007058
984
- Bound result 9900000000000000001219
985
- Bound result 345
986
- Bound result 1009
987
- Bound result 3303
988
- Bound result 9900000000000000000884
989
- Bound result 9900000000000000005857
990
- Bound result 4952
991
- Bound result 5689
1042
+ Bound result 9900000000000000000256
1043
+ Bound result 9900000000000000008009
1044
+ Bound result 772
1045
+ Bound result 8901
1046
+ Bound result 4934
1047
+ Bound result 5
1048
+ Bound result 9900000000000000000659
1049
+ Bound result 9900000000000000003580
1050
+ Bound result 3820
1051
+ Bound result 1149
1052
+ Bound result 416
1053
+ Bound result 5825
1054
+ Bound result 323
1055
+ Bound result 24
992
1056
 
993
1057
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
994
1058
 
995
1059
  ╭-----------------------------------+---------------------+-------+---------+----------╮
996
1060
  | Contract | Selector | Calls | Reverts | Discards |
997
1061
  +======================================================================================+
998
- | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
999
1063
  |-----------------------------------+---------------------+-------+---------+----------|
1000
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1064
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
1001
1065
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
1066
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1003
1067
  |-----------------------------------+---------------------+-------+---------+----------|
1004
- | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
1068
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
1005
1069
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
1070
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
1007
1071
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 588 | 0 | 0 |
1072
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
1009
1073
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | warp | 514 | 0 | 0 |
1074
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
1011
1075
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1012
1076
 
1013
1077
  Logs:
1014
- Bound result 1537781847092956240972
1015
- Bound result 514264337593504336254
1016
- Bound result 0
1017
- Bound result 216664
1018
- Bound result 3963
1019
- Bound result 3
1020
- Bound result 16081166978848
1021
- Bound result 1330027665
1022
- Bound result 6742
1023
- Bound result 581
1078
+ Bound result 68584391973180
1079
+ Bound result 48
1080
+ Bound result 6283
1081
+ Bound result 3118
1024
1082
  Bound result 1
1025
- Bound result 9900000000000018244215
1083
+ Bound result 6492
1084
+ Bound result 574
1085
+ Bound result 2
1086
+ Bound result 25484908489265
1087
+ Bound result 1
1088
+ Bound result 4
1089
+ Bound result 11516946468957632905
1090
+ Bound result 0
1091
+ Bound result 9900000000029959471821
1026
1092
  Bound result 6914264337593535947490
1027
- Bound result 13
1028
- Bound result 9997
1029
- Bound result 419489
1030
- Bound result 822301806945
1093
+ Bound result 150
1094
+ Bound result 6182
1095
+ Bound result 6663
1096
+ Bound result 8205
1031
1097
  Bound result 1
1032
- Bound result 6163891206
1033
- Bound result 10708
1034
- Bound result 8183
1035
1098
  Bound result 1
1036
- Bound result 278
1037
- Bound result 0
1038
- Bound result 0
1039
1099
 
1040
1100
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1041
1101
 
1042
1102
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1043
1103
  | Contract | Selector | Calls | Reverts | Discards |
1044
1104
  +======================================================================================+
1045
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1046
1106
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
1048
1108
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
1109
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1050
1110
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1111
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
1052
1112
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
1113
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
1054
1114
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
1115
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 576 | 0 | 0 |
1056
1116
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1117
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1058
1118
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1059
1119
 
1060
1120
  Logs:
1061
- Bound result 1533
1062
- Bound result 9900000000000000000042
1063
- Bound result 9902519037983435830351
1064
- Bound result 10
1065
- Bound result 11
1066
- Bound result 6914264337593535947491
1067
- Bound result 100000000000000000003
1068
- Bound result 6242
1069
- Bound result 10
1070
- Bound result 457
1071
- Bound result 6825
1072
- Bound result 4950
1073
- Bound result 4266781249
1074
- Bound result 10196
1075
- Bound result 632
1076
- Bound result 7337
1077
- Bound result 9900000000040903954672
1078
- Bound result 4050998241810676693003
1079
- Bound result 5984
1080
- Bound result 42
1081
- Bound result 5403507
1082
- Bound result 8478
1083
- Bound result 2159
1084
- Bound result 1360
1085
- Bound result 53
1121
+ Bound result 7587
1122
+ Bound result 442509949597527736492
1123
+ Bound result 0
1124
+ Bound result 9900000000000000001153
1125
+ Bound result 9900000000000000008302
1126
+ Bound result 3136
1127
+ Bound result 1984
1128
+ Bound result 917
1129
+ Bound result 221376819764
1130
+ Bound result 7150
1131
+ Bound result 363012428736
1132
+ Bound result 682
1133
+ Bound result 484
1134
+ Bound result 535
1135
+ Bound result 549570240428242
1136
+ Bound result 5988
1137
+ Bound result 1915
1138
+ Bound result 126813299
1139
+ Bound result 14
1140
+ Bound result 2509
1141
+ Bound result 3972
1142
+ Bound result 1
1086
1143
 
1087
1144
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1088
1145
 
1089
1146
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1090
1147
  | Contract | Selector | Calls | Reverts | Discards |
1091
1148
  +======================================================================================+
1092
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
1149
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1093
1150
  |-----------------------------------+---------------------+-------+---------+----------|
1094
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1151
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
1095
1152
  |-----------------------------------+---------------------+-------+---------+----------|
1096
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
1153
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
1097
1154
  |-----------------------------------+---------------------+-------+---------+----------|
1098
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
1155
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1099
1156
  |-----------------------------------+---------------------+-------+---------+----------|
1100
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 514 | 0 | 0 |
1157
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
1101
1158
  |-----------------------------------+---------------------+-------+---------+----------|
1102
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
1159
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1103
1160
  |-----------------------------------+---------------------+-------+---------+----------|
1104
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1161
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1105
1162
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1106
1163
 
1107
1164
  Logs:
1108
- Bound result 1333
1109
- Bound result 380
1110
- Bound result 93
1111
- Bound result 9900000000452857328472
1112
- Bound result 9900000000000000000386
1113
- Bound result 2241
1114
- Bound result 2704
1115
- Bound result 10
1116
- Bound result 100000000000000000001
1117
- Bound result 100000000000000000000
1118
- Bound result 9995
1119
- Bound result 7811
1120
- Bound result 114264337592751668710
1121
- Bound result 580
1165
+ Bound result 1
1166
+ Bound result 27675231003424
1167
+ Bound result 70603239665911
1168
+ Bound result 1
1169
+ Bound result 2907
1170
+ Bound result 4451
1171
+ Bound result 1
1172
+ Bound result 9900000739416555767249
1173
+ Bound result 5063802325898869968459
1174
+ Bound result 1053
1175
+ Bound result 2478
1176
+ Bound result 9900000000000000044955
1177
+ Bound result 9900000000000000057627
1178
+ Bound result 3395
1179
+ Bound result 852
1180
+ Bound result 30029988123
1181
+ Bound result 9900000000000000150138
1182
+ Bound result 6894031785634204697823
1183
+ Bound result 1096
1184
+ Bound result 4991
1185
+ Bound result 3799
1186
+ Bound result 6753
1122
1187
  Bound result 2
1188
+ Bound result 1
1189
+ Bound result 1
1190
+ Bound result 48
1123
1191
 
1124
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.01s CPU time)
1192
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.35s (8.00s CPU time)
1193
+
1194
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1195
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1196
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1197
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1198
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1199
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1200
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1201
+ [PASS] test_isPaused_Default() (gas: 44698)
1202
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1203
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1204
+ [PASS] test_isPaused_Override() (gas: 69381)
1205
+ [PASS] test_isPaused_Specific() (gas: 46709)
1206
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1207
+ [PASS] test_pauseConfig() (gas: 45626)
1208
+ [PASS] test_setDefaultPaused() (gas: 39667)
1209
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
1210
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1211
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1212
+ [PASS] test_setPaused() (gas: 43060)
1213
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1214
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38258, ~: 43373)
1215
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1216
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1217
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1218
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58502, ~: 69608)
1219
+ [PASS] test_storageHash() (gas: 3480)
1220
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1221
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1222
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1223
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1224
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1225
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1226
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 10.85s (316.55ms CPU time)
1125
1227
 
1126
1228
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1127
1229
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1128
1230
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1129
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44938, ~: 46317)
1231
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45017, ~: 46317)
1130
1232
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1131
1233
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1132
1234
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -1135,93 +1237,94 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
1135
1237
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1136
1238
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1137
1239
  [PASS] test_getFee_Default() (gas: 40577)
1138
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43251, ~: 44486)
1240
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43123, ~: 44486)
1139
1241
  [PASS] test_getFee_Rounding() (gas: 42835)
1140
1242
  [PASS] test_getFee_Specific() (gas: 63968)
1141
1243
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1142
1244
  [PASS] test_setDefaultFeeBps() (gas: 39576)
1143
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32589, ~: 39667)
1245
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31960, ~: 39667)
1144
1246
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1145
1247
  [PASS] test_setFeeBps() (gas: 73871)
1146
1248
  Logs:
1147
1249
  Bound result 500
1148
1250
 
1149
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64959, ~: 74224)
1251
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66353, ~: 74224)
1150
1252
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1151
1253
  [PASS] test_storageHash() (gas: 3426)
1152
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.28s (645.30ms CPU time)
1254
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.85s (405.66ms CPU time)
1153
1255
 
1154
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1155
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1156
- [PASS] test_constructor_InitialMode() (gas: 15778)
1157
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1158
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1159
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1160
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1161
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1162
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1163
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1164
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1165
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1166
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1167
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1168
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1169
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1170
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1171
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
1172
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1173
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1174
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1175
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1176
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
1177
- [PASS] test_setMode_Blacklist() (gas: 42605)
1178
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1179
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1180
- [PASS] test_setMode_Whitelist() (gas: 42714)
1181
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1182
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1183
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1184
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1185
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
1186
- [PASS] test_storageHash() (gas: 3480)
1187
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.06s (575.53ms CPU time)
1256
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
1257
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
1258
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
1259
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
1260
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
1261
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
1262
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
1263
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
1264
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
1265
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
1266
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
1267
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
1268
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
1269
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
1270
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
1271
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
1272
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
1273
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
1274
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
1275
+ [PASS] test_initial_state_closed() (gas: 2034659)
1276
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
1277
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
1278
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
1279
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
1280
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
1281
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
1282
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
1283
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
1284
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
1285
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
1286
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
1287
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
1288
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
1289
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
1290
+ [PASS] test_storageHash() (gas: 3414)
1291
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
1292
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 10.85s (9.92ms CPU time)
1188
1293
 
1189
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1190
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1191
- [PASS] test_constructor_InitialMode() (gas: 15578)
1192
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1193
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1194
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1195
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1196
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1197
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1198
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1199
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1200
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1201
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1202
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1203
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1204
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1205
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1206
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1207
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1208
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1209
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1210
- [PASS] test_setMode_Blacklist() (gas: 40021)
1211
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1212
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1213
- [PASS] test_setMode_Whitelist() (gas: 40108)
1214
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1215
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1216
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1217
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1218
- [PASS] test_storageHash() (gas: 3458)
1219
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.06s (392.88ms CPU time)
1294
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1295
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1296
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1297
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47532, ~: 48966)
1298
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1299
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1300
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1301
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1302
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1303
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1304
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1305
+ [PASS] test_getFee_Default() (gas: 43108)
1306
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45666, ~: 47017)
1307
+ [PASS] test_getFee_Rounding() (gas: 45449)
1308
+ [PASS] test_getFee_Specific() (gas: 66985)
1309
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1310
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1311
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34745, ~: 42268)
1312
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1313
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
1314
+ [PASS] test_setFeeBps() (gas: 77237)
1315
+ Logs:
1316
+ Bound result 500
1317
+
1318
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69709, ~: 77570)
1319
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1320
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
1321
+ [PASS] test_storageHash() (gas: 3436)
1322
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 11.09s (435.43ms CPU time)
1220
1323
 
1221
1324
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1222
1325
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1223
1326
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1224
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 723617, ~: 114627)
1327
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 793803, ~: 214337)
1225
1328
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1226
1329
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1227
1330
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1234,12 +1337,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1234
1337
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1235
1338
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1236
1339
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1237
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11196618, ~: 10605634)
1340
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11170013, ~: 10411498)
1238
1341
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1239
1342
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1240
1343
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1241
1344
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1242
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 823600, ~: 398605)
1345
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 822618, ~: 303200)
1243
1346
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1244
1347
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1245
1348
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1252,23 +1355,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1252
1355
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1253
1356
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1254
1357
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1255
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11103630, ~: 10286042)
1358
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11161342, ~: 10455372)
1256
1359
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1257
1360
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1258
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.05s (25.76s CPU time)
1259
-
1260
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1261
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1262
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1263
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1264
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1265
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
1266
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1267
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1268
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1269
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1270
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1271
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.07s (130.69ms CPU time)
1361
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.09s (26.14s CPU time)
1272
1362
 
1273
- Ran 17 test suites in 11.09s (52.68s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1274
- ⏳ forge test: 25.618s
1363
+ Ran 17 test suites in 11.11s (63.50s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1364
+ ⏳ forge test: 25.622s