@layerzerolabs/utils-upgradeable-evm-contracts 0.2.98 → 0.2.100

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/.turbo/turbo-lint.log +166 -1
  2. package/.turbo/turbo-test.log +700 -798
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,58 +5,15 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:73331) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
8
+ (node:133620) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
12
- Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
- 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
14
- $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
15
- forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
16
- 86ec798129ac: Already exists
17
- eef7c391911c: Already exists
18
- cc2ecf4065b7: Already exists
19
- 5760fdd70374: Already exists
20
- c70db14240a1: Already exists
21
- 0cb2c6965bde: Pulling fs layer
22
- 885bca26f927: Pulling fs layer
23
- 8e167e77288f: Pulling fs layer
24
- 45d43cc973ba: Pulling fs layer
25
- 44c09156221f: Pulling fs layer
26
- f2fb700979ad: Pulling fs layer
27
- 2a1ced882ba9: Pulling fs layer
28
- 597168d5c38e: Pulling fs layer
29
- e431adaf232f: Pulling fs layer
30
- 36e15e3f2788: Pulling fs layer
31
- 36e15e3f2788: Download complete
32
- 44c09156221f: Download complete
33
- 8e167e77288f: Download complete
34
- 45d43cc973ba: Download complete
35
- 2a1ced882ba9: Download complete
36
- 597168d5c38e: Download complete
37
- f2fb700979ad: Download complete
38
- 0cb2c6965bde: Pull complete
39
- e431adaf232f: Verifying Checksum
40
- e431adaf232f: Download complete
41
- 885bca26f927: Verifying Checksum
42
- 885bca26f927: Download complete
43
- 885bca26f927: Pull complete
44
- 8e167e77288f: Pull complete
45
- 45d43cc973ba: Pull complete
46
- 44c09156221f: Pull complete
47
- f2fb700979ad: Pull complete
48
- 2a1ced882ba9: Pull complete
49
- 597168d5c38e: Pull complete
50
- e431adaf232f: Pull complete
51
- 36e15e3f2788: Pull complete
52
- Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
53
- Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
54
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
55
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
12
+ ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
56
13
  👤 Running container as UID:GID 1001:1001
57
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
58
15
  Compiling 84 files with Solc 0.8.22
59
- Solc 0.8.22 finished in 11.63s
16
+ Solc 0.8.22 finished in 16.40s
60
17
  Compiler run successful with warnings:
61
18
  Warning (2018): Function state mutability can be restricted to view
62
19
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -179,6 +136,44 @@ Warning (2018): Function state mutability can be restricted to view
179
136
  | ^ (Relevant source part starts here and spans across multiple lines).
180
137
 
181
138
 
139
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
140
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
141
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
142
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
143
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
144
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
145
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
146
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
147
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
148
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
149
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
150
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
151
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
152
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
153
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
154
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
155
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
156
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
157
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
158
+ [PASS] test_initial_state_closed() (gas: 2034659)
159
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
160
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
161
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
162
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
163
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
164
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
165
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
166
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
167
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
168
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
169
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
170
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
171
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
172
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
+ [PASS] test_storageHash() (gas: 3414)
174
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 11.37ms (8.32ms CPU time)
176
+
182
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
183
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
184
179
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -220,62 +215,37 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
220
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
221
216
  [PASS] test_storageHash() (gas: 3392)
222
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
223
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 11.25ms (7.93ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 29.15ms (21.18ms CPU time)
224
219
 
225
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
226
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
227
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
228
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
229
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
230
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
231
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
232
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
233
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
234
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
235
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
236
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
237
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
238
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
239
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
240
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
241
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
242
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
243
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
244
- [PASS] test_initial_state_closed() (gas: 2034659)
245
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
246
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
247
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
248
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
249
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
250
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
251
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
252
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
253
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
254
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
255
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
256
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
257
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
258
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
259
- [PASS] test_storageHash() (gas: 3414)
260
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
261
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 91.96ms (9.46ms CPU time)
220
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
+ [PASS] test_feeDeposit() (gas: 17576)
222
+ [PASS] test_setFeeDeposit() (gas: 24995)
223
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
224
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
+ [PASS] test_storageHash() (gas: 3337)
226
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 43.09ms (42.48ms CPU time)
262
227
 
263
228
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
264
229
  [PASS] test_feeDeposit() (gas: 17638)
265
230
  [PASS] test_setFeeDeposit() (gas: 27596)
266
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
231
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
267
232
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
268
233
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
269
234
  [PASS] test_storageHash() (gas: 3315)
270
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 66.57ms (65.77ms CPU time)
235
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 96.46ms (95.37ms CPU time)
271
236
 
272
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
273
- [PASS] test_feeDeposit() (gas: 17576)
274
- [PASS] test_setFeeDeposit() (gas: 24995)
275
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
276
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
277
- [PASS] test_storageHash() (gas: 3337)
278
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 180.03ms (179.51ms CPU time)
237
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
239
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
240
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
241
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
242
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
243
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
244
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
245
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
246
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
247
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
248
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 139.12ms (138.93ms CPU time)
279
249
 
280
250
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
281
251
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -285,7 +255,7 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
285
255
  [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
286
256
  [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
287
257
  [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
288
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
258
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46827, ~: 46847)
289
259
  [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
290
260
  [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
291
261
  [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
@@ -311,167 +281,7 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
311
281
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
312
282
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
313
283
  [PASS] test_storageHash() (gas: 3380)
314
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 278.45ms (347.58ms CPU time)
315
-
316
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
317
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
318
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
319
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47431, ~: 48966)
320
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
321
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
322
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
323
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
324
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
325
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
326
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
327
- [PASS] test_getFee_Default() (gas: 43108)
328
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45620, ~: 47017)
329
- [PASS] test_getFee_Rounding() (gas: 45449)
330
- [PASS] test_getFee_Specific() (gas: 66985)
331
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
332
- [PASS] test_setDefaultFeeBps() (gas: 42199)
333
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35077, ~: 42268)
334
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
335
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
336
- [PASS] test_setFeeBps() (gas: 77237)
337
- Logs:
338
- Bound result 500
339
-
340
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69333, ~: 77570)
341
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
342
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
343
- [PASS] test_storageHash() (gas: 3436)
344
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 235.55ms (354.30ms CPU time)
345
-
346
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
347
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
348
- [PASS] test_constructor_InitialMode() (gas: 15578)
349
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
350
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
351
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
352
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
353
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
354
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
355
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
356
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
357
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
358
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
359
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
360
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
361
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
362
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
363
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
364
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
365
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
366
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
367
- [PASS] test_setMode_Blacklist() (gas: 40021)
368
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
369
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
370
- [PASS] test_setMode_Whitelist() (gas: 40108)
371
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
372
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
373
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
374
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
375
- [PASS] test_storageHash() (gas: 3458)
376
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 338.08ms (401.62ms CPU time)
377
-
378
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
379
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
380
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
381
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44925, ~: 46317)
382
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
383
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
384
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
385
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
386
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
387
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
388
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
389
- [PASS] test_getFee_Default() (gas: 40577)
390
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43246, ~: 44486)
391
- [PASS] test_getFee_Rounding() (gas: 42835)
392
- [PASS] test_getFee_Specific() (gas: 63968)
393
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
394
- [PASS] test_setDefaultFeeBps() (gas: 39576)
395
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32699, ~: 39667)
396
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
397
- [PASS] test_setFeeBps() (gas: 73871)
398
- Logs:
399
- Bound result 500
400
-
401
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65980, ~: 74224)
402
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
403
- [PASS] test_storageHash() (gas: 3426)
404
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 330.81ms (553.07ms CPU time)
405
-
406
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
407
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
408
- [PASS] test_constructor_InitialMode() (gas: 15778)
409
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
410
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
411
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
412
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
413
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
414
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
415
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
416
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
417
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
418
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
419
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
420
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
421
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
422
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
423
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
424
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
425
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
426
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
427
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
428
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
429
- [PASS] test_setMode_Blacklist() (gas: 42605)
430
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
431
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
432
- [PASS] test_setMode_Whitelist() (gas: 42714)
433
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
434
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
435
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
436
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
437
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
438
- [PASS] test_storageHash() (gas: 3480)
439
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.01s (470.58ms CPU time)
440
-
441
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
442
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
443
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
444
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
445
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
446
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
447
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
448
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
449
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
450
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
451
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
452
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.09s (56.69ms CPU time)
453
-
454
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
455
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25776, ~: 38584)
456
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
457
- [PASS] test_assertNotPaused_Success() (gas: 12516)
458
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
459
- [PASS] test_isPaused_InitialState() (gas: 15595)
460
- [PASS] test_pause() (gas: 39592)
461
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28843, ~: 39861)
462
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
463
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
464
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
465
- [PASS] test_storageHash() (gas: 3414)
466
- [PASS] test_unpause() (gas: 31115)
467
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40429, ~: 38893)
468
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
469
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
470
- [PASS] test_whenNotPaused_Success() (gas: 38744)
471
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
472
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
473
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
474
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.09s (220.36ms CPU time)
284
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 288.60ms (350.96ms CPU time)
475
285
 
476
286
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
477
287
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -489,7 +299,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
489
299
  [PASS] test_pauseConfig() (gas: 51028)
490
300
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
491
301
  [PASS] test_setDefaultPaused() (gas: 42196)
492
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30517, ~: 18826)
302
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30612, ~: 18826)
493
303
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
494
304
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
495
305
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -498,8 +308,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
498
308
  [PASS] test_setPaused_DormantData() (gas: 295234)
499
309
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
500
310
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
501
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 44045, ~: 48696)
502
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223184, ~: 219722)
311
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43446, ~: 48696)
312
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222911, ~: 216804)
503
313
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
504
314
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
505
315
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -513,7 +323,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
513
323
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
514
324
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
515
325
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
516
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62446, ~: 73465)
326
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62832, ~: 73465)
517
327
  [PASS] test_storageHash() (gas: 3392)
518
328
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
519
329
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -521,798 +331,890 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
521
331
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
522
332
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
523
333
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
524
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.09s (515.87ms CPU time)
334
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 362.80ms (805.95ms CPU time)
525
335
 
526
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
527
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
528
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
529
- [PASS] test_assertNotPaused_Success() (gas: 14934)
530
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
531
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
532
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
533
- [PASS] test_isPaused_Default() (gas: 44698)
534
- [PASS] test_isPaused_InitialState() (gas: 22070)
535
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
536
- [PASS] test_isPaused_Override() (gas: 69381)
537
- [PASS] test_isPaused_Specific() (gas: 46709)
538
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
539
- [PASS] test_pauseConfig() (gas: 45626)
540
- [PASS] test_setDefaultPaused() (gas: 39667)
541
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27889, ~: 16332)
542
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
543
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
544
- [PASS] test_setPaused() (gas: 43060)
545
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
546
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38298, ~: 43373)
547
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
548
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
549
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
550
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58388, ~: 69608)
551
- [PASS] test_storageHash() (gas: 3480)
552
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
553
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
554
- [PASS] test_whenNotPaused_Success() (gas: 41297)
555
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
556
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
557
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
558
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.09s (246.85ms CPU time)
336
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
337
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27079, ~: 41090)
338
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
339
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
340
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
341
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
342
+ [PASS] test_isPaused_InitialState() (gas: 15629)
343
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
344
+ [PASS] test_multipleRoleGrants() (gas: 394130)
345
+ [PASS] test_pause() (gas: 42109)
346
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
347
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
348
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
349
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
350
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
351
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
352
+ [PASS] test_setPaused_Success() (gas: 40691)
353
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
354
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
355
+ [PASS] test_storageHash() (gas: 3414)
356
+ [PASS] test_unpause() (gas: 35177)
357
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
358
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
359
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
360
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
361
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
362
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
363
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
364
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 935.18ms (231.93ms CPU time)
365
+
366
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
367
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
368
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
369
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45007, ~: 46317)
370
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
371
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
372
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
373
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
374
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
375
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
376
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
377
+ [PASS] test_getFee_Default() (gas: 40577)
378
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42800, ~: 44486)
379
+ [PASS] test_getFee_Rounding() (gas: 42835)
380
+ [PASS] test_getFee_Specific() (gas: 63968)
381
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
382
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
383
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32486, ~: 39667)
384
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
385
+ [PASS] test_setFeeBps() (gas: 73871)
386
+ Logs:
387
+ Bound result 500
388
+
389
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65919, ~: 74224)
390
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
391
+ [PASS] test_storageHash() (gas: 3426)
392
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 988.05ms (472.24ms CPU time)
393
+
394
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
395
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
396
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
397
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47408, ~: 48966)
398
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
399
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
400
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
401
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
402
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
403
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
404
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
405
+ [PASS] test_getFee_Default() (gas: 43108)
406
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45868, ~: 47017)
407
+ [PASS] test_getFee_Rounding() (gas: 45449)
408
+ [PASS] test_getFee_Specific() (gas: 66985)
409
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
410
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
411
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34575, ~: 42268)
412
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
413
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
414
+ [PASS] test_setFeeBps() (gas: 77237)
415
+ Logs:
416
+ Bound result 500
559
417
 
560
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
418
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67989, ~: 77570)
419
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
420
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
421
+ [PASS] test_storageHash() (gas: 3436)
422
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.16s (474.50ms CPU time)
423
+
424
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
561
425
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
562
426
 
563
427
  ╭-----------------------------------+---------------------+-------+---------+----------╮
564
428
  | Contract | Selector | Calls | Reverts | Discards |
565
429
  +======================================================================================+
566
- | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
430
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
567
431
  |-----------------------------------+---------------------+-------+---------+----------|
568
- | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
432
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
569
433
  |-----------------------------------+---------------------+-------+---------+----------|
570
- | RateLimiterRBACUpgradeableHandler | setConfig | 579 | 0 | 0 |
434
+ | RateLimiterRBACUpgradeableHandler | setConfig | 597 | 0 | 0 |
571
435
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
436
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
573
437
  |-----------------------------------+---------------------+-------+---------+----------|
574
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
438
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 499 | 0 | 0 |
575
439
  |-----------------------------------+---------------------+-------+---------+----------|
576
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
577
441
  |-----------------------------------+---------------------+-------+---------+----------|
578
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
579
443
  ╰-----------------------------------+---------------------+-------+---------+----------╯
580
444
 
581
445
  Logs:
582
- Bound result 29799711
583
- Bound result 139
584
- Bound result 79932513868350725494
585
- Bound result 6201810971
446
+ Bound result 7960779857492496
447
+ Bound result 3603596333731031
448
+ Bound result 0
449
+ Bound result 514264337593504336253
450
+ Bound result 4
586
451
  Bound result 1
587
- Bound result 201141727159
588
- Bound result 4165369551314715
589
- Bound result 1294
590
- Bound result 9902187839487028118953
591
- Bound result 7022071939475772474297
592
- Bound result 13
593
- Bound result 2033
594
- Bound result 2315
595
- Bound result 10316
596
- Bound result 3
597
- Bound result 1913742918781
598
- Bound result 887
599
- Bound result 16317803817224552800628
600
- Bound result 6
601
- Bound result 60
452
+ Bound result 1894
453
+ Bound result 7514
454
+ Bound result 1
455
+ Bound result 8848
456
+ Bound result 1799740830
457
+ Bound result 121
458
+ Bound result 257
459
+ Bound result 640
460
+ Bound result 65
602
461
 
603
462
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
604
463
 
605
464
  ╭-----------------------------------+---------------------+-------+---------+----------╮
606
465
  | Contract | Selector | Calls | Reverts | Discards |
607
466
  +======================================================================================+
608
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
467
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
609
468
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
469
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
611
470
  |-----------------------------------+---------------------+-------+---------+----------|
612
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
471
+ | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
613
472
  |-----------------------------------+---------------------+-------+---------+----------|
614
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
473
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
615
474
  |-----------------------------------+---------------------+-------+---------+----------|
616
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
475
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
617
476
  |-----------------------------------+---------------------+-------+---------+----------|
618
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
477
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
619
478
  |-----------------------------------+---------------------+-------+---------+----------|
620
- | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
479
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
621
480
  ╰-----------------------------------+---------------------+-------+---------+----------╯
622
481
 
623
482
  Logs:
624
- Bound result 1138
625
- Bound result 253
483
+ Bound result 366
484
+ Bound result 5377
485
+ Bound result 3847
486
+ Bound result 1862695855040328015179
487
+ Bound result 115196192712768864
488
+ Bound result 0
489
+ Bound result 9900000028879014709142
490
+ Bound result 9900000000000031372597
491
+ Bound result 6239
492
+ Bound result 59
493
+ Bound result 19039966295916352934033
494
+ Bound result 10945
495
+ Bound result 0
626
496
  Bound result 1
627
- Bound result 112
628
- Bound result 9900000000000000000853
629
- Bound result 9900000000000000002429
630
- Bound result 6987
631
- Bound result 5053
632
- Bound result 9900032897287245870537
633
- Bound result 4104308479936026269880
634
- Bound result 37
635
- Bound result 12
636
- Bound result 9900000000000000101623
637
- Bound result 3676929529792816133060
638
- Bound result 6241
639
- Bound result 87
640
- Bound result 9900000000000000001448
641
- Bound result 9900000000000000003802
642
- Bound result 3643
643
- Bound result 113
644
- Bound result 3066
645
- Bound result 11529773931
497
+ Bound result 9900000000000000010420
498
+ Bound result 9900000000000000003822
499
+ Bound result 175
500
+ Bound result 6640
501
+ Bound result 4633037697181195250888
502
+ Bound result 6029
503
+ Bound result 18333317841
646
504
 
647
505
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
648
506
 
649
507
  ╭-----------------------------------+---------------------+-------+---------+----------╮
650
508
  | Contract | Selector | Calls | Reverts | Discards |
651
509
  +======================================================================================+
652
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
510
+ | RateLimiterRBACUpgradeableHandler | inflow | 510 | 0 | 0 |
653
511
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
512
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
655
513
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
514
+ | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
657
515
  |-----------------------------------+---------------------+-------+---------+----------|
658
516
  | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
659
517
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 502 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
661
519
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
520
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
663
521
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
522
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
665
523
  ╰-----------------------------------+---------------------+-------+---------+----------╯
666
524
 
667
525
  Logs:
668
- Bound result 903
669
- Bound result 1396
670
- Bound result 9900000000000000000535
671
- Bound result 9900000000000000007260
672
- Bound result 5551
673
- Bound result 545
674
- Bound result 91956627196
675
- Bound result 1
676
- Bound result 1230
677
- Bound result 822415096115
678
- Bound result 52167038716892
679
- Bound result 177
680
- Bound result 9991855308653189585218
681
- Bound result 877
682
- Bound result 307
683
- Bound result 6914264337589258427371
684
- Bound result 9679121520932
685
- Bound result 1225
686
- Bound result 3280
687
- Bound result 10289
688
- Bound result 19
689
- Bound result 1288034717700654
690
- Bound result 9787490
691
- Bound result 256658540102079237151
526
+ Bound result 6
527
+ Bound result 1267
528
+ Bound result 5128199855086
529
+ Bound result 1105
530
+ Bound result 9900007479682382490269
531
+ Bound result 9900156975457631111771
532
+ Bound result 4969
533
+ Bound result 9997
534
+ Bound result 13054316863859326129469
535
+ Bound result 333
536
+ Bound result 3031
537
+ Bound result 2851
538
+ Bound result 15012919058900666181050
539
+ Bound result 8983971490887623423063
540
+ Bound result 5386542460808352263196
541
+ Bound result 9996
542
+ Bound result 8949
543
+ Bound result 5669
544
+ Bound result 10313877831701988195960
692
545
 
693
546
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
694
547
 
695
548
  ╭-----------------------------------+---------------------+-------+---------+----------╮
696
549
  | Contract | Selector | Calls | Reverts | Discards |
697
550
  +======================================================================================+
698
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
551
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
699
552
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | outflow | 525 | 0 | 0 |
553
+ | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
701
554
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
555
+ | RateLimiterRBACUpgradeableHandler | setConfig | 602 | 0 | 0 |
703
556
  |-----------------------------------+---------------------+-------+---------+----------|
704
- | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | setState | 509 | 0 | 0 |
705
558
  |-----------------------------------+---------------------+-------+---------+----------|
706
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
559
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
707
560
  |-----------------------------------+---------------------+-------+---------+----------|
708
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
561
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
709
562
  |-----------------------------------+---------------------+-------+---------+----------|
710
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
711
564
  ╰-----------------------------------+---------------------+-------+---------+----------╯
712
565
 
713
566
  Logs:
714
- Bound result 1
715
- Bound result 573
716
- Bound result 7556
717
- Bound result 0
718
- Bound result 10960168
719
- Bound result 785
720
- Bound result 9900000000000000887474
721
- Bound result 3330404706670992112164
722
- Bound result 4657
723
- Bound result 474
724
- Bound result 534896958
725
- Bound result 185
726
- Bound result 8737
727
- Bound result 210703216065998
728
- Bound result 8317
567
+ Bound result 26
568
+ Bound result 2
569
+ Bound result 9008
570
+ Bound result 9900000000309057451152
571
+ Bound result 9900000000000004543553
572
+ Bound result 258
573
+ Bound result 7715
574
+ Bound result 6651
575
+ Bound result 2548544996695524539977
576
+ Bound result 5
577
+ Bound result 45
578
+ Bound result 24440092832084699
579
+ Bound result 7031
580
+ Bound result 4692
581
+ Bound result 15904060
582
+ Bound result 2227787277924931
583
+ Bound result 822
729
584
 
730
585
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
731
586
 
732
587
  ╭-----------------------------------+---------------------+-------+---------+----------╮
733
588
  | Contract | Selector | Calls | Reverts | Discards |
734
589
  +======================================================================================+
735
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
590
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
736
591
  |-----------------------------------+---------------------+-------+---------+----------|
737
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
592
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
738
593
  |-----------------------------------+---------------------+-------+---------+----------|
739
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
594
+ | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
740
595
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
596
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
742
597
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 588 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
744
599
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 579 | 0 | 0 |
746
601
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
748
603
  ╰-----------------------------------+---------------------+-------+---------+----------╯
749
604
 
750
605
  Logs:
751
- Bound result 44108194515578819789
752
- Bound result 2798
753
- Bound result 5888
606
+ Bound result 230
607
+ Bound result 1703690006580855740955
608
+ Bound result 236598426716663867335
609
+ Bound result 0
610
+ Bound result 50
611
+ Bound result 226482114847958198
754
612
  Bound result 1
755
- Bound result 911448864550448660500
756
- Bound result 952
757
- Bound result 8994
613
+ Bound result 33732903213615463223
614
+ Bound result 6508
615
+ Bound result 1147
758
616
  Bound result 1
759
- Bound result 781107475133731543253
760
- Bound result 59550846639381282
761
- Bound result 163
762
- Bound result 579167001883196184015
763
- Bound result 1051027693275271316931
764
- Bound result 0
765
- Bound result 9900000000003521668056
766
- Bound result 1830808254936887978121
767
- Bound result 3443
768
- Bound result 1094
769
- Bound result 4780057790175885
770
- Bound result 59674400
771
- Bound result 0
772
- Bound result 969864515677171670285
773
- Bound result 6914264337593535947490
774
- Bound result 7931
775
- Bound result 12
776
- Bound result 4162
777
- Bound result 1005
617
+ Bound result 9900000000000000001288
618
+ Bound result 9900000000000000001236
619
+ Bound result 8869
620
+ Bound result 8386
621
+ Bound result 85
622
+ Bound result 6249958362683792
778
623
  Bound result 0
624
+ Bound result 9008
625
+ Bound result 9900000000000000001560
626
+ Bound result 9900000000000000009767
627
+ Bound result 1291
628
+ Bound result 7902
779
629
 
780
630
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
781
631
 
782
632
  ╭-----------------------------------+---------------------+-------+---------+----------╮
783
633
  | Contract | Selector | Calls | Reverts | Discards |
784
634
  +======================================================================================+
785
- | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
635
+ | RateLimiterRBACUpgradeableHandler | inflow | 596 | 0 | 0 |
786
636
  |-----------------------------------+---------------------+-------+---------+----------|
787
- | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
637
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
788
638
  |-----------------------------------+---------------------+-------+---------+----------|
789
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
639
+ | RateLimiterRBACUpgradeableHandler | setConfig | 519 | 0 | 0 |
790
640
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
641
+ | RateLimiterRBACUpgradeableHandler | setState | 492 | 0 | 0 |
792
642
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
643
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 586 | 0 | 0 |
794
644
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
645
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
796
646
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
647
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
798
648
  ╰-----------------------------------+---------------------+-------+---------+----------╯
799
649
 
800
650
  Logs:
801
- Bound result 992284273522884
802
- Bound result 9900000000000791671134
803
- Bound result 9900000000000000009449
804
- Bound result 1055
805
- Bound result 2662
806
- Bound result 1
807
- Bound result 18799140696861089762246
808
- Bound result 4352
809
- Bound result 1568
810
- Bound result 5246
811
- Bound result 10067411112750018572
812
- Bound result 499
813
- Bound result 683
814
- Bound result 717
815
- Bound result 172871
816
- Bound result 9664876309785021470
817
- Bound result 275
651
+ Bound result 339922882
652
+ Bound result 1664
653
+ Bound result 10721
654
+ Bound result 203005799
655
+ Bound result 1340
656
+ Bound result 1734
657
+ Bound result 4399
658
+ Bound result 8613
659
+ Bound result 2140
660
+ Bound result 629
661
+ Bound result 637
662
+ Bound result 10884469313600183
818
663
 
819
664
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
820
665
 
821
666
  ╭-----------------------------------+---------------------+-------+---------+----------╮
822
667
  | Contract | Selector | Calls | Reverts | Discards |
823
668
  +======================================================================================+
824
- | RateLimiterRBACUpgradeableHandler | inflow | 573 | 0 | 0 |
669
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
825
670
  |-----------------------------------+---------------------+-------+---------+----------|
826
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
671
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
827
672
  |-----------------------------------+---------------------+-------+---------+----------|
828
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
829
674
  |-----------------------------------+---------------------+-------+---------+----------|
830
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
831
676
  |-----------------------------------+---------------------+-------+---------+----------|
832
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
833
678
  |-----------------------------------+---------------------+-------+---------+----------|
834
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
835
680
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | warp | 577 | 0 | 0 |
837
682
  ╰-----------------------------------+---------------------+-------+---------+----------╯
838
683
 
839
684
  Logs:
840
- Bound result 8161
841
- Bound result 521582983
842
- Bound result 0
843
- Bound result 8727
844
- Bound result 9900000000085601222756
845
- Bound result 9900000008840841122758
846
- Bound result 1842
847
- Bound result 9305
848
- Bound result 6208065015516381110272
849
- Bound result 8174
850
- Bound result 1099511627775
851
- Bound result 5993
852
- Bound result 6240424560693555410879
853
- Bound result 7774266143388147424331
854
- Bound result 0
855
- Bound result 9900000000000000007129
856
- Bound result 9900000000000000000922
857
- Bound result 8938
858
- Bound result 2777
859
- Bound result 9470
860
- Bound result 17295519077386628
861
- Bound result 1
685
+ Bound result 63756776458711004278
686
+ Bound result 1413942588369422995547
687
+ Bound result 1047
688
+ Bound result 8821
689
+ Bound result 8625
690
+ Bound result 100000000000000000002
691
+ Bound result 9911252481384437365410
692
+ Bound result 2517
693
+ Bound result 797
694
+ Bound result 10322949130393321653620
695
+ Bound result 995
696
+ Bound result 257634185088284458722
697
+ Bound result 7
698
+ Bound result 6469720
699
+ Bound result 5553
700
+ Bound result 495
701
+ Bound result 1267
862
702
 
863
703
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
864
704
 
865
705
  ╭-----------------------------------+---------------------+-------+---------+----------╮
866
706
  | Contract | Selector | Calls | Reverts | Discards |
867
707
  +======================================================================================+
868
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
869
709
  |-----------------------------------+---------------------+-------+---------+----------|
870
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
710
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
871
711
  |-----------------------------------+---------------------+-------+---------+----------|
872
- | RateLimiterRBACUpgradeableHandler | setConfig | 515 | 0 | 0 |
712
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
873
713
  |-----------------------------------+---------------------+-------+---------+----------|
874
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
714
+ | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
875
715
  |-----------------------------------+---------------------+-------+---------+----------|
876
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
716
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
877
717
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
718
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
879
719
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
720
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
881
721
  ╰-----------------------------------+---------------------+-------+---------+----------╯
882
722
 
883
723
  Logs:
884
- Bound result 8250931148197786535601
885
- Bound result 9900497650283604641931
886
- Bound result 185
887
- Bound result 6239
888
- Bound result 9900000000000000000102
889
- Bound result 100000000000000000001
890
- Bound result 6240
891
- Bound result 9518
892
- Bound result 4627
724
+ Bound result 1596
725
+ Bound result 1545360160839082499329
726
+ Bound result 1293
727
+ Bound result 7056
728
+ Bound result 0
729
+ Bound result 185620631378999482448
730
+ Bound result 71776119061217280
731
+ Bound result 8226
893
732
  Bound result 1
894
- Bound result 1588
895
- Bound result 2517549155
896
- Bound result 49568414929865067099
897
- Bound result 9900000000000000001170
898
- Bound result 9900000000000000008803
899
- Bound result 829
900
- Bound result 7891
901
- Bound result 15494591128193862022711
902
- Bound result 19447355601541520744122
903
- Bound result 5249
904
- Bound result 4266781250
905
- Bound result 610
906
- Bound result 2143
907
- Bound result 9856
908
- Bound result 7669
909
-
910
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.31s (8.24s CPU time)
733
+ Bound result 1706
734
+ Bound result 1393385963794453214122
735
+ Bound result 726020907710655058735
736
+ Bound result 159
737
+ Bound result 891453513463382423985
738
+ Bound result 1668
739
+ Bound result 10144
740
+ Bound result 323
911
741
 
912
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
742
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.11s CPU time)
743
+
744
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
913
745
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
914
746
 
915
747
  ╭-----------------------------------+---------------------+-------+---------+----------╮
916
748
  | Contract | Selector | Calls | Reverts | Discards |
917
749
  +======================================================================================+
918
- | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
919
751
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
921
753
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
923
755
  |-----------------------------------+---------------------+-------+---------+----------|
924
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
756
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
925
757
  |-----------------------------------+---------------------+-------+---------+----------|
926
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
758
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
927
759
  |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
760
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
929
761
  |-----------------------------------+---------------------+-------+---------+----------|
930
- | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
762
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
931
763
  ╰-----------------------------------+---------------------+-------+---------+----------╯
932
764
 
933
765
  Logs:
934
- Bound result 5708337671427
935
- Bound result 9900000000000000010521
936
- Bound result 9900000000000392401227
937
- Bound result 436
938
- Bound result 372
939
- Bound result 9900000000000000009484
940
- Bound result 9900000000000000005794
941
- Bound result 25
942
- Bound result 8729
943
- Bound result 8619594
944
- Bound result 3
945
- Bound result 1
946
- Bound result 8417
947
- Bound result 3041150531
948
- Bound result 309441096875285012587
949
- Bound result 221119527883128
766
+ Bound result 9900000000000000005641
767
+ Bound result 9900000000002072215439
768
+ Bound result 7626
769
+ Bound result 3189
770
+ Bound result 4483527790391844799426
771
+ Bound result 11
950
772
  Bound result 0
951
- Bound result 1085666125
952
- Bound result 249401335
953
- Bound result 10504
954
- Bound result 14267823715142
955
- Bound result 6176948505773475326926
956
- Bound result 1737
957
- Bound result 2879
773
+ Bound result 419
774
+ Bound result 1126
775
+ Bound result 1
776
+ Bound result 1
777
+ Bound result 523
778
+ Bound result 2
779
+ Bound result 13251985344214860365721
780
+ Bound result 342534859
781
+ Bound result 38460521150941612342
782
+ Bound result 38
783
+ Bound result 861645592364745178020
784
+ Bound result 1065
785
+ Bound result 28
786
+ Bound result 3071
958
787
 
959
788
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
960
789
 
961
790
  ╭-----------------------------------+---------------------+-------+---------+----------╮
962
791
  | Contract | Selector | Calls | Reverts | Discards |
963
792
  +======================================================================================+
964
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | inflow | 603 | 0 | 0 |
965
794
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | outflow | 490 | 0 | 0 |
967
796
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
969
798
  |-----------------------------------+---------------------+-------+---------+----------|
970
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
971
800
  |-----------------------------------+---------------------+-------+---------+----------|
972
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
973
802
  |-----------------------------------+---------------------+-------+---------+----------|
974
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
803
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
975
804
  |-----------------------------------+---------------------+-------+---------+----------|
976
- | RateLimiterRBACUpgradeableHandler | warp | 581 | 0 | 0 |
805
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
977
806
  ╰-----------------------------------+---------------------+-------+---------+----------╯
978
807
 
979
808
  Logs:
980
- Bound result 9900000410473872320883
981
- Bound result 7326762745592037033754
982
- Bound result 453
983
- Bound result 775
984
- Bound result 4833
985
- Bound result 9704
986
- Bound result 8698
987
- Bound result 1
988
- Bound result 20483137182420069223
989
- Bound result 61543842
990
- Bound result 0
991
- Bound result 573
992
- Bound result 10590612
993
- Bound result 1601542
994
- Bound result 64915578567386363716
995
- Bound result 1
996
- Bound result 1483
809
+ Bound result 9900000000000000001085
810
+ Bound result 9900000000000000001788
811
+ Bound result 7505
812
+ Bound result 916
813
+ Bound result 3602752116
814
+ Bound result 202
815
+ Bound result 97
816
+ Bound result 7182
817
+ Bound result 9900000000000000000565
818
+ Bound result 9900000000000000001247
819
+ Bound result 9633
820
+ Bound result 1234
821
+ Bound result 10277
822
+ Bound result 2360567736083194263427
997
823
 
998
824
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
999
825
 
1000
826
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1001
827
  | Contract | Selector | Calls | Reverts | Discards |
1002
828
  +======================================================================================+
1003
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
829
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
1004
830
  |-----------------------------------+---------------------+-------+---------+----------|
1005
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
1006
832
  |-----------------------------------+---------------------+-------+---------+----------|
1007
- | RateLimiterRBACUpgradeableHandler | setConfig | 581 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
1008
834
  |-----------------------------------+---------------------+-------+---------+----------|
1009
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
1010
836
  |-----------------------------------+---------------------+-------+---------+----------|
1011
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1012
838
  |-----------------------------------+---------------------+-------+---------+----------|
1013
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
1014
840
  |-----------------------------------+---------------------+-------+---------+----------|
1015
- | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
1016
842
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1017
843
 
1018
844
  Logs:
1019
- Bound result 2076
1020
- Bound result 791671134
845
+ Bound result 1004690934450
1021
846
  Bound result 1
1022
847
  Bound result 1
1023
- Bound result 1921532094703472738304
1024
- Bound result 490
1025
- Bound result 6785023
1026
- Bound result 2
1027
- Bound result 9900000000000000000427
1028
- Bound result 2534320660579305940083
1029
- Bound result 1305
1030
- Bound result 8698
1031
- Bound result 1732537822583825121481
1032
- Bound result 9900000000000000006942
1033
- Bound result 9900000000000000006814
1034
- Bound result 1955
1035
- Bound result 9635
1036
- Bound result 26
1037
- Bound result 9900000000000000000490
1038
- Bound result 9900000000000000007508
1039
- Bound result 895
1040
- Bound result 3367
1041
- Bound result 4369
1042
- Bound result 68
848
+ Bound result 86
849
+ Bound result 401
850
+ Bound result 9900000000000000106716
851
+ Bound result 100000000000000000000
852
+ Bound result 9934
853
+ Bound result 10000
854
+ Bound result 3023
855
+ Bound result 3803
856
+ Bound result 1
857
+ Bound result 9900000000003371243721
858
+ Bound result 100000000000000000001
859
+ Bound result 5105
860
+ Bound result 6167
861
+ Bound result 100000000000000000000
862
+ Bound result 8704725520118303809278
863
+ Bound result 285
864
+ Bound result 2310
865
+ Bound result 80
866
+ Bound result 2417021053
867
+ Bound result 7491
868
+ Bound result 4116
869
+ Bound result 2324
1043
870
 
1044
871
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1045
872
 
1046
873
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1047
874
  | Contract | Selector | Calls | Reverts | Discards |
1048
875
  +======================================================================================+
1049
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
1050
877
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1052
879
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
1054
881
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
1056
883
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
1058
885
  |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
886
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
1060
887
  |-----------------------------------+---------------------+-------+---------+----------|
1061
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
1062
889
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1063
890
 
1064
891
  Logs:
1065
- Bound result 9900000000000000001634
1066
- Bound result 9900000000000000001190
1067
- Bound result 655
1068
- Bound result 1341
1069
- Bound result 11
1070
- Bound result 18521532094697525731007
1071
- Bound result 6448
1072
- Bound result 9
1073
- Bound result 459
1074
- Bound result 613
1075
- Bound result 8047
1076
- Bound result 6
1077
- Bound result 256
1078
- Bound result 1133441534678322
1079
- Bound result 6827
1080
- Bound result 6290559458523853223225
1081
- Bound result 100000000000000000000
1082
- Bound result 418
1083
- Bound result 706
1084
- Bound result 1434
1085
- Bound result 517440284
1086
- Bound result 16
892
+ Bound result 87831617738623274005
893
+ Bound result 9900000000000000008340
894
+ Bound result 9900000000003689055019
895
+ Bound result 1849
896
+ Bound result 100
897
+ Bound result 4
898
+ Bound result 0
899
+ Bound result 0
900
+ Bound result 2135636935420509
901
+ Bound result 32100998459320292
902
+ Bound result 1
903
+ Bound result 971334
904
+ Bound result 564
905
+ Bound result 3124842405
906
+ Bound result 10707
907
+ Bound result 58
908
+ Bound result 281273876
909
+ Bound result 392401227
910
+ Bound result 3154640557
911
+ Bound result 386
912
+ Bound result 9072
913
+ Bound result 9176
914
+ Bound result 274
915
+ Bound result 29
916
+ Bound result 6914234814661719476299
1087
917
 
1088
918
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1089
919
 
1090
920
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1091
921
  | Contract | Selector | Calls | Reverts | Discards |
1092
922
  +======================================================================================+
1093
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1094
924
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
1096
926
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
1098
928
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
1100
930
  |-----------------------------------+---------------------+-------+---------+----------|
1101
931
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
1102
932
  |-----------------------------------+---------------------+-------+---------+----------|
1103
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 576 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
1104
934
  |-----------------------------------+---------------------+-------+---------+----------|
1105
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
1106
936
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1107
937
 
1108
938
  Logs:
1109
- Bound result 9900000000000000005269
1110
- Bound result 9900000000003615493271
1111
- Bound result 6528
1112
- Bound result 2025
1113
- Bound result 9900000000000001500702
1114
- Bound result 9900000005292489031424
1115
- Bound result 6725
1116
- Bound result 11
1117
- Bound result 6390
1118
- Bound result 4620
1119
- Bound result 1
1120
- Bound result 9578253808533590535741
1121
- Bound result 1061909472173344135456
1122
- Bound result 5645
1123
- Bound result 2569
1124
- Bound result 9900000000000000002340
1125
- Bound result 9900000000002911986124
1126
- Bound result 3467
1127
- Bound result 3955
1128
- Bound result 221
1129
- Bound result 64
1130
- Bound result 0
1131
- Bound result 971
1132
- Bound result 9900000001564130549282
1133
- Bound result 158244763677760558214
1134
- Bound result 10
1135
- Bound result 9866
939
+ Bound result 3805
940
+ Bound result 2
941
+ Bound result 34
942
+ Bound result 9900000000000000006934
943
+ Bound result 9900000000000000037508
944
+ Bound result 6889
945
+ Bound result 2945
946
+ Bound result 7283865150137950151152
947
+ Bound result 20847412073672691410
948
+ Bound result 1613
949
+ Bound result 2578
1136
950
 
1137
951
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1138
952
 
1139
953
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1140
954
  | Contract | Selector | Calls | Reverts | Discards |
1141
955
  +======================================================================================+
1142
- | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
956
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
1143
957
  |-----------------------------------+---------------------+-------+---------+----------|
1144
- | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
958
+ | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
1145
959
  |-----------------------------------+---------------------+-------+---------+----------|
1146
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
960
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1147
961
  |-----------------------------------+---------------------+-------+---------+----------|
1148
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
962
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
1149
963
  |-----------------------------------+---------------------+-------+---------+----------|
1150
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
1151
965
  |-----------------------------------+---------------------+-------+---------+----------|
1152
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 520 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
1153
967
  |-----------------------------------+---------------------+-------+---------+----------|
1154
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
968
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1155
969
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1156
970
 
1157
971
  Logs:
1158
- Bound result 3856056067
1159
- Bound result 10285
1160
- Bound result 1
1161
- Bound result 555
1162
- Bound result 5638
1163
- Bound result 10821
1164
- Bound result 1190
1165
- Bound result 272
1166
- Bound result 2072
1167
- Bound result 9900000000000000009977
1168
- Bound result 9900000000000000007470
1169
- Bound result 534
1170
- Bound result 864
1171
- Bound result 9900000281474976710941
1172
- Bound result 9900000000000000003353
1173
- Bound result 6578
1174
- Bound result 319
1175
- Bound result 9900000171588845199039
1176
- Bound result 9900000000000000000006
1177
- Bound result 13
1178
- Bound result 68
1179
- Bound result 9419
1180
- Bound result 5000
1181
- Bound result 7
1182
- Bound result 7532105494593603836892
1183
- Bound result 116
972
+ Bound result 14
973
+ Bound result 1099511627774
974
+ Bound result 1000
975
+ Bound result 9900000000000177362149
976
+ Bound result 9900000000000000001500
977
+ Bound result 6597
978
+ Bound result 3150
979
+ Bound result 9900000000000000001267
980
+ Bound result 7128908485049496027700
981
+ Bound result 229
982
+ Bound result 759
983
+ Bound result 6843097594229253763904
984
+ Bound result 333
985
+ Bound result 171
986
+ Bound result 11502844916362272011532
987
+ Bound result 6359
988
+ Bound result 9900000000000000006868
989
+ Bound result 9900000000000000002950
990
+ Bound result 6658
991
+ Bound result 4016
992
+ Bound result 2929
993
+ Bound result 6284
994
+ Bound result 340
995
+ Bound result 11864368352939284175179
996
+ Bound result 5202
997
+ Bound result 6933
998
+ Bound result 4617
999
+ Bound result 1748
1184
1000
 
1185
1001
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1186
1002
 
1187
1003
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1188
1004
  | Contract | Selector | Calls | Reverts | Discards |
1189
1005
  +======================================================================================+
1190
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
1191
1007
  |-----------------------------------+---------------------+-------+---------+----------|
1192
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1193
1009
  |-----------------------------------+---------------------+-------+---------+----------|
1194
- | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
1195
1011
  |-----------------------------------+---------------------+-------+---------+----------|
1196
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
1197
1013
  |-----------------------------------+---------------------+-------+---------+----------|
1198
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 578 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1199
1015
  |-----------------------------------+---------------------+-------+---------+----------|
1200
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
1201
1017
  |-----------------------------------+---------------------+-------+---------+----------|
1202
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
1018
+ | RateLimiterRBACUpgradeableHandler | warp | 578 | 0 | 0 |
1203
1019
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1204
1020
 
1205
1021
  Logs:
1206
- Bound result 491
1207
- Bound result 216897720102
1208
- Bound result 649
1209
- Bound result 1759102697457855199805
1210
- Bound result 1784557080229108653004
1211
- Bound result 0
1212
- Bound result 54
1213
- Bound result 9900000000000000000045
1214
- Bound result 9900000000000000010179
1215
- Bound result 5306
1216
- Bound result 472
1217
- Bound result 100000000000000000000
1218
- Bound result 9900000000000005596392
1219
- Bound result 283
1220
- Bound result 43
1221
- Bound result 199999999999999999997
1222
- Bound result 3059
1223
- Bound result 1
1224
- Bound result 2
1225
- Bound result 1859919432681943025
1226
- Bound result 0
1227
- Bound result 2017425868
1228
- Bound result 4146265822904
1022
+ Bound result 514
1023
+ Bound result 3119
1024
+ Bound result 3857
1025
+ Bound result 17
1026
+ Bound result 956535519286121316
1027
+ Bound result 514264337593543950333
1028
+ Bound result 568
1029
+ Bound result 764
1030
+ Bound result 514264337593504336251
1031
+ Bound result 3369
1032
+ Bound result 477
1033
+ Bound result 9947149124518798147273
1034
+ Bound result 5867842060202378203358
1035
+ Bound result 10
1036
+ Bound result 1467
1037
+ Bound result 9900000000000000001219
1038
+ Bound result 9900000000000000000032
1039
+ Bound result 1286
1040
+ Bound result 1008
1229
1041
  Bound result 1
1230
- Bound result 247
1231
- Bound result 25751994751358375348
1232
- Bound result 4108046350789
1233
- Bound result 3
1234
- Bound result 3374409
1235
- Bound result 393
1042
+ Bound result 6079629382307150917579
1043
+ Bound result 9900000000000133869906
1044
+ Bound result 9900000000000000000005
1045
+ Bound result 140
1046
+ Bound result 10
1236
1047
 
1237
1048
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1238
1049
 
1239
1050
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1240
1051
  | Contract | Selector | Calls | Reverts | Discards |
1241
1052
  +======================================================================================+
1242
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
1243
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1244
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1245
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1246
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1247
1058
  |-----------------------------------+---------------------+-------+---------+----------|
1248
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | setState | 507 | 0 | 0 |
1249
1060
  |-----------------------------------+---------------------+-------+---------+----------|
1250
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1251
1062
  |-----------------------------------+---------------------+-------+---------+----------|
1252
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 579 | 0 | 0 |
1063
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1253
1064
  |-----------------------------------+---------------------+-------+---------+----------|
1254
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
1255
1066
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1256
1067
 
1257
1068
  Logs:
1258
- Bound result 29628148039
1259
- Bound result 1720
1260
- Bound result 545787233035
1261
- Bound result 9900002350426738863415
1262
- Bound result 6914264337593535947490
1263
- Bound result 3025
1264
- Bound result 4139
1265
- Bound result 1496
1266
- Bound result 326939
1267
- Bound result 1
1268
- Bound result 5548
1269
- Bound result 615
1270
- Bound result 2634
1271
- Bound result 5531
1272
- Bound result 986008069
1273
- Bound result 14060206787396774519237
1274
- Bound result 11932266809739534684545
1275
- Bound result 1772
1276
- Bound result 6026
1277
- Bound result 5123
1278
- Bound result 3142
1279
-
1280
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.37s (8.43s CPU time)
1069
+ Bound result 328908485049502411708
1070
+ Bound result 100000000000000000001
1071
+ Bound result 1286743236518153167516
1072
+ Bound result 11
1073
+ Bound result 4499
1074
+ Bound result 651
1075
+ Bound result 3547597611071929
1076
+ Bound result 2891
1077
+ Bound result 483846257
1078
+ Bound result 9900000000000000008525
1079
+ Bound result 9900000000000000000536
1080
+ Bound result 4872
1081
+ Bound result 5404
1082
+ Bound result 2330546047620950
1083
+ Bound result 2987582011
1084
+ Bound result 10796
1085
+ Bound result 7848056753358785224662
1086
+ Bound result 6324530368159110528920
1087
+ Bound result 0
1281
1088
 
1282
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1283
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27532, ~: 41090)
1284
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1285
- [PASS] test_assertNotPaused_Success() (gas: 12539)
1286
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1287
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1288
- [PASS] test_isPaused_InitialState() (gas: 15629)
1289
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1290
- [PASS] test_multipleRoleGrants() (gas: 394130)
1291
- [PASS] test_pause() (gas: 42109)
1292
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1293
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1294
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30567, ~: 30567)
1295
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1296
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1297
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1298
- [PASS] test_setPaused_Success() (gas: 40691)
1299
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1300
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1089
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.12s CPU time)
1090
+
1091
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1092
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1093
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1094
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1095
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1096
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1097
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1098
+ [PASS] test_isPaused_Default() (gas: 44698)
1099
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1100
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1101
+ [PASS] test_isPaused_Override() (gas: 69381)
1102
+ [PASS] test_isPaused_Specific() (gas: 46709)
1103
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1104
+ [PASS] test_pauseConfig() (gas: 45626)
1105
+ [PASS] test_setDefaultPaused() (gas: 39667)
1106
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27417, ~: 16332)
1107
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1108
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1109
+ [PASS] test_setPaused() (gas: 43060)
1110
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1111
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38537, ~: 43373)
1112
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1113
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1114
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1115
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58411, ~: 69608)
1116
+ [PASS] test_storageHash() (gas: 3480)
1117
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1118
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1119
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1120
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1121
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1122
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1123
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 16.76s (296.05ms CPU time)
1124
+
1125
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1126
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1127
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1128
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1129
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1130
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1131
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1132
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1133
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1134
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1135
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1136
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1137
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1138
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1139
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1140
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1141
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1142
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1143
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1144
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1145
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1146
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1147
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1148
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1149
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1150
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1151
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1152
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1153
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1154
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1155
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1156
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1157
+ [PASS] test_storageHash() (gas: 3480)
1158
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 16.76s (540.20ms CPU time)
1159
+
1160
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1161
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1162
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1163
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1164
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1165
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1166
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1167
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1168
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1169
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1170
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1171
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1172
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1173
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1174
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1175
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1176
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1177
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1178
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1179
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1180
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1181
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1182
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1183
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1184
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1185
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1186
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1187
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1188
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1189
+ [PASS] test_storageHash() (gas: 3458)
1190
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.76s (631.70ms CPU time)
1191
+
1192
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1193
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26267, ~: 38584)
1194
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1195
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
1196
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1197
+ [PASS] test_isPaused_InitialState() (gas: 15595)
1198
+ [PASS] test_pause() (gas: 39592)
1199
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
1200
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1201
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1202
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1301
1203
  [PASS] test_storageHash() (gas: 3414)
1302
- [PASS] test_unpause() (gas: 35177)
1303
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41647, ~: 38860)
1304
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1305
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1306
- [PASS] test_whenNotPaused_Success() (gas: 38800)
1307
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1308
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1309
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1310
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 13.47s (211.80ms CPU time)
1204
+ [PASS] test_unpause() (gas: 31115)
1205
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40473, ~: 42029)
1206
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1207
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1208
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
1209
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1210
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1211
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1212
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 16.77s (181.39ms CPU time)
1311
1213
 
1312
1214
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1313
1215
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1314
1216
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1315
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 772189, ~: 185312)
1217
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 837402, ~: 309211)
1316
1218
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1317
1219
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1318
1220
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1325,12 +1227,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1325
1227
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1326
1228
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1327
1229
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1328
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11217890, ~: 10606771)
1230
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11241068, ~: 10510326)
1329
1231
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1330
1232
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1331
1233
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1332
1234
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1333
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 735367, ~: 124769)
1235
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 762885, ~: 169505)
1334
1236
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1335
1237
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1336
1238
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1343,10 +1245,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1343
1245
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1344
1246
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1345
1247
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1346
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11111740, ~: 10278150)
1248
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11186011, ~: 10497398)
1347
1249
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1348
1250
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1349
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 13.47s (31.03s CPU time)
1251
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.77s (38.23s CPU time)
1350
1252
 
1351
- Ran 17 test suites in 13.49s (36.52s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1352
- ⏳ forge test: 27.790s
1253
+ Ran 17 test suites in 16.83s (90.44s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1254
+ ⏳ forge test: 35.999s