@layerzerolabs/utils-upgradeable-evm-contracts 1.2.19 → 1.2.21

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 (8) hide show
  1. package/.turbo/turbo-lint.log +99 -97
  2. package/.turbo/turbo-test.log +926 -902
  3. package/contracts/credit-redirect/CreditRedirectBaseUpgradeable.sol +103 -0
  4. package/contracts/credit-redirect/CreditRedirectRBACUpgradeable.sol +37 -0
  5. package/foundry.toml +2 -2
  6. package/package.json +6 -6
  7. package/test/CreditRedirectBaseUpgradeable.t.sol +175 -0
  8. package/test/CreditRedirectRBACUpgradeable.t.sol +63 -0
package/.turbo/turbo-test.log CHANGED
@@ -4,15 +4,15 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-NokZXP
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-pdFcIv
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:62115) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:61403) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-NokZXP:/workspace
15
+ -v /tmp/lz-scoped-workspace-pdFcIv:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
@@ -28,54 +28,61 @@ e2082273f6a6: Pulling fs layer
28
28
  6aca5ecbfbf0: Pulling fs layer
29
29
  57cfa89d22f0: Pulling fs layer
30
30
  95f21f1a21d0: Pulling fs layer
31
+ 53d86cd64323: Download complete
31
32
  796d60317d4d: Pulling fs layer
33
+ e2082273f6a6: Waiting
32
34
  c35d7f83b6fc: Pulling fs layer
33
35
  8f1cde221fc4: Pulling fs layer
34
- dd8d0adb78c1: Download complete
35
36
  bcbb9eb73fb5: Pulling fs layer
37
+ 57cfa89d22f0: Waiting
38
+ 6aca5ecbfbf0: Waiting
36
39
  c8e19a2c627e: Pulling fs layer
37
- 53d86cd64323: Download complete
38
40
  b79abc894e87: Pulling fs layer
39
- 95f21f1a21d0: Waiting
40
41
  63ec365deef1: Pulling fs layer
42
+ dd8d0adb78c1: Waiting
43
+ 8f1cde221fc4: Waiting
41
44
  36a7bdc86737: Pulling fs layer
42
45
  36a7bdc86737: Waiting
43
- 57cfa89d22f0: Waiting
44
46
  796d60317d4d: Waiting
45
- 6aca5ecbfbf0: Download complete
47
+ bcbb9eb73fb5: Waiting
46
48
  c35d7f83b6fc: Waiting
47
- e2082273f6a6: Download complete
48
- 8f1cde221fc4: Waiting
49
49
  c8e19a2c627e: Waiting
50
50
  b79abc894e87: Waiting
51
- bcbb9eb73fb5: Waiting
52
51
  63ec365deef1: Waiting
52
+ 95f21f1a21d0: Waiting
53
+ dd8d0adb78c1: Verifying Checksum
54
+ dd8d0adb78c1: Download complete
55
+ 17639c486e57: Download complete
56
+ e2082273f6a6: Verifying Checksum
57
+ e2082273f6a6: Download complete
53
58
  bbd7db620433: Verifying Checksum
54
59
  bbd7db620433: Download complete
60
+ 6aca5ecbfbf0: Download complete
55
61
  796d60317d4d: Verifying Checksum
56
62
  796d60317d4d: Download complete
63
+ 17639c486e57: Pull complete
64
+ c35d7f83b6fc: Download complete
57
65
  57cfa89d22f0: Verifying Checksum
58
66
  57cfa89d22f0: Download complete
67
+ 8f1cde221fc4: Verifying Checksum
59
68
  8f1cde221fc4: Download complete
60
- c35d7f83b6fc: Download complete
61
69
  bcbb9eb73fb5: Verifying Checksum
62
70
  bcbb9eb73fb5: Download complete
63
- 17639c486e57: Pull complete
64
- c8e19a2c627e: Verifying Checksum
65
- c8e19a2c627e: Download complete
66
71
  53d86cd64323: Pull complete
67
- 95f21f1a21d0: Verifying Checksum
68
- 95f21f1a21d0: Download complete
69
- b79abc894e87: Verifying Checksum
70
- b79abc894e87: Download complete
71
- 63ec365deef1: Verifying Checksum
72
- 63ec365deef1: Download complete
73
- 36a7bdc86737: Download complete
72
+ c8e19a2c627e: Download complete
74
73
  bbd7db620433: Pull complete
75
74
  dd8d0adb78c1: Pull complete
76
75
  e2082273f6a6: Pull complete
77
76
  6aca5ecbfbf0: Pull complete
78
77
  57cfa89d22f0: Pull complete
78
+ 95f21f1a21d0: Verifying Checksum
79
+ 95f21f1a21d0: Download complete
80
+ 36a7bdc86737: Verifying Checksum
81
+ 36a7bdc86737: Download complete
82
+ 63ec365deef1: Verifying Checksum
83
+ 63ec365deef1: Download complete
84
+ b79abc894e87: Verifying Checksum
85
+ b79abc894e87: Download complete
79
86
  95f21f1a21d0: Pull complete
80
87
  796d60317d4d: Pull complete
81
88
  c35d7f83b6fc: Pull complete
@@ -90,9 +97,9 @@ Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/lay
90
97
  438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
91
98
  ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
92
99
  👤 Running container as UID:GID 1001:1001
93
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-NokZXP:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4 forge test
94
- Compiling 84 files with Solc 0.8.22
95
- Solc 0.8.22 finished in 11.24s
100
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-pdFcIv:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4 forge test
101
+ Compiling 92 files with Solc 0.8.26
102
+ Solc 0.8.26 finished in 8.81s
96
103
  Compiler run successful with warnings:
97
104
  Warning (2018): Function state mutability can be restricted to view
98
105
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -216,282 +223,393 @@ Warning (2018): Function state mutability can be restricted to view
216
223
 
217
224
 
218
225
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
219
- [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
220
- [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
221
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
222
- [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19814)
223
- [PASS] test_checkpointRateLimits_Single() (gas: 88573)
224
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
225
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
226
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
227
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
228
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
229
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
230
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
231
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
232
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
233
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
234
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
235
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
236
- [PASS] test_inflow_GloballyDisabled() (gas: 54520)
237
- [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
238
- [PASS] test_initial_state_closed() (gas: 2770122)
239
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
240
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
241
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
242
- [PASS] test_outflow_GloballyDisabled() (gas: 54496)
243
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
244
- [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
245
- [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
246
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
247
- [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19928)
248
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
249
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
250
- [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21277)
251
- [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
252
- [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
253
- [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19455)
254
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
255
- [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20546)
256
- [PASS] test_setRateLimitStates_Single() (gas: 52512)
257
- [PASS] test_storageHash() (gas: 3392)
258
- [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
259
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 33.66ms (24.32ms CPU time)
226
+ [PASS] test_checkpointRateLimits_Empty() (gas: 13193)
227
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151652)
228
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 92715)
229
+ [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19178)
230
+ [PASS] test_checkpointRateLimits_Single() (gas: 86904)
231
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1716038)
232
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38207)
233
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1715834)
234
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 24667)
235
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48094)
236
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23440)
237
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23505)
238
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 87661)
239
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 3553957)
240
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 3516380)
241
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 3514403)
242
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 50968)
243
+ [PASS] test_inflow_GloballyDisabled() (gas: 53719)
244
+ [PASS] test_inflow_WithScaleDecimals() (gas: 3510925)
245
+ [PASS] test_initial_state_closed() (gas: 3464325)
246
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 50947)
247
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 29913)
248
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 31886)
249
+ [PASS] test_outflow_GloballyDisabled() (gas: 53762)
250
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 77749)
251
+ [PASS] test_outflow_WithScaleDecimals() (gas: 3510940)
252
+ [PASS] test_setRateLimitAddressExemptions() (gas: 61183)
253
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 23618)
254
+ [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19369)
255
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 95695)
256
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 108829)
257
+ [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 20640)
258
+ [PASS] test_setRateLimitConfigs_Single() (gas: 78235)
259
+ [PASS] test_setRateLimitGlobalConfig() (gas: 51513)
260
+ [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 18924)
261
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18229)
262
+ [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 19856)
263
+ [PASS] test_setRateLimitStates_Single() (gas: 51642)
264
+ [PASS] test_storageHash() (gas: 3351)
265
+ [PASS] test_upscaleRateLimitAmount() (gas: 3446173)
266
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 11.45ms (8.27ms CPU time)
267
+
268
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
269
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10793)
270
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 148919)
271
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 89826)
272
+ [PASS] test_checkpointRateLimits_Single() (gas: 84213)
273
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1716016)
274
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38229)
275
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1715834)
276
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 24633)
277
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 45727)
278
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23429)
279
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23427)
280
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 85150)
281
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2580617)
282
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2542918)
283
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2541074)
284
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 50867)
285
+ [PASS] test_inflow_GloballyDisabled() (gas: 51329)
286
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2537562)
287
+ [PASS] test_initial_state_closed() (gas: 2491351)
288
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 50934)
289
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 29857)
290
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 31786)
291
+ [PASS] test_outflow_GloballyDisabled() (gas: 51417)
292
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 75394)
293
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2537556)
294
+ [PASS] test_setRateLimitAddressExemptions() (gas: 58875)
295
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21288)
296
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 93007)
297
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 106518)
298
+ [PASS] test_setRateLimitConfigs_Single() (gas: 75858)
299
+ [PASS] test_setRateLimitGlobalConfig() (gas: 48892)
300
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 15831)
301
+ [PASS] test_setRateLimitStates_Single() (gas: 49242)
302
+ [PASS] test_storageHash() (gas: 3396)
303
+ [PASS] test_upscaleRateLimitAmount() (gas: 2473123)
304
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 18.36ms (12.25ms CPU time)
260
305
 
261
306
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
262
- [PASS] test_feeDeposit() (gas: 17598)
263
- [PASS] test_setFeeDeposit() (gas: 24907)
264
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
265
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
266
- [PASS] test_storageHash() (gas: 3337)
267
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 81.28ms (80.72ms CPU time)
307
+ [PASS] test_feeDeposit() (gas: 17474)
308
+ [PASS] test_setFeeDeposit() (gas: 24705)
309
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21216, ~: 21219)
310
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13189)
311
+ [PASS] test_storageHash() (gas: 3351)
312
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 37.91ms (37.34ms CPU time)
268
313
 
269
314
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
270
- [PASS] test_feeDeposit() (gas: 17660)
271
- [PASS] test_setFeeDeposit() (gas: 27618)
272
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
273
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
274
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
275
- [PASS] test_storageHash() (gas: 3315)
276
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 124.81ms (121.26ms CPU time)
315
+ [PASS] test_feeDeposit() (gas: 17592)
316
+ [PASS] test_setFeeDeposit() (gas: 27299)
317
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 23745, ~: 23748)
318
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 23836)
319
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15667)
320
+ [PASS] test_storageHash() (gas: 3329)
321
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 51.91ms (51.14ms CPU time)
322
+
323
+ Ran 13 tests for test/CreditRedirectRBACUpgradeable.t.sol:CreditRedirectRBACUpgradeableTest
324
+ [PASS] test_initialize() (gas: 18243)
325
+ [PASS] test_isAllowlisted_DelegatesToAllowlist() (gas: 220853)
326
+ [PASS] test_isAllowlisted_NoAllowlist() (gas: 21650)
327
+ [PASS] test_redirectCredit_Allowlisted() (gas: 216228)
328
+ [PASS] test_redirectCredit_Disabled() (gas: 17960)
329
+ [PASS] test_redirectCredit_NotAllowlisted() (gas: 199687)
330
+ [PASS] test_setCreditRedirectConfig_Fuzz(address,address) (runs: 1000, μ: 64498, ~: 64538)
331
+ [PASS] test_setCreditRedirectConfig_Revert_AllowlistOnly() (gas: 18202)
332
+ [PASS] test_setCreditRedirectConfig_Revert_EscrowOnly() (gas: 18172)
333
+ [PASS] test_setCreditRedirectConfig_Revert_Unauthorized() (gas: 25996)
334
+ [PASS] test_setCreditRedirectConfig_Set() (gas: 70318)
335
+ [PASS] test_setCreditRedirectConfig_Unset() (gas: 54923)
336
+ [PASS] test_storageHash() (gas: 3395)
337
+ Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 58.67ms (58.08ms CPU time)
277
338
 
278
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
279
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
280
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
281
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
282
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
283
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
284
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
285
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
286
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
287
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
288
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
289
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
290
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
291
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
292
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
293
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
294
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
295
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
296
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
297
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
298
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
299
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
300
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
301
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
302
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
303
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
304
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
305
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
306
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
307
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
308
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
309
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
310
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
311
- [PASS] test_storageHash() (gas: 3380)
312
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 190.55ms (254.04ms CPU time)
339
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
340
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26805, ~: 40768)
341
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40537)
342
+ [PASS] test_assertNotPaused_Success() (gas: 12529)
343
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15805)
344
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 50937)
345
+ [PASS] test_isPaused_InitialState() (gas: 15514)
346
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 217708)
347
+ [PASS] test_multipleRoleGrants() (gas: 390441)
348
+ [PASS] test_pause() (gas: 41837)
349
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 34782)
350
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 179540)
351
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 29790, ~: 18327)
352
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 19940)
353
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41061)
354
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 19702)
355
+ [PASS] test_setPaused_Success() (gas: 42361)
356
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58545)
357
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 78246)
358
+ [PASS] test_storageHash() (gas: 3351)
359
+ [PASS] test_unpause() (gas: 34700)
360
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41813, ~: 44425)
361
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44261)
362
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40566)
363
+ [PASS] test_whenNotPaused_Success() (gas: 38892)
364
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52384)
365
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 62468)
366
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15531)
367
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 74.83ms (124.80ms CPU time)
368
+
369
+ Ran 12 tests for test/CreditRedirectBaseUpgradeable.t.sol:CreditRedirectBaseUpgradeableTest
370
+ [PASS] test_initialize() (gas: 18176)
371
+ [PASS] test_isAllowlisted_DelegatesToAllowlist() (gas: 218386)
372
+ [PASS] test_isAllowlisted_NoAllowlist() (gas: 21538)
373
+ [PASS] test_redirectCredit_Allowlisted() (gas: 213849)
374
+ [PASS] test_redirectCredit_Disabled() (gas: 17936)
375
+ [PASS] test_redirectCredit_NotAllowlisted() (gas: 197308)
376
+ [PASS] test_setCreditRedirectConfig_Fuzz(address,address) (runs: 1000, μ: 62076, ~: 62116)
377
+ [PASS] test_setCreditRedirectConfig_Revert_AllowlistOnly() (gas: 15827)
378
+ [PASS] test_setCreditRedirectConfig_Revert_EscrowOnly() (gas: 15797)
379
+ [PASS] test_setCreditRedirectConfig_Set() (gas: 67874)
380
+ [PASS] test_setCreditRedirectConfig_Unset() (gas: 52720)
381
+ [PASS] test_storageHash() (gas: 3373)
382
+ Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 106.39ms (105.78ms CPU time)
313
383
 
314
384
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
315
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
316
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
317
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
318
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
319
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
320
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
321
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
322
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
323
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
324
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
325
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 229.33ms (61.57ms CPU time)
326
-
327
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
328
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
329
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
330
- [PASS] test_assertNotPaused_Success() (gas: 14891)
331
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
332
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
333
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18020)
334
- [PASS] test_isPaused_Default() (gas: 47316)
335
- [PASS] test_isPaused_InitialState() (gas: 22172)
336
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
337
- [PASS] test_isPaused_Override() (gas: 75171)
338
- [PASS] test_isPaused_Specific() (gas: 50105)
339
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
340
- [PASS] test_pauseConfig() (gas: 51028)
341
- [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
342
- [PASS] test_setDefaultPaused() (gas: 42196)
343
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
344
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
345
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
346
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
347
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
348
- [PASS] test_setPaused() (gas: 48361)
349
- [PASS] test_setPaused_DormantData() (gas: 297504)
350
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
351
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
352
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 44002, ~: 48533)
353
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224991, ~: 221992)
354
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
355
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
356
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
357
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 25986)
358
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 132969)
359
- [PASS] test_setPaused_Success() (gas: 45897)
360
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
361
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
362
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
363
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 243537)
364
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
365
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
366
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
367
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61727, ~: 50341)
368
- [PASS] test_storageHash() (gas: 3392)
369
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
370
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
371
- [PASS] test_whenNotPaused_Success() (gas: 41299)
372
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
373
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
374
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
375
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 929.89ms (514.41ms CPU time)
385
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 9993)
386
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 9948)
387
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9948)
388
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8464)
389
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3383, ~: 3388)
390
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8432)
391
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8933)
392
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8931)
393
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8953)
394
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 4993, ~: 4993)
395
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 155.19ms (71.87ms CPU time)
376
396
 
377
397
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
378
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
379
- [PASS] test_constructor_InitialMode() (gas: 15778)
380
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
381
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
382
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
383
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
384
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
385
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
386
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
387
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
388
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
389
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
390
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
391
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
392
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
393
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
394
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
395
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
396
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
397
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
398
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
399
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
400
- [PASS] test_setMode_Blacklist() (gas: 42605)
401
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
402
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
403
- [PASS] test_setMode_Whitelist() (gas: 42714)
404
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
405
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
406
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
407
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
408
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
409
- [PASS] test_storageHash() (gas: 3480)
410
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 944.21ms (542.82ms CPU time)
398
+ [PASS] test_SwitchModes_PreservesState() (gas: 193990)
399
+ [PASS] test_constructor_InitialMode() (gas: 15640)
400
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2641840)
401
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127209)
402
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45314)
403
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 114591, ~: 114711)
404
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43362, ~: 43362)
405
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15803, ~: 15803)
406
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43348, ~: 43348)
407
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 114542, ~: 114642)
408
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25782)
409
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45345)
410
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127164)
411
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 125841)
412
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22453)
413
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 123814)
414
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 19876)
415
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13210)
416
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 172891)
417
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 98841)
418
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 123949)
419
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 22650)
420
+ [PASS] test_setMode_Blacklist() (gas: 42354)
421
+ [PASS] test_setMode_MultipleChanges() (gas: 42426)
422
+ [PASS] test_setMode_RevertSameMode() (gas: 50298)
423
+ [PASS] test_setMode_Whitelist() (gas: 42396)
424
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13188)
425
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 172803)
426
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 98805)
427
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 123931)
428
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 22564)
429
+ [PASS] test_storageHash() (gas: 3395)
430
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 237.47ms (495.45ms CPU time)
431
+
432
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
433
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25642, ~: 38321)
434
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38112)
435
+ [PASS] test_assertNotPaused_Success() (gas: 12460)
436
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15645)
437
+ [PASS] test_isPaused_InitialState() (gas: 15501)
438
+ [PASS] test_pause() (gas: 39401)
439
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27472, ~: 15939)
440
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17540)
441
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38204)
442
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 73456)
443
+ [PASS] test_storageHash() (gas: 3373)
444
+ [PASS] test_unpause() (gas: 30840)
445
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40510, ~: 41966)
446
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41780)
447
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38164)
448
+ [PASS] test_whenNotPaused_Success() (gas: 38812)
449
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48425)
450
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 57414)
451
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15518)
452
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 245.36ms (215.92ms CPU time)
453
+
454
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
455
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40555)
456
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40579)
457
+ [PASS] test_assertNotPaused_Success() (gas: 14828)
458
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52443)
459
+ [PASS] test_defaultPaused_InitialState() (gas: 15478)
460
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15706)
461
+ [PASS] test_isPaused_Default() (gas: 44390)
462
+ [PASS] test_isPaused_InitialState() (gas: 21849)
463
+ [PASS] test_isPaused_MultipleIDs() (gas: 73453)
464
+ [PASS] test_isPaused_Override() (gas: 69013)
465
+ [PASS] test_isPaused_Specific() (gas: 46428)
466
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51334)
467
+ [PASS] test_pauseConfig() (gas: 45439)
468
+ [PASS] test_setDefaultPaused() (gas: 39449)
469
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27592, ~: 15980)
470
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17561)
471
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38343)
472
+ [PASS] test_setPaused() (gas: 42865)
473
+ [PASS] test_setPaused_EmptyArray() (gas: 10788)
474
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38461, ~: 43178)
475
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40403)
476
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40365)
477
+ [PASS] test_setPaused_Success_Toggle() (gas: 50934)
478
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58086, ~: 69240)
479
+ [PASS] test_storageHash() (gas: 3395)
480
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44207)
481
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44284)
482
+ [PASS] test_whenNotPaused_Success() (gas: 41152)
483
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88304)
484
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17781)
485
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40580)
486
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 245.83ms (301.16ms CPU time)
487
+
488
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
489
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 96627)
490
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 102935, ~: 102919)
491
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 32672)
492
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18235)
493
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45259)
494
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 101803)
495
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 102248)
496
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46256, ~: 46416)
497
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 22832)
498
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50333)
499
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 34975)
500
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 49543)
501
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17663)
502
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22412)
503
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 115439)
504
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15791)
505
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 1148657)
506
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32251)
507
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 231980)
508
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 119604)
509
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15510)
510
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 17982)
511
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 46888)
512
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 92610)
513
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 93233)
514
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22454)
515
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25218)
516
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 122870)
517
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 94717)
518
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 17885)
519
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42466)
520
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23575)
521
+ [PASS] test_storageHash() (gas: 3362)
522
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 270.78ms (327.67ms CPU time)
411
523
 
412
524
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
413
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
414
- [PASS] test_constructor_InitialMode() (gas: 15578)
415
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
416
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
417
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
418
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
419
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
420
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
421
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
422
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
423
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
424
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
425
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
426
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
427
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
428
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
429
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
430
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
431
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
432
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
433
- [PASS] test_setMode_Blacklist() (gas: 40021)
434
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
435
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
436
- [PASS] test_setMode_Whitelist() (gas: 40108)
437
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
438
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
439
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
440
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
441
- [PASS] test_storageHash() (gas: 3458)
442
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.05s (411.80ms CPU time)
525
+ [PASS] test_SwitchModes_PreservesState() (gas: 185357)
526
+ [PASS] test_constructor_InitialMode() (gas: 15507)
527
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1639939)
528
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122100)
529
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42789)
530
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 109578, ~: 109738)
531
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40859, ~: 40859)
532
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15701, ~: 15701)
533
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 40856, ~: 40856)
534
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 109664, ~: 109724)
535
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25542)
536
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42831)
537
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122020)
538
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 120870)
539
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22297)
540
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 118820)
541
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10855)
542
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 167666)
543
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 94467)
544
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 118621)
545
+ [PASS] test_setMode_Blacklist() (gas: 39853)
546
+ [PASS] test_setMode_MultipleChanges() (gas: 39152)
547
+ [PASS] test_setMode_RevertSameMode() (gas: 44866)
548
+ [PASS] test_setMode_Whitelist() (gas: 39873)
549
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10810)
550
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 167600)
551
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94350)
552
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 118502)
553
+ [PASS] test_storageHash() (gas: 3395)
554
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 309.78ms (379.77ms CPU time)
443
555
 
444
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
445
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26966, ~: 41090)
446
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
447
- [PASS] test_assertNotPaused_Success() (gas: 12539)
448
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
449
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
450
- [PASS] test_isPaused_InitialState() (gas: 15629)
451
- [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
452
- [PASS] test_multipleRoleGrants() (gas: 395725)
453
- [PASS] test_pause() (gas: 42109)
454
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
455
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
456
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30425, ~: 18756)
457
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
458
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
459
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
460
- [PASS] test_setPaused_Success() (gas: 42640)
461
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
462
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
463
- [PASS] test_storageHash() (gas: 3414)
464
- [PASS] test_unpause() (gas: 35177)
465
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 42032, ~: 44741)
466
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
467
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
468
- [PASS] test_whenNotPaused_Success() (gas: 38986)
469
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
470
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
471
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
472
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.27s (176.42ms CPU time)
556
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
557
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 47656)
558
+ [PASS] test_getAmountBeforeFee_Default() (gas: 44792)
559
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44540, ~: 45949)
560
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44330)
561
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45088)
562
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68096)
563
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 63765)
564
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40455)
565
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22031)
566
+ [PASS] test_getFee_BoundaryConditions() (gas: 71320)
567
+ [PASS] test_getFee_Default() (gas: 40420)
568
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42733, ~: 44203)
569
+ [PASS] test_getFee_Rounding() (gas: 42598)
570
+ [PASS] test_getFee_Specific() (gas: 63734)
571
+ [PASS] test_getFee_SpecificDisabled() (gas: 63686)
572
+ [PASS] test_setDefaultFeeBps() (gas: 39385)
573
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31851, ~: 39476)
574
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13626)
575
+ [PASS] test_setFeeBps() (gas: 73386)
576
+ Logs:
577
+ Bound result 500
473
578
 
474
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
475
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25260, ~: 12763)
476
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
477
- [PASS] test_assertNotPaused_Success() (gas: 12516)
478
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
479
- [PASS] test_isPaused_InitialState() (gas: 15595)
480
- [PASS] test_pause() (gas: 39592)
481
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27921, ~: 16219)
482
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
483
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
484
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
485
- [PASS] test_storageHash() (gas: 3414)
486
- [PASS] test_unpause() (gas: 31115)
487
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40757, ~: 42291)
488
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
489
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
490
- [PASS] test_whenNotPaused_Success() (gas: 38930)
491
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
492
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
493
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
494
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.28s (244.53ms CPU time)
579
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64405, ~: 73762)
580
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 13841)
581
+ [PASS] test_storageHash() (gas: 3395)
582
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.04s (280.95ms CPU time)
583
+
584
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
585
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 50546)
586
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47297)
587
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47008, ~: 48408)
588
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 46854)
589
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 47666)
590
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 70973)
591
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 66639)
592
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 42885)
593
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22177)
594
+ [PASS] test_getFee_BoundaryConditions() (gas: 74490)
595
+ [PASS] test_getFee_Default() (gas: 42761)
596
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45083, ~: 46566)
597
+ [PASS] test_getFee_Rounding() (gas: 44991)
598
+ [PASS] test_getFee_Specific() (gas: 66469)
599
+ [PASS] test_getFee_SpecificDisabled() (gas: 66472)
600
+ [PASS] test_setDefaultFeeBps() (gas: 41808)
601
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34044, ~: 41922)
602
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16013)
603
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 21735)
604
+ [PASS] test_setFeeBps() (gas: 76321)
605
+ Logs:
606
+ Bound result 500
607
+
608
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67848, ~: 76676)
609
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16217)
610
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 21879)
611
+ [PASS] test_storageHash() (gas: 3373)
612
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.06s (535.87ms CPU time)
495
613
 
496
614
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
497
615
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -499,361 +617,342 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
499
617
  ╭-----------------------------------+---------------------+-------+---------+----------╮
500
618
  | Contract | Selector | Calls | Reverts | Discards |
501
619
  +======================================================================================+
502
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
503
621
  |-----------------------------------+---------------------+-------+---------+----------|
504
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
505
623
  |-----------------------------------+---------------------+-------+---------+----------|
506
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
507
625
  |-----------------------------------+---------------------+-------+---------+----------|
508
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
509
627
  |-----------------------------------+---------------------+-------+---------+----------|
510
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
511
629
  |-----------------------------------+---------------------+-------+---------+----------|
512
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
513
631
  |-----------------------------------+---------------------+-------+---------+----------|
514
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | warp | 520 | 0 | 0 |
515
633
  ╰-----------------------------------+---------------------+-------+---------+----------╯
516
634
 
517
635
  Logs:
518
- Bound result 902941538525927879490
519
- Bound result 1999999999999999999995
520
- Bound result 233
521
- Bound result 0
522
- Bound result 1233
523
- Bound result 1059
524
- Bound result 6978
525
- Bound result 297
526
- Bound result 1726562
527
- Bound result 875828718384643508939
528
- Bound result 3149
529
- Bound result 8822
530
- Bound result 395
531
- Bound result 9900001608161946454448
532
- Bound result 9900000000002061838444
533
- Bound result 36
636
+ Bound result 514264337593543950332
637
+ Bound result 31812
638
+ Bound result 943
639
+ Bound result 5
640
+ Bound result 9583
641
+ Bound result 44
642
+ Bound result 10762
643
+ Bound result 471845836639011
644
+ Bound result 1002
645
+ Bound result 322
646
+ Bound result 103811359304345
647
+ Bound result 1728342068163665244062
648
+ Bound result 35
649
+ Bound result 790
650
+ Bound result 1784812351290615
651
+ Bound result 7048
652
+ Bound result 6053
653
+ Bound result 732
654
+ Bound result 9900000000000000009696
655
+ Bound result 9900000000000000002704
656
+ Bound result 704
534
657
  Bound result 6242
535
- Bound result 4308
536
- Bound result 2185641633222513568
537
- Bound result 275010281049647
538
- Bound result 151
658
+ Bound result 64805566931689
659
+ Bound result 8606503
660
+ Bound result 878
539
661
 
540
662
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
541
663
 
542
664
  ╭-----------------------------------+---------------------+-------+---------+----------╮
543
665
  | Contract | Selector | Calls | Reverts | Discards |
544
666
  +======================================================================================+
545
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
667
+ | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
546
668
  |-----------------------------------+---------------------+-------+---------+----------|
547
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
669
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
548
670
  |-----------------------------------+---------------------+-------+---------+----------|
549
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
671
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
550
672
  |-----------------------------------+---------------------+-------+---------+----------|
551
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | setState | 582 | 0 | 0 |
552
674
  |-----------------------------------+---------------------+-------+---------+----------|
553
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
554
676
  |-----------------------------------+---------------------+-------+---------+----------|
555
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
556
678
  |-----------------------------------+---------------------+-------+---------+----------|
557
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
558
680
  ╰-----------------------------------+---------------------+-------+---------+----------╯
559
681
 
560
682
  Logs:
561
- Bound result 214653567665343082378
562
- Bound result 5923
563
- Bound result 23
564
- Bound result 100000000000000000000
565
- Bound result 9947209001580540421226
566
- Bound result 968
567
- Bound result 6241
568
- Bound result 10047
569
- Bound result 2737
570
- Bound result 10309
571
- Bound result 13286
572
- Bound result 8487207066734849841930
573
- Bound result 3272
574
- Bound result 682
575
- Bound result 14
576
- Bound result 9900000000000000008293
577
- Bound result 9900000000003695152419
578
- Bound result 3094
579
- Bound result 1993
683
+ Bound result 36
684
+ Bound result 6290312607515
685
+ Bound result 60246307048588709131
686
+ Bound result 253699
687
+ Bound result 4
688
+ Bound result 933139296137646270858
689
+ Bound result 136560803131081129
690
+ Bound result 21
691
+ Bound result 380
692
+ Bound result 1973
693
+ Bound result 1759
694
+ Bound result 27131645849363552842
695
+ Bound result 1646649520521564122820
696
+ Bound result 525
697
+ Bound result 509663201641569390420
698
+ Bound result 9900000000000874291599
699
+ Bound result 5465
700
+ Bound result 3464
701
+ Bound result 1317
702
+ Bound result 80959985
580
703
 
581
704
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
582
705
 
583
706
  ╭-----------------------------------+---------------------+-------+---------+----------╮
584
707
  | Contract | Selector | Calls | Reverts | Discards |
585
708
  +======================================================================================+
586
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
587
710
  |-----------------------------------+---------------------+-------+---------+----------|
588
- | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
589
712
  |-----------------------------------+---------------------+-------+---------+----------|
590
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
713
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
591
714
  |-----------------------------------+---------------------+-------+---------+----------|
592
- | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
715
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
593
716
  |-----------------------------------+---------------------+-------+---------+----------|
594
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
717
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 595 | 0 | 0 |
595
718
  |-----------------------------------+---------------------+-------+---------+----------|
596
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
719
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
597
720
  |-----------------------------------+---------------------+-------+---------+----------|
598
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
721
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
599
722
  ╰-----------------------------------+---------------------+-------+---------+----------╯
600
723
 
601
724
  Logs:
602
- Bound result 2445
603
- Bound result 1376
604
- Bound result 2415
605
- Bound result 1
606
- Bound result 9900220308100383780122
607
- Bound result 6914264337593535947488
608
- Bound result 1555
609
- Bound result 2560
610
- Bound result 18261950974554
725
+ Bound result 9900000000000000005354
726
+ Bound result 9900000000000000006194
727
+ Bound result 9632
728
+ Bound result 2602
611
729
  Bound result 2
612
- Bound result 0
613
- Bound result 2948
614
- Bound result 2529
615
- Bound result 287798682349029756
616
- Bound result 22690605
617
- Bound result 2858800
618
- Bound result 2002761168866855182185
619
- Bound result 27
730
+ Bound result 1
731
+ Bound result 14965175441190193717435
732
+ Bound result 14990159717386478012295
733
+ Bound result 61331
734
+ Bound result 1
735
+ Bound result 1859975730156434881497
736
+ Bound result 8025324945288277844342
737
+ Bound result 386
738
+ Bound result 141
739
+ Bound result 616
740
+ Bound result 435
741
+ Bound result 1174508972652517763847
742
+ Bound result 9900000000000002350673
743
+ Bound result 1769641874953319777996
744
+ Bound result 9569
745
+ Bound result 7561
746
+ Bound result 5856
747
+ Bound result 9900000538691185911608
748
+ Bound result 9900000000000000294037
749
+ Bound result 11
750
+ Bound result 4870
620
751
 
621
752
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
622
753
 
623
754
  ╭-----------------------------------+---------------------+-------+---------+----------╮
624
755
  | Contract | Selector | Calls | Reverts | Discards |
625
756
  +======================================================================================+
626
- | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
757
+ | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
627
758
  |-----------------------------------+---------------------+-------+---------+----------|
628
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
759
+ | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
629
760
  |-----------------------------------+---------------------+-------+---------+----------|
630
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
761
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
631
762
  |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
763
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
633
764
  |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
765
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
635
766
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
767
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 601 | 0 | 0 |
637
768
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
769
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
639
770
  ╰-----------------------------------+---------------------+-------+---------+----------╯
640
771
 
641
772
  Logs:
642
- Bound result 937
643
- Bound result 9900000459595236572776
644
- Bound result 9926072134965009864398
645
- Bound result 2565
646
- Bound result 4561
647
- Bound result 1218
648
- Bound result 546
649
- Bound result 9900000000000000004175
650
- Bound result 9900000000000000000365
651
- Bound result 9174
652
- Bound result 517
653
- Bound result 22519211344145714790
654
- Bound result 15343477
655
- Bound result 717
656
- Bound result 6150
657
- Bound result 8164182125372833161662
658
- Bound result 9900000091185225336879
659
- Bound result 2680
660
- Bound result 6035
661
- Bound result 11329982
662
- Bound result 6184523204117653866457
663
- Bound result 13484631865
664
- Bound result 718996942907991210206
665
- Bound result 21
666
- Bound result 5002
667
- Bound result 6754
668
- Bound result 1254
669
- Bound result 2778
670
- Bound result 1469
671
- Bound result 24111056076245593910
773
+ Bound result 11897
774
+ Bound result 1950
775
+ Bound result 1549836998721109439547
776
+ Bound result 17424193
777
+ Bound result 0
778
+ Bound result 685760238432005070002
779
+ Bound result 1628155780764
780
+ Bound result 0
781
+ Bound result 9900000037881356523988
782
+ Bound result 3296394976581932225203
783
+ Bound result 378
784
+ Bound result 31
785
+ Bound result 86
786
+ Bound result 2818169115961
787
+ Bound result 9645
788
+ Bound result 9900000000000009259553
789
+ Bound result 108113974487594734467
790
+ Bound result 397
791
+ Bound result 5635
792
+ Bound result 11330399437390
793
+ Bound result 140506502611825816834
794
+ Bound result 30
795
+ Bound result 800
796
+ Bound result 2907324871852925
672
797
 
673
798
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
674
799
 
675
800
  ╭-----------------------------------+---------------------+-------+---------+----------╮
676
801
  | Contract | Selector | Calls | Reverts | Discards |
677
802
  +======================================================================================+
678
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
803
+ | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
679
804
  |-----------------------------------+---------------------+-------+---------+----------|
680
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
805
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
681
806
  |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | setConfig | 585 | 0 | 0 |
807
+ | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
683
808
  |-----------------------------------+---------------------+-------+---------+----------|
684
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
809
+ | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
685
810
  |-----------------------------------+---------------------+-------+---------+----------|
686
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 515 | 0 | 0 |
811
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
687
812
  |-----------------------------------+---------------------+-------+---------+----------|
688
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
813
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 588 | 0 | 0 |
689
814
  |-----------------------------------+---------------------+-------+---------+----------|
690
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
815
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
691
816
  ╰-----------------------------------+---------------------+-------+---------+----------╯
692
817
 
693
818
  Logs:
694
- Bound result 2049
695
- Bound result 4558
696
- Bound result 0
697
- Bound result 108517163
698
- Bound result 514264337593504336253
699
- Bound result 271679317494
700
- Bound result 0
701
- Bound result 150
702
- Bound result 743
703
- Bound result 9900000000000402286044
704
- Bound result 6914264337593535947488
705
- Bound result 162
706
- Bound result 72
707
- Bound result 9900000000000000001616
708
- Bound result 9900000000000000008763
709
- Bound result 146
710
- Bound result 907
711
- Bound result 6914264337580611354428
712
- Bound result 1171
713
- Bound result 228
714
- Bound result 301
715
- Bound result 3527295333654796923283
716
- Bound result 100000000000000000000
717
- Bound result 427
718
- Bound result 4298
719
- Bound result 6720379750200489348
819
+ Bound result 11579
820
+ Bound result 1245624685547898771989
821
+ Bound result 41
822
+ Bound result 1887289802
823
+ Bound result 1295
824
+ Bound result 564010507084007424863
825
+ Bound result 100000000000000000002
826
+ Bound result 7986
827
+ Bound result 1921
828
+ Bound result 3639698344530996
829
+ Bound result 935
830
+ Bound result 672
831
+ Bound result 12252
832
+ Bound result 9900000000000000004618
833
+ Bound result 9900000000000000004473
834
+ Bound result 1587
835
+ Bound result 5501
836
+ Bound result 13497251725346044
720
837
 
721
838
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
722
839
 
723
840
  ╭-----------------------------------+---------------------+-------+---------+----------╮
724
841
  | Contract | Selector | Calls | Reverts | Discards |
725
842
  +======================================================================================+
726
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
727
844
  |-----------------------------------+---------------------+-------+---------+----------|
728
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
845
+ | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
729
846
  |-----------------------------------+---------------------+-------+---------+----------|
730
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
847
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
731
848
  |-----------------------------------+---------------------+-------+---------+----------|
732
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
849
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
733
850
  |-----------------------------------+---------------------+-------+---------+----------|
734
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 519 | 0 | 0 |
851
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
735
852
  |-----------------------------------+---------------------+-------+---------+----------|
736
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
853
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
737
854
  |-----------------------------------+---------------------+-------+---------+----------|
738
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
855
+ | RateLimiterRBACUpgradeableHandler | warp | 516 | 0 | 0 |
739
856
  ╰-----------------------------------+---------------------+-------+---------+----------╯
740
857
 
741
858
  Logs:
742
- Bound result 237
743
- Bound result 128
744
- Bound result 537725265222031486938
859
+ Bound result 4195
860
+ Bound result 60
861
+ Bound result 2613858723
745
862
  Bound result 0
746
- Bound result 149
747
- Bound result 514264337593504336253
748
- Bound result 9702
749
- Bound result 31
750
- Bound result 12994
751
- Bound result 9900000000000604439324
752
- Bound result 6914264337593535947491
753
- Bound result 3317
754
- Bound result 13
755
- Bound result 100000000000000000001
756
- Bound result 2366205928565233925604
757
- Bound result 7501
758
- Bound result 3611
759
- Bound result 8
760
- Bound result 4576
761
- Bound result 6509
762
- Bound result 1240
863
+ Bound result 114573341785181358445
864
+ Bound result 177111
865
+ Bound result 1
866
+ Bound result 3
867
+ Bound result 9520
868
+ Bound result 138853858897969488663
869
+ Bound result 2510086
870
+ Bound result 1434
871
+ Bound result 9900000019496832571282
872
+ Bound result 9900000000001485927398
873
+ Bound result 9278
874
+ Bound result 2434
875
+ Bound result 2766
763
876
 
764
877
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
765
878
 
766
879
  ╭-----------------------------------+---------------------+-------+---------+----------╮
767
880
  | Contract | Selector | Calls | Reverts | Discards |
768
881
  +======================================================================================+
769
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
770
883
  |-----------------------------------+---------------------+-------+---------+----------|
771
- | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
772
885
  |-----------------------------------+---------------------+-------+---------+----------|
773
- | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
886
+ | RateLimiterRBACUpgradeableHandler | setConfig | 580 | 0 | 0 |
774
887
  |-----------------------------------+---------------------+-------+---------+----------|
775
- | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
776
889
  |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
890
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 520 | 0 | 0 |
778
891
  |-----------------------------------+---------------------+-------+---------+----------|
779
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
892
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
780
893
  |-----------------------------------+---------------------+-------+---------+----------|
781
- | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
894
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
782
895
  ╰-----------------------------------+---------------------+-------+---------+----------╯
783
896
 
784
897
  Logs:
785
- Bound result 1859148445158973983605
786
- Bound result 89202922047
787
- Bound result 0
788
- Bound result 54
789
- Bound result 34864321869
898
+ Bound result 360
899
+ Bound result 199007219
790
900
  Bound result 0
791
- Bound result 28
792
901
  Bound result 1
793
- Bound result 384557019136967412
794
- Bound result 37619686770024697
795
- Bound result 100000000000000000001
796
- Bound result 9900000913860589670797
797
- Bound result 39
798
- Bound result 377
799
- Bound result 432
800
- Bound result 82693128958
801
- Bound result 0
802
- Bound result 363
803
- Bound result 71
902
+ Bound result 67486
903
+ Bound result 11646
904
+ Bound result 1
905
+ Bound result 6987
906
+ Bound result 1994656580816375112816
907
+ Bound result 66
908
+ Bound result 62611662992214842730
909
+ Bound result 531
910
+ Bound result 23
911
+ Bound result 514264337593543950334
804
912
 
805
913
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
806
914
 
807
915
  ╭-----------------------------------+---------------------+-------+---------+----------╮
808
916
  | Contract | Selector | Calls | Reverts | Discards |
809
917
  +======================================================================================+
810
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
811
919
  |-----------------------------------+---------------------+-------+---------+----------|
812
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
813
921
  |-----------------------------------+---------------------+-------+---------+----------|
814
- | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
815
923
  |-----------------------------------+---------------------+-------+---------+----------|
816
- | RateLimiterRBACUpgradeableHandler | setState | 510 | 0 | 0 |
924
+ | RateLimiterRBACUpgradeableHandler | setState | 591 | 0 | 0 |
817
925
  |-----------------------------------+---------------------+-------+---------+----------|
818
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 589 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 508 | 0 | 0 |
819
927
  |-----------------------------------+---------------------+-------+---------+----------|
820
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
821
929
  |-----------------------------------+---------------------+-------+---------+----------|
822
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
930
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
823
931
  ╰-----------------------------------+---------------------+-------+---------+----------╯
824
932
 
825
933
  Logs:
826
- Bound result 76
827
- Bound result 9799
828
- Bound result 657584102329086802259
829
- Bound result 52
830
- Bound result 661167068324357162
831
- Bound result 1320358803878960253
832
- Bound result 57
833
- Bound result 9900000000000000001466
834
- Bound result 9900000000000000002774
835
- Bound result 9136
836
- Bound result 10
837
- Bound result 544361197105
838
- Bound result 68450157918975976
839
- Bound result 6914264337581807779609
934
+ Bound result 475160742520173969137
935
+ Bound result 17480
936
+ Bound result 0
937
+ Bound result 3416
938
+ Bound result 1000
840
939
  Bound result 1
940
+ Bound result 264758777496446655042
941
+ Bound result 107
942
+ Bound result 4930
841
943
  Bound result 0
842
- Bound result 19259820383674702863913
944
+ Bound result 985
945
+ Bound result 10228
946
+ Bound result 142
843
947
  Bound result 1
844
- Bound result 24
845
- Bound result 5399
846
- Bound result 10879
847
- Bound result 7
848
- Bound result 14482
849
- Bound result 10261
850
- Bound result 9900000000000000005629
851
- Bound result 9900000000000000002648
852
- Bound result 7337
853
- Bound result 5999
854
- Bound result 56
948
+ Bound result 5515
949
+ Bound result 104217484430804851
950
+ Bound result 9900000000000000011207
951
+ Bound result 9900000000002159037160
952
+ Bound result 348
953
+ Bound result 1588
855
954
 
856
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (7.61s CPU time)
955
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.09s (7.25s CPU time)
857
956
 
858
957
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
859
958
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -861,504 +960,429 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
861
960
  ╭-----------------------------------+---------------------+-------+---------+----------╮
862
961
  | Contract | Selector | Calls | Reverts | Discards |
863
962
  +======================================================================================+
864
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
865
964
  |-----------------------------------+---------------------+-------+---------+----------|
866
- | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
965
+ | RateLimiterRBACUpgradeableHandler | outflow | 517 | 0 | 0 |
867
966
  |-----------------------------------+---------------------+-------+---------+----------|
868
- | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
967
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
869
968
  |-----------------------------------+---------------------+-------+---------+----------|
870
- | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
969
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
871
970
  |-----------------------------------+---------------------+-------+---------+----------|
872
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
873
972
  |-----------------------------------+---------------------+-------+---------+----------|
874
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
875
974
  |-----------------------------------+---------------------+-------+---------+----------|
876
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
877
976
  ╰-----------------------------------+---------------------+-------+---------+----------╯
878
977
 
879
978
  Logs:
880
- Bound result 1160
881
- Bound result 495
882
- Bound result 52974
883
- Bound result 55670861367876344
884
- Bound result 17156713670154787900
885
- Bound result 360
886
- Bound result 9900000000002072215440
887
- Bound result 9900000000000000007244
888
- Bound result 655
889
- Bound result 5998
890
- Bound result 76
891
- Bound result 4195
892
- Bound result 324
893
- Bound result 65
894
- Bound result 4730
895
- Bound result 16100020
896
- Bound result 1062141416039177
897
- Bound result 15154826720959713995780
898
- Bound result 468
979
+ Bound result 1
980
+ Bound result 10797875
981
+ Bound result 1
982
+ Bound result 9900007505635392461538
983
+ Bound result 9900000001083433704952
984
+ Bound result 2423
985
+ Bound result 12
986
+ Bound result 1064
987
+ Bound result 9900000000089323566792
988
+ Bound result 9900153434633459291153
989
+ Bound result 9014
990
+ Bound result 12
991
+ Bound result 15613175950959361608002
992
+ Bound result 11261738276904013607421
993
+ Bound result 2
994
+ Bound result 100000000000000000001
995
+ Bound result 6914264337593535947488
996
+ Bound result 3857
997
+ Bound result 5774
998
+ Bound result 2245
999
+ Bound result 8926
1000
+ Bound result 847
899
1001
 
900
1002
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
901
1003
 
902
1004
  ╭-----------------------------------+---------------------+-------+---------+----------╮
903
1005
  | Contract | Selector | Calls | Reverts | Discards |
904
1006
  +======================================================================================+
905
- | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
1007
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
906
1008
  |-----------------------------------+---------------------+-------+---------+----------|
907
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
1009
+ | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
908
1010
  |-----------------------------------+---------------------+-------+---------+----------|
909
- | RateLimiterRBACUpgradeableHandler | setConfig | 517 | 0 | 0 |
1011
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
910
1012
  |-----------------------------------+---------------------+-------+---------+----------|
911
- | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1013
+ | RateLimiterRBACUpgradeableHandler | setState | 577 | 0 | 0 |
912
1014
  |-----------------------------------+---------------------+-------+---------+----------|
913
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 603 | 0 | 0 |
1015
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
914
1016
  |-----------------------------------+---------------------+-------+---------+----------|
915
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
1017
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
916
1018
  |-----------------------------------+---------------------+-------+---------+----------|
917
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
918
1020
  ╰-----------------------------------+---------------------+-------+---------+----------╯
919
1021
 
920
1022
  Logs:
921
- Bound result 109775064307
922
- Bound result 22546373981
923
- Bound result 388064489873888628038
924
- Bound result 321178017272
925
- Bound result 3521
926
- Bound result 551
927
- Bound result 369
928
- Bound result 1979035761943771610630
1023
+ Bound result 9900000000000000012593
1024
+ Bound result 9900000000000000009666
1025
+ Bound result 6242
1026
+ Bound result 1878
1027
+ Bound result 8430951
1028
+ Bound result 8133
1029
+ Bound result 9
1030
+ Bound result 4208
1031
+ Bound result 2548481
1032
+ Bound result 4118068220773472
1033
+ Bound result 1285333487
1034
+ Bound result 0
1035
+ Bound result 8190
1036
+ Bound result 5983
1037
+ Bound result 7966
1038
+ Bound result 7107
1039
+ Bound result 4123
1040
+ Bound result 13844180935608532253435
1041
+ Bound result 11213
1042
+ Bound result 7515
929
1043
 
930
1044
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
931
1045
 
932
1046
  ╭-----------------------------------+---------------------+-------+---------+----------╮
933
1047
  | Contract | Selector | Calls | Reverts | Discards |
934
1048
  +======================================================================================+
935
- | RateLimiterRBACUpgradeableHandler | inflow | 592 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
936
1050
  |-----------------------------------+---------------------+-------+---------+----------|
937
- | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
938
1052
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
940
1054
  |-----------------------------------+---------------------+-------+---------+----------|
941
- | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
942
1056
  |-----------------------------------+---------------------+-------+---------+----------|
943
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
944
1058
  |-----------------------------------+---------------------+-------+---------+----------|
945
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
946
1060
  |-----------------------------------+---------------------+-------+---------+----------|
947
- | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
948
1062
  ╰-----------------------------------+---------------------+-------+---------+----------╯
949
1063
 
950
1064
  Logs:
951
- Bound result 625326797433707774616
952
- Bound result 602651024013277991514
953
- Bound result 1
954
- Bound result 4895
955
- Bound result 109
956
- Bound result 10248955064878822690
957
- Bound result 1028363133205233971804
958
- Bound result 24148
959
- Bound result 162
960
- Bound result 48
961
- Bound result 24
962
- Bound result 158
963
- Bound result 19
964
- Bound result 6519734755253004615311
965
- Bound result 9975502856045118046334
966
- Bound result 1856
967
- Bound result 412
968
- Bound result 21061084179
969
- Bound result 2690
1065
+ Bound result 1353
1066
+ Bound result 9900000000000000002338
1067
+ Bound result 9900000000000000010898
1068
+ Bound result 512
1069
+ Bound result 4915
1070
+ Bound result 26
1071
+ Bound result 5724163774215288290008
1072
+ Bound result 7960891528618349594416
1073
+ Bound result 7310
1074
+ Bound result 6417
1075
+ Bound result 9900000000000000003991
1076
+ Bound result 9900000000003739221133
1077
+ Bound result 3525
1078
+ Bound result 3688
1079
+ Bound result 1104
1080
+ Bound result 33020950125646
1081
+ Bound result 34
1082
+ Bound result 9341004749884118639710
1083
+ Bound result 27
1084
+ Bound result 4635
1085
+ Bound result 23
970
1086
 
971
1087
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
972
1088
 
973
1089
  ╭-----------------------------------+---------------------+-------+---------+----------╮
974
1090
  | Contract | Selector | Calls | Reverts | Discards |
975
1091
  +======================================================================================+
976
- | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
1092
+ | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
977
1093
  |-----------------------------------+---------------------+-------+---------+----------|
978
- | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
1094
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
979
1095
  |-----------------------------------+---------------------+-------+---------+----------|
980
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
1096
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
981
1097
  |-----------------------------------+---------------------+-------+---------+----------|
982
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
1098
+ | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
983
1099
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
1100
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
985
1101
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
1102
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
987
1103
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1104
+ | RateLimiterRBACUpgradeableHandler | warp | 583 | 0 | 0 |
989
1105
  ╰-----------------------------------+---------------------+-------+---------+----------╯
990
1106
 
991
1107
  Logs:
992
- Bound result 727
993
- Bound result 2948
994
- Bound result 10438
995
- Bound result 1
996
- Bound result 1
997
- Bound result 881366912233619049315
998
- Bound result 1
999
- Bound result 1
1000
- Bound result 4985
1001
- Bound result 0
1002
- Bound result 9025
1003
- Bound result 248
1004
- Bound result 1972837129544842236187
1005
- Bound result 4560336709076881537
1006
- Bound result 0
1007
- Bound result 9
1108
+ Bound result 4473522716
1109
+ Bound result 4181
1110
+ Bound result 1046363171
1111
+ Bound result 87552979521789336648
1112
+ Bound result 4058
1113
+ Bound result 431
1114
+ Bound result 4076725132
1115
+ Bound result 1409390487600914972568
1116
+ Bound result 204
1117
+ Bound result 525603933185002334778
1118
+ Bound result 1225
1119
+ Bound result 514264337593543950333
1008
1120
 
1009
1121
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1010
1122
 
1011
1123
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1012
1124
  | Contract | Selector | Calls | Reverts | Discards |
1013
1125
  +======================================================================================+
1014
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
1126
+ | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
1015
1127
  |-----------------------------------+---------------------+-------+---------+----------|
1016
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1128
+ | RateLimiterRBACUpgradeableHandler | outflow | 517 | 0 | 0 |
1017
1129
  |-----------------------------------+---------------------+-------+---------+----------|
1018
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
1130
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
1019
1131
  |-----------------------------------+---------------------+-------+---------+----------|
1020
- | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
1132
+ | RateLimiterRBACUpgradeableHandler | setState | 589 | 0 | 0 |
1021
1133
  |-----------------------------------+---------------------+-------+---------+----------|
1022
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
1134
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
1023
1135
  |-----------------------------------+---------------------+-------+---------+----------|
1024
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
1136
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
1025
1137
  |-----------------------------------+---------------------+-------+---------+----------|
1026
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1138
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1027
1139
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1028
1140
 
1029
1141
  Logs:
1030
- Bound result 9900000000000000001556
1031
- Bound result 9900000000000000000330
1032
- Bound result 1148
1033
- Bound result 2273
1034
- Bound result 9900000000000000004527
1035
- Bound result 9900000000000000003847
1036
- Bound result 8860
1037
- Bound result 5841
1038
- Bound result 39
1039
- Bound result 415
1040
- Bound result 252838054620
1041
- Bound result 1
1042
- Bound result 9900000000000000000256
1043
- Bound result 9900000000000000008009
1044
- Bound result 772
1045
- Bound result 8901
1046
- Bound result 4934
1047
- Bound result 5
1048
- Bound result 9900000000000000000659
1049
- Bound result 9900000000000000003580
1050
- Bound result 3820
1051
- Bound result 1149
1052
- Bound result 416
1053
- Bound result 5825
1054
- Bound result 323
1055
- Bound result 24
1142
+ Bound result 9900000000000016777216
1143
+ Bound result 9900000000000357094980
1144
+ Bound result 6242
1145
+ Bound result 1325
1146
+ Bound result 6
1147
+ Bound result 9568
1148
+ Bound result 10405
1149
+ Bound result 7
1150
+ Bound result 9226650063362451916611
1151
+ Bound result 40602
1152
+ Bound result 2
1153
+ Bound result 28354998
1154
+ Bound result 3
1155
+ Bound result 2073
1156
+ Bound result 8503
1157
+ Bound result 0
1158
+ Bound result 9900000000000000005169
1159
+ Bound result 9900000000000000000201
1160
+ Bound result 75
1161
+ Bound result 31
1162
+ Bound result 1106325243042693
1056
1163
 
1057
1164
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1058
1165
 
1059
1166
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1060
1167
  | Contract | Selector | Calls | Reverts | Discards |
1061
1168
  +======================================================================================+
1062
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
1169
+ | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
1063
1170
  |-----------------------------------+---------------------+-------+---------+----------|
1064
- | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
1171
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
1065
1172
  |-----------------------------------+---------------------+-------+---------+----------|
1066
- | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1173
+ | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
1067
1174
  |-----------------------------------+---------------------+-------+---------+----------|
1068
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
1175
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
1069
1176
  |-----------------------------------+---------------------+-------+---------+----------|
1070
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
1177
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
1071
1178
  |-----------------------------------+---------------------+-------+---------+----------|
1072
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
1179
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1073
1180
  |-----------------------------------+---------------------+-------+---------+----------|
1074
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
1181
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1075
1182
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1076
1183
 
1077
1184
  Logs:
1078
- Bound result 68584391973180
1079
- Bound result 48
1080
- Bound result 6283
1081
- Bound result 3118
1082
- Bound result 1
1083
- Bound result 6492
1084
- Bound result 574
1085
- Bound result 2
1086
- Bound result 25484908489265
1087
- Bound result 1
1088
- Bound result 4
1089
- Bound result 11516946468957632905
1185
+ Bound result 304360521686455
1186
+ Bound result 552
1187
+ Bound result 80113063490857952
1090
1188
  Bound result 0
1091
- Bound result 9900000000029959471821
1092
- Bound result 6914264337593535947490
1093
- Bound result 150
1094
- Bound result 6182
1095
- Bound result 6663
1096
- Bound result 8205
1097
- Bound result 1
1189
+ Bound result 0
1190
+ Bound result 1101
1191
+ Bound result 100000000000000000000
1192
+ Bound result 9900000000027920055791
1193
+ Bound result 1268
1194
+ Bound result 6242
1195
+ Bound result 2374
1098
1196
  Bound result 1
1197
+ Bound result 8093379504044408293350
1198
+ Bound result 9900000000000000000032
1199
+ Bound result 4983042054401497738807
1200
+ Bound result 10
1201
+ Bound result 107
1202
+ Bound result 9900000000000000000248
1203
+ Bound result 9946872212019897595748
1204
+ Bound result 6287
1205
+ Bound result 9997
1099
1206
 
1100
1207
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1101
1208
 
1102
1209
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1103
1210
  | Contract | Selector | Calls | Reverts | Discards |
1104
1211
  +======================================================================================+
1105
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1212
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
1106
1213
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
1214
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
1108
1215
  |-----------------------------------+---------------------+-------+---------+----------|
1109
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1216
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
1110
1217
  |-----------------------------------+---------------------+-------+---------+----------|
1111
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
1218
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
1112
1219
  |-----------------------------------+---------------------+-------+---------+----------|
1113
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
1220
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
1114
1221
  |-----------------------------------+---------------------+-------+---------+----------|
1115
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 576 | 0 | 0 |
1222
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
1116
1223
  |-----------------------------------+---------------------+-------+---------+----------|
1117
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1224
+ | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
1118
1225
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1119
1226
 
1120
1227
  Logs:
1121
- Bound result 7587
1122
- Bound result 442509949597527736492
1123
- Bound result 0
1124
- Bound result 9900000000000000001153
1125
- Bound result 9900000000000000008302
1126
- Bound result 3136
1127
- Bound result 1984
1128
- Bound result 917
1129
- Bound result 221376819764
1130
- Bound result 7150
1131
- Bound result 363012428736
1132
- Bound result 682
1133
- Bound result 484
1134
- Bound result 535
1135
- Bound result 549570240428242
1136
- Bound result 5988
1137
- Bound result 1915
1138
- Bound result 126813299
1139
- Bound result 14
1140
- Bound result 2509
1141
- Bound result 3972
1142
- Bound result 1
1228
+ Bound result 2737072852
1229
+ Bound result 791
1230
+ Bound result 441
1231
+ Bound result 12220393451863836
1232
+ Bound result 3
1233
+ Bound result 9900000000000002242520
1234
+ Bound result 9900511503238761465964
1235
+ Bound result 8839
1236
+ Bound result 1995
1237
+ Bound result 408
1238
+ Bound result 6914264319647002222032
1239
+ Bound result 556985671978506766
1240
+ Bound result 11
1241
+ Bound result 15136944778309994781
1242
+ Bound result 33
1243
+ Bound result 9900005828830032442906
1244
+ Bound result 100000000000000000000
1245
+ Bound result 13
1246
+ Bound result 12
1143
1247
 
1144
1248
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1145
1249
 
1146
1250
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1147
1251
  | Contract | Selector | Calls | Reverts | Discards |
1148
1252
  +======================================================================================+
1149
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1253
+ | RateLimiterRBACUpgradeableHandler | inflow | 581 | 0 | 0 |
1150
1254
  |-----------------------------------+---------------------+-------+---------+----------|
1151
- | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
1255
+ | RateLimiterRBACUpgradeableHandler | outflow | 504 | 0 | 0 |
1152
1256
  |-----------------------------------+---------------------+-------+---------+----------|
1153
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
1257
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
1154
1258
  |-----------------------------------+---------------------+-------+---------+----------|
1155
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1259
+ | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
1156
1260
  |-----------------------------------+---------------------+-------+---------+----------|
1157
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
1261
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 601 | 0 | 0 |
1158
1262
  |-----------------------------------+---------------------+-------+---------+----------|
1159
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1263
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1160
1264
  |-----------------------------------+---------------------+-------+---------+----------|
1161
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1265
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
1162
1266
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1163
1267
 
1164
1268
  Logs:
1165
- Bound result 1
1166
- Bound result 27675231003424
1167
- Bound result 70603239665911
1168
- Bound result 1
1169
- Bound result 2907
1170
- Bound result 4451
1171
- Bound result 1
1172
- Bound result 9900000739416555767249
1173
- Bound result 5063802325898869968459
1174
- Bound result 1053
1175
- Bound result 2478
1176
- Bound result 9900000000000000044955
1177
- Bound result 9900000000000000057627
1178
- Bound result 3395
1179
- Bound result 852
1180
- Bound result 30029988123
1181
- Bound result 9900000000000000150138
1182
- Bound result 6894031785634204697823
1183
- Bound result 1096
1184
- Bound result 4991
1185
- Bound result 3799
1186
- Bound result 6753
1187
- Bound result 2
1188
- Bound result 1
1189
- Bound result 1
1190
- Bound result 48
1191
-
1192
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.35s (8.00s CPU time)
1193
-
1194
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1195
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1196
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1197
- [PASS] test_assertNotPaused_Success() (gas: 14934)
1198
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1199
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
1200
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1201
- [PASS] test_isPaused_Default() (gas: 44698)
1202
- [PASS] test_isPaused_InitialState() (gas: 22070)
1203
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1204
- [PASS] test_isPaused_Override() (gas: 69381)
1205
- [PASS] test_isPaused_Specific() (gas: 46709)
1206
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1207
- [PASS] test_pauseConfig() (gas: 45626)
1208
- [PASS] test_setDefaultPaused() (gas: 39667)
1209
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
1210
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1211
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1212
- [PASS] test_setPaused() (gas: 43060)
1213
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
1214
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38258, ~: 43373)
1215
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1216
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1217
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1218
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58502, ~: 69608)
1219
- [PASS] test_storageHash() (gas: 3480)
1220
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1221
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1222
- [PASS] test_whenNotPaused_Success() (gas: 41297)
1223
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1224
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1225
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1226
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 10.85s (316.55ms CPU time)
1227
-
1228
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1229
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1230
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1231
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45017, ~: 46317)
1232
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1233
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1234
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1235
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1236
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1237
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1238
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1239
- [PASS] test_getFee_Default() (gas: 40577)
1240
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43123, ~: 44486)
1241
- [PASS] test_getFee_Rounding() (gas: 42835)
1242
- [PASS] test_getFee_Specific() (gas: 63968)
1243
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1244
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1245
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31960, ~: 39667)
1246
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1247
- [PASS] test_setFeeBps() (gas: 73871)
1248
- Logs:
1249
- Bound result 500
1250
-
1251
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66353, ~: 74224)
1252
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1253
- [PASS] test_storageHash() (gas: 3426)
1254
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.85s (405.66ms CPU time)
1255
-
1256
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
1257
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
1258
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
1259
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
1260
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
1261
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
1262
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
1263
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
1264
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
1265
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
1266
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
1267
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
1268
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
1269
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
1270
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
1271
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
1272
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
1273
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
1274
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
1275
- [PASS] test_initial_state_closed() (gas: 2034659)
1276
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
1277
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
1278
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
1279
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
1280
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
1281
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
1282
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
1283
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
1284
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
1285
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
1286
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
1287
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
1288
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
1289
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
1290
- [PASS] test_storageHash() (gas: 3414)
1291
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
1292
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 10.85s (9.92ms CPU time)
1293
-
1294
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1295
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1296
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1297
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47532, ~: 48966)
1298
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1299
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1300
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1301
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1302
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1303
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1304
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1305
- [PASS] test_getFee_Default() (gas: 43108)
1306
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45666, ~: 47017)
1307
- [PASS] test_getFee_Rounding() (gas: 45449)
1308
- [PASS] test_getFee_Specific() (gas: 66985)
1309
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1310
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1311
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34745, ~: 42268)
1312
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1313
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
1314
- [PASS] test_setFeeBps() (gas: 77237)
1315
- Logs:
1316
- Bound result 500
1269
+ Bound result 9900000000000000060401
1270
+ Bound result 9900000000000000000843
1271
+ Bound result 9732
1272
+ Bound result 13
1273
+ Bound result 9900000000000000000442
1274
+ Bound result 100000000000000000002
1275
+ Bound result 1838
1276
+ Bound result 974
1277
+ Bound result 9900000000000791671134
1278
+ Bound result 9900000000000000000033
1279
+ Bound result 5198
1280
+ Bound result 1625
1281
+ Bound result 7790
1282
+ Bound result 1015
1283
+ Bound result 10106
1284
+ Bound result 109113838343956896
1285
+ Bound result 1234976333645010
1286
+ Bound result 3696
1287
+ Bound result 103248673987
1288
+ Bound result 9430
1289
+ Bound result 12198
1290
+ Bound result 2458
1291
+ Bound result 9901047659190697746186
1292
+ Bound result 9900000000000470781298
1293
+ Bound result 118
1294
+ Bound result 7446
1295
+
1296
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.13s (6.75s CPU time)
1317
1297
 
1318
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69709, ~: 77570)
1319
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1320
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
1321
- [PASS] test_storageHash() (gas: 3436)
1322
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 11.09s (435.43ms CPU time)
1298
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1299
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 42974)
1300
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 45699)
1301
+ [PASS] test_assertNotPaused_Success() (gas: 14829)
1302
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 54910)
1303
+ [PASS] test_defaultPaused_InitialState() (gas: 15501)
1304
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 17878)
1305
+ [PASS] test_isPaused_Default() (gas: 46822)
1306
+ [PASS] test_isPaused_InitialState() (gas: 21896)
1307
+ [PASS] test_isPaused_MultipleIDs() (gas: 79397)
1308
+ [PASS] test_isPaused_Override() (gas: 74453)
1309
+ [PASS] test_isPaused_Specific() (gas: 49605)
1310
+ [PASS] test_isPaused_SpecificDisabled() (gas: 54918)
1311
+ [PASS] test_pauseConfig() (gas: 50654)
1312
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 171632)
1313
+ [PASS] test_setDefaultPaused() (gas: 41869)
1314
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30015, ~: 18387)
1315
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20013)
1316
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41080)
1317
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 21810)
1318
+ [PASS] test_setDefaultPaused_Success() (gas: 40455)
1319
+ [PASS] test_setPaused() (gas: 48024)
1320
+ [PASS] test_setPaused_DormantData() (gas: 293436)
1321
+ [PASS] test_setPaused_EmptyArray() (gas: 15470)
1322
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 101819)
1323
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43247, ~: 48196)
1324
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223169, ~: 217071)
1325
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 24352)
1326
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132862)
1327
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 108452)
1328
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 25310)
1329
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 131603)
1330
+ [PASS] test_setPaused_Success() (gas: 45535)
1331
+ [PASS] test_setPaused_Success_Batch() (gas: 343653)
1332
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45496)
1333
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45513)
1334
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241688)
1335
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 134360)
1336
+ [PASS] test_setPaused_Success_Toggle() (gas: 57160)
1337
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 131120)
1338
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61812, ~: 72747)
1339
+ [PASS] test_storageHash() (gas: 3351)
1340
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 46605)
1341
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49360)
1342
+ [PASS] test_whenNotPaused_Success() (gas: 41175)
1343
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 93775)
1344
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17782)
1345
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 45678)
1346
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 10.40s (511.71ms CPU time)
1323
1347
 
1324
1348
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1325
- [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1326
- [PASS] test_address_paginate_EmptySet() (gas: 277856)
1327
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 793803, ~: 214337)
1328
- [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1329
- [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1330
- [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
1331
- [PASS] test_address_paginate_LimitOne() (gas: 14973)
1332
- [PASS] test_address_paginate_LimitZero() (gas: 11561)
1333
- [PASS] test_address_paginate_MaxUint256Limit() (gas: 2837429)
1334
- [PASS] test_address_paginate_MiddleOffset() (gas: 45685)
1335
- [PASS] test_address_paginate_OffsetAtEnd() (gas: 15008)
1336
- [PASS] test_address_paginate_OffsetBeyondEnd() (gas: 13565)
1337
- [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1338
- [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1339
- [PASS] test_address_paginate_SingleElement() (gas: 344858)
1340
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11170013, ~: 10411498)
1341
- [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1342
- [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1343
- [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1344
- [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1345
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 822618, ~: 303200)
1346
- [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1347
- [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1348
- [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
1349
- [PASS] test_uint_paginate_LimitOne() (gas: 14809)
1350
- [PASS] test_uint_paginate_LimitZero() (gas: 11638)
1351
- [PASS] test_uint_paginate_MaxUint256Limit() (gas: 2748363)
1352
- [PASS] test_uint_paginate_MiddleOffset() (gas: 44646)
1353
- [PASS] test_uint_paginate_OffsetAtEnd() (gas: 14887)
1354
- [PASS] test_uint_paginate_OffsetBeyondEnd() (gas: 13433)
1355
- [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1356
- [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1357
- [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1358
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11161342, ~: 10455372)
1359
- [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1360
- [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1361
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.09s (26.14s CPU time)
1362
-
1363
- Ran 17 test suites in 11.11s (63.50s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1364
- ⏳ forge test: 25.622s
1349
+ [PASS] test_address_paginate_AfterRemovingElements() (gas: 1166795)
1350
+ [PASS] test_address_paginate_EmptySet() (gas: 310656)
1351
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 704606, ~: 115420)
1352
+ [PASS] test_address_paginate_LargeSet() (gas: 464670688)
1353
+ [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25605)
1354
+ [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2807473)
1355
+ [PASS] test_address_paginate_LimitOne() (gas: 14853)
1356
+ [PASS] test_address_paginate_LimitZero() (gas: 11556)
1357
+ [PASS] test_address_paginate_MaxUint256Limit() (gas: 2807355)
1358
+ [PASS] test_address_paginate_MiddleOffset() (gas: 45200)
1359
+ [PASS] test_address_paginate_OffsetAtEnd() (gas: 14940)
1360
+ [PASS] test_address_paginate_OffsetBeyondEnd() (gas: 13450)
1361
+ [PASS] test_address_paginate_OffsetZero() (gas: 45223)
1362
+ [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3469583)
1363
+ [PASS] test_address_paginate_SingleElement() (gas: 377568)
1364
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11102760, ~: 10415424)
1365
+ [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 320)
1366
+ [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 919214)
1367
+ [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1140265)
1368
+ [PASS] test_uint_paginate_EmptySet() (gas: 286599)
1369
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 810874, ~: 207981)
1370
+ [PASS] test_uint_paginate_LargeSet() (gas: 463683463)
1371
+ [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25351)
1372
+ [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2754427)
1373
+ [PASS] test_uint_paginate_LimitOne() (gas: 14781)
1374
+ [PASS] test_uint_paginate_LimitZero() (gas: 11566)
1375
+ [PASS] test_uint_paginate_MaxUint256Limit() (gas: 2754356)
1376
+ [PASS] test_uint_paginate_MiddleOffset() (gas: 44618)
1377
+ [PASS] test_uint_paginate_OffsetAtEnd() (gas: 14844)
1378
+ [PASS] test_uint_paginate_OffsetBeyondEnd() (gas: 13385)
1379
+ [PASS] test_uint_paginate_OffsetZero() (gas: 44622)
1380
+ [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410495)
1381
+ [PASS] test_uint_paginate_SingleElement() (gas: 353369)
1382
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11165866, ~: 10396420)
1383
+ [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063003)
1384
+ [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896244)
1385
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.41s (24.58s CPU time)
1386
+
1387
+ Ran 19 test suites in 10.43s (26.95s CPU time): 437 tests passed, 0 failed, 0 skipped (437 total tests)
1388
+ ⏳ forge test: 22.961s