@layerzerolabs/utils-upgradeable-evm-contracts 0.2.112 → 0.2.114

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 +739 -660
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,16 +4,100 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- $ 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
8
- (node:174325) [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.
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-JA12JO
8
+ 📦 Copied 8 workspace package source(s)
9
+ 📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
+ (node:85059) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
13
  (Use `node --trace-warnings ...` to show where the warning was created)
12
- ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
14
+ 📦 Docker volumes:
15
+ -v /tmp/lz-mini-workspace-JA12JO:/workspace
16
+ -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
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
+ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
+ 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
21
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
22
+ forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
23
+ 86ec798129ac: Pulling fs layer
24
+ eef7c391911c: Pulling fs layer
25
+ cc2ecf4065b7: Pulling fs layer
26
+ 5760fdd70374: Pulling fs layer
27
+ c70db14240a1: Pulling fs layer
28
+ 0cb2c6965bde: Pulling fs layer
29
+ 885bca26f927: Pulling fs layer
30
+ 86ec798129ac: Waiting
31
+ 8e167e77288f: Pulling fs layer
32
+ eef7c391911c: Waiting
33
+ 45d43cc973ba: Pulling fs layer
34
+ cc2ecf4065b7: Waiting
35
+ 44c09156221f: Pulling fs layer
36
+ 5760fdd70374: Waiting
37
+ f2fb700979ad: Pulling fs layer
38
+ 2a1ced882ba9: Pulling fs layer
39
+ c70db14240a1: Waiting
40
+ 885bca26f927: Waiting
41
+ 597168d5c38e: Pulling fs layer
42
+ 0cb2c6965bde: Waiting
43
+ e431adaf232f: Pulling fs layer
44
+ 36e15e3f2788: Pulling fs layer
45
+ 44c09156221f: Waiting
46
+ 2a1ced882ba9: Waiting
47
+ f2fb700979ad: Waiting
48
+ 45d43cc973ba: Waiting
49
+ 597168d5c38e: Waiting
50
+ 36e15e3f2788: Waiting
51
+ eef7c391911c: Verifying Checksum
52
+ eef7c391911c: Download complete
53
+ 86ec798129ac: Verifying Checksum
54
+ 86ec798129ac: Download complete
55
+ 5760fdd70374: Verifying Checksum
56
+ 5760fdd70374: Download complete
57
+ c70db14240a1: Verifying Checksum
58
+ c70db14240a1: Download complete
59
+ cc2ecf4065b7: Verifying Checksum
60
+ cc2ecf4065b7: Download complete
61
+ 0cb2c6965bde: Verifying Checksum
62
+ 0cb2c6965bde: Download complete
63
+ 86ec798129ac: Pull complete
64
+ eef7c391911c: Pull complete
65
+ 8e167e77288f: Download complete
66
+ 45d43cc973ba: Verifying Checksum
67
+ 45d43cc973ba: Download complete
68
+ 44c09156221f: Download complete
69
+ f2fb700979ad: Download complete
70
+ cc2ecf4065b7: Pull complete
71
+ 5760fdd70374: Pull complete
72
+ c70db14240a1: Pull complete
73
+ 2a1ced882ba9: Verifying Checksum
74
+ 2a1ced882ba9: Download complete
75
+ 597168d5c38e: Verifying Checksum
76
+ 597168d5c38e: Download complete
77
+ 0cb2c6965bde: Pull complete
78
+ e431adaf232f: Verifying Checksum
79
+ e431adaf232f: Download complete
80
+ 36e15e3f2788: Verifying Checksum
81
+ 36e15e3f2788: Download complete
82
+ 885bca26f927: Verifying Checksum
83
+ 885bca26f927: Download complete
84
+ 885bca26f927: Pull complete
85
+ 8e167e77288f: Pull complete
86
+ 45d43cc973ba: Pull complete
87
+ 44c09156221f: Pull complete
88
+ f2fb700979ad: Pull complete
89
+ 2a1ced882ba9: Pull complete
90
+ 597168d5c38e: Pull complete
91
+ e431adaf232f: Pull complete
92
+ 36e15e3f2788: Pull complete
93
+ Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
94
+ Status: Downloaded newer image for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
95
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
96
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
97
  👤 Running container as UID:GID 1001:1001
14
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
98
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-JA12JO:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
15
99
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 12.48s
100
+ Solc 0.8.22 finished in 12.14s
17
101
  Compiler run successful with warnings:
18
102
  Warning (2018): Function state mutability can be restricted to view
19
103
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -172,50 +256,15 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
172
256
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
257
  [PASS] test_storageHash() (gas: 3414)
174
258
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 46.95ms (45.02ms CPU time)
259
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.12ms (18.72ms CPU time)
176
260
 
177
- Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
- [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
179
- [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
180
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
181
- [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19822)
182
- [PASS] test_checkpointRateLimits_Single() (gas: 88573)
183
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
184
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
185
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
186
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
187
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
188
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
189
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
190
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
191
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
192
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
193
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
194
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
195
- [PASS] test_inflow_GloballyDisabled() (gas: 54520)
196
- [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
197
- [PASS] test_initial_state_closed() (gas: 2770122)
198
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
199
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
200
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
201
- [PASS] test_outflow_GloballyDisabled() (gas: 54496)
202
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
203
- [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
204
- [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
205
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
206
- [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19937)
207
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
208
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
209
- [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21285)
210
- [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
211
- [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
212
- [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19463)
213
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
214
- [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20566)
215
- [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
- [PASS] test_storageHash() (gas: 3392)
217
- [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 27.86ms (34.52ms CPU time)
261
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
262
+ [PASS] test_feeDeposit() (gas: 17576)
263
+ [PASS] test_setFeeDeposit() (gas: 24995)
264
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
265
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
266
+ [PASS] test_storageHash() (gas: 3337)
267
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 94.64ms (93.93ms CPU time)
219
268
 
220
269
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
221
270
  [PASS] test_feeDeposit() (gas: 17638)
@@ -224,47 +273,20 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
224
273
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
225
274
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
226
275
  [PASS] test_storageHash() (gas: 3315)
227
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 77.02ms (76.35ms CPU time)
228
-
229
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
230
- [PASS] test_feeDeposit() (gas: 17576)
231
- [PASS] test_setFeeDeposit() (gas: 24995)
232
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21448, ~: 21454)
233
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
234
- [PASS] test_storageHash() (gas: 3337)
235
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 93.65ms (93.26ms CPU time)
276
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 107.53ms (106.62ms CPU time)
236
277
 
237
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
238
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
239
- [PASS] test_constructor_InitialMode() (gas: 15578)
240
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
241
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
242
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
243
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
244
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
245
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
246
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
247
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
248
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
249
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
250
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
251
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
252
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
253
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
254
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
255
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
256
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
257
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
258
- [PASS] test_setMode_Blacklist() (gas: 40021)
259
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
260
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
261
- [PASS] test_setMode_Whitelist() (gas: 40108)
262
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
263
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
264
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
265
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
266
- [PASS] test_storageHash() (gas: 3458)
267
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 294.32ms (575.57ms CPU time)
278
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
279
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
280
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
281
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
282
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
283
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
284
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
285
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
286
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
287
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
288
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
289
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 171.76ms (77.51ms CPU time)
268
290
 
269
291
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
270
292
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -272,7 +294,7 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
272
294
  [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
273
295
  [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
274
296
  [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
275
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115141, ~: 115161)
297
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
276
298
  [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
277
299
  [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
278
300
  [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
@@ -299,7 +321,116 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
299
321
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
300
322
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
301
323
  [PASS] test_storageHash() (gas: 3480)
302
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 319.71ms (641.24ms CPU time)
324
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 263.74ms (609.69ms CPU time)
325
+
326
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
327
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26768, ~: 12786)
328
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
329
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
330
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
331
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
332
+ [PASS] test_isPaused_InitialState() (gas: 15629)
333
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
334
+ [PASS] test_multipleRoleGrants() (gas: 394130)
335
+ [PASS] test_pause() (gas: 42109)
336
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
337
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
338
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30708, ~: 42378)
339
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
340
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
341
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
342
+ [PASS] test_setPaused_Success() (gas: 40691)
343
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
344
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
345
+ [PASS] test_storageHash() (gas: 3414)
346
+ [PASS] test_unpause() (gas: 35177)
347
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
348
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
349
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
350
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
351
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
352
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
353
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
354
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 274.67ms (169.93ms CPU time)
355
+
356
+ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
357
+ [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
358
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
359
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
360
+ [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19822)
361
+ [PASS] test_checkpointRateLimits_Single() (gas: 88573)
362
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
363
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
364
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
365
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
366
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
367
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
368
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
369
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
370
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
371
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
372
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
373
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
374
+ [PASS] test_inflow_GloballyDisabled() (gas: 54520)
375
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
376
+ [PASS] test_initial_state_closed() (gas: 2770122)
377
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
378
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
379
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
380
+ [PASS] test_outflow_GloballyDisabled() (gas: 54496)
381
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
382
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
383
+ [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
384
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
385
+ [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19937)
386
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
387
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
388
+ [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21285)
389
+ [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
390
+ [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
391
+ [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19463)
392
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
393
+ [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20566)
394
+ [PASS] test_setRateLimitStates_Single() (gas: 52512)
395
+ [PASS] test_storageHash() (gas: 3392)
396
+ [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
397
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 281.46ms (11.76ms CPU time)
398
+
399
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
400
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
401
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
402
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
403
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
404
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
405
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
406
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
407
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
408
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
409
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
410
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
411
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
412
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
413
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
414
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
415
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
416
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
417
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
418
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
419
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
420
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
421
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
422
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
423
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
424
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
425
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
426
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
427
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
428
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
429
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
430
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
431
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
432
+ [PASS] test_storageHash() (gas: 3380)
433
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 387.80ms (455.31ms CPU time)
303
434
 
304
435
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
305
436
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -316,16 +447,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
316
447
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
317
448
  [PASS] test_pauseConfig() (gas: 45626)
318
449
  [PASS] test_setDefaultPaused() (gas: 39667)
319
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27983, ~: 16332)
450
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28408, ~: 39918)
320
451
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
321
452
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
322
453
  [PASS] test_setPaused() (gas: 43060)
323
454
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
324
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38915, ~: 43373)
455
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37900, ~: 43373)
325
456
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
326
457
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
327
458
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
328
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
459
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57552, ~: 46989)
329
460
  [PASS] test_storageHash() (gas: 3480)
330
461
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
331
462
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -333,50 +464,7 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
333
464
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
334
465
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
335
466
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
336
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 603.96ms (482.39ms CPU time)
337
-
338
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
339
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
340
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
341
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
342
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
343
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
344
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
345
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
346
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
347
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
348
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
349
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 960.88ms (153.17ms CPU time)
350
-
351
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
352
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
353
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
354
- [PASS] test_assertNotPaused_Success() (gas: 12539)
355
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
356
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
357
- [PASS] test_isPaused_InitialState() (gas: 15629)
358
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
359
- [PASS] test_multipleRoleGrants() (gas: 394130)
360
- [PASS] test_pause() (gas: 42109)
361
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
362
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
363
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30637, ~: 42378)
364
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
365
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
366
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
367
- [PASS] test_setPaused_Success() (gas: 40691)
368
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
369
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
370
- [PASS] test_storageHash() (gas: 3414)
371
- [PASS] test_unpause() (gas: 35177)
372
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41647, ~: 38860)
373
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
374
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
375
- [PASS] test_whenNotPaused_Success() (gas: 38800)
376
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
377
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
378
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
379
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.36s (398.27ms CPU time)
467
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.01s (225.66ms CPU time)
380
468
 
381
469
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
382
470
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -394,7 +482,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
394
482
  [PASS] test_pauseConfig() (gas: 51028)
395
483
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
396
484
  [PASS] test_setDefaultPaused() (gas: 42196)
397
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30919, ~: 42446)
485
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30943, ~: 42446)
398
486
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
399
487
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
400
488
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -403,8 +491,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
403
491
  [PASS] test_setPaused_DormantData() (gas: 295234)
404
492
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
405
493
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
406
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43363, ~: 48533)
407
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223815, ~: 219722)
494
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43926, ~: 48696)
495
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222888, ~: 216804)
408
496
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
409
497
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
410
498
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -418,7 +506,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
418
506
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
419
507
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
420
508
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
421
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62442, ~: 73465)
509
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62657, ~: 73465)
422
510
  [PASS] test_storageHash() (gas: 3392)
423
511
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
424
512
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -426,7 +514,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
426
514
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
427
515
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
428
516
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
429
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.49s (923.17ms CPU time)
517
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.21s (494.61ms CPU time)
430
518
 
431
519
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
432
520
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -434,349 +522,351 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
434
522
  ╭-----------------------------------+---------------------+-------+---------+----------╮
435
523
  | Contract | Selector | Calls | Reverts | Discards |
436
524
  +======================================================================================+
437
- | RateLimiterRBACUpgradeableHandler | inflow | 589 | 0 | 0 |
525
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
438
526
  |-----------------------------------+---------------------+-------+---------+----------|
439
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
527
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
440
528
  |-----------------------------------+---------------------+-------+---------+----------|
441
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
529
+ | RateLimiterRBACUpgradeableHandler | setConfig | 519 | 0 | 0 |
442
530
  |-----------------------------------+---------------------+-------+---------+----------|
443
- | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
444
532
  |-----------------------------------+---------------------+-------+---------+----------|
445
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 525 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
446
534
  |-----------------------------------+---------------------+-------+---------+----------|
447
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
448
536
  |-----------------------------------+---------------------+-------+---------+----------|
449
- | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | warp | 588 | 0 | 0 |
450
538
  ╰-----------------------------------+---------------------+-------+---------+----------╯
451
539
 
452
540
  Logs:
453
- Bound result 9900000000000000004657
454
- Bound result 9900000000000000010265
455
- Bound result 3799
456
- Bound result 40
457
- Bound result 471076847998242
458
- Bound result 9900000000585318166505
459
- Bound result 9900000000000461215546
460
- Bound result 3936
461
- Bound result 56
462
- Bound result 367187
463
- Bound result 482856262021570
541
+ Bound result 218891
542
+ Bound result 262394494603
543
+ Bound result 1
464
544
  Bound result 1
465
- Bound result 41625467
466
- Bound result 4724
467
- Bound result 933
468
- Bound result 2951
469
- Bound result 67
470
- Bound result 9900000000000000000288
471
- Bound result 9900000000000000000147
472
- Bound result 3580
473
- Bound result 6950
474
- Bound result 281628
475
- Bound result 55000295991327
476
- Bound result 7872
545
+ Bound result 1171
546
+ Bound result 350
547
+ Bound result 9900000000000000002457
548
+ Bound result 9900000000000000000922
549
+ Bound result 625
550
+ Bound result 1399
551
+ Bound result 2827222499576948311589
552
+ Bound result 100000000000000000000
553
+ Bound result 5016
554
+ Bound result 9996
555
+ Bound result 617
556
+ Bound result 253
557
+ Bound result 9954692188779849276659
558
+ Bound result 9900000000000006107144
559
+ Bound result 6242
560
+ Bound result 4360
561
+ Bound result 991
562
+ Bound result 5523433391250687894495
563
+ Bound result 784
477
564
 
478
565
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
479
566
 
480
567
  ╭-----------------------------------+---------------------+-------+---------+----------╮
481
568
  | Contract | Selector | Calls | Reverts | Discards |
482
569
  +======================================================================================+
483
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
484
571
  |-----------------------------------+---------------------+-------+---------+----------|
485
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
486
573
  |-----------------------------------+---------------------+-------+---------+----------|
487
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
488
575
  |-----------------------------------+---------------------+-------+---------+----------|
489
- | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
576
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
490
577
  |-----------------------------------+---------------------+-------+---------+----------|
491
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 525 | 0 | 0 |
578
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
492
579
  |-----------------------------------+---------------------+-------+---------+----------|
493
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
580
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
494
581
  |-----------------------------------+---------------------+-------+---------+----------|
495
- | RateLimiterRBACUpgradeableHandler | warp | 508 | 0 | 0 |
582
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
496
583
  ╰-----------------------------------+---------------------+-------+---------+----------╯
497
584
 
498
585
  Logs:
499
- Bound result 892266825002218564463
500
- Bound result 24943
501
- Bound result 48080973958642
502
586
  Bound result 1
503
- Bound result 1
504
- Bound result 6331
505
- Bound result 7282222402
506
- Bound result 0
507
- Bound result 114
508
- Bound result 311
509
- Bound result 7909
510
- Bound result 486
511
- Bound result 3480
512
- Bound result 63
513
- Bound result 1581
514
- Bound result 991855308653467622174
515
- Bound result 335
516
- Bound result 1632
517
- Bound result 2630
587
+ Bound result 1070292497
588
+ Bound result 514264337593543950332
589
+ Bound result 9900000000000000007795
590
+ Bound result 9900000000000000003607
591
+ Bound result 2066
592
+ Bound result 2482
593
+ Bound result 20
594
+ Bound result 6914264337564677692027
595
+ Bound result 6914264337531161781352
596
+ Bound result 6914264337564677692024
597
+ Bound result 223
598
+ Bound result 7702
599
+ Bound result 10275
600
+ Bound result 211
601
+ Bound result 613
602
+ Bound result 32
518
603
 
519
604
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
520
605
 
521
606
  ╭-----------------------------------+---------------------+-------+---------+----------╮
522
607
  | Contract | Selector | Calls | Reverts | Discards |
523
608
  +======================================================================================+
524
- | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
609
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
525
610
  |-----------------------------------+---------------------+-------+---------+----------|
526
- | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
611
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
527
612
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | setConfig | 590 | 0 | 0 |
613
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
529
614
  |-----------------------------------+---------------------+-------+---------+----------|
530
- | RateLimiterRBACUpgradeableHandler | setState | 586 | 0 | 0 |
615
+ | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
531
616
  |-----------------------------------+---------------------+-------+---------+----------|
532
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
617
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
533
618
  |-----------------------------------+---------------------+-------+---------+----------|
534
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
619
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
535
620
  |-----------------------------------+---------------------+-------+---------+----------|
536
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
621
+ | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
537
622
  ╰-----------------------------------+---------------------+-------+---------+----------╯
538
623
 
539
624
  Logs:
540
- Bound result 924
541
- Bound result 9900000000000113687947
542
- Bound result 3026855100912800275225
543
- Bound result 10
544
- Bound result 1102
545
- Bound result 1327428229
546
- Bound result 1667
547
- Bound result 1763
548
- Bound result 8360
549
- Bound result 940
550
- Bound result 19205746598204807676
551
- Bound result 5165424778684176305164
552
- Bound result 597
553
- Bound result 3826595713139935830483
554
- Bound result 9900000000667527740198
555
- Bound result 9900000000000012413229
556
- Bound result 6242
557
- Bound result 2966
558
- Bound result 7041109067069941
559
- Bound result 6825
625
+ Bound result 8107
626
+ Bound result 391
627
+ Bound result 281886368832533372129
628
+ Bound result 267842938128577187385
629
+ Bound result 1293
630
+ Bound result 9900000008756930136794
631
+ Bound result 100000000000000000001
632
+ Bound result 935
633
+ Bound result 8373
634
+ Bound result 4700
635
+ Bound result 506319972180266
636
+ Bound result 312636875505
637
+ Bound result 1261
638
+ Bound result 15276971143648183123004
639
+ Bound result 9900000000000025657924
640
+ Bound result 9900000029377472619070
641
+ Bound result 161
642
+ Bound result 3612
643
+ Bound result 6723550060668033409098
560
644
  Bound result 1
645
+ Bound result 3
561
646
 
562
647
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
563
648
 
564
649
  ╭-----------------------------------+---------------------+-------+---------+----------╮
565
650
  | Contract | Selector | Calls | Reverts | Discards |
566
651
  +======================================================================================+
567
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
568
653
  |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
570
655
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
572
657
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | setState | 578 | 0 | 0 |
574
659
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
576
661
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
578
663
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
580
665
  ╰-----------------------------------+---------------------+-------+---------+----------╯
581
666
 
582
667
  Logs:
583
- Bound result 477375498967
584
- Bound result 8034233101975790764
585
- Bound result 3582
586
- Bound result 308
587
- Bound result 2439649221
588
- Bound result 687042986395345435819
589
- Bound result 60652407780537240373
590
- Bound result 543
591
- Bound result 359
592
- Bound result 10416
593
- Bound result 70
668
+ Bound result 4138
669
+ Bound result 9945859727634863605130
670
+ Bound result 9900000034863731426806
671
+ Bound result 3550
672
+ Bound result 221
673
+ Bound result 5
674
+ Bound result 4196
675
+ Bound result 2694
676
+ Bound result 6
677
+ Bound result 11688762491
678
+ Bound result 9900000000000000009850
679
+ Bound result 9900000000000392401229
680
+ Bound result 6664
681
+ Bound result 5000
682
+ Bound result 523077092117
683
+ Bound result 16813788055016958739452
684
+ Bound result 0
685
+ Bound result 7488678688617040299588
686
+ Bound result 9900634563757161455592
687
+ Bound result 9900000000000000000006
688
+ Bound result 10
689
+ Bound result 811
690
+ Bound result 727
594
691
 
595
692
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
596
693
 
597
694
  ╭-----------------------------------+---------------------+-------+---------+----------╮
598
695
  | Contract | Selector | Calls | Reverts | Discards |
599
696
  +======================================================================================+
600
- | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
697
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
601
698
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
603
700
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
605
702
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
607
704
  |-----------------------------------+---------------------+-------+---------+----------|
608
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
609
706
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
611
708
  |-----------------------------------+---------------------+-------+---------+----------|
612
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
613
710
  ╰-----------------------------------+---------------------+-------+---------+----------╯
614
711
 
615
712
  Logs:
616
- Bound result 9
617
- Bound result 7
618
- Bound result 9900000000000000000272
619
- Bound result 100000000000000000001
620
- Bound result 4016
621
- Bound result 11
622
- Bound result 9900000000000000002862
623
- Bound result 9900000000000000007402
624
- Bound result 2685
625
- Bound result 8529
626
- Bound result 76062294
627
- Bound result 9900000281474976710656
628
- Bound result 9900000000000000000278
629
- Bound result 3469
630
- Bound result 6136
631
- Bound result 4100
632
- Bound result 217889148595
633
- Bound result 7224316987524
634
- Bound result 4
635
- Bound result 9900000000000000001558
636
- Bound result 9900000000000000000868
637
- Bound result 2327
638
- Bound result 1653
639
- Bound result 454
713
+ Bound result 9900001826077512279522
714
+ Bound result 9900000000000000000007
715
+ Bound result 3025
716
+ Bound result 401
717
+ Bound result 69
718
+ Bound result 219
719
+ Bound result 15796966714701030624985
720
+ Bound result 478977444
721
+ Bound result 2
722
+ Bound result 10337
723
+ Bound result 1031
724
+ Bound result 15772295043893456
725
+ Bound result 51674458620653
726
+ Bound result 13
727
+ Bound result 5999
728
+ Bound result 1
729
+ Bound result 7972124348857292768123
730
+ Bound result 9900000000000012703608
731
+ Bound result 13
732
+ Bound result 207
640
733
 
641
734
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
642
735
 
643
736
  ╭-----------------------------------+---------------------+-------+---------+----------╮
644
737
  | Contract | Selector | Calls | Reverts | Discards |
645
738
  +======================================================================================+
646
- | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
739
+ | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
647
740
  |-----------------------------------+---------------------+-------+---------+----------|
648
- | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
649
742
  |-----------------------------------+---------------------+-------+---------+----------|
650
- | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
651
744
  |-----------------------------------+---------------------+-------+---------+----------|
652
- | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
653
746
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
655
748
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
749
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
657
750
  |-----------------------------------+---------------------+-------+---------+----------|
658
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
751
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
659
752
  ╰-----------------------------------+---------------------+-------+---------+----------╯
660
753
 
661
754
  Logs:
662
- Bound result 362911365804212580631
663
- Bound result 6
664
- Bound result 1
665
- Bound result 1
666
- Bound result 9900000000000000005825
667
- Bound result 9900000000000000004383
668
- Bound result 969
669
- Bound result 2155
670
- Bound result 3691
671
- Bound result 2982
672
- Bound result 30547813668661959513
673
- Bound result 1828023034
674
- Bound result 0
675
- Bound result 3
676
- Bound result 667
677
- Bound result 0
678
- Bound result 9900000000000079305694
679
- Bound result 9900000000000000000330
680
- Bound result 2764
681
- Bound result 8438
682
- Bound result 3788300595
683
- Bound result 1
684
- Bound result 100000000000000000000
685
- Bound result 370984217352248303910
686
- Bound result 14
687
- Bound result 563
688
- Bound result 589
689
- Bound result 42
755
+ Bound result 9688179556398605903819
756
+ Bound result 9900000000019634450256
757
+ Bound result 3275
758
+ Bound result 10
759
+ Bound result 3870
760
+ Bound result 9901097503447601208045
761
+ Bound result 9900000021151602470626
762
+ Bound result 4039
763
+ Bound result 6146
764
+ Bound result 66
765
+ Bound result 9930877997472788915169
766
+ Bound result 9900000321052353392711
767
+ Bound result 10
768
+ Bound result 10
769
+ Bound result 4704275605645355989732
770
+ Bound result 9900000000044189556254
771
+ Bound result 8491
772
+ Bound result 2150
773
+ Bound result 9530
774
+ Bound result 9904
775
+ Bound result 58
776
+ Bound result 1144189856488645
777
+ Bound result 844026356
778
+ Bound result 15
779
+ Bound result 294443687
780
+ Bound result 1148
781
+ Bound result 5644
782
+ Bound result 15711
690
783
 
691
784
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
692
785
 
693
786
  ╭-----------------------------------+---------------------+-------+---------+----------╮
694
787
  | Contract | Selector | Calls | Reverts | Discards |
695
788
  +======================================================================================+
696
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
697
790
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
699
792
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
701
794
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
703
796
  |-----------------------------------+---------------------+-------+---------+----------|
704
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
705
798
  |-----------------------------------+---------------------+-------+---------+----------|
706
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
707
800
  |-----------------------------------+---------------------+-------+---------+----------|
708
- | RateLimiterRBACUpgradeableHandler | warp | 580 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
709
802
  ╰-----------------------------------+---------------------+-------+---------+----------╯
710
803
 
711
804
  Logs:
712
- Bound result 1005676547704627388
713
- Bound result 878
714
- Bound result 2
715
- Bound result 174460798333056844691
716
- Bound result 73
717
- Bound result 210003
718
- Bound result 8423
719
- Bound result 42709623706940832
720
- Bound result 166769
721
- Bound result 25
722
- Bound result 614
723
- Bound result 902
724
- Bound result 9900000000000000008027
725
- Bound result 9900000280375465082881
726
- Bound result 5610
727
- Bound result 3954
728
- Bound result 7347219028862
805
+ Bound result 9900000000000000007010
806
+ Bound result 9900000000000000004543
807
+ Bound result 458
808
+ Bound result 8994
809
+ Bound result 9900000000000000000675
810
+ Bound result 9901599984447295876030
811
+ Bound result 11
812
+ Bound result 99
813
+ Bound result 139
814
+ Bound result 17978040799952402513452
815
+ Bound result 13312264806466517429159
816
+ Bound result 3337181536192625492230
817
+ Bound result 382242186615540236
818
+ Bound result 23
819
+ Bound result 17416918337180873312800
820
+ Bound result 6234973
821
+ Bound result 217849946579
822
+ Bound result 0
823
+ Bound result 1547
729
824
 
730
825
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
731
826
 
732
827
  ╭-----------------------------------+---------------------+-------+---------+----------╮
733
828
  | Contract | Selector | Calls | Reverts | Discards |
734
829
  +======================================================================================+
735
- | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
736
831
  |-----------------------------------+---------------------+-------+---------+----------|
737
- | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
832
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
738
833
  |-----------------------------------+---------------------+-------+---------+----------|
739
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
740
835
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
742
837
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
744
839
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
746
841
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
748
843
  ╰-----------------------------------+---------------------+-------+---------+----------╯
749
844
 
750
845
  Logs:
751
- Bound result 6265
752
- Bound result 9900000000000000012601
753
- Bound result 9900000006707446286716
754
- Bound result 7643
755
- Bound result 4947
756
- Bound result 3084
757
- Bound result 9900000000000000002388
758
- Bound result 9900000000000000000063
759
- Bound result 3451
760
- Bound result 211
761
- Bound result 393
762
- Bound result 9900000151078970926803
763
- Bound result 9900000000000000010135
764
- Bound result 1633
765
- Bound result 9767
846
+ Bound result 634234337813401
847
+ Bound result 5713612403933
848
+ Bound result 1
849
+ Bound result 3461
850
+ Bound result 468
851
+ Bound result 10103
852
+ Bound result 0
853
+ Bound result 514264337593504336253
854
+ Bound result 165898833095145596482
855
+ Bound result 0
856
+ Bound result 3870
857
+ Bound result 623
858
+ Bound result 1
859
+ Bound result 3093
860
+ Bound result 5185
766
861
  Bound result 1
767
- Bound result 9900000000030646054246
768
- Bound result 4497770625481295901431
769
- Bound result 4145
770
- Bound result 4546
771
- Bound result 4283
772
- Bound result 46494
773
- Bound result 158
774
- Bound result 4055
775
- Bound result 650042587866924992543
776
- Bound result 1766
777
- Bound result 3337
778
-
779
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.63s (9.45s CPU time)
862
+ Bound result 1414967274098130262334
863
+ Bound result 220247795313176094300
864
+ Bound result 0
865
+ Bound result 7715
866
+ Bound result 20581870114
867
+ Bound result 10539
868
+
869
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.20s CPU time)
780
870
 
781
871
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
782
872
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -786,79 +876,90 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
786
876
  +======================================================================================+
787
877
  | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
788
878
  |-----------------------------------+---------------------+-------+---------+----------|
789
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
790
880
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
792
882
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
794
884
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
796
886
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
798
888
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
889
+ | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
800
890
  ╰-----------------------------------+---------------------+-------+---------+----------╯
801
891
 
802
892
  Logs:
803
- Bound result 9469
804
- Bound result 9900000000000000000009
805
- Bound result 9900000001783843494217
806
- Bound result 71
807
- Bound result 9218
808
- Bound result 2496
809
- Bound result 8244
810
- Bound result 2215456450
811
- Bound result 1
812
- Bound result 6196709533045
813
- Bound result 18
893
+ Bound result 237152470913113934429
894
+ Bound result 172914364183965957590
814
895
  Bound result 0
815
- Bound result 6914264337593471924739
816
- Bound result 5087254751999
817
- Bound result 16129
818
- Bound result 6176
819
- Bound result 21947
820
- Bound result 3
821
- Bound result 1
896
+ Bound result 9900000000000000079703
897
+ Bound result 3881047508032370729907
898
+ Bound result 667
899
+ Bound result 1792
900
+ Bound result 4955
901
+ Bound result 1068337201
902
+ Bound result 6149467785336741437098
903
+ Bound result 0
904
+ Bound result 721685573693476323309
905
+ Bound result 800627395
906
+ Bound result 14986672542909544402715
907
+ Bound result 9900000000000002252889
908
+ Bound result 1059290899624954331105
909
+ Bound result 6241
910
+ Bound result 2066
911
+ Bound result 8264
912
+ Bound result 1161
822
913
 
823
914
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
824
915
 
825
916
  ╭-----------------------------------+---------------------+-------+---------+----------╮
826
917
  | Contract | Selector | Calls | Reverts | Discards |
827
918
  +======================================================================================+
828
- | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
919
+ | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
829
920
  |-----------------------------------+---------------------+-------+---------+----------|
830
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
921
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
831
922
  |-----------------------------------+---------------------+-------+---------+----------|
832
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | setConfig | 495 | 0 | 0 |
833
924
  |-----------------------------------+---------------------+-------+---------+----------|
834
- | RateLimiterRBACUpgradeableHandler | setState | 505 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | setState | 501 | 0 | 0 |
835
926
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 604 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
837
928
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
839
930
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
841
932
  ╰-----------------------------------+---------------------+-------+---------+----------╯
842
933
 
843
934
  Logs:
844
- Bound result 261
845
- Bound result 1997
846
- Bound result 8304442763200991463207
847
- Bound result 9900000000000000005688
848
- Bound result 3106
849
- Bound result 2315
850
- Bound result 29
851
- Bound result 6123
852
- Bound result 3779139093168459358016
853
- Bound result 8781
854
- Bound result 126
855
- Bound result 256
856
- Bound result 9567237898383377834282
857
- Bound result 3669067167703244401485
858
- Bound result 399
859
- Bound result 15956269416814346076398
860
- Bound result 4078495893759451048
861
- Bound result 8581
935
+ Bound result 113362798613793846
936
+ Bound result 1532060640078029400665
937
+ Bound result 0
938
+ Bound result 1
939
+ Bound result 9900000000000000008762
940
+ Bound result 9900000000000000002316
941
+ Bound result 2045
942
+ Bound result 3755
943
+ Bound result 1854
944
+ Bound result 16671765004781
945
+ Bound result 1
946
+ Bound result 9900000000000000008653
947
+ Bound result 9900000000000000005670
948
+ Bound result 1585
949
+ Bound result 7984
950
+ Bound result 4946
951
+ Bound result 9900000000000000000039
952
+ Bound result 9900000000000000001560
953
+ Bound result 393
954
+ Bound result 3801
955
+ Bound result 5258696413000597526
956
+ Bound result 9900000000000000010386
957
+ Bound result 9900000000000000008519
958
+ Bound result 780
959
+ Bound result 1326
960
+ Bound result 949
961
+ Bound result 8461
962
+ Bound result 2043
862
963
 
863
964
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
864
965
 
@@ -867,264 +968,308 @@ Logs:
867
968
  +======================================================================================+
868
969
  | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
869
970
  |-----------------------------------+---------------------+-------+---------+----------|
870
- | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
871
972
  |-----------------------------------+---------------------+-------+---------+----------|
872
- | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
873
974
  |-----------------------------------+---------------------+-------+---------+----------|
874
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
875
976
  |-----------------------------------+---------------------+-------+---------+----------|
876
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
877
978
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
879
980
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
881
982
  ╰-----------------------------------+---------------------+-------+---------+----------╯
882
983
 
883
984
  Logs:
884
- Bound result 9901415285830799406079
885
- Bound result 100000000000000000001
886
- Bound result 8801
887
- Bound result 10
888
- Bound result 3931
889
- Bound result 762669523
890
- Bound result 629
891
- Bound result 4116
892
- Bound result 252
893
- Bound result 8119542849359252503
894
- Bound result 428
895
- Bound result 710638805515675876514
896
- Bound result 2429228249877084500344
897
- Bound result 10
898
- Bound result 6241
899
- Bound result 1256691028207
900
- Bound result 7701
985
+ Bound result 262
986
+ Bound result 1257
987
+ Bound result 1974211701222620
988
+ Bound result 2098129407147058608
989
+ Bound result 215
990
+ Bound result 1294
991
+ Bound result 3370
992
+ Bound result 514264337593543950333
993
+ Bound result 1
994
+ Bound result 0
995
+ Bound result 151
996
+ Bound result 5550
997
+ Bound result 1
901
998
 
902
999
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
903
1000
 
904
1001
  ╭-----------------------------------+---------------------+-------+---------+----------╮
905
1002
  | Contract | Selector | Calls | Reverts | Discards |
906
1003
  +======================================================================================+
907
- | RateLimiterRBACUpgradeableHandler | inflow | 598 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
908
1005
  |-----------------------------------+---------------------+-------+---------+----------|
909
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | outflow | 486 | 0 | 0 |
910
1007
  |-----------------------------------+---------------------+-------+---------+----------|
911
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
912
1009
  |-----------------------------------+---------------------+-------+---------+----------|
913
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
914
1011
  |-----------------------------------+---------------------+-------+---------+----------|
915
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 589 | 0 | 0 |
916
1013
  |-----------------------------------+---------------------+-------+---------+----------|
917
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
918
1015
  |-----------------------------------+---------------------+-------+---------+----------|
919
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
920
1017
  ╰-----------------------------------+---------------------+-------+---------+----------╯
921
1018
 
922
1019
  Logs:
923
- Bound result 6934901070
924
- Bound result 9900000000000000007260
925
- Bound result 9900000000000000007716
926
- Bound result 5460
927
- Bound result 4090
928
- Bound result 7203529
929
- Bound result 9900000000000000000030
930
- Bound result 6914264337593535947491
931
- Bound result 531
932
- Bound result 99
933
- Bound result 60691547
934
- Bound result 46
935
- Bound result 1
936
- Bound result 14415059311325869375184
937
- Bound result 9900000000000000007259
938
- Bound result 193830430
939
- Bound result 3013121952
1020
+ Bound result 348464660961358947059
1021
+ Bound result 2000000000000000000000
1022
+ Bound result 8009071468877862989569
1023
+ Bound result 9900000000000003785813
1024
+ Bound result 20
1025
+ Bound result 7197
1026
+ Bound result 10163
1027
+ Bound result 731
940
1028
  Bound result 0
941
- Bound result 883
942
- Bound result 613063844
943
- Bound result 743
944
- Bound result 4257
1029
+ Bound result 94
1030
+ Bound result 5841
1031
+ Bound result 328355856542315608691
1032
+ Bound result 9900000000000000006868
1033
+ Bound result 9900000000000000003860
1034
+ Bound result 117
1035
+ Bound result 1381
1036
+ Bound result 1952
945
1037
 
946
1038
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
947
1039
 
948
1040
  ╭-----------------------------------+---------------------+-------+---------+----------╮
949
1041
  | Contract | Selector | Calls | Reverts | Discards |
950
1042
  +======================================================================================+
951
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
1043
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
952
1044
  |-----------------------------------+---------------------+-------+---------+----------|
953
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
954
1046
  |-----------------------------------+---------------------+-------+---------+----------|
955
- | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
956
1048
  |-----------------------------------+---------------------+-------+---------+----------|
957
1049
  | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
958
1050
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
960
1052
  |-----------------------------------+---------------------+-------+---------+----------|
961
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
962
1054
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
964
1056
  ╰-----------------------------------+---------------------+-------+---------+----------╯
965
1057
 
966
1058
  Logs:
967
- Bound result 46
968
- Bound result 9900000000000000002369
969
- Bound result 4239385251221453127401
970
- Bound result 1132
971
- Bound result 424
972
- Bound result 3147968560
973
- Bound result 6169774683735581708984
1059
+ Bound result 1769216908398115124489
1060
+ Bound result 9900000000000005324095
1061
+ Bound result 9900000000000000046318
1062
+ Bound result 13
1063
+ Bound result 10
1064
+ Bound result 47601
1065
+ Bound result 12852942752898871969274
1066
+ Bound result 0
1067
+ Bound result 1
1068
+ Bound result 613063842
1069
+ Bound result 1065
1070
+ Bound result 1
1071
+ Bound result 6390484191812927
1072
+ Bound result 6914264294985638222732
1073
+ Bound result 41805860060473
1074
+ Bound result 0
1075
+ Bound result 9900000000000000000665
1076
+ Bound result 9900000000000000000060
1077
+ Bound result 64
1078
+ Bound result 1261
1079
+ Bound result 38162472102
1080
+ Bound result 52975
1081
+ Bound result 485
974
1082
  Bound result 1
975
- Bound result 303
976
- Bound result 9900000000000000015257
977
- Bound result 9900000000000000000012
978
- Bound result 7778
979
- Bound result 801
980
- Bound result 805
981
- Bound result 3254208513255015249982
982
- Bound result 48208432554046866818
983
- Bound result 12222
984
- Bound result 211
985
- Bound result 15366
986
- Bound result 4449139783884736787653
987
1083
 
988
1084
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
989
1085
 
990
1086
  ╭-----------------------------------+---------------------+-------+---------+----------╮
991
1087
  | Contract | Selector | Calls | Reverts | Discards |
992
1088
  +======================================================================================+
993
- | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
994
1090
  |-----------------------------------+---------------------+-------+---------+----------|
995
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
996
1092
  |-----------------------------------+---------------------+-------+---------+----------|
997
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
998
1094
  |-----------------------------------+---------------------+-------+---------+----------|
999
- | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
1000
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1001
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 597 | 0 | 0 |
1002
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1003
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 520 | 0 | 0 |
1004
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1005
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
1006
1102
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1007
1103
 
1008
1104
  Logs:
1009
- Bound result 9952659835512678595327
1010
- Bound result 9900000035637338670839
1011
- Bound result 6168
1012
- Bound result 3064
1013
- Bound result 7390394828254763335
1014
- Bound result 6443386816184699701132
1015
- Bound result 9900000000000058699792
1016
- Bound result 144393250314336244819
1017
- Bound result 1967
1018
- Bound result 35
1019
- Bound result 74
1020
- Bound result 435989
1021
- Bound result 1294
1022
- Bound result 16777214
1105
+ Bound result 1049224754172
1023
1106
  Bound result 1
1024
- Bound result 17904204769802992211826
1025
- Bound result 73748292
1026
1107
  Bound result 1
1027
- Bound result 48
1028
- Bound result 67817132818912067001
1108
+ Bound result 1491893492834858570721
1109
+ Bound result 3589
1110
+ Bound result 491752801
1111
+ Bound result 9900024945659157347322
1112
+ Bound result 1257917536406138189153
1113
+ Bound result 6239
1114
+ Bound result 4475
1115
+ Bound result 287588622475378051721
1116
+ Bound result 842533941950534665451
1029
1117
  Bound result 0
1030
- Bound result 3
1031
- Bound result 9602171
1032
- Bound result 107508871725865425239
1033
- Bound result 1
1034
- Bound result 7070
1035
- Bound result 85
1118
+ Bound result 2520
1119
+ Bound result 443213003413934108160
1036
1120
  Bound result 0
1037
- Bound result 9900000000010015064986
1038
- Bound result 9901036360965938407809
1039
- Bound result 1104
1040
- Bound result 10
1041
- Bound result 18
1042
- Bound result 2697
1121
+ Bound result 8974
1122
+ Bound result 1014
1123
+ Bound result 0
1124
+ Bound result 815
1125
+ Bound result 1323
1126
+ Bound result 0
1127
+ Bound result 12378
1128
+ Bound result 1632
1043
1129
 
1044
1130
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1045
1131
 
1046
1132
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1047
1133
  | Contract | Selector | Calls | Reverts | Discards |
1048
1134
  +======================================================================================+
1049
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1135
+ | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
1050
1136
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
1137
+ | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
1052
1138
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
1139
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1054
1140
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
1141
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
1056
1142
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1143
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1058
1144
  |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1145
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
1060
1146
  |-----------------------------------+---------------------+-------+---------+----------|
1061
- | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
1147
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
1062
1148
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1063
1149
 
1064
1150
  Logs:
1065
- Bound result 9900000000000000001245
1066
- Bound result 9900000000000000003043
1067
- Bound result 6078
1068
- Bound result 7361
1069
- Bound result 9900000000000002188897
1070
- Bound result 9910944422408647684879
1071
- Bound result 166
1072
- Bound result 2088
1073
- Bound result 3765
1074
- Bound result 1
1075
- Bound result 17
1076
- Bound result 5242999441846676366739
1077
- Bound result 603720149
1078
- Bound result 116
1079
- Bound result 2676
1080
- Bound result 1674898048722826326045
1081
- Bound result 2466
1082
- Bound result 4577
1151
+ Bound result 5399
1152
+ Bound result 3741
1153
+ Bound result 0
1154
+ Bound result 5669
1155
+ Bound result 6284
1156
+ Bound result 0
1157
+ Bound result 694239275872497950
1158
+ Bound result 5
1159
+ Bound result 9900000000000000007151
1160
+ Bound result 9900000000000000004227
1161
+ Bound result 2157
1162
+ Bound result 8213
1163
+ Bound result 5583
1164
+ Bound result 8020
1165
+ Bound result 9212
1166
+ Bound result 1511
1167
+ Bound result 15662549544001353496507
1083
1168
 
1084
1169
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1085
1170
 
1086
1171
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1087
1172
  | Contract | Selector | Calls | Reverts | Discards |
1088
1173
  +======================================================================================+
1089
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1174
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1090
1175
  |-----------------------------------+---------------------+-------+---------+----------|
1091
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1176
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
1092
1177
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1178
+ | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
1094
1179
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
1180
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
1096
1181
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1182
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1098
1183
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
1184
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
1100
1185
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1186
+ | RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
1102
1187
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1103
1188
 
1104
1189
  Logs:
1105
- Bound result 485
1106
- Bound result 798227
1107
- Bound result 1719
1108
- Bound result 1113933
1109
- Bound result 10235059220501686269
1110
- Bound result 718
1111
- Bound result 376269980898323
1112
- Bound result 7
1113
- Bound result 3279977373066762779130
1114
- Bound result 9900000000035163696283
1115
- Bound result 953
1116
- Bound result 12
1117
- Bound result 883776954
1118
- Bound result 707
1119
- Bound result 2
1120
- Bound result 630
1190
+ Bound result 4287
1191
+ Bound result 499936034809240832065
1192
+ Bound result 863
1193
+ Bound result 1242
1194
+ Bound result 18339159310100
1195
+ Bound result 9702
1196
+ Bound result 9322
1197
+ Bound result 331
1198
+ Bound result 1
1199
+ Bound result 29084
1200
+ Bound result 3822
1201
+ Bound result 9538596936683538419
1202
+ Bound result 620
1203
+ Bound result 1
1204
+
1205
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.49s CPU time)
1206
+
1207
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1208
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1209
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1210
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1211
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1212
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1213
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1214
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1215
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1216
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1217
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
1218
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1219
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1220
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1221
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1222
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1223
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1224
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1225
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1226
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1227
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1228
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1229
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1230
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1231
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1232
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1233
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1234
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1235
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1236
+ [PASS] test_storageHash() (gas: 3458)
1237
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 12.63s (315.43ms CPU time)
1121
1238
 
