@layerzerolabs/utils-upgradeable-evm-contracts 1.2.10 → 1.2.11

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/.turbo/turbo-test.log +776 -706
  2. package/package.json +4 -4
@@ -4,23 +4,100 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-RFkkNy
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-LyBP5l
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:200146) [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:87961) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-RFkkNy:/workspace
15
+ -v /tmp/lz-scoped-workspace-LyBP5l:/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
19
- Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
19
+ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
+ 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
21
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
22
+ forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
23
+ 86ec798129ac: Pulling fs layer
24
+ eef7c391911c: Pulling fs layer
25
+ cc2ecf4065b7: Pulling fs layer
26
+ 5760fdd70374: Pulling fs layer
27
+ c70db14240a1: Pulling fs layer
28
+ 0cb2c6965bde: Pulling fs layer
29
+ 885bca26f927: Pulling fs layer
30
+ 86ec798129ac: Waiting
31
+ 8e167e77288f: Pulling fs layer
32
+ 45d43cc973ba: Pulling fs layer
33
+ eef7c391911c: Waiting
34
+ 44c09156221f: Pulling fs layer
35
+ f2fb700979ad: Pulling fs layer
36
+ c70db14240a1: Waiting
37
+ 2a1ced882ba9: Pulling fs layer
38
+ 597168d5c38e: Pulling fs layer
39
+ e431adaf232f: Pulling fs layer
40
+ cc2ecf4065b7: Waiting
41
+ 5760fdd70374: Waiting
42
+ 36e15e3f2788: Pulling fs layer
43
+ 8e167e77288f: Waiting
44
+ 0cb2c6965bde: Waiting
45
+ 885bca26f927: Waiting
46
+ 45d43cc973ba: Waiting
47
+ 44c09156221f: Waiting
48
+ e431adaf232f: Waiting
49
+ 2a1ced882ba9: Waiting
50
+ 36e15e3f2788: Waiting
51
+ eef7c391911c: Download complete
52
+ 86ec798129ac: Verifying Checksum
53
+ 86ec798129ac: Download complete
54
+ c70db14240a1: Download complete
55
+ 5760fdd70374: Verifying Checksum
56
+ 5760fdd70374: Download complete
57
+ cc2ecf4065b7: Verifying Checksum
58
+ cc2ecf4065b7: Download complete
59
+ 8e167e77288f: Verifying Checksum
60
+ 8e167e77288f: Download complete
61
+ 86ec798129ac: Pull complete
62
+ 45d43cc973ba: Verifying Checksum
63
+ 45d43cc973ba: Download complete
64
+ eef7c391911c: Pull complete
65
+ 44c09156221f: Verifying Checksum
66
+ 44c09156221f: Download complete
67
+ f2fb700979ad: Verifying Checksum
68
+ f2fb700979ad: Download complete
69
+ 0cb2c6965bde: Verifying Checksum
70
+ 0cb2c6965bde: Download complete
71
+ cc2ecf4065b7: Pull complete
72
+ 597168d5c38e: Download complete
73
+ 5760fdd70374: Pull complete
74
+ c70db14240a1: Pull complete
75
+ 2a1ced882ba9: Verifying Checksum
76
+ 2a1ced882ba9: Download complete
77
+ 36e15e3f2788: Verifying Checksum
78
+ 36e15e3f2788: Download complete
79
+ 885bca26f927: Verifying Checksum
80
+ 885bca26f927: Download complete
81
+ 0cb2c6965bde: Pull complete
82
+ e431adaf232f: Verifying Checksum
83
+ e431adaf232f: Download complete
84
+ 885bca26f927: Pull complete
85
+ 8e167e77288f: Pull complete
86
+ 45d43cc973ba: Pull complete
87
+ 44c09156221f: Pull complete
88
+ f2fb700979ad: Pull complete
89
+ 2a1ced882ba9: Pull complete
90
+ 597168d5c38e: Pull complete
91
+ e431adaf232f: Pull complete
92
+ 36e15e3f2788: Pull complete
93
+ Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
94
+ Status: 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
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
96
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
97
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-RFkkNy:/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
98
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-LyBP5l:/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
22
99
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 11.24s
100
+ Solc 0.8.22 finished in 12.66s
24
101
  Compiler run successful with warnings:
25
102
  Warning (2018): Function state mutability can be restricted to view
26
103
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -184,7 +261,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
184
261
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
185
262
  [PASS] test_storageHash() (gas: 3392)
186
263
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
187
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 17.00ms (20.98ms CPU time)
264
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 12.70ms (9.28ms CPU time)
188
265
 
189
266
  Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
190
267
  [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
@@ -222,7 +299,16 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
222
299
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
223
300
  [PASS] test_storageHash() (gas: 3414)
224
301
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
225
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 20.05ms (17.30ms CPU time)
302
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.10ms (23.18ms CPU time)
303
+
304
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
305
+ [PASS] test_feeDeposit() (gas: 17660)
306
+ [PASS] test_setFeeDeposit() (gas: 27618)
307
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
308
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
309
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
310
+ [PASS] test_storageHash() (gas: 3315)
311
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 51.99ms (51.44ms CPU time)
226
312
 
227
313
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
228
314
  [PASS] test_feeDeposit() (gas: 17598)
@@ -230,46 +316,63 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
230
316
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
231
317
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
232
318
  [PASS] test_storageHash() (gas: 3337)
233
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 50.78ms (50.20ms CPU time)
319
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 53.42ms (52.46ms CPU time)
234
320
 
235
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
236
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
237
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
238
- [PASS] test_assertNotPaused_Success() (gas: 12539)
239
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
240
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
241
- [PASS] test_isPaused_InitialState() (gas: 15629)
242
- [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
243
- [PASS] test_multipleRoleGrants() (gas: 395725)
244
- [PASS] test_pause() (gas: 42109)
245
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
246
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
247
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31015, ~: 42378)
248
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
249
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
250
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
251
- [PASS] test_setPaused_Success() (gas: 42640)
252
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
253
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
321
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
322
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25208, ~: 12763)
323
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
324
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
325
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
326
+ [PASS] test_isPaused_InitialState() (gas: 15595)
327
+ [PASS] test_pause() (gas: 39592)
328
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28158, ~: 39861)
329
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
330
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
331
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
254
332
  [PASS] test_storageHash() (gas: 3414)
255
- [PASS] test_unpause() (gas: 35177)
256
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41903, ~: 39122)
257
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
258
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
259
- [PASS] test_whenNotPaused_Success() (gas: 38986)
260
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
261
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
262
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
263
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 98.21ms (154.27ms CPU time)
333
+ [PASS] test_unpause() (gas: 31115)
334
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40782, ~: 42291)
335
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
336
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
337
+ [PASS] test_whenNotPaused_Success() (gas: 38930)
338
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
339
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
340
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
341
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 76.33ms (176.49ms CPU time)
264
342
 
265
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
266
- [PASS] test_feeDeposit() (gas: 17660)
267
- [PASS] test_setFeeDeposit() (gas: 27618)
268
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
269
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
270
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
271
- [PASS] test_storageHash() (gas: 3315)
272
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 137.92ms (137.21ms CPU time)
343
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
344
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
345
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
346
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
347
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
348
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
349
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
350
+ [PASS] test_isPaused_Default() (gas: 44698)
351
+ [PASS] test_isPaused_InitialState() (gas: 22070)
352
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
353
+ [PASS] test_isPaused_Override() (gas: 69381)
354
+ [PASS] test_isPaused_Specific() (gas: 46709)
355
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
356
+ [PASS] test_pauseConfig() (gas: 45626)
357
+ [PASS] test_setDefaultPaused() (gas: 39667)
358
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
359
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
360
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
361
+ [PASS] test_setPaused() (gas: 43060)
362
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
363
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38636, ~: 43373)
364
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
365
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
366
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
367
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57710, ~: 46989)
368
+ [PASS] test_storageHash() (gas: 3480)
369
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
370
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
371
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
372
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
373
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
374
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
375
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.39ms (428.24ms CPU time)
273
376
 
274
377
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
275
378
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -287,7 +390,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
287
390
  [PASS] test_pauseConfig() (gas: 51028)
288
391
  [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
289
392
  [PASS] test_setDefaultPaused() (gas: 42196)
290
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30281, ~: 18826)
393
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
291
394
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
292
395
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
293
396
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
@@ -296,8 +399,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
296
399
  [PASS] test_setPaused_DormantData() (gas: 297504)
297
400
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
298
401
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
299
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43766, ~: 48696)
300
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225639, ~: 219074)
402
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43105, ~: 48533)
403
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224797, ~: 219074)
301
404
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
302
405
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
303
406
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
@@ -311,7 +414,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
311
414
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
312
415
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
313
416
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
314
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61968, ~: 50341)
417
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62694, ~: 73465)
315
418
  [PASS] test_storageHash() (gas: 3392)
316
419
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
317
420
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -319,122 +422,100 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
319
422
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
320
423
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
321
424
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
322
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 367.47ms (492.30ms CPU time)
425
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 378.62ms (775.67ms CPU time)
323
426
 
324
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
325
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
326
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
327
- [PASS] test_assertNotPaused_Success() (gas: 14934)
328
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
329
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
330
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
331
- [PASS] test_isPaused_Default() (gas: 44698)
332
- [PASS] test_isPaused_InitialState() (gas: 22070)
333
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
334
- [PASS] test_isPaused_Override() (gas: 69381)
335
- [PASS] test_isPaused_Specific() (gas: 46709)
336
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
337
- [PASS] test_pauseConfig() (gas: 45626)
338
- [PASS] test_setDefaultPaused() (gas: 39667)
339
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
340
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
341
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
342
- [PASS] test_setPaused() (gas: 43060)
343
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
344
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38179, ~: 43373)
345
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
346
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
347
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
348
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58162, ~: 46989)
349
- [PASS] test_storageHash() (gas: 3480)
350
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
351
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
352
- [PASS] test_whenNotPaused_Success() (gas: 41297)
353
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
354
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
355
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
356
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.09ms (311.98ms CPU time)
427
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
428
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27588, ~: 41090)
429
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
430
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
431
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
432
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 51358)
433
+ [PASS] test_isPaused_InitialState() (gas: 15629)
434
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 219691)
435
+ [PASS] test_multipleRoleGrants() (gas: 395725)
436
+ [PASS] test_pause() (gas: 42109)
437
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
438
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
439
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30401, ~: 18756)
440
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
441
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
442
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
443
+ [PASS] test_setPaused_Success() (gas: 42640)
444
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 59456)
445
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
446
+ [PASS] test_storageHash() (gas: 3414)
447
+ [PASS] test_unpause() (gas: 35177)
448
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41886, ~: 39122)
449
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
450
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
451
+ [PASS] test_whenNotPaused_Success() (gas: 38986)
452
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
453
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
454
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
455
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.02s (399.47ms CPU time)
357
456
 
358
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
359
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
360
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
361
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
362
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
363
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
364
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
365
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
366
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
367
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
368
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
369
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 935.02ms (49.58ms CPU time)
457
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
458
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
459
+ [PASS] test_constructor_InitialMode() (gas: 15778)
460
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
461
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
462
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
463
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
464
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
465
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
466
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
467
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 115159)
468
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
469
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
470
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
471
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
472
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
473
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
474
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
475
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
476
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
477
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
478
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
479
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
480
+ [PASS] test_setMode_Blacklist() (gas: 42605)
481
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
482
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
483
+ [PASS] test_setMode_Whitelist() (gas: 42714)
484
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
485
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
486
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
487
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
488
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
489
+ [PASS] test_storageHash() (gas: 3480)
490
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.21s (477.48ms CPU time)
370
491
 
371
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
372
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
373
- [PASS] test_constructor_InitialMode() (gas: 15578)
374
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
375
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
376
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
377
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
378
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
379
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
380
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
381
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
382
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
383
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
384
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
385
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
386
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
387
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
388
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
389
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
390
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
391
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
392
- [PASS] test_setMode_Blacklist() (gas: 40021)
393
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
394
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
395
- [PASS] test_setMode_Whitelist() (gas: 40108)
396
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
397
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
398
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
399
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
400
- [PASS] test_storageHash() (gas: 3458)
401
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.16s (474.64ms CPU time)
492
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
493
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
494
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
495
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44973, ~: 46317)
496
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
497
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
498
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
499
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
500
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
501
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
502
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
503
+ [PASS] test_getFee_Default() (gas: 40577)
504
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43183, ~: 44486)
505
+ [PASS] test_getFee_Rounding() (gas: 42835)
506
+ [PASS] test_getFee_Specific() (gas: 63968)
507
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
508
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
509
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32734, ~: 39667)
510
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
511
+ [PASS] test_setFeeBps() (gas: 73871)
512
+ Logs:
513
+ Bound result 500
402
514
 
403
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
404
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
405
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
406
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
407
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
408
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
409
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
410
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
411
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
412
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
413
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
414
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
415
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
416
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
417
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
418
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
419
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
420
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
421
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
422
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
423
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
424
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
425
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
426
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
427
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
428
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
429
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
430
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
431
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
432
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
433
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
434
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
435
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
436
- [PASS] test_storageHash() (gas: 3380)
437
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.36s (430.89ms CPU time)
515
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65042, ~: 74224)
516
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
517
+ [PASS] test_storageHash() (gas: 3426)
518
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.65s (533.10ms CPU time)
438
519
 
439
520
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
440
521
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -442,368 +523,379 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
442
523
  ╭-----------------------------------+---------------------+-------+---------+----------╮
443
524
  | Contract | Selector | Calls | Reverts | Discards |
444
525
  +======================================================================================+
445
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
446
527
  |-----------------------------------+---------------------+-------+---------+----------|
447
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
448
529
  |-----------------------------------+---------------------+-------+---------+----------|
449
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
450
531
  |-----------------------------------+---------------------+-------+---------+----------|
451
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
452
533
  |-----------------------------------+---------------------+-------+---------+----------|
453
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
454
535
  |-----------------------------------+---------------------+-------+---------+----------|
455
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
456
537
  |-----------------------------------+---------------------+-------+---------+----------|
457
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
538
+ | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
458
539
  ╰-----------------------------------+---------------------+-------+---------+----------╯
459
540
 
460
541
  Logs:
461
- Bound result 7938
462
- Bound result 743562185218377077
463
- Bound result 663714114
464
- Bound result 519
542
+ Bound result 6217
543
+ Bound result 145
544
+ Bound result 8402
545
+ Bound result 0
546
+ Bound result 327
465
547
  Bound result 1
466
- Bound result 1434
467
- Bound result 1827
468
- Bound result 1588
469
- Bound result 6088514778278652143599
470
- Bound result 9900000000000000113886
471
- Bound result 6239
472
- Bound result 2261
473
- Bound result 1908562454564632574
474
- Bound result 40
548
+ Bound result 573
549
+ Bound result 334497530723783784271
550
+ Bound result 1363803916526838015616
551
+ Bound result 10253840027524121828
552
+ Bound result 671
553
+ Bound result 3
554
+ Bound result 9900000000000000002498
555
+ Bound result 9900000000000000000714
556
+ Bound result 7196
557
+ Bound result 3739
558
+ Bound result 6914264337587829919716
559
+ Bound result 5023
560
+ Bound result 51269343508923
561
+ Bound result 19338
562
+ Bound result 271
475
563
 
476
564
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
477
565
 
478
566
  ╭-----------------------------------+---------------------+-------+---------+----------╮
479
567
  | Contract | Selector | Calls | Reverts | Discards |
480
568
  +======================================================================================+
481
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
482
570
  |-----------------------------------+---------------------+-------+---------+----------|
483
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | outflow | 512 | 0 | 0 |
484
572
  |-----------------------------------+---------------------+-------+---------+----------|
485
- | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
486
574
  |-----------------------------------+---------------------+-------+---------+----------|
487
- | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
488
576
  |-----------------------------------+---------------------+-------+---------+----------|
489
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
490
578
  |-----------------------------------+---------------------+-------+---------+----------|
491
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
492
580
  |-----------------------------------+---------------------+-------+---------+----------|
493
- | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
494
582
  ╰-----------------------------------+---------------------+-------+---------+----------╯
495
583
 
496
584
  Logs:
497
- Bound result 9900000000000000002654
498
- Bound result 9900000000000000003340
499
- Bound result 1921
500
- Bound result 873
501
- Bound result 3
502
- Bound result 168352919750081
503
- Bound result 27638585
585
+ Bound result 9900000000000107477465
586
+ Bound result 9900000000000000004172
587
+ Bound result 5235
588
+ Bound result 9327
589
+ Bound result 9900000000000000001700
590
+ Bound result 9900000000000000002861
591
+ Bound result 441
592
+ Bound result 6835
593
+ Bound result 9900000000000000000999
594
+ Bound result 9900000000000000001089
595
+ Bound result 5628
596
+ Bound result 539
597
+ Bound result 287009066585010220927
598
+ Bound result 32440872
504
599
  Bound result 0
505
- Bound result 97693615154362996930
506
- Bound result 25164436771504
507
- Bound result 0
508
- Bound result 0
509
- Bound result 9900000000000001854610
510
- Bound result 9952969263309445683242
600
+ Bound result 3972
601
+ Bound result 538
602
+ Bound result 7601
603
+ Bound result 1
604
+ Bound result 9900000000001688394122
605
+ Bound result 9900000000001936680693
511
606
  Bound result 10
512
- Bound result 485
513
- Bound result 6166365383668416141516
514
- Bound result 8932344197216803664195
515
- Bound result 9878
516
- Bound result 3814
517
- Bound result 283
518
- Bound result 3996
519
- Bound result 1446
520
- Bound result 4
521
- Bound result 261429761832
522
- Bound result 74
523
- Bound result 357482027
607
+ Bound result 1218
608
+ Bound result 9900000000000000031041
609
+ Bound result 4585828654358088839444
610
+ Bound result 429
611
+ Bound result 4613
524
612
 
525
613
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
526
614
 
527
615
  ╭-----------------------------------+---------------------+-------+---------+----------╮
528
616
  | Contract | Selector | Calls | Reverts | Discards |
529
617
  +======================================================================================+
530
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
531
619
  |-----------------------------------+---------------------+-------+---------+----------|
532
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
533
621
  |-----------------------------------+---------------------+-------+---------+----------|
534
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
535
623
  |-----------------------------------+---------------------+-------+---------+----------|
536
- | RateLimiterRBACUpgradeableHandler | setState | 590 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
537
625
  |-----------------------------------+---------------------+-------+---------+----------|
538
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
539
627
  |-----------------------------------+---------------------+-------+---------+----------|
540
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
541
629
  |-----------------------------------+---------------------+-------+---------+----------|
542
- | RateLimiterRBACUpgradeableHandler | warp | 622 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
543
631
  ╰-----------------------------------+---------------------+-------+---------+----------╯
544
632
 
545
633
  Logs:
546
- Bound result 8652
547
- Bound result 1240
548
- Bound result 1294955566520201
549
- Bound result 1431176826918301668034
550
- Bound result 9
551
- Bound result 514264337593504336254
552
- Bound result 0
553
- Bound result 168
554
- Bound result 3039
555
- Bound result 240
556
- Bound result 142
557
- Bound result 8121
558
- Bound result 5652
559
- Bound result 523
560
- Bound result 1916647990860038051180
561
- Bound result 7056
562
- Bound result 8298
563
- Bound result 47
564
- Bound result 2193
565
- Bound result 495
566
- Bound result 495
634
+ Bound result 5551
635
+ Bound result 128746520846
636
+ Bound result 73077478934
637
+ Bound result 1
638
+ Bound result 1341
639
+ Bound result 1456
640
+ Bound result 1343483354306172571427
641
+ Bound result 9900000000000037121127
642
+ Bound result 9900264811929320549644
643
+ Bound result 3413
644
+ Bound result 5338
645
+ Bound result 7670
646
+ Bound result 2230292476
647
+ Bound result 1570
648
+ Bound result 1816
649
+ Bound result 12
650
+ Bound result 1340474
651
+ Bound result 50485448181145635825
652
+ Bound result 1
653
+ Bound result 7446
567
654
 
568
655
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
569
656
 
570
657
  ╭-----------------------------------+---------------------+-------+---------+----------╮
571
658
  | Contract | Selector | Calls | Reverts | Discards |
572
659
  +======================================================================================+
573
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
574
661
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
576
663
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
578
665
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
666
+ | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
580
667
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
668
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
582
669
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
670
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
584
671
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
672
+ | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
586
673
  ╰-----------------------------------+---------------------+-------+---------+----------╯
587
674
 
588
675
  Logs:
589
- Bound result 6839
590
676
  Bound result 3
591
- Bound result 2
592
- Bound result 9900005043220398239818
593
- Bound result 9900000000000000000034
594
- Bound result 6962
595
- Bound result 137
596
- Bound result 1050
597
- Bound result 7300
598
- Bound result 90
599
- Bound result 6562
600
- Bound result 4730
601
- Bound result 9939
602
- Bound result 8882
677
+ Bound result 100796297063226421697
678
+ Bound result 1
679
+ Bound result 9900000000000625761770
680
+ Bound result 9900000000000000004834
681
+ Bound result 6347
682
+ Bound result 5462
683
+ Bound result 2562799991870968
684
+ Bound result 1
685
+ Bound result 4367574830923820799627
686
+ Bound result 0
687
+ Bound result 1
688
+ Bound result 1661
689
+ Bound result 57
690
+ Bound result 1
691
+ Bound result 5171276080236251
692
+ Bound result 203819629
693
+ Bound result 1
694
+ Bound result 439
695
+ Bound result 42891005
696
+ Bound result 0
697
+ Bound result 60
698
+ Bound result 4149
699
+ Bound result 16552986500123039289717
700
+ Bound result 0
603
701
 
604
702
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
605
703
 
606
704
  ╭-----------------------------------+---------------------+-------+---------+----------╮
607
705
  | Contract | Selector | Calls | Reverts | Discards |
608
706
  +======================================================================================+
609
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | inflow | 612 | 0 | 0 |
610
708
  |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | outflow | 506 | 0 | 0 |
612
710
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
614
712
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
713
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
616
714
  |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
715
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
618
716
  |-----------------------------------+---------------------+-------+---------+----------|
619
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
717
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
620
718
  |-----------------------------------+---------------------+-------+---------+----------|
621
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
719
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
622
720
  ╰-----------------------------------+---------------------+-------+---------+----------╯
623
721
 
624
722
  Logs:
625
- Bound result 9900000000000344526423
626
- Bound result 9900000000000000004513
627
- Bound result 746
628
- Bound result 8764
629
- Bound result 3856056067
630
- Bound result 9900000000000000005055
631
- Bound result 9900000000000000001854
632
- Bound result 5185
633
- Bound result 5549
634
- Bound result 8001
635
- Bound result 1795
636
- Bound result 14325633530974656033946
637
- Bound result 331434984580659861
638
- Bound result 296
639
- Bound result 537997120866
640
- Bound result 18
641
- Bound result 9900000000000452777888
642
- Bound result 9900000000000000003575
643
- Bound result 9849
644
- Bound result 5632
645
- Bound result 10213771662336123144852
723
+ Bound result 6641467028271451800203
724
+ Bound result 9905039423860344220071
725
+ Bound result 3628
726
+ Bound result 9996
727
+ Bound result 16
728
+ Bound result 9900000000000001446844
729
+ Bound result 3661232766815772140603
730
+ Bound result 9949
731
+ Bound result 6241
732
+ Bound result 9900000000000000001015
733
+ Bound result 9900000000000000002330
734
+ Bound result 492
735
+ Bound result 766
736
+ Bound result 7
737
+ Bound result 2398769950328542430103
738
+ Bound result 6269193
739
+ Bound result 3856056065
740
+ Bound result 10038
741
+ Bound result 3901
742
+ Bound result 8851
646
743
 
647
744
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
648
745
 
649
746
  ╭-----------------------------------+---------------------+-------+---------+----------╮
650
747
  | Contract | Selector | Calls | Reverts | Discards |
651
748
  +======================================================================================+
652
- | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
749
+ | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
653
750
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
751
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
655
752
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
753
+ | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
657
754
  |-----------------------------------+---------------------+-------+---------+----------|
658
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
755
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
659
756
  |-----------------------------------+---------------------+-------+---------+----------|
660
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
757
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
661
758
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
759
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
663
760
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
761
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
665
762
  ╰-----------------------------------+---------------------+-------+---------+----------╯
666
763
 
667
764
  Logs:
668
- Bound result 9900000000000000000824
669
- Bound result 9900000000000613063845
670
- Bound result 417
671
- Bound result 4893
672
- Bound result 6699
673
- Bound result 2348707489717669982469
674
- Bound result 9900021373682299873086
675
- Bound result 8958
676
- Bound result 9999
677
- Bound result 9900000000041642268223
765
+ Bound result 6914264337593535947488
678
766
  Bound result 100000000000000000000
679
- Bound result 6241
680
- Bound result 10
681
- Bound result 31147600888132
682
- Bound result 210968819
683
- Bound result 6002
684
- Bound result 5
685
- Bound result 15775181346105165161912
686
- Bound result 826984041511484
687
- Bound result 811
688
- Bound result 9900000000003689055019
689
- Bound result 9900000000003796991296
690
- Bound result 566
691
- Bound result 1004
692
- Bound result 1587
693
- Bound result 9900000000000000005690
694
- Bound result 9900000000000000006853
695
- Bound result 23
696
- Bound result 9888
697
- Bound result 10285
698
- Bound result 10312
767
+ Bound result 6242
768
+ Bound result 9996
769
+ Bound result 8885162886515083703497
770
+ Bound result 3695152416
771
+ Bound result 0
772
+ Bound result 2
773
+ Bound result 9900000000000000010284
774
+ Bound result 9900000000000000000517
775
+ Bound result 590
776
+ Bound result 1291
777
+ Bound result 942308
778
+ Bound result 30196575466447
779
+ Bound result 1
780
+ Bound result 1433898603789133518
781
+ Bound result 2189
782
+ Bound result 766
783
+ Bound result 1311270510412975
784
+ Bound result 0
785
+ Bound result 308
699
786
 
700
787
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
701
788
 
702
789
  ╭-----------------------------------+---------------------+-------+---------+----------╮
703
790
  | Contract | Selector | Calls | Reverts | Discards |
704
791
  +======================================================================================+
705
- | RateLimiterRBACUpgradeableHandler | inflow | 603 | 0 | 0 |
792
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
706
793
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | outflow | 487 | 0 | 0 |
794
+ | RateLimiterRBACUpgradeableHandler | outflow | 499 | 0 | 0 |
708
795
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
710
797
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
798
+ | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
712
799
  |-----------------------------------+---------------------+-------+---------+----------|
713
800
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
714
801
  |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
802
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
716
803
  |-----------------------------------+---------------------+-------+---------+----------|
717
- | RateLimiterRBACUpgradeableHandler | warp | 510 | 0 | 0 |
804
+ | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
718
805
  ╰-----------------------------------+---------------------+-------+---------+----------╯
719
806
 
720
807
  Logs:
721
- Bound result 1889
722
- Bound result 9900000000000000000165
723
- Bound result 100000000000000000002
724
- Bound result 166
725
- Bound result 5775
726
- Bound result 126001497455170971036
727
- Bound result 37321
728
- Bound result 9900000000000000003931
729
- Bound result 5083937887562345968612
730
- Bound result 8924
731
- Bound result 6112
732
- Bound result 1894
733
- Bound result 1307031099
734
- Bound result 9900000000000000008144
735
- Bound result 9900000000001263864545
736
- Bound result 1122
737
- Bound result 1576
738
- Bound result 2991
739
- Bound result 9900000000000000002103
740
- Bound result 9900000000000000009704
741
- Bound result 7402
742
- Bound result 3642
743
- Bound result 9924
808
+ Bound result 9900000000000000006078
809
+ Bound result 9900000000001263864543
810
+ Bound result 1349
811
+ Bound result 5348
812
+ Bound result 3819
813
+ Bound result 8149
814
+ Bound result 155
815
+ Bound result 9789
816
+ Bound result 1
817
+ Bound result 6874
818
+ Bound result 53881663
819
+ Bound result 49059
820
+ Bound result 3888
821
+ Bound result 6914264337544902664500
822
+ Bound result 951
823
+ Bound result 934
744
824
 
745
825
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
746
826
 
747
827
  ╭-----------------------------------+---------------------+-------+---------+----------╮
748
828
  | Contract | Selector | Calls | Reverts | Discards |
749
829
  +======================================================================================+
750
- | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | inflow | 505 | 0 | 0 |
751
831
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
832
+ | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
753
833
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
755
835
  |-----------------------------------+---------------------+-------+---------+----------|
756
- | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
757
837
  |-----------------------------------+---------------------+-------+---------+----------|
758
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
759
839
  |-----------------------------------+---------------------+-------+---------+----------|
760
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
761
841
  |-----------------------------------+---------------------+-------+---------+----------|
762
- | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
763
843
  ╰-----------------------------------+---------------------+-------+---------+----------╯
764
844
 
765
845
  Logs:
766
- Bound result 514264337593543950335
767
- Bound result 434
768
- Bound result 3
769
- Bound result 158071627093403
770
- Bound result 20
771
- Bound result 1684
772
- Bound result 514264337593543950334
773
- Bound result 1477
774
- Bound result 9677629563385959
775
- Bound result 71653997732301
776
- Bound result 497
777
- Bound result 45093940
778
- Bound result 198506145256530980
779
- Bound result 530
780
- Bound result 1
781
- Bound result 8727
782
- Bound result 523433401375661689601
846
+ Bound result 1052
847
+ Bound result 1699915097630
848
+ Bound result 1809609504639539553973
849
+ Bound result 1314527689600155736
850
+ Bound result 28
851
+ Bound result 19
852
+ Bound result 6396
853
+ Bound result 1483
854
+ Bound result 2067408715435015872111
855
+ Bound result 9900000000000000098902
856
+ Bound result 16
857
+ Bound result 1008
858
+ Bound result 1005
859
+ Bound result 831
860
+ Bound result 4782588997790494
861
+ Bound result 9900000000011074433265
862
+ Bound result 100000000000000000001
863
+ Bound result 3531
864
+ Bound result 2118
865
+ Bound result 8132
866
+ Bound result 800627395
867
+
868
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.66s (10.02s CPU time)
783
869
 
784
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.36s (8.73s CPU time)
870
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
871
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
872
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
873
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47716, ~: 48966)
874
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
875
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
876
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
877
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
878
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
879
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
880
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
881
+ [PASS] test_getFee_Default() (gas: 43108)
882
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45535, ~: 47017)
883
+ [PASS] test_getFee_Rounding() (gas: 45449)
884
+ [PASS] test_getFee_Specific() (gas: 66985)
885
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
886
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
887
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35435, ~: 42268)
888
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
889
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
890
+ [PASS] test_setFeeBps() (gas: 77237)
891
+ Logs:
892
+ Bound result 500
785
893
 
786
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
787
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25208, ~: 12763)
788
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
789
- [PASS] test_assertNotPaused_Success() (gas: 12516)
790
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
791
- [PASS] test_isPaused_InitialState() (gas: 15595)
792
- [PASS] test_pause() (gas: 39592)
793
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
794
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
795
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
796
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
797
- [PASS] test_storageHash() (gas: 3414)
798
- [PASS] test_unpause() (gas: 31115)
799
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40713, ~: 39155)
800
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
801
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
802
- [PASS] test_whenNotPaused_Success() (gas: 38930)
803
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
804
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
805
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
806
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.53s (182.11ms CPU time)
894
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68458, ~: 77570)
895
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
896
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
897
+ [PASS] test_storageHash() (gas: 3436)
898
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.73s (428.71ms CPU time)
807
899
 
808
900
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
809
901
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -811,434 +903,412 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
811
903
  ╭-----------------------------------+---------------------+-------+---------+----------╮
812
904
  | Contract | Selector | Calls | Reverts | Discards |
813
905
  +======================================================================================+
814
- | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
906
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
815
907
  |-----------------------------------+---------------------+-------+---------+----------|
816
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
817
909
  |-----------------------------------+---------------------+-------+---------+----------|
818
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
819
911
  |-----------------------------------+---------------------+-------+---------+----------|
820
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
821
913
  |-----------------------------------+---------------------+-------+---------+----------|
822
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 569 | 0 | 0 |
823
915
  |-----------------------------------+---------------------+-------+---------+----------|
824
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
825
917
  |-----------------------------------+---------------------+-------+---------+----------|
826
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
827
919
  ╰-----------------------------------+---------------------+-------+---------+----------╯
828
920
 
829
921
  Logs:
830
- Bound result 46647
831
- Bound result 360459320890115868480
832
- Bound result 9900029671688840852750
833
- Bound result 5583
834
- Bound result 18
835
- Bound result 9900757531943769654143
836
- Bound result 9900001939643901365667
837
- Bound result 344
838
- Bound result 465
839
- Bound result 10645
840
- Bound result 11191600658700526724719
841
- Bound result 86580543531556
842
- Bound result 9900757531943769654143
843
- Bound result 1618733760
844
- Bound result 4147918859299493663445
845
- Bound result 1253786026000873936947
922
+ Bound result 3705889412816
923
+ Bound result 300
924
+ Bound result 13301085
925
+ Bound result 205575640828662096338
926
+ Bound result 245796848408628627166
927
+ Bound result 6101
928
+ Bound result 26
929
+ Bound result 5807
930
+ Bound result 26
931
+ Bound result 111
932
+ Bound result 1212
933
+ Bound result 16776782
846
934
  Bound result 0
847
- Bound result 7986
848
- Bound result 1763627
849
- Bound result 18206401802793762
935
+ Bound result 10479054162049
850
936
  Bound result 0
851
- Bound result 1066907510158752227348
852
- Bound result 6914264337593535947490
853
- Bound result 12
854
- Bound result 4398
855
- Bound result 7057
937
+ Bound result 1493
938
+ Bound result 2675
939
+ Bound result 2093
940
+ Bound result 368
856
941
 
857
942
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
858
943
 
859
944
  ╭-----------------------------------+---------------------+-------+---------+----------╮
860
945
  | Contract | Selector | Calls | Reverts | Discards |
861
946
  +======================================================================================+
862
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
947
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
863
948
  |-----------------------------------+---------------------+-------+---------+----------|
864
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
949
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
865
950
  |-----------------------------------+---------------------+-------+---------+----------|
866
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
951
+ | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
867
952
  |-----------------------------------+---------------------+-------+---------+----------|
868
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
953
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
869
954
  |-----------------------------------+---------------------+-------+---------+----------|
870
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
871
956
  |-----------------------------------+---------------------+-------+---------+----------|
872
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
873
958
  |-----------------------------------+---------------------+-------+---------+----------|
874
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
959
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
875
960
  ╰-----------------------------------+---------------------+-------+---------+----------╯
876
961
 
877
962
  Logs:
878
- Bound result 1006
879
- Bound result 780
880
- Bound result 2003375881112529310
881
- Bound result 1819729935479965507365
882
- Bound result 504
883
- Bound result 3
884
- Bound result 1
885
- Bound result 900686989187468938738
963
+ Bound result 9900000000000000009891
964
+ Bound result 9900000000000000001819
965
+ Bound result 545
966
+ Bound result 508
967
+ Bound result 5238207093688483408819
968
+ Bound result 100000000000000000003
969
+ Bound result 2639
970
+ Bound result 6558
971
+ Bound result 2945
972
+ Bound result 14193452550803284343
973
+ Bound result 464195773601796043
974
+ Bound result 10500
975
+ Bound result 802525242547
976
+ Bound result 137
977
+ Bound result 79105
978
+ Bound result 9900000096640739275398
979
+ Bound result 9900000000000358429874
980
+ Bound result 316
981
+ Bound result 489
982
+ Bound result 8924
983
+ Bound result 81
886
984
 
887
985
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
888
986
 
889
987
  ╭-----------------------------------+---------------------+-------+---------+----------╮
890
988
  | Contract | Selector | Calls | Reverts | Discards |
891
989
  +======================================================================================+
892
- | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
893
991
  |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | outflow | 593 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
895
993
  |-----------------------------------+---------------------+-------+---------+----------|
896
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
897
995
  |-----------------------------------+---------------------+-------+---------+----------|
898
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
996
+ | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
899
997
  |-----------------------------------+---------------------+-------+---------+----------|
900
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 609 | 0 | 0 |
901
999
  |-----------------------------------+---------------------+-------+---------+----------|
902
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
903
1001
  |-----------------------------------+---------------------+-------+---------+----------|
904
- | RateLimiterRBACUpgradeableHandler | warp | 497 | 0 | 0 |
1002
+ | RateLimiterRBACUpgradeableHandler | warp | 585 | 0 | 0 |
905
1003
  ╰-----------------------------------+---------------------+-------+---------+----------╯
906
1004
 
907
1005
  Logs:
908
- Bound result 9900000000000000002908
909
- Bound result 9900000000000000010948
910
- Bound result 8795
911
- Bound result 8801
912
- Bound result 9900000000000000000223
913
- Bound result 9900000000000000001586
914
- Bound result 6051
915
- Bound result 7151
916
- Bound result 7063
917
- Bound result 635
918
- Bound result 1
919
- Bound result 126513849
920
- Bound result 10
921
- Bound result 7796
922
- Bound result 5856
923
- Bound result 1982
924
- Bound result 4513327282563986734
925
- Bound result 10645
926
- Bound result 10469
927
- Bound result 140
1006
+ Bound result 359460779786799174313
1007
+ Bound result 6661761361131266467556
1008
+ Bound result 218
928
1009
  Bound result 266
929
- Bound result 6361
930
- Bound result 15871563965
1010
+ Bound result 2
1011
+ Bound result 9213
1012
+ Bound result 129
1013
+ Bound result 9900000000379411867454
1014
+ Bound result 4100168519963057415778
1015
+ Bound result 651
1016
+ Bound result 10
1017
+ Bound result 407
1018
+ Bound result 3856056066
1019
+ Bound result 0
1020
+ Bound result 1955
1021
+ Bound result 1271164073815130
1022
+ Bound result 385416002
1023
+ Bound result 1
1024
+ Bound result 7330
1025
+ Bound result 9900000000002719481311
1026
+ Bound result 6697854339302607069824
1027
+ Bound result 615
1028
+ Bound result 301
931
1029
 
932
1030
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
933
1031
 
934
1032
  ╭-----------------------------------+---------------------+-------+---------+----------╮
935
1033
  | Contract | Selector | Calls | Reverts | Discards |
936
1034
  +======================================================================================+
937
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
1035
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
938
1036
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1037
+ | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
940
1038
  |-----------------------------------+---------------------+-------+---------+----------|
941
- | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
1039
+ | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
942
1040
  |-----------------------------------+---------------------+-------+---------+----------|
943
- | RateLimiterRBACUpgradeableHandler | setState | 583 | 0 | 0 |
1041
+ | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
944
1042
  |-----------------------------------+---------------------+-------+---------+----------|
945
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
1043
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 492 | 0 | 0 |
946
1044
  |-----------------------------------+---------------------+-------+---------+----------|
947
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 518 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
948
1046
  |-----------------------------------+---------------------+-------+---------+----------|
949
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
950
1048
  ╰-----------------------------------+---------------------+-------+---------+----------╯
951
1049
 
952
1050
  Logs:
953
- Bound result 9900001121344581979789
954
- Bound result 9900000000020123444211
955
- Bound result 62
956
- Bound result 13
957
- Bound result 2130906141702938992
1051
+ Bound result 7761381
1052
+ Bound result 1900636112487811209680
1053
+ Bound result 5137
1054
+ Bound result 1
1055
+ Bound result 9900000000000000010398
1056
+ Bound result 9900000000000000000137
1057
+ Bound result 1030
1058
+ Bound result 7902
958
1059
  Bound result 3
959
- Bound result 1304
960
- Bound result 18846437335942910876264
961
- Bound result 8307
962
- Bound result 731
963
- Bound result 0
964
- Bound result 9900000051573452485596
965
- Bound result 9900411334092934843586
966
- Bound result 3656
967
- Bound result 8524
968
- Bound result 725
969
- Bound result 8077207562
970
- Bound result 10178
971
- Bound result 9103576753121436200016
972
- Bound result 9905709892656256682139
973
- Bound result 1313
974
- Bound result 3891
975
- Bound result 273724534291008394700
1060
+ Bound result 1367382036005220683490
1061
+ Bound result 62799733
1062
+ Bound result 1
1063
+ Bound result 9900000000000000000250
1064
+ Bound result 9900000000000000008049
1065
+ Bound result 553
1066
+ Bound result 7885
1067
+ Bound result 4116
1068
+ Bound result 9900000000000000009851
1069
+ Bound result 9900000000000000009736
1070
+ Bound result 3996
1071
+ Bound result 7624
1072
+ Bound result 9900000007719607212233
1073
+ Bound result 100000000000000000002
1074
+ Bound result 424
1075
+ Bound result 13
1076
+ Bound result 453
1077
+ Bound result 780
976
1078
 
977
1079
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
978
1080
 
979
1081
  ╭-----------------------------------+---------------------+-------+---------+----------╮
980
1082
  | Contract | Selector | Calls | Reverts | Discards |
981
1083
  +======================================================================================+
982
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
1084
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
983
1085
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
1086
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
985
1087
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
1088
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
987
1089
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1090
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
989
1091
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1092
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
991
1093
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 496 | 0 | 0 |
1094
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
993
1095
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | warp | 591 | 0 | 0 |
1096
+ | RateLimiterRBACUpgradeableHandler | warp | 511 | 0 | 0 |
995
1097
  ╰-----------------------------------+---------------------+-------+---------+----------╯
996
1098
 
997
1099
  Logs:
998
- Bound result 1451642670479447367823
999
- Bound result 160
1000
- Bound result 1676
1001
- Bound result 183813924518321735816
1002
- Bound result 9900000000000000006891
1003
- Bound result 55
1004
- Bound result 9996
1005
- Bound result 642
1006
- Bound result 346306110787391611985
1007
- Bound result 2012965625220
1008
- Bound result 6493756330965100506
1009
- Bound result 518914804
1100
+ Bound result 698402883142699256494
1101
+ Bound result 1
1102
+ Bound result 664
1103
+ Bound result 12
1010
1104
  Bound result 1
1011
- Bound result 5
1105
+ Bound result 290
1106
+ Bound result 1976
1107
+ Bound result 650945005910909914344
1108
+ Bound result 664342333814183324530
1109
+ Bound result 3
1110
+ Bound result 9900000000000000001326
1111
+ Bound result 9900000000000000007071
1112
+ Bound result 5741
1113
+ Bound result 752
1114
+ Bound result 6563004161581751608524
1012
1115
 
1013
1116
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1014
1117
 
1015
1118
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1016
1119
  | Contract | Selector | Calls | Reverts | Discards |
1017
1120
  +======================================================================================+
1018
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
1121
+ | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
1019
1122
  |-----------------------------------+---------------------+-------+---------+----------|
1020
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
1123
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
1021
1124
  |-----------------------------------+---------------------+-------+---------+----------|
1022
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1125
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
1023
1126
  |-----------------------------------+---------------------+-------+---------+----------|
1024
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
1127
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1025
1128
  |-----------------------------------+---------------------+-------+---------+----------|
1026
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
1129
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
1027
1130
  |-----------------------------------+---------------------+-------+---------+----------|
1028
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1131
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
1029
1132
  |-----------------------------------+---------------------+-------+---------+----------|
1030
- | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
1133
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1031
1134
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1032
1135
 
1033
1136
  Logs:
1034
- Bound result 1097
1035
- Bound result 10358
1036
- Bound result 3644407703
1037
- Bound result 75
1038
- Bound result 24126
1039
- Bound result 31960593
1040
- Bound result 9900000000000000000022
1041
- Bound result 7234607919185110061679
1042
- Bound result 6702
1043
- Bound result 1687
1044
- Bound result 11969483808328121145598
1045
- Bound result 6914264337593363886342
1046
- Bound result 43468756631303973
1047
- Bound result 363
1048
- Bound result 79
1049
- Bound result 12491728045948010454678
1050
- Bound result 526
1051
- Bound result 8653
1052
- Bound result 9900000000003711257500
1053
- Bound result 9900000003699969945273
1054
- Bound result 2501
1055
- Bound result 2374
1056
- Bound result 1
1137
+ Bound result 9900000000000000004721
1138
+ Bound result 9900000000000000003464
1139
+ Bound result 6046
1140
+ Bound result 9944
1141
+ Bound result 322522876908
1142
+ Bound result 7682144
1143
+ Bound result 352
1144
+ Bound result 16666191081172561784566
1145
+ Bound result 6914264337565822098718
1146
+ Bound result 8737
1147
+ Bound result 9900002450189686404757
1148
+ Bound result 9901987831695856671178
1149
+ Bound result 5063
1150
+ Bound result 1916
1151
+ Bound result 14134913023711
1152
+ Bound result 12888483068107
1153
+ Bound result 3
1154
+ Bound result 34352222350168952964
1155
+ Bound result 16212053650930577783
1057
1156
 
1058
1157
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1059
1158
 
1060
1159
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1061
1160
  | Contract | Selector | Calls | Reverts | Discards |
1062
1161
  +======================================================================================+
1063
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1162
+ | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
1064
1163
  |-----------------------------------+---------------------+-------+---------+----------|
1065
- | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1164
+ | RateLimiterRBACUpgradeableHandler | outflow | 490 | 0 | 0 |
1066
1165
  |-----------------------------------+---------------------+-------+---------+----------|
1067
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1166
+ | RateLimiterRBACUpgradeableHandler | setConfig | 601 | 0 | 0 |
1068
1167
  |-----------------------------------+---------------------+-------+---------+----------|
1069
- | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
1168
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
1070
1169
  |-----------------------------------+---------------------+-------+---------+----------|
1071
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
1170
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1072
1171
  |-----------------------------------+---------------------+-------+---------+----------|
1073
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 571 | 0 | 0 |
1172
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
1074
1173
  |-----------------------------------+---------------------+-------+---------+----------|
1075
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1174
+ | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
1076
1175
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1077
1176
 
1078
1177
  Logs:
1079
- Bound result 8361798740
1080
- Bound result 1339178633527364017425
1081
- Bound result 1
1082
- Bound result 3737
1083
- Bound result 9911668819574802234833
1084
- Bound result 9900000000000022892731
1085
- Bound result 6771
1086
- Bound result 7169
1087
- Bound result 4512
1088
- Bound result 15695808985538265366831
1089
- Bound result 2498146231229311554693
1090
- Bound result 394325683086357774966
1091
- Bound result 4283
1092
- Bound result 9900000000000000003194
1093
- Bound result 9900000000003856056066
1094
- Bound result 6242
1095
- Bound result 6093
1096
- Bound result 8484
1178
+ Bound result 9900219041556389095777
1179
+ Bound result 100000000000000000000
1180
+ Bound result 28
1181
+ Bound result 6909
1182
+ Bound result 2304574767635451153
1183
+ Bound result 14112896150388432
1184
+ Bound result 0
1185
+ Bound result 5152
1186
+ Bound result 8183
1097
1187
  Bound result 1
1098
- Bound result 4892
1099
1188
 
1100
1189
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1101
1190
 
1102
1191
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1103
1192
  | Contract | Selector | Calls | Reverts | Discards |
1104
1193
  +======================================================================================+
1105
- | RateLimiterRBACUpgradeableHandler | inflow | 510 | 0 | 0 |
1194
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1106
1195
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | outflow | 598 | 0 | 0 |
1196
+ | RateLimiterRBACUpgradeableHandler | outflow | 484 | 0 | 0 |
1108
1197
  |-----------------------------------+---------------------+-------+---------+----------|
1109
- | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1198
+ | RateLimiterRBACUpgradeableHandler | setConfig | 516 | 0 | 0 |
1110
1199
  |-----------------------------------+---------------------+-------+---------+----------|
1111
- | RateLimiterRBACUpgradeableHandler | setState | 505 | 0 | 0 |
1200
+ | RateLimiterRBACUpgradeableHandler | setState | 627 | 0 | 0 |
1112
1201
  |-----------------------------------+---------------------+-------+---------+----------|
1113
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 567 | 0 | 0 |
1202
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
1114
1203
  |-----------------------------------+---------------------+-------+---------+----------|
1115
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
1204
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1116
1205
  |-----------------------------------+---------------------+-------+---------+----------|
1117
- | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
1206
+ | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
1118
1207
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1119
1208
 
1120
1209
  Logs:
1121
- Bound result 33960
1210
+ Bound result 3
1211
+ Bound result 810049336030723589793
1212
+ Bound result 1
1213
+ Bound result 1875809624070006700812
1214
+ Bound result 4
1215
+ Bound result 545
1216
+ Bound result 493
1217
+ Bound result 612
1218
+ Bound result 1214
1219
+ Bound result 5578
1220
+ Bound result 5689
1221
+ Bound result 635
1222
+ Bound result 1796
1122
1223
  Bound result 1
1123
- Bound result 0
1124
- Bound result 9900000025754975164923
1125
- Bound result 5356323746120361473672
1126
- Bound result 1028
1127
- Bound result 4496
1128
- Bound result 9900294965006506533355
1129
- Bound result 9900000003247617241918
1130
- Bound result 6241
1131
- Bound result 9996
1132
- Bound result 82
1133
- Bound result 9900000000000000007261
1134
- Bound result 9900000000000000006162
1135
- Bound result 4896
1136
- Bound result 2138
1137
- Bound result 3740
1138
- Bound result 3222002978
1139
- Bound result 7040
1140
- Bound result 517471313600096
1141
- Bound result 9660
1142
-
1143
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.53s (9.63s CPU time)
1144
-
1145
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1146
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1147
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1148
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47518, ~: 48966)
1149
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1150
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1151
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1152
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1153
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1154
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1155
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1156
- [PASS] test_getFee_Default() (gas: 43108)
1157
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45719, ~: 47017)
1158
- [PASS] test_getFee_Rounding() (gas: 45449)
1159
- [PASS] test_getFee_Specific() (gas: 66985)
1160
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1161
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1162
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34963, ~: 42268)
1163
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1164
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
1165
- [PASS] test_setFeeBps() (gas: 77237)
1166
- Logs:
1167
- Bound result 500
1168
1224
 
1169
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68242, ~: 77570)
1170
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1171
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
1172
- [PASS] test_storageHash() (gas: 3436)
1173
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.51s (386.78ms CPU time)
1225
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.76s (10.40s CPU time)
1174
1226
 
1175
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1176
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1177
- [PASS] test_constructor_InitialMode() (gas: 15778)
1178
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1179
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1180
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1181
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1182
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1183
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1184
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1185
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1186
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1187
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1188
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1189
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1190
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1191
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1192
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
1193
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1194
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1195
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1196
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1197
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
1198
- [PASS] test_setMode_Blacklist() (gas: 42605)
1199
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1200
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1201
- [PASS] test_setMode_Whitelist() (gas: 42714)
1202
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1203
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1204
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1205
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1206
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
1207
- [PASS] test_storageHash() (gas: 3480)
1208
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 10.51s (511.18ms CPU time)
1227
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1228
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1229
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1230
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1231
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1232
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1233
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1234
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1235
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1236
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1237
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1238
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1239
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
1240
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1241
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1242
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1243
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1244
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1245
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1246
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1247
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1248
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1249
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1250
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1251
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1252
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1253
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1254
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1255
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1256
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1257
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1258
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1259
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1260
+ [PASS] test_storageHash() (gas: 3380)
1261
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.76s (356.78ms CPU time)
1209
1262
 
1210
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1211
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1212
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1213
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44977, ~: 46317)
1214
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1215
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1216
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1217
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1218
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1219
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1220
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1221
- [PASS] test_getFee_Default() (gas: 40577)
1222
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43174, ~: 44486)
1223
- [PASS] test_getFee_Rounding() (gas: 42835)
1224
- [PASS] test_getFee_Specific() (gas: 63968)
1225
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1226
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1227
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32512, ~: 39667)
1228
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1229
- [PASS] test_setFeeBps() (gas: 73871)
1230
- Logs:
1231
- Bound result 500
1263
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1264
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1265
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1266
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1267
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1268
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3388)
1269
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1270
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1271
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1272
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1273
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1274
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.62s (49.51ms CPU time)
1232
1275
 
1233
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65712, ~: 74224)
1234
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1235
- [PASS] test_storageHash() (gas: 3426)
1236
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.51s (405.06ms CPU time)
1276
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1277
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1278
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1279
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1280
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1281
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1282
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1283
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1284
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1285
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1286
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1287
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1288
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1289
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1290
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1291
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1292
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1293
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1294
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1295
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1296
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1297
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1298
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1299
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1300
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1301
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1302
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1303
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1304
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1305
+ [PASS] test_storageHash() (gas: 3458)
1306
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.62s (492.83ms CPU time)
1237
1307
 
1238
1308
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1239
1309
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1240
1310
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1241
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 776769, ~: 257260)
1311
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 768180, ~: 163648)
1242
1312
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1243
1313
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1244
1314
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1251,12 +1321,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1251
1321
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1252
1322
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1253
1323
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1254
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11157798, ~: 10385085)
1324
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11174279, ~: 10429988)
1255
1325
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1256
1326
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1257
1327
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1258
1328
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1259
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 722726, ~: 106989)
1329
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 727436, ~: 116338)
1260
1330
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1261
1331
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1262
1332
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1269,10 +1339,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1269
1339
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1270
1340
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1271
1341
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1272
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178638, ~: 10460962)
1342
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11121193, ~: 10359797)
1273
1343
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1274
1344
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1275
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.51s (24.97s CPU time)
1345
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.91s (28.37s CPU time)
1276
1346
 
1277
- Ran 17 test suites in 10.54s (50.98s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1278
- ⏳ forge test: 23.561s
1347
+ Ran 17 test suites in 11.93s (46.92s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1348
+ ⏳ forge test: 26.495s