@layerzerolabs/utils-upgradeable-evm-contracts 0.2.116 → 0.2.120

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/.turbo/turbo-test.log +763 -737
  2. package/foundry.toml +1 -1
  3. package/package.json +7 -7
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 mini workspace: /tmp/lz-mini-workspace-JA12JO
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-8tcxvO
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:85059) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:85956) [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-mini-workspace-JA12JO:/workspace
15
+ -v /tmp/lz-mini-workspace-8tcxvO:/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-3
@@ -27,58 +27,52 @@ cc2ecf4065b7: Pulling fs layer
27
27
  c70db14240a1: Pulling fs layer
28
28
  0cb2c6965bde: Pulling fs layer
29
29
  885bca26f927: Pulling fs layer
30
- 86ec798129ac: Waiting
31
30
  8e167e77288f: Pulling fs layer
32
- eef7c391911c: Waiting
33
31
  45d43cc973ba: Pulling fs layer
34
- cc2ecf4065b7: Waiting
35
32
  44c09156221f: Pulling fs layer
36
- 5760fdd70374: Waiting
37
33
  f2fb700979ad: Pulling fs layer
38
34
  2a1ced882ba9: Pulling fs layer
39
- c70db14240a1: Waiting
40
- 885bca26f927: Waiting
41
35
  597168d5c38e: Pulling fs layer
42
- 0cb2c6965bde: Waiting
43
36
  e431adaf232f: Pulling fs layer
44
37
  36e15e3f2788: Pulling fs layer
45
- 44c09156221f: Waiting
46
- 2a1ced882ba9: Waiting
47
- f2fb700979ad: Waiting
48
- 45d43cc973ba: Waiting
49
- 597168d5c38e: Waiting
50
38
  36e15e3f2788: Waiting
51
- eef7c391911c: Verifying Checksum
39
+ 885bca26f927: Waiting
52
40
  eef7c391911c: Download complete
53
- 86ec798129ac: Verifying Checksum
54
- 86ec798129ac: Download complete
55
- 5760fdd70374: Verifying Checksum
56
41
  5760fdd70374: Download complete
57
- c70db14240a1: Verifying Checksum
58
42
  c70db14240a1: Download complete
43
+ f2fb700979ad: Waiting
44
+ 597168d5c38e: Waiting
45
+ 8e167e77288f: Waiting
46
+ 2a1ced882ba9: Waiting
47
+ 45d43cc973ba: Waiting
48
+ 44c09156221f: Waiting
49
+ e431adaf232f: Waiting
50
+ 86ec798129ac: Download complete
59
51
  cc2ecf4065b7: Verifying Checksum
60
52
  cc2ecf4065b7: Download complete
61
- 0cb2c6965bde: Verifying Checksum
62
- 0cb2c6965bde: Download complete
63
- 86ec798129ac: Pull complete
64
- eef7c391911c: Pull complete
53
+ 8e167e77288f: Verifying Checksum
65
54
  8e167e77288f: Download complete
66
55
  45d43cc973ba: Verifying Checksum
67
56
  45d43cc973ba: Download complete
57
+ 44c09156221f: Verifying Checksum
68
58
  44c09156221f: Download complete
59
+ f2fb700979ad: Verifying Checksum
69
60
  f2fb700979ad: Download complete
61
+ 0cb2c6965bde: Verifying Checksum
62
+ 0cb2c6965bde: Download complete
63
+ 597168d5c38e: Download complete
64
+ 86ec798129ac: Pull complete
65
+ eef7c391911c: Pull complete
66
+ 2a1ced882ba9: Verifying Checksum
67
+ 2a1ced882ba9: Download complete
70
68
  cc2ecf4065b7: Pull complete
69
+ 36e15e3f2788: Verifying Checksum
70
+ 36e15e3f2788: Download complete
71
71
  5760fdd70374: Pull complete
72
72
  c70db14240a1: Pull complete
73
- 2a1ced882ba9: Verifying Checksum
74
- 2a1ced882ba9: Download complete
75
- 597168d5c38e: Verifying Checksum
76
- 597168d5c38e: Download complete
77
73
  0cb2c6965bde: Pull complete
78
74
  e431adaf232f: Verifying Checksum
79
75
  e431adaf232f: Download complete
80
- 36e15e3f2788: Verifying Checksum
81
- 36e15e3f2788: Download complete
82
76
  885bca26f927: Verifying Checksum
83
77
  885bca26f927: Download complete
84
78
  885bca26f927: Pull complete
@@ -91,13 +85,13 @@ f2fb700979ad: Pull complete
91
85
  e431adaf232f: Pull complete
92
86
  36e15e3f2788: Pull complete
93
87
  Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
94
- Status: Downloaded newer image for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
88
+ Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
95
89
  438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
96
90
  ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
97
91
  👤 Running container as UID:GID 1001:1001
98
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-JA12JO:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
92
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-8tcxvO:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
99
93
  Compiling 84 files with Solc 0.8.22
100
- Solc 0.8.22 finished in 12.14s
94
+ Solc 0.8.22 finished in 10.87s
101
95
  Compiler run successful with warnings:
102
96
  Warning (2018): Function state mutability can be restricted to view
103
97
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -220,6 +214,49 @@ Warning (2018): Function state mutability can be restricted to view
220
214
  | ^ (Relevant source part starts here and spans across multiple lines).
221
215
 
222
216
 
217
+ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
218
+ [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
219
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
220
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
221
+ [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19822)
222
+ [PASS] test_checkpointRateLimits_Single() (gas: 88573)
223
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
224
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
225
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
226
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
227
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
228
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
229
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
230
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
231
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
232
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
233
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
234
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
235
+ [PASS] test_inflow_GloballyDisabled() (gas: 54520)
236
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
237
+ [PASS] test_initial_state_closed() (gas: 2770122)
238
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
239
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
240
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
241
+ [PASS] test_outflow_GloballyDisabled() (gas: 54496)
242
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
243
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
244
+ [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
245
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
246
+ [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19937)
247
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
248
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
249
+ [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21285)
250
+ [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
251
+ [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
252
+ [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19463)
253
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
254
+ [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20566)
255
+ [PASS] test_setRateLimitStates_Single() (gas: 52512)
256
+ [PASS] test_storageHash() (gas: 3392)
257
+ [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
258
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 8.25ms (8.47ms CPU time)
259
+
223
260
  Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
224
261
  [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
225
262
  [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
@@ -256,7 +293,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
256
293
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
257
294
  [PASS] test_storageHash() (gas: 3414)
258
295
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
259
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.12ms (18.72ms CPU time)
296
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 16.92ms (14.14ms CPU time)
260
297
 
261
298
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
262
299
  [PASS] test_feeDeposit() (gas: 17576)
@@ -264,7 +301,7 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
264
301
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
265
302
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
266
303
  [PASS] test_storageHash() (gas: 3337)
267
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 94.64ms (93.93ms CPU time)
304
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 41.87ms (41.06ms CPU time)
268
305
 
269
306
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
270
307
  [PASS] test_feeDeposit() (gas: 17638)
@@ -273,20 +310,43 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
273
310
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
274
311
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
275
312
  [PASS] test_storageHash() (gas: 3315)
276
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 107.53ms (106.62ms CPU time)
313
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 46.36ms (45.69ms CPU time)
277
314
 
278
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
279
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
280
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
281
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
282
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
283
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
284
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
285
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
286
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
287
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
288
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
289
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 171.76ms (77.51ms CPU time)
315
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
316
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
317
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
318
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
319
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
320
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
321
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
322
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
323
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
324
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
325
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
326
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
327
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
328
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
329
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
330
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
331
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
332
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
333
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
334
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
335
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
336
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
337
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
338
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
339
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
340
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
341
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
342
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
343
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
344
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
345
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
346
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
347
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
348
+ [PASS] test_storageHash() (gas: 3380)
349
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 260.37ms (282.92ms CPU time)
290
350
 
291
351
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
292
352
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -321,10 +381,10 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
321
381
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
322
382
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
323
383
  [PASS] test_storageHash() (gas: 3480)
324
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 263.74ms (609.69ms CPU time)
384
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 384.38ms (396.60ms CPU time)
325
385
 
326
386
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
327
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26768, ~: 12786)
387
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26485, ~: 12786)
328
388
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
329
389
  [PASS] test_assertNotPaused_Success() (gas: 12539)
330
390
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -335,7 +395,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
335
395
  [PASS] test_pause() (gas: 42109)
336
396
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
337
397
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
338
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30708, ~: 42378)
398
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31417, ~: 42378)
339
399
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
340
400
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
341
401
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -351,170 +411,69 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
351
411
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
352
412
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
353
413
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
354
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 274.67ms (169.93ms CPU time)
355
-
356
- Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
357
- [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
358
- [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
359
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 95004)
360
- [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19822)
361
- [PASS] test_checkpointRateLimits_Single() (gas: 88573)
362
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389525)
363
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38027)
364
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389277)
365
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25041)
366
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48664)
367
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23941)
368
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23974)
369
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 89409)
370
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2859090)
371
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2822558)
372
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2819822)
373
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51719)
374
- [PASS] test_inflow_GloballyDisabled() (gas: 54520)
375
- [PASS] test_inflow_WithScaleDecimals() (gas: 2816359)
376
- [PASS] test_initial_state_closed() (gas: 2770122)
377
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51721)
378
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30638)
379
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32726)
380
- [PASS] test_outflow_GloballyDisabled() (gas: 54496)
381
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 78872)
382
- [PASS] test_outflow_WithScaleDecimals() (gas: 2816351)
383
- [PASS] test_setRateLimitAddressExemptions() (gas: 62304)
384
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 24241)
385
- [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19937)
386
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 97507)
387
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 110012)
388
- [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 21285)
389
- [PASS] test_setRateLimitConfigs_Single() (gas: 79162)
390
- [PASS] test_setRateLimitGlobalConfig() (gas: 52231)
391
- [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 19463)
392
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18907)
393
- [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 20566)
394
- [PASS] test_setRateLimitStates_Single() (gas: 52512)
395
- [PASS] test_storageHash() (gas: 3392)
396
- [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
397
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 281.46ms (11.76ms CPU time)
414
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.35s (192.52ms CPU time)
398
415
 
399
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
400
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
401
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
402
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
403
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
404
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
405
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
406
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
407
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
408
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
409
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
410
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
411
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
412
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
413
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
414
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
415
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
416
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
417
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
418
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
419
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
420
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
421
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
422
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
423
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
424
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
425
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
426
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
427
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
428
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
429
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
430
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
431
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
432
- [PASS] test_storageHash() (gas: 3380)
433
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 387.80ms (455.31ms CPU time)
416
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
417
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
418
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
419
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47646, ~: 48966)
420
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
421
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
422
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
423
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
424
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
425
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
426
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
427
+ [PASS] test_getFee_Default() (gas: 43108)
428
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45353, ~: 47017)
429
+ [PASS] test_getFee_Rounding() (gas: 45449)
430
+ [PASS] test_getFee_Specific() (gas: 66985)
431
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
432
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
433
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34826, ~: 42268)
434
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
435
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
436
+ [PASS] test_setFeeBps() (gas: 77237)
437
+ Logs:
438
+ Bound result 500
434
439
 
435
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
436
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
437
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
438
- [PASS] test_assertNotPaused_Success() (gas: 14934)
439
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
440
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
441
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
442
- [PASS] test_isPaused_Default() (gas: 44698)
443
- [PASS] test_isPaused_InitialState() (gas: 22070)
444
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
445
- [PASS] test_isPaused_Override() (gas: 69381)
446
- [PASS] test_isPaused_Specific() (gas: 46709)
447
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
448
- [PASS] test_pauseConfig() (gas: 45626)
449
- [PASS] test_setDefaultPaused() (gas: 39667)
450
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28408, ~: 39918)
451
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
452
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
453
- [PASS] test_setPaused() (gas: 43060)
454
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
455
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37900, ~: 43373)
456
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
457
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
458
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
459
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57552, ~: 46989)
460
- [PASS] test_storageHash() (gas: 3480)
461
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
462
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
463
- [PASS] test_whenNotPaused_Success() (gas: 41297)
464
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
465
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
466
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
467
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.01s (225.66ms CPU time)
440
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68638, ~: 77570)
441
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
442
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
443
+ [PASS] test_storageHash() (gas: 3436)
444
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.44s (393.01ms CPU time)
468
445
 
469
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
470
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
471
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
472
- [PASS] test_assertNotPaused_Success() (gas: 14891)
473
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
474
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
475
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
476
- [PASS] test_isPaused_Default() (gas: 47316)
477
- [PASS] test_isPaused_InitialState() (gas: 22172)
478
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
479
- [PASS] test_isPaused_Override() (gas: 75171)
480
- [PASS] test_isPaused_Specific() (gas: 50105)
481
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
482
- [PASS] test_pauseConfig() (gas: 51028)
483
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
484
- [PASS] test_setDefaultPaused() (gas: 42196)
485
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30943, ~: 42446)
486
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
487
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
488
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
489
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
490
- [PASS] test_setPaused() (gas: 48361)
491
- [PASS] test_setPaused_DormantData() (gas: 295234)
492
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
493
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
494
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43926, ~: 48696)
495
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222888, ~: 216804)
496
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
497
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
498
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
499
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
500
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
501
- [PASS] test_setPaused_Success() (gas: 45897)
502
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
503
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
504
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
505
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
506
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
507
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
508
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
509
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62657, ~: 73465)
510
- [PASS] test_storageHash() (gas: 3392)
511
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
512
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
513
- [PASS] test_whenNotPaused_Success() (gas: 41299)
514
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
515
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
516
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
517
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.21s (494.61ms CPU time)
446
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
447
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
448
+ [PASS] test_constructor_InitialMode() (gas: 15578)
449
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
450
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
451
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
452
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
453
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
454
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
455
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
456
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
457
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
458
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
459
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
460
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
461
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
462
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
463
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
464
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
465
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
466
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
467
+ [PASS] test_setMode_Blacklist() (gas: 40021)
468
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
469
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
470
+ [PASS] test_setMode_Whitelist() (gas: 40108)
471
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
472
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
473
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
474
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
475
+ [PASS] test_storageHash() (gas: 3458)
476
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.91s (443.13ms CPU time)
518
477
 
519
478
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
520
479
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -522,351 +481,398 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
522
481
  ╭-----------------------------------+---------------------+-------+---------+----------╮
523
482
  | Contract | Selector | Calls | Reverts | Discards |
524
483
  +======================================================================================+
525
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
484
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
526
485
  |-----------------------------------+---------------------+-------+---------+----------|
527
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | outflow | 575 | 0 | 0 |
528
487
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | setConfig | 519 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
530
489
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
532
491
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
492
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 583 | 0 | 0 |
534
493
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
494
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
536
495
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | warp | 588 | 0 | 0 |
496
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
538
497
  ╰-----------------------------------+---------------------+-------+---------+----------╯
539
498
 
540
499
  Logs:
541
- Bound result 218891
542
- Bound result 262394494603
500
+ Bound result 2948
501
+ Bound result 9900000000000000005711
502
+ Bound result 9900000000000000007261
503
+ Bound result 2207
504
+ Bound result 116
505
+ Bound result 10439648964134944331604
506
+ Bound result 335
543
507
  Bound result 1
544
- Bound result 1
545
- Bound result 1171
546
- Bound result 350
547
- Bound result 9900000000000000002457
548
- Bound result 9900000000000000000922
549
- Bound result 625
550
- Bound result 1399
551
- Bound result 2827222499576948311589
552
- Bound result 100000000000000000000
553
- Bound result 5016
554
- Bound result 9996
555
- Bound result 617
556
- Bound result 253
557
- Bound result 9954692188779849276659
558
- Bound result 9900000000000006107144
559
- Bound result 6242
560
- Bound result 4360
561
- Bound result 991
562
- Bound result 5523433391250687894495
563
- Bound result 784
508
+ Bound result 139
509
+ Bound result 3614
510
+ Bound result 9900001419292979288638
511
+ Bound result 228274077242626785056
512
+ Bound result 2188
513
+ Bound result 9850
514
+ Bound result 14040
515
+ Bound result 9900000000000000002340
516
+ Bound result 9900000000000000007449
517
+ Bound result 4228
518
+ Bound result 6614
519
+ Bound result 27
520
+ Bound result 9900000000158816435533
521
+ Bound result 9900000000001778294559
522
+ Bound result 3296
523
+ Bound result 4357
524
+ Bound result 127191826436990125
564
525
 
565
526
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
566
527
 
567
528
  ╭-----------------------------------+---------------------+-------+---------+----------╮
568
529
  | Contract | Selector | Calls | Reverts | Discards |
569
530
  +======================================================================================+
570
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
571
532
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
573
534
  |-----------------------------------+---------------------+-------+---------+----------|
574
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
575
536
  |-----------------------------------+---------------------+-------+---------+----------|
576
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
577
538
  |-----------------------------------+---------------------+-------+---------+----------|
578
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
539
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
579
540
  |-----------------------------------+---------------------+-------+---------+----------|
580
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
541
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
581
542
  |-----------------------------------+---------------------+-------+---------+----------|
582
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
543
+ | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
583
544
  ╰-----------------------------------+---------------------+-------+---------+----------╯
584
545
 
585
546
  Logs:
586
- Bound result 1
587
- Bound result 1070292497
588
- Bound result 514264337593543950332
589
- Bound result 9900000000000000007795
590
- Bound result 9900000000000000003607
591
- Bound result 2066
592
- Bound result 2482
593
- Bound result 20
594
- Bound result 6914264337564677692027
595
- Bound result 6914264337531161781352
596
- Bound result 6914264337564677692024
597
- Bound result 223
598
- Bound result 7702
599
- Bound result 10275
600
- Bound result 211
601
- Bound result 613
602
- Bound result 32
547
+ Bound result 9900000000000000008229
548
+ Bound result 1000000000000000000001
549
+ Bound result 5741
550
+ Bound result 1797
551
+ Bound result 3585
552
+ Bound result 9900000000000000007983
553
+ Bound result 9900000000000000007431
554
+ Bound result 9006
555
+ Bound result 9798
556
+ Bound result 9900000005769861970262
557
+ Bound result 9900000099555527403389
558
+ Bound result 10
559
+ Bound result 4169
560
+ Bound result 1001915761844759695084
561
+ Bound result 8437
562
+ Bound result 6065
563
+ Bound result 1304
564
+ Bound result 813
565
+ Bound result 62778219
566
+ Bound result 6503
567
+ Bound result 9900000000000000000427
568
+ Bound result 9900000000000000008310
569
+ Bound result 3490
570
+ Bound result 3531
603
571
 
604
572
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
605
573
 
606
574
  ╭-----------------------------------+---------------------+-------+---------+----------╮
607
575
  | Contract | Selector | Calls | Reverts | Discards |
608
576
  +======================================================================================+
609
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
610
578
  |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
612
580
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
614
582
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
583
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
616
584
  |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
618
586
  |-----------------------------------+---------------------+-------+---------+----------|
619
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
587
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
620
588
  |-----------------------------------+---------------------+-------+---------+----------|
621
- | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
589
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
622
590
  ╰-----------------------------------+---------------------+-------+---------+----------╯
623
591
 
624
592
  Logs:
625
- Bound result 8107
626
- Bound result 391
627
- Bound result 281886368832533372129
628
- Bound result 267842938128577187385
629
- Bound result 1293
630
- Bound result 9900000008756930136794
631
- Bound result 100000000000000000001
632
- Bound result 935
633
- Bound result 8373
634
- Bound result 4700
635
- Bound result 506319972180266
636
- Bound result 312636875505
637
- Bound result 1261
638
- Bound result 15276971143648183123004
639
- Bound result 9900000000000025657924
640
- Bound result 9900000029377472619070
641
- Bound result 161
642
- Bound result 3612
643
- Bound result 6723550060668033409098
593
+ Bound result 9900004040916494158087
594
+ Bound result 9900002997743935556569
595
+ Bound result 4310
596
+ Bound result 1884
597
+ Bound result 9901146261122799763035
598
+ Bound result 9900000000000000008265
599
+ Bound result 3118
600
+ Bound result 11
601
+ Bound result 9902140204921437810573
602
+ Bound result 9900010469055058104759
603
+ Bound result 9843
604
+ Bound result 656
605
+ Bound result 10363
606
+ Bound result 173
644
607
  Bound result 1
645
- Bound result 3
608
+ Bound result 69242402799
609
+ Bound result 100000000000000000002
610
+ Bound result 8268810182422818332662
611
+ Bound result 11
612
+ Bound result 298
613
+ Bound result 118
614
+ Bound result 8435
615
+ Bound result 6822
616
+ Bound result 6517
617
+ Bound result 49
618
+ Bound result 165193883133575242361
619
+ Bound result 15221606124110
620
+ Bound result 35
621
+ Bound result 17
622
+ Bound result 903
623
+ Bound result 40
624
+ Bound result 9900000000000000000741
625
+ Bound result 9900000000000000002434
626
+ Bound result 9856
627
+ Bound result 2660
646
628
 
647
629
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
648
630
 
649
631
  ╭-----------------------------------+---------------------+-------+---------+----------╮
650
632
  | Contract | Selector | Calls | Reverts | Discards |
651
633
  +======================================================================================+
652
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
653
635
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
655
637
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
657
639
  |-----------------------------------+---------------------+-------+---------+----------|
658
- | RateLimiterRBACUpgradeableHandler | setState | 578 | 0 | 0 |
640
+ | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
659
641
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
642
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
661
643
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
644
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
663
645
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
646
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
665
647
  ╰-----------------------------------+---------------------+-------+---------+----------╯
666
648
 
667
649
  Logs:
668
- Bound result 4138
669
- Bound result 9945859727634863605130
670
- Bound result 9900000034863731426806
671
- Bound result 3550
672
- Bound result 221
673
- Bound result 5
674
- Bound result 4196
675
- Bound result 2694
676
- Bound result 6
677
- Bound result 11688762491
678
- Bound result 9900000000000000009850
679
- Bound result 9900000000000392401229
680
- Bound result 6664
681
- Bound result 5000
682
- Bound result 523077092117
683
- Bound result 16813788055016958739452
684
- Bound result 0
685
- Bound result 7488678688617040299588
686
- Bound result 9900634563757161455592
687
- Bound result 9900000000000000000006
688
- Bound result 10
689
- Bound result 811
690
- Bound result 727
650
+ Bound result 9075
651
+ Bound result 914
652
+ Bound result 1497
653
+ Bound result 2159037159
654
+ Bound result 1
655
+ Bound result 9900000751075975668064
656
+ Bound result 9900000000026022647491
657
+ Bound result 6952
658
+ Bound result 12
659
+ Bound result 15788797736857419491828
660
+ Bound result 812
661
+ Bound result 1
662
+ Bound result 1883623021837538765145
663
+ Bound result 9900000000000005862622
664
+ Bound result 2428
665
+ Bound result 5225
666
+ Bound result 9900000000017139456434
667
+ Bound result 9900000000000000552256
668
+ Bound result 8703
669
+ Bound result 5730
670
+ Bound result 9900000000000000000248
671
+ Bound result 9900000000000000003334
672
+ Bound result 587
673
+ Bound result 8581
674
+ Bound result 189699503690144119791
675
+ Bound result 9900000000000000000007
676
+ Bound result 9900000000000000004236
677
+ Bound result 637
678
+ Bound result 4364
679
+ Bound result 9900000000000000003458
680
+ Bound result 9900000000000000009907
681
+ Bound result 2709
682
+ Bound result 11
683
+ Bound result 894373283567
691
684
 
692
685
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
693
686
 
694
687
  ╭-----------------------------------+---------------------+-------+---------+----------╮
695
688
  | Contract | Selector | Calls | Reverts | Discards |
696
689
  +======================================================================================+
697
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
690
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
698
691
  |-----------------------------------+---------------------+-------+---------+----------|
699
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
692
+ | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
700
693
  |-----------------------------------+---------------------+-------+---------+----------|
701
- | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
694
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
702
695
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
696
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
704
697
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
706
699
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 529 | 0 | 0 |
708
701
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
710
703
  ╰-----------------------------------+---------------------+-------+---------+----------╯
711
704
 
712
705
  Logs:
713
- Bound result 9900001826077512279522
714
- Bound result 9900000000000000000007
715
- Bound result 3025
716
- Bound result 401
717
- Bound result 69
718
- Bound result 219
719
- Bound result 15796966714701030624985
720
- Bound result 478977444
721
- Bound result 2
722
- Bound result 10337
723
- Bound result 1031
724
- Bound result 15772295043893456
725
- Bound result 51674458620653
726
- Bound result 13
727
- Bound result 5999
706
+ Bound result 2072215437
707
+ Bound result 1141
728
708
  Bound result 1
729
- Bound result 7972124348857292768123
730
- Bound result 9900000000000012703608
731
- Bound result 13
732
- Bound result 207
709
+ Bound result 558
710
+ Bound result 312397156
711
+ Bound result 0
712
+ Bound result 514264337593504336252
713
+ Bound result 142187190591605843
714
+ Bound result 0
715
+ Bound result 9900000000006004605125
716
+ Bound result 1695748341226425649123
717
+ Bound result 6240
718
+ Bound result 2370
719
+ Bound result 26436713809912729
720
+ Bound result 626089934664776663214
721
+ Bound result 0
722
+ Bound result 9900000000000000010340
723
+ Bound result 9900000000000000000202
724
+ Bound result 4746
725
+ Bound result 7625
726
+ Bound result 33960085882854
727
+ Bound result 8308
728
+ Bound result 3566
733
729
 
734
730
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
735
731
 
736
732
  ╭-----------------------------------+---------------------+-------+---------+----------╮
737
733
  | Contract | Selector | Calls | Reverts | Discards |
738
734
  +======================================================================================+
739
- | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
735
+ | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
740
736
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
737
+ | RateLimiterRBACUpgradeableHandler | outflow | 512 | 0 | 0 |
742
738
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
739
+ | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
744
740
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
746
742
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
748
744
  |-----------------------------------+---------------------+-------+---------+----------|
749
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
750
746
  |-----------------------------------+---------------------+-------+---------+----------|
751
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
752
748
  ╰-----------------------------------+---------------------+-------+---------+----------╯
753
749
 
754
750
  Logs:
755
- Bound result 9688179556398605903819
756
- Bound result 9900000000019634450256
757
- Bound result 3275
758
- Bound result 10
759
- Bound result 3870
760
- Bound result 9901097503447601208045
761
- Bound result 9900000021151602470626
762
- Bound result 4039
763
- Bound result 6146
764
- Bound result 66
765
- Bound result 9930877997472788915169
766
- Bound result 9900000321052353392711
767
- Bound result 10
768
- Bound result 10
769
- Bound result 4704275605645355989732
770
- Bound result 9900000000044189556254
771
- Bound result 8491
772
- Bound result 2150
773
- Bound result 9530
774
- Bound result 9904
775
- Bound result 58
776
- Bound result 1144189856488645
777
- Bound result 844026356
778
- Bound result 15
779
- Bound result 294443687
780
- Bound result 1148
781
- Bound result 5644
782
- Bound result 15711
751
+ Bound result 100000000000000000001
752
+ Bound result 9900000000000000035844
753
+ Bound result 1886
754
+ Bound result 11
755
+ Bound result 0
756
+ Bound result 87
757
+ Bound result 0
758
+ Bound result 128610329856748
759
+ Bound result 37473370424
760
+ Bound result 1
761
+ Bound result 2257
762
+ Bound result 2
763
+ Bound result 474055
764
+ Bound result 0
765
+ Bound result 3
766
+ Bound result 1549
767
+ Bound result 125381969315410297688
768
+ Bound result 348008538
769
+ Bound result 1284
770
+ Bound result 9900000000000000007393
771
+ Bound result 9900000000000000010538
772
+ Bound result 856
773
+ Bound result 2093
774
+ Bound result 5325944451209688805719
775
+ Bound result 100000000000000000001
776
+ Bound result 8232
777
+ Bound result 70
778
+ Bound result 1912375742183961617306
779
+ Bound result 6085676899168350354696
780
+ Bound result 217
781
+ Bound result 5651
782
+ Bound result 916553272250460872540
783
+ Bound result 9900000000000000002082
784
+ Bound result 572987346670035283295
785
+ Bound result 272
786
+ Bound result 3752
787
+ Bound result 706
783
788
 
784
789
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
785
790
 
786
791
  ╭-----------------------------------+---------------------+-------+---------+----------╮
787
792
  | Contract | Selector | Calls | Reverts | Discards |
788
793
  +======================================================================================+
789
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
794
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
790
795
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
792
797
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
798
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
794
799
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
800
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
796
801
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
802
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
798
803
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
804
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
800
805
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
806
+ | RateLimiterRBACUpgradeableHandler | warp | 580 | 0 | 0 |
802
807
  ╰-----------------------------------+---------------------+-------+---------+----------╯
803
808
 
804
809
  Logs:
805
- Bound result 9900000000000000007010
806
- Bound result 9900000000000000004543
807
- Bound result 458
808
- Bound result 8994
809
- Bound result 9900000000000000000675
810
- Bound result 9901599984447295876030
811
- Bound result 11
812
- Bound result 99
813
- Bound result 139
814
- Bound result 17978040799952402513452
815
- Bound result 13312264806466517429159
816
- Bound result 3337181536192625492230
817
- Bound result 382242186615540236
818
- Bound result 23
819
- Bound result 17416918337180873312800
820
- Bound result 6234973
821
- Bound result 217849946579
810
+ Bound result 155
811
+ Bound result 5689
812
+ Bound result 0
813
+ Bound result 11730671897131503
814
+ Bound result 12986119
815
+ Bound result 362
822
816
  Bound result 0
823
- Bound result 1547
817
+ Bound result 1149663
818
+ Bound result 0
819
+ Bound result 1
820
+ Bound result 98830
821
+ Bound result 3
822
+ Bound result 1
823
+ Bound result 514264337593543950335
824
+ Bound result 9900000000000000008976
825
+ Bound result 9900000000000000004088
826
+ Bound result 5457
827
+ Bound result 4161
824
828
 
825
829
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
826
830
 
827
831
  ╭-----------------------------------+---------------------+-------+---------+----------╮
828
832
  | Contract | Selector | Calls | Reverts | Discards |
829
833
  +======================================================================================+
830
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
831
835
  |-----------------------------------+---------------------+-------+---------+----------|
832
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
833
837
  |-----------------------------------+---------------------+-------+---------+----------|
834
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
835
839
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
837
841
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
839
843
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
844
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
841
845
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
843
847
  ╰-----------------------------------+---------------------+-------+---------+----------╯
844
848
 
845
849
  Logs:
846
- Bound result 634234337813401
847
- Bound result 5713612403933
848
- Bound result 1
849
- Bound result 3461
850
- Bound result 468
851
- Bound result 10103
850
+ Bound result 29591500990761147283
851
+ Bound result 47
852
852
  Bound result 0
853
- Bound result 514264337593504336253
854
- Bound result 165898833095145596482
853
+ Bound result 9900000002871018369051
854
+ Bound result 6914264337593535947491
855
+ Bound result 318
856
+ Bound result 10
857
+ Bound result 7110579880813330683296
858
+ Bound result 6502
855
859
  Bound result 0
856
- Bound result 3870
857
- Bound result 623
858
- Bound result 1
859
- Bound result 3093
860
- Bound result 5185
860
+ Bound result 261
861
+ Bound result 559642249668367
862
+ Bound result 6891288025464894369288
863
+ Bound result 6891288025464890367868
864
+ Bound result 3237392588723365976
865
+ Bound result 2
866
+ Bound result 3602752116
867
+ Bound result 3077436142249772475129
868
+ Bound result 245
869
+ Bound result 4939
870
+ Bound result 1313373042
871
+ Bound result 116
861
872
  Bound result 1
862
- Bound result 1414967274098130262334
863
- Bound result 220247795313176094300
864
- Bound result 0
865
- Bound result 7715
866
- Bound result 20581870114
867
- Bound result 10539
873
+ Bound result 15
868
874
 
869
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.20s CPU time)
875
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.11s (11.64s CPU time)
870
876
 
871
877
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
872
878
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -874,452 +880,444 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
874
880
  ╭-----------------------------------+---------------------+-------+---------+----------╮
875
881
  | Contract | Selector | Calls | Reverts | Discards |
876
882
  +======================================================================================+
877
- | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
878
884
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
880
886
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | setConfig | 512 | 0 | 0 |
882
888
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
889
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
884
890
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
891
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
886
892
  |-----------------------------------+---------------------+-------+---------+----------|
887
893
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
888
894
  |-----------------------------------+---------------------+-------+---------+----------|
889
- | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
895
+ | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
890
896
  ╰-----------------------------------+---------------------+-------+---------+----------╯
891
897
 
892
898
  Logs:
893
- Bound result 237152470913113934429
894
- Bound result 172914364183965957590
895
- Bound result 0
896
- Bound result 9900000000000000079703
897
- Bound result 3881047508032370729907
898
- Bound result 667
899
- Bound result 1792
900
- Bound result 4955
901
- Bound result 1068337201
902
- Bound result 6149467785336741437098
899
+ Bound result 1754859564884446668648
900
+ Bound result 202047178848
901
+ Bound result 1377
902
+ Bound result 31217535245142
903
+ Bound result 26841901225873
904
+ Bound result 331762561
905
+ Bound result 322168661583070895892
906
+ Bound result 61681
903
907
  Bound result 0
904
- Bound result 721685573693476323309
905
- Bound result 800627395
906
- Bound result 14986672542909544402715
907
- Bound result 9900000000000002252889
908
- Bound result 1059290899624954331105
909
- Bound result 6241
910
- Bound result 2066
911
- Bound result 8264
912
- Bound result 1161
908
+ Bound result 340
909
+ Bound result 3740
910
+ Bound result 1028
911
+ Bound result 50
912
+ Bound result 421
913
+ Bound result 5032092190791504666
914
+ Bound result 984
915
+ Bound result 1160
916
+ Bound result 1604
913
917
 
914
918
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
915
919
 
916
920
  ╭-----------------------------------+---------------------+-------+---------+----------╮
917
921
  | Contract | Selector | Calls | Reverts | Discards |
918
922
  +======================================================================================+
919
- | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
920
924
  |-----------------------------------+---------------------+-------+---------+----------|
921
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
922
926
  |-----------------------------------+---------------------+-------+---------+----------|
923
- | RateLimiterRBACUpgradeableHandler | setConfig | 495 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
924
928
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | setState | 501 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | setState | 585 | 0 | 0 |
926
930
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
928
932
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 490 | 0 | 0 |
930
934
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
932
936
  ╰-----------------------------------+---------------------+-------+---------+----------╯
933
937
 
934
938
  Logs:
935
- Bound result 113362798613793846
936
- Bound result 1532060640078029400665
937
- Bound result 0
939
+ Bound result 7359
940
+ Bound result 994
938
941
  Bound result 1
939
- Bound result 9900000000000000008762
940
- Bound result 9900000000000000002316
941
- Bound result 2045
942
- Bound result 3755
943
- Bound result 1854
944
- Bound result 16671765004781
942
+ Bound result 5
943
+ Bound result 1090
944
+ Bound result 966
945
+ Bound result 1329131127
946
+ Bound result 63314648603388326
947
+ Bound result 8482912584542664646
945
948
  Bound result 1
946
- Bound result 9900000000000000008653
947
- Bound result 9900000000000000005670
948
- Bound result 1585
949
- Bound result 7984
950
- Bound result 4946
951
- Bound result 9900000000000000000039
952
- Bound result 9900000000000000001560
953
- Bound result 393
954
- Bound result 3801
955
- Bound result 5258696413000597526
956
- Bound result 9900000000000000010386
957
- Bound result 9900000000000000008519
958
- Bound result 780
959
- Bound result 1326
960
- Bound result 949
961
- Bound result 8461
962
- Bound result 2043
949
+ Bound result 159
950
+ Bound result 436
963
951
 
964
952
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
965
953
 
966
954
  ╭-----------------------------------+---------------------+-------+---------+----------╮
967
955
  | Contract | Selector | Calls | Reverts | Discards |
968
956
  +======================================================================================+
969
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
970
958
  |-----------------------------------+---------------------+-------+---------+----------|
971
- | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
959
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
972
960
  |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
961
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
974
962
  |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
976
964
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
965
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
978
966
  |-----------------------------------+---------------------+-------+---------+----------|
979
967
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
980
968
  |-----------------------------------+---------------------+-------+---------+----------|
981
- | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
969
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
982
970
  ╰-----------------------------------+---------------------+-------+---------+----------╯
983
971
 
984
972
  Logs:
985
- Bound result 262
986
- Bound result 1257
987
- Bound result 1974211701222620
988
- Bound result 2098129407147058608
989
- Bound result 215
990
- Bound result 1294
991
- Bound result 3370
992
- Bound result 514264337593543950333
993
- Bound result 1
973
+ Bound result 970
974
+ Bound result 7260
994
975
  Bound result 0
995
- Bound result 151
996
- Bound result 5550
976
+ Bound result 28142141643098
977
+ Bound result 1343
997
978
  Bound result 1
979
+ Bound result 1614
980
+ Bound result 125
981
+ Bound result 2182
982
+ Bound result 514264337593543950335
983
+ Bound result 363
984
+ Bound result 707371139211013
998
985
 
999
986
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1000
987
 
1001
988
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1002
989
  | Contract | Selector | Calls | Reverts | Discards |
1003
990
  +======================================================================================+
1004
- | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
991
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
1005
992
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | outflow | 486 | 0 | 0 |
993
+ | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
1007
994
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
995
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
1009
996
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
997
+ | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
1011
998
  |-----------------------------------+---------------------+-------+---------+----------|
1012
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 589 | 0 | 0 |
999
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
1013
1000
  |-----------------------------------+---------------------+-------+---------+----------|
1014
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1001
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
1015
1002
  |-----------------------------------+---------------------+-------+---------+----------|
1016
- | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
1003
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
1017
1004
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1018
1005
 
1019
1006
  Logs:
1020
- Bound result 348464660961358947059
1021
- Bound result 2000000000000000000000
1022
- Bound result 8009071468877862989569
1023
- Bound result 9900000000000003785813
1024
- Bound result 20
1025
- Bound result 7197
1026
- Bound result 10163
1027
- Bound result 731
1007
+ Bound result 29
1008
+ Bound result 483
1028
1009
  Bound result 0
1029
- Bound result 94
1030
- Bound result 5841
1031
- Bound result 328355856542315608691
1032
- Bound result 9900000000000000006868
1033
- Bound result 9900000000000000003860
1034
- Bound result 117
1035
- Bound result 1381
1036
- Bound result 1952
1010
+ Bound result 4833
1011
+ Bound result 366
1012
+ Bound result 608
1013
+ Bound result 1738
1014
+ Bound result 10565843487583371
1015
+ Bound result 9900000000000000006122
1016
+ Bound result 9900000000000000000178
1017
+ Bound result 8921
1018
+ Bound result 6390
1019
+ Bound result 119
1020
+ Bound result 13
1021
+ Bound result 1614028771498123236691
1022
+ Bound result 448528065857184917
1023
+ Bound result 155
1024
+ Bound result 18603
1025
+ Bound result 10390390354163644887819
1026
+ Bound result 8
1027
+ Bound result 9900000000000000009859
1028
+ Bound result 9900000000000000002004
1029
+ Bound result 8691
1030
+ Bound result 7715
1037
1031
 
1038
1032
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1039
1033
 
1040
1034
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1041
1035
  | Contract | Selector | Calls | Reverts | Discards |
1042
1036
  +======================================================================================+
1043
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
1037
+ | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
1044
1038
  |-----------------------------------+---------------------+-------+---------+----------|
1045
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
1039
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
1046
1040
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
1041
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
1048
1042
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1043
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
1050
1044
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
1052
1046
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
1054
1048
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1056
1050
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1057
1051
 
1058
1052
  Logs:
1059
- Bound result 1769216908398115124489
1060
- Bound result 9900000000000005324095
1061
- Bound result 9900000000000000046318
1062
- Bound result 13
1063
- Bound result 10
1064
- Bound result 47601
1065
- Bound result 12852942752898871969274
1066
- Bound result 0
1053
+ Bound result 4672009
1054
+ Bound result 4823728616636
1067
1055
  Bound result 1
1068
- Bound result 613063842
1069
- Bound result 1065
1070
- Bound result 1
1071
- Bound result 6390484191812927
1072
- Bound result 6914264294985638222732
1073
- Bound result 41805860060473
1074
- Bound result 0
1075
- Bound result 9900000000000000000665
1076
- Bound result 9900000000000000000060
1077
- Bound result 64
1078
- Bound result 1261
1079
- Bound result 38162472102
1080
- Bound result 52975
1081
- Bound result 485
1056
+ Bound result 2464670362674211
1057
+ Bound result 614619062081514186338
1082
1058
  Bound result 1
1059
+ Bound result 4382
1060
+ Bound result 100
1061
+ Bound result 7512
1062
+ Bound result 68
1063
+ Bound result 283237942901
1064
+ Bound result 3820
1065
+ Bound result 99
1066
+ Bound result 4
1067
+ Bound result 1937
1068
+ Bound result 100000000000000000002
1069
+ Bound result 100000000000000000003
1070
+ Bound result 8318
1071
+ Bound result 287
1083
1072
 
1084
1073
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1085
1074
 
1086
1075
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1087
1076
  | Contract | Selector | Calls | Reverts | Discards |
1088
1077
  +======================================================================================+
1089
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
1078
+ | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
1090
1079
  |-----------------------------------+---------------------+-------+---------+----------|
1091
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
1080
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
1092
1081
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
1082
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1094
1083
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
1084
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
1096
1085
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 597 | 0 | 0 |
1086
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
1098
1087
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 520 | 0 | 0 |
1088
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
1100
1089
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
1090
+ | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
1102
1091
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1103
1092
 
1104
1093
  Logs:
1105
- Bound result 1049224754172
1106
- Bound result 1
1107
- Bound result 1
1108
- Bound result 1491893492834858570721
1109
- Bound result 3589
1110
- Bound result 491752801
1111
- Bound result 9900024945659157347322
1112
- Bound result 1257917536406138189153
1113
- Bound result 6239
1114
- Bound result 4475
1115
- Bound result 287588622475378051721
1116
- Bound result 842533941950534665451
1117
- Bound result 0
1118
- Bound result 2520
1119
- Bound result 443213003413934108160
1120
- Bound result 0
1121
- Bound result 8974
1122
- Bound result 1014
1123
- Bound result 0
1124
- Bound result 815
1125
- Bound result 1323
1126
- Bound result 0
1127
- Bound result 12378
1128
- Bound result 1632
1094
+ Bound result 84973768022911
1095
+ Bound result 1657
1096
+ Bound result 9900000000000000030333
1097
+ Bound result 6914264337593535947491
1098
+ Bound result 123
1099
+ Bound result 9440
1100
+ Bound result 990
1101
+ Bound result 9900000000000000005212
1102
+ Bound result 9900000000000000004788
1103
+ Bound result 7924
1104
+ Bound result 3469
1105
+ Bound result 997605340
1106
+ Bound result 154
1107
+ Bound result 9900007792272949763899
1108
+ Bound result 4480508579747640723976
1109
+ Bound result 4541
1110
+ Bound result 9263
1129
1111
 
1130
1112
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1131
1113
 
1132
1114
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1133
1115
  | Contract | Selector | Calls | Reverts | Discards |
1134
1116
  +======================================================================================+
1135
- | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
1117
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1136
1118
  |-----------------------------------+---------------------+-------+---------+----------|
1137
- | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
1119
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1138
1120
  |-----------------------------------+---------------------+-------+---------+----------|
1139
- | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1121
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1140
1122
  |-----------------------------------+---------------------+-------+---------+----------|
1141
- | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
1123
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
1142
1124
  |-----------------------------------+---------------------+-------+---------+----------|
1143
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1125
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
1144
1126
  |-----------------------------------+---------------------+-------+---------+----------|
1145
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
1127
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 595 | 0 | 0 |
1146
1128
  |-----------------------------------+---------------------+-------+---------+----------|
1147
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
1129
+ | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
1148
1130
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1149
1131
 
1150
1132
  Logs:
1151
- Bound result 5399
1152
- Bound result 3741
1133
+ Bound result 1336605362933660205840
1134
+ Bound result 137285013
1135
+ Bound result 1855386100987748877
1153
1136
  Bound result 0
1154
- Bound result 5669
1155
- Bound result 6284
1137
+ Bound result 5112
1138
+ Bound result 144933
1156
1139
  Bound result 0
1157
- Bound result 694239275872497950
1158
- Bound result 5
1159
- Bound result 9900000000000000007151
1160
- Bound result 9900000000000000004227
1161
- Bound result 2157
1162
- Bound result 8213
1163
- Bound result 5583
1164
- Bound result 8020
1165
- Bound result 9212
1166
- Bound result 1511
1167
- Bound result 15662549544001353496507
1140
+ Bound result 9900000000003013121952
1141
+ Bound result 9900000000000000002457
1142
+ Bound result 8354
1143
+ Bound result 3568
1144
+ Bound result 4525
1145
+ Bound result 1693360265066371059968
1146
+ Bound result 5448469552
1147
+ Bound result 0
1148
+ Bound result 2806359015359261634124
1149
+ Bound result 12653
1168
1150
 
1169
1151
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1170
1152
 
1171
1153
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1172
1154
  | Contract | Selector | Calls | Reverts | Discards |
1173
1155
  +======================================================================================+
1174
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1156
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1175
1157
  |-----------------------------------+---------------------+-------+---------+----------|
1176
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
1158
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
1177
1159
  |-----------------------------------+---------------------+-------+---------+----------|
1178
- | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
1160
+ | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
1179
1161
  |-----------------------------------+---------------------+-------+---------+----------|
1180
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
1162
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
1181
1163
  |-----------------------------------+---------------------+-------+---------+----------|
1182
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1164
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
1183
1165
  |-----------------------------------+---------------------+-------+---------+----------|
1184
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
1166
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
1185
1167
  |-----------------------------------+---------------------+-------+---------+----------|
1186
- | RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
1168
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
1187
1169
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1188
1170
 
1189
1171
  Logs:
1190
- Bound result 4287
1191
- Bound result 499936034809240832065
1192
- Bound result 863
1193
- Bound result 1242
1194
- Bound result 18339159310100
1195
- Bound result 9702
1196
- Bound result 9322
1197
- Bound result 331
1198
- Bound result 1
1199
- Bound result 29084
1200
- Bound result 3822
1201
- Bound result 9538596936683538419
1202
- Bound result 620
1172
+ Bound result 9900000000000000008485
1173
+ Bound result 9900000000000000003543
1174
+ Bound result 7221
1175
+ Bound result 7041
1176
+ Bound result 40
1177
+ Bound result 9900000000000000005852
1178
+ Bound result 9900000000000000008628
1179
+ Bound result 8278
1180
+ Bound result 2579
1181
+ Bound result 87596350777504389246
1182
+ Bound result 60250776
1203
1183
  Bound result 1
1184
+ Bound result 13173
1185
+ Bound result 1365651675096004393020
1186
+ Bound result 9900000911280296192690
1187
+ Bound result 9466235813052554171341
1188
+ Bound result 2643
1189
+ Bound result 8359
1190
+ Bound result 6240
1191
+ Bound result 3695152417
1192
+ Bound result 35850381288524480108
1193
+ Bound result 73
1194
+ Bound result 407
1195
+
1196
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.15s (12.21s CPU time)
1204
1197
 
1205
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.49s CPU time)
1206
-
1207
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1208
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1209
- [PASS] test_constructor_InitialMode() (gas: 15578)
1210
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1211
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1212
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1213
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1214
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1215
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1216
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1217
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
1218
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1219
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1220
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1221
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1222
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1223
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1224
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1225
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1226
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1227
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1228
- [PASS] test_setMode_Blacklist() (gas: 40021)
1229
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1230
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1231
- [PASS] test_setMode_Whitelist() (gas: 40108)
1232
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1233
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1234
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1235
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1236
- [PASS] test_storageHash() (gas: 3458)
1237
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 12.63s (315.43ms CPU time)
1238
-
1239
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1240
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1241
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1242
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47330, ~: 48966)
1243
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1244
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1245
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1246
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1247
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1248
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1249
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1250
- [PASS] test_getFee_Default() (gas: 43108)
1251
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45866, ~: 47017)
1252
- [PASS] test_getFee_Rounding() (gas: 45449)
1253
- [PASS] test_getFee_Specific() (gas: 66985)
1254
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1255
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1256
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35344, ~: 42268)
1257
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1258
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1259
- [PASS] test_setFeeBps() (gas: 77237)
1260
- Logs:
1261
- Bound result 500
1262
-
1263
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69211, ~: 77570)
1264
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1265
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1266
- [PASS] test_storageHash() (gas: 3436)
1267
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.73s (607.30ms CPU time)
1268
-
1269
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1270
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1271
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1272
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44641, ~: 46317)
1273
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1274
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1275
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1276
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1277
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1278
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1279
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1280
- [PASS] test_getFee_Default() (gas: 40577)
1281
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43302, ~: 44486)
1282
- [PASS] test_getFee_Rounding() (gas: 42835)
1283
- [PASS] test_getFee_Specific() (gas: 63968)
1284
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1285
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1286
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32972, ~: 39667)
1287
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1288
- [PASS] test_setFeeBps() (gas: 73871)
1289
- Logs:
1290
- Bound result 500
1291
-
1292
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66462, ~: 74224)
1293
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1294
- [PASS] test_storageHash() (gas: 3426)
1295
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.73s (453.76ms CPU time)
1198
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1199
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1200
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1201
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
1202
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1203
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
1204
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1205
+ [PASS] test_isPaused_Default() (gas: 47316)
1206
+ [PASS] test_isPaused_InitialState() (gas: 22172)
1207
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1208
+ [PASS] test_isPaused_Override() (gas: 75171)
1209
+ [PASS] test_isPaused_Specific() (gas: 50105)
1210
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1211
+ [PASS] test_pauseConfig() (gas: 51028)
1212
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1213
+ [PASS] test_setDefaultPaused() (gas: 42196)
1214
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 31320, ~: 42446)
1215
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1216
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1217
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1218
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
1219
+ [PASS] test_setPaused() (gas: 48361)
1220
+ [PASS] test_setPaused_DormantData() (gas: 295234)
1221
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
1222
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1223
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43623, ~: 48533)
1224
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222648, ~: 216804)
1225
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1226
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1227
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1228
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1229
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1230
+ [PASS] test_setPaused_Success() (gas: 45897)
1231
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
1232
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1233
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1234
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1235
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1236
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1237
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1238
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62566, ~: 73465)
1239
+ [PASS] test_storageHash() (gas: 3392)
1240
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1241
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1242
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
1243
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1244
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1245
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1246
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 11.31s (607.94ms CPU time)
1296
1247
 
1297
1248
  Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1298
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26577, ~: 38584)
1249
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26060, ~: 38584)
1299
1250
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1300
1251
  [PASS] test_assertNotPaused_Success() (gas: 12516)
1301
1252
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1302
1253
  [PASS] test_isPaused_InitialState() (gas: 15595)
1303
1254
  [PASS] test_pause() (gas: 39592)
1304
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28040, ~: 28040)
1255
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28063, ~: 39861)
1305
1256
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1306
1257
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1307
1258
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1308
1259
  [PASS] test_storageHash() (gas: 3414)
1309
1260
  [PASS] test_unpause() (gas: 31115)
1310
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40423, ~: 38893)
1261
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40376, ~: 38893)
1311
1262
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1312
1263
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1313
1264
  [PASS] test_whenNotPaused_Success() (gas: 38744)
1314
1265
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1315
1266
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1316
1267
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1317
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 12.73s (212.92ms CPU time)
1268
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 11.31s (258.52ms CPU time)
1269
+
1270
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1271
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1272
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1273
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1274
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1275
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
1276
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1277
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1278
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1279
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1280
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1281
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.95s (86.81ms CPU time)
1282
+
1283
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1284
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1285
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1286
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1287
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1288
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1289
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1290
+ [PASS] test_isPaused_Default() (gas: 44698)
1291
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1292
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1293
+ [PASS] test_isPaused_Override() (gas: 69381)
1294
+ [PASS] test_isPaused_Specific() (gas: 46709)
1295
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1296
+ [PASS] test_pauseConfig() (gas: 45626)
1297
+ [PASS] test_setDefaultPaused() (gas: 39667)
1298
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28101, ~: 16332)
1299
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1300
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1301
+ [PASS] test_setPaused() (gas: 43060)
1302
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1303
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38000, ~: 43373)
1304
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1305
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1306
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1307
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58185, ~: 46989)
1308
+ [PASS] test_storageHash() (gas: 3480)
1309
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1310
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1311
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1312
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1313
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1314
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1315
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 11.95s (451.57ms CPU time)
1318
1316
 
1319
1317
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1320
1318
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1321
1319
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1322
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 774054, ~: 183611)
1320
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 827153, ~: 299400)
1323
1321
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1324
1322
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1325
1323
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1332,12 +1330,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1332
1330
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1333
1331
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1334
1332
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1335
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11092669, ~: 10264287)
1333
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147613, ~: 10469398)
1336
1334
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1337
1335
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1338
1336
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1339
1337
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1340
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 797839, ~: 211395)
1338
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 756869, ~: 174656)
1341
1339
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1342
1340
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1343
1341
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1350,10 +1348,38 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1350
1348
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1351
1349
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1352
1350
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1353
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178953, ~: 10537950)
1351
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11149487, ~: 10416302)
1354
1352
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1355
1353
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1356
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.73s (29.58s CPU time)
1354
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.95s (29.65s CPU time)
1355
+
1356
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1357
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1358
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1359
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44950, ~: 46317)
1360
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1361
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1362
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1363
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1364
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1365
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1366
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1367
+ [PASS] test_getFee_Default() (gas: 40577)
1368
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43196, ~: 44486)
1369
+ [PASS] test_getFee_Rounding() (gas: 42835)
1370
+ [PASS] test_getFee_Specific() (gas: 63968)
1371
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1372
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1373
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32850, ~: 39667)
1374
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1375
+ [PASS] test_setFeeBps() (gas: 73871)
1376
+ Logs:
1377
+ Bound result 500
1378
+
1379
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65747, ~: 74224)
1380
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1381
+ [PASS] test_storageHash() (gas: 3426)
1382
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 11.95s (434.33ms CPU time)
1357
1383
 
1358
- Ran 17 test suites in 12.76s (69.96s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1359
- ⏳ forge test: 27.232s
1384
+ Ran 17 test suites in 11.97s (80.14s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1385
+ ⏳ forge test: 26.422s