1122
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.62s (9.59s CPU time)
1239
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1240
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1241
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1242
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47330, ~: 48966)
1243
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1244
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1245
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1246
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1247
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1248
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1249
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1250
+ [PASS] test_getFee_Default() (gas: 43108)
1251
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45866, ~: 47017)
1252
+ [PASS] test_getFee_Rounding() (gas: 45449)
1253
+ [PASS] test_getFee_Specific() (gas: 66985)
1254
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1255
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1256
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35344, ~: 42268)
1257
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1258
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1259
+ [PASS] test_setFeeBps() (gas: 77237)
1260
+ Logs:
1261
+ Bound result 500
1262
+
1263
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69211, ~: 77570)
1264
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1265
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1266
+ [PASS] test_storageHash() (gas: 3436)
1267
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.73s (607.30ms CPU time)
1123
1268
 
1124
1269
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1125
1270
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1126
1271
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1127
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44845, ~: 46317)
1272
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44641, ~: 46317)
1128
1273
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1129
1274
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1130
1275
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -1133,48 +1278,48 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
1133
1278
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1134
1279
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1135
1280
  [PASS] test_getFee_Default() (gas: 40577)
1136
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43118, ~: 44486)
1281
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43302, ~: 44486)
1137
1282
  [PASS] test_getFee_Rounding() (gas: 42835)
1138
1283
  [PASS] test_getFee_Specific() (gas: 63968)
1139
1284
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1140
1285
  [PASS] test_setDefaultFeeBps() (gas: 39576)
1141
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32782, ~: 39667)
1286
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32972, ~: 39667)
1142
1287
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1143
1288
  [PASS] test_setFeeBps() (gas: 73871)
1144
1289
  Logs:
1145
1290
  Bound result 500
1146
1291
 
1147
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65556, ~: 74224)
1292
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66462, ~: 74224)
1148
1293
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1149
1294
  [PASS] test_storageHash() (gas: 3426)
1150
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.87s (679.10ms CPU time)
1295
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.73s (453.76ms CPU time)
1151
1296
 
1152
1297
  Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1153
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26112, ~: 38584)
1298
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26577, ~: 38584)
1154
1299
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1155
1300
  [PASS] test_assertNotPaused_Success() (gas: 12516)
1156
1301
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1157
1302
  [PASS] test_isPaused_InitialState() (gas: 15595)
1158
1303
  [PASS] test_pause() (gas: 39592)
1159
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28016, ~: 16219)
1304
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28040, ~: 28040)
1160
1305
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1161
1306
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1162
1307
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1163
1308
  [PASS] test_storageHash() (gas: 3414)
1164
1309
  [PASS] test_unpause() (gas: 31115)
1165
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40486, ~: 42029)
1310
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40423, ~: 38893)
1166
1311
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1167
1312
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1168
1313
  [PASS] test_whenNotPaused_Success() (gas: 38744)
1169
1314
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1170
1315
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1171
1316
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1172
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 11.02s (119.24ms CPU time)
1317
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 12.73s (212.92ms CPU time)
1173
1318
 
1174
1319
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1175
1320
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1176
1321
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1177
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 773494, ~: 240875)
1322
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 774054, ~: 183611)
1178
1323
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1179
1324
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1180
1325
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1187,12 +1332,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1187
1332
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1188
1333
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1189
1334
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1190
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11092248, ~: 10383900)
1335
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11092669, ~: 10264287)
1191
1336
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1192
1337
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1193
1338
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1194
1339
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1195
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 772402, ~: 202070)
1340
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 797839, ~: 211395)
1196
1341
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1197
1342
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1198
1343
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1205,76 +1350,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1205
1350
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1206
1351
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1207
1352
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1208
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11189645, ~: 10497750)
1353
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178953, ~: 10537950)
1209
1354
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1210
1355
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1211
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.02s (26.10s CPU time)
1212
-
1213
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1214
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1215
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1216
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47487, ~: 48966)
1217
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1218
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1219
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1220
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1221
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1222
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1223
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1224
- [PASS] test_getFee_Default() (gas: 43108)
1225
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45579, ~: 47017)
1226
- [PASS] test_getFee_Rounding() (gas: 45449)
1227
- [PASS] test_getFee_Specific() (gas: 66985)
1228
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1229
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1230
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35801, ~: 42268)
1231
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1232
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1233
- [PASS] test_setFeeBps() (gas: 77237)
1234
- Logs:
1235
- Bound result 500
1236
-
1237
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69201, ~: 77570)
1238
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1239
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1240
- [PASS] test_storageHash() (gas: 3436)
1241
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 11.02s (675.54ms CPU time)
1242
-
1243
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1244
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1245
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1246
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1247
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1248
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1249
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1250
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1251
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1252
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1253
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1254
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1255
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1256
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1257
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1258
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1259
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1260
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1261
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1262
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1263
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1264
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1265
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1266
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1267
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1268
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1269
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1270
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1271
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1272
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1273
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1274
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1275
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1276
- [PASS] test_storageHash() (gas: 3380)
1277
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 11.02s (660.68ms CPU time)
1356
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.73s (29.58s CPU time)
1278
1357
 
1279
- Ran 17 test suites in 11.07s (63.47s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1280
- ⏳ forge test: 25.805s
1358
+ Ran 17 test suites in 12.76s (69.96s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1359
+ ⏳ forge test: 27.232s