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

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 +726 -809
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,94 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using mini workspace: /tmp/lz-mini-workspace-8tcxvO
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-Nd1qjo
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:85956) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:180370) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-mini-workspace-8tcxvO:/workspace
15
+ -v /tmp/lz-mini-workspace-Nd1qjo:/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
- 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
- 8e167e77288f: Pulling fs layer
31
- 45d43cc973ba: Pulling fs layer
32
- 44c09156221f: Pulling fs layer
33
- f2fb700979ad: Pulling fs layer
34
- 2a1ced882ba9: Pulling fs layer
35
- 597168d5c38e: Pulling fs layer
36
- e431adaf232f: Pulling fs layer
37
- 36e15e3f2788: Pulling fs layer
38
- 36e15e3f2788: Waiting
39
- 885bca26f927: Waiting
40
- eef7c391911c: Download complete
41
- 5760fdd70374: Download complete
42
- c70db14240a1: Download complete
43
- f2fb700979ad: Waiting
44
- 597168d5c38e: Waiting
45
- 8e167e77288f: Waiting
46
- 2a1ced882ba9: Waiting
47
- 45d43cc973ba: Waiting
48
- 44c09156221f: Waiting
49
- e431adaf232f: Waiting
50
- 86ec798129ac: Download complete
51
- cc2ecf4065b7: Verifying Checksum
52
- cc2ecf4065b7: Download complete
53
- 8e167e77288f: Verifying Checksum
54
- 8e167e77288f: Download complete
55
- 45d43cc973ba: Verifying Checksum
56
- 45d43cc973ba: Download complete
57
- 44c09156221f: Verifying Checksum
58
- 44c09156221f: Download complete
59
- f2fb700979ad: Verifying Checksum
60
- f2fb700979ad: Download complete
61
- 0cb2c6965bde: Verifying Checksum
62
- 0cb2c6965bde: Download complete
63
- 597168d5c38e: Download complete
64
- 86ec798129ac: Pull complete
65
- eef7c391911c: Pull complete
66
- 2a1ced882ba9: Verifying Checksum
67
- 2a1ced882ba9: Download complete
68
- cc2ecf4065b7: Pull complete
69
- 36e15e3f2788: Verifying Checksum
70
- 36e15e3f2788: Download complete
71
- 5760fdd70374: Pull complete
72
- c70db14240a1: Pull complete
73
- 0cb2c6965bde: Pull complete
74
- e431adaf232f: Verifying Checksum
75
- e431adaf232f: Download complete
76
- 885bca26f927: Verifying Checksum
77
- 885bca26f927: Download complete
78
- 885bca26f927: Pull complete
79
- 8e167e77288f: Pull complete
80
- 45d43cc973ba: Pull complete
81
- 44c09156221f: Pull complete
82
- f2fb700979ad: Pull complete
83
- 2a1ced882ba9: Pull complete
84
- 597168d5c38e: Pull complete
85
- e431adaf232f: Pull complete
86
- 36e15e3f2788: Pull complete
87
- Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
88
- Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
89
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
90
- ✅ Successfully pulled: 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)
91
20
  👤 Running container as UID:GID 1001:1001
92
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-8tcxvO:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-Nd1qjo:/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
93
22
  Compiling 84 files with Solc 0.8.22
94
- Solc 0.8.22 finished in 10.87s
23
+ Solc 0.8.22 finished in 11.90s
95
24
  Compiler run successful with warnings:
96
25
  Warning (2018): Function state mutability can be restricted to view
97
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -255,7 +184,67 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
255
184
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
256
185
  [PASS] test_storageHash() (gas: 3392)
257
186
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
258
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 8.25ms (8.47ms CPU time)
187
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 23.18ms (16.00ms CPU time)
188
+
189
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
190
+ [PASS] test_feeDeposit() (gas: 17638)
191
+ [PASS] test_setFeeDeposit() (gas: 27596)
192
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
193
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
194
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
195
+ [PASS] test_storageHash() (gas: 3315)
196
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 52.20ms (51.48ms CPU time)
197
+
198
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
199
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
200
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
201
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
202
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
203
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
204
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
205
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
206
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
207
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
208
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
209
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 49.68ms (49.49ms CPU time)
210
+
211
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
212
+ [PASS] test_feeDeposit() (gas: 17576)
213
+ [PASS] test_setFeeDeposit() (gas: 24995)
214
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
215
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
216
+ [PASS] test_storageHash() (gas: 3337)
217
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 231.59ms (59.63ms CPU time)
218
+
219
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
220
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27221, ~: 41090)
221
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
222
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
223
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
224
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
225
+ [PASS] test_isPaused_InitialState() (gas: 15629)
226
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
227
+ [PASS] test_multipleRoleGrants() (gas: 394130)
228
+ [PASS] test_pause() (gas: 42109)
229
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
230
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
231
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30590, ~: 42378)
232
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
233
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
234
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
235
+ [PASS] test_setPaused_Success() (gas: 40691)
236
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
237
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
238
+ [PASS] test_storageHash() (gas: 3414)
239
+ [PASS] test_unpause() (gas: 35177)
240
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41849, ~: 44479)
241
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
242
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
243
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
244
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
245
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
246
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
247
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.05s (350.62ms CPU time)
259
248
 
260
249
  Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
261
250
  [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
@@ -293,130 +282,12 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
293
282
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
294
283
  [PASS] test_storageHash() (gas: 3414)
295
284
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
296
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 16.92ms (14.14ms CPU time)
297
-
298
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
299
- [PASS] test_feeDeposit() (gas: 17576)
300
- [PASS] test_setFeeDeposit() (gas: 24995)
301
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
302
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
303
- [PASS] test_storageHash() (gas: 3337)
304
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 41.87ms (41.06ms CPU time)
305
-
306
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
307
- [PASS] test_feeDeposit() (gas: 17638)
308
- [PASS] test_setFeeDeposit() (gas: 27596)
309
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
310
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
311
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
312
- [PASS] test_storageHash() (gas: 3315)
313
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 46.36ms (45.69ms CPU time)
314
-
315
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
316
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
317
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
318
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
319
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
320
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
321
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
322
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
323
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
324
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
325
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
326
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
327
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
328
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
329
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
330
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
331
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
332
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
333
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
334
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
335
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
336
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
337
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
338
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
339
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
340
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
341
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
342
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
343
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
344
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
345
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
346
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
347
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
348
- [PASS] test_storageHash() (gas: 3380)
349
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 260.37ms (282.92ms CPU time)
350
-
351
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
352
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
353
- [PASS] test_constructor_InitialMode() (gas: 15778)
354
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
355
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
356
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
357
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
358
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
359
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
360
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
361
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
362
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
363
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
364
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
365
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
366
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
367
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
368
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
369
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
370
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
371
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
372
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
373
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
374
- [PASS] test_setMode_Blacklist() (gas: 42605)
375
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
376
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
377
- [PASS] test_setMode_Whitelist() (gas: 42714)
378
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
379
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
380
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
381
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
382
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
383
- [PASS] test_storageHash() (gas: 3480)
384
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 384.38ms (396.60ms CPU time)
385
-
386
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
387
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26485, ~: 12786)
388
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
389
- [PASS] test_assertNotPaused_Success() (gas: 12539)
390
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
391
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
392
- [PASS] test_isPaused_InitialState() (gas: 15629)
393
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
394
- [PASS] test_multipleRoleGrants() (gas: 394130)
395
- [PASS] test_pause() (gas: 42109)
396
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
397
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
398
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31417, ~: 42378)
399
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
400
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
401
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
402
- [PASS] test_setPaused_Success() (gas: 40691)
403
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
404
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
405
- [PASS] test_storageHash() (gas: 3414)
406
- [PASS] test_unpause() (gas: 35177)
407
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
408
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
409
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
410
- [PASS] test_whenNotPaused_Success() (gas: 38800)
411
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
412
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
413
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
414
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.35s (192.52ms CPU time)
285
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 1.06s (9.60ms CPU time)
415
286
 
416
287
  Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
417
288
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
418
289
  [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
419
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47646, ~: 48966)
290
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47557, ~: 48966)
420
291
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
421
292
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
422
293
  [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
@@ -425,775 +296,883 @@ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTes
425
296
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
426
297
  [PASS] test_getFee_BoundaryConditions() (gas: 75442)
427
298
  [PASS] test_getFee_Default() (gas: 43108)
428
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45353, ~: 47017)
299
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45468, ~: 47017)
429
300
  [PASS] test_getFee_Rounding() (gas: 45449)
430
301
  [PASS] test_getFee_Specific() (gas: 66985)
431
302
  [PASS] test_getFee_SpecificDisabled() (gas: 66943)
432
303
  [PASS] test_setDefaultFeeBps() (gas: 42199)
433
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34826, ~: 42268)
304
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35177, ~: 42268)
434
305
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
435
306
  [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
436
307
  [PASS] test_setFeeBps() (gas: 77237)
437
308
  Logs:
438
309
  Bound result 500
439
310
 
440
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68638, ~: 77570)
311
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69020, ~: 77570)
441
312
  [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
442
313
  [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
443
314
  [PASS] test_storageHash() (gas: 3436)
444
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.44s (393.01ms CPU time)
315
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.06s (437.75ms CPU time)
445
316
 
446
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
447
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
448
- [PASS] test_constructor_InitialMode() (gas: 15578)
449
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
450
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
451
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
452
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
453
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
454
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
455
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
456
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
457
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
458
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
459
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
460
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
461
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
462
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
463
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
464
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
465
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
466
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
467
- [PASS] test_setMode_Blacklist() (gas: 40021)
468
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
469
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
470
- [PASS] test_setMode_Whitelist() (gas: 40108)
471
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
472
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
473
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
474
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
475
- [PASS] test_storageHash() (gas: 3458)
476
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.91s (443.13ms CPU time)
317
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
318
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
319
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
320
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
321
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
322
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
323
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
324
+ [PASS] test_isPaused_Default() (gas: 44698)
325
+ [PASS] test_isPaused_InitialState() (gas: 22070)
326
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
327
+ [PASS] test_isPaused_Override() (gas: 69381)
328
+ [PASS] test_isPaused_Specific() (gas: 46709)
329
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
330
+ [PASS] test_pauseConfig() (gas: 45626)
331
+ [PASS] test_setDefaultPaused() (gas: 39667)
332
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28242, ~: 39918)
333
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
334
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
335
+ [PASS] test_setPaused() (gas: 43060)
336
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
337
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38716, ~: 43373)
338
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
339
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
340
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
341
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58773, ~: 69608)
342
+ [PASS] test_storageHash() (gas: 3480)
343
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
344
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
345
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
346
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
347
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
348
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
349
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.12s (461.30ms CPU time)
477
350
 
478
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
351
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
479
352
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
480
353
 
481
354
  ╭-----------------------------------+---------------------+-------+---------+----------╮
482
355
  | Contract | Selector | Calls | Reverts | Discards |
483
356
  +======================================================================================+
484
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
357
+ | RateLimiterRBACUpgradeableHandler | inflow | 489 | 0 | 0 |
485
358
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | outflow | 575 | 0 | 0 |
359
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
487
360
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
361
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
489
362
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
363
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
491
364
  |-----------------------------------+---------------------+-------+---------+----------|
492
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 583 | 0 | 0 |
365
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
493
366
  |-----------------------------------+---------------------+-------+---------+----------|
494
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
367
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
495
368
  |-----------------------------------+---------------------+-------+---------+----------|
496
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
369
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
497
370
  ╰-----------------------------------+---------------------+-------+---------+----------╯
498
371
 
499
372
  Logs:
500
- Bound result 2948
501
- Bound result 9900000000000000005711
502
- Bound result 9900000000000000007261
503
- Bound result 2207
504
- Bound result 116
505
- Bound result 10439648964134944331604
506
- Bound result 335
373
+ Bound result 9900000000003739221132
374
+ Bound result 9900000000000000000661
375
+ Bound result 513
376
+ Bound result 9482
377
+ Bound result 5606000
378
+ Bound result 20281895686577
507
379
  Bound result 1
508
- Bound result 139
509
- Bound result 3614
510
- Bound result 9900001419292979288638
511
- Bound result 228274077242626785056
512
- Bound result 2188
513
- Bound result 9850
514
- Bound result 14040
515
- Bound result 9900000000000000002340
516
- Bound result 9900000000000000007449
517
- Bound result 4228
518
- Bound result 6614
519
- Bound result 27
520
- Bound result 9900000000158816435533
521
- Bound result 9900000000001778294559
522
- Bound result 3296
523
- Bound result 4357
524
- Bound result 127191826436990125
380
+ Bound result 6665
381
+ Bound result 39
382
+ Bound result 687414
383
+ Bound result 4659
384
+ Bound result 26
385
+ Bound result 296
386
+ Bound result 328
387
+ Bound result 1285328100
388
+ Bound result 4894357908203371537583
389
+ Bound result 9900000000000000002369
390
+ Bound result 6103
391
+ Bound result 3466
392
+ Bound result 1894429
393
+ Bound result 7183
394
+ Bound result 226
395
+ Bound result 185376943492886
525
396
 
526
397
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
527
398
 
528
399
  ╭-----------------------------------+---------------------+-------+---------+----------╮
529
400
  | Contract | Selector | Calls | Reverts | Discards |
530
401
  +======================================================================================+
531
- | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
402
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
532
403
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
404
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
534
405
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
406
+ | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
536
407
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
408
+ | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
538
409
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
410
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
540
411
  |-----------------------------------+---------------------+-------+---------+----------|
541
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
412
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
542
413
  |-----------------------------------+---------------------+-------+---------+----------|
543
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
414
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
544
415
  ╰-----------------------------------+---------------------+-------+---------+----------╯
545
416
 
546
417
  Logs:
547
- Bound result 9900000000000000008229
548
- Bound result 1000000000000000000001
549
- Bound result 5741
550
- Bound result 1797
551
- Bound result 3585
552
- Bound result 9900000000000000007983
553
- Bound result 9900000000000000007431
554
- Bound result 9006
555
- Bound result 9798
556
- Bound result 9900000005769861970262
557
- Bound result 9900000099555527403389
418
+ Bound result 9900000000000000009936
419
+ Bound result 9900000000000000002554
420
+ Bound result 8875
421
+ Bound result 8049
422
+ Bound result 9900078292069429055332
423
+ Bound result 9900000000000988217387
558
424
  Bound result 10
559
- Bound result 4169
560
- Bound result 1001915761844759695084
561
- Bound result 8437
562
- Bound result 6065
563
- Bound result 1304
564
- Bound result 813
565
- Bound result 62778219
566
- Bound result 6503
567
- Bound result 9900000000000000000427
568
- Bound result 9900000000000000008310
569
- Bound result 3490
570
- Bound result 3531
425
+ Bound result 6157
426
+ Bound result 36403666826650
427
+ Bound result 9900000000000000001154
428
+ Bound result 9900000000000000002142
429
+ Bound result 8653
430
+ Bound result 2043
431
+ Bound result 9900000000000000008728
432
+ Bound result 9900000000000000008271
433
+ Bound result 231
434
+ Bound result 357
435
+ Bound result 5305399688580051536037
436
+ Bound result 3662953524767876800444
437
+ Bound result 9900000000000000001292
438
+ Bound result 1135
439
+ Bound result 1016
571
440
 
572
441
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
573
442
 
574
443
  ╭-----------------------------------+---------------------+-------+---------+----------╮
575
444
  | Contract | Selector | Calls | Reverts | Discards |
576
445
  +======================================================================================+
577
- | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
578
447
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
580
449
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
450
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
582
451
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
584
453
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
454
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
586
455
  |-----------------------------------+---------------------+-------+---------+----------|
587
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
456
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
588
457
  |-----------------------------------+---------------------+-------+---------+----------|
589
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
458
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
590
459
  ╰-----------------------------------+---------------------+-------+---------+----------╯
591
460
 
592
461
  Logs:
593
- Bound result 9900004040916494158087
594
- Bound result 9900002997743935556569
595
- Bound result 4310
596
- Bound result 1884
597
- Bound result 9901146261122799763035
598
- Bound result 9900000000000000008265
599
- Bound result 3118
600
- Bound result 11
601
- Bound result 9902140204921437810573
602
- Bound result 9900010469055058104759
603
- Bound result 9843
604
- Bound result 656
605
- Bound result 10363
606
- Bound result 173
607
- Bound result 1
608
- Bound result 69242402799
609
- Bound result 100000000000000000002
610
- Bound result 8268810182422818332662
611
- Bound result 11
612
- Bound result 298
613
- Bound result 118
614
- Bound result 8435
615
- Bound result 6822
616
- Bound result 6517
617
- Bound result 49
618
- Bound result 165193883133575242361
619
- Bound result 15221606124110
620
- Bound result 35
621
- Bound result 17
622
- Bound result 903
623
- Bound result 40
624
- Bound result 9900000000000000000741
625
- Bound result 9900000000000000002434
626
- Bound result 9856
627
- Bound result 2660
462
+ Bound result 88
463
+ Bound result 5
464
+ Bound result 1602639992615801
465
+ Bound result 3909945003938518
466
+ Bound result 15555978830939766588
467
+ Bound result 0
468
+ Bound result 168290311131055208274
469
+ Bound result 167509101778824836560
470
+ Bound result 750
471
+ Bound result 9900000096037381941753
472
+ Bound result 6914264337593535947489
473
+ Bound result 6241
474
+ Bound result 3066
475
+ Bound result 847
476
+ Bound result 1375
477
+ Bound result 9406
478
+ Bound result 20
479
+ Bound result 9900000000000000008027
480
+ Bound result 9900000000000000003751
481
+ Bound result 757
482
+ Bound result 4494
628
483
 
629
484
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
630
485
 
631
486
  ╭-----------------------------------+---------------------+-------+---------+----------╮
632
487
  | Contract | Selector | Calls | Reverts | Discards |
633
488
  +======================================================================================+
634
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
489
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
635
490
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
491
+ | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
637
492
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
493
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
639
494
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
495
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
641
496
  |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
497
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
643
498
  |-----------------------------------+---------------------+-------+---------+----------|
644
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
499
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
645
500
  |-----------------------------------+---------------------+-------+---------+----------|
646
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
501
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
647
502
  ╰-----------------------------------+---------------------+-------+---------+----------╯
648
503
 
649
504
  Logs:
650
- Bound result 9075
651
- Bound result 914
652
- Bound result 1497
653
- Bound result 2159037159
654
- Bound result 1
655
- Bound result 9900000751075975668064
656
- Bound result 9900000000026022647491
657
- Bound result 6952
658
- Bound result 12
659
- Bound result 15788797736857419491828
660
- Bound result 812
661
- Bound result 1
662
- Bound result 1883623021837538765145
663
- Bound result 9900000000000005862622
664
- Bound result 2428
665
- Bound result 5225
666
- Bound result 9900000000017139456434
667
- Bound result 9900000000000000552256
668
- Bound result 8703
669
- Bound result 5730
670
- Bound result 9900000000000000000248
671
- Bound result 9900000000000000003334
672
- Bound result 587
673
- Bound result 8581
674
- Bound result 189699503690144119791
675
- Bound result 9900000000000000000007
676
- Bound result 9900000000000000004236
677
- Bound result 637
678
- Bound result 4364
679
- Bound result 9900000000000000003458
680
- Bound result 9900000000000000009907
681
- Bound result 2709
682
- Bound result 11
683
- Bound result 894373283567
505
+ Bound result 51621
506
+ Bound result 8596
507
+ Bound result 685
508
+ Bound result 0
509
+ Bound result 1295
510
+ Bound result 4700
511
+ Bound result 1849
512
+ Bound result 523
513
+ Bound result 9900000000000000000483
514
+ Bound result 9900000000002281078161
515
+ Bound result 575
516
+ Bound result 9772
517
+ Bound result 7107
518
+ Bound result 950
519
+ Bound result 537
520
+ Bound result 9900000000000000000112
521
+ Bound result 9900000000001425644634
522
+ Bound result 3257
523
+ Bound result 2176
524
+ Bound result 7397685956087500221728
684
525
 
685
526
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
686
527
 
687
528
  ╭-----------------------------------+---------------------+-------+---------+----------╮
688
529
  | Contract | Selector | Calls | Reverts | Discards |
689
530
  +======================================================================================+
690
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
691
532
  |-----------------------------------+---------------------+-------+---------+----------|
692
- | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
693
534
  |-----------------------------------+---------------------+-------+---------+----------|
694
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
695
536
  |-----------------------------------+---------------------+-------+---------+----------|
696
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
697
538
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
539
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 508 | 0 | 0 |
699
540
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 529 | 0 | 0 |
541
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
701
542
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
543
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
703
544
  ╰-----------------------------------+---------------------+-------+---------+----------╯
704
545
 
705
546
  Logs:
706
- Bound result 2072215437
707
- Bound result 1141
547
+ Bound result 3867581986083430
548
+ Bound result 239432649288127307395
708
549
  Bound result 1
709
- Bound result 558
710
- Bound result 312397156
711
- Bound result 0
712
- Bound result 514264337593504336252
713
- Bound result 142187190591605843
714
- Bound result 0
715
- Bound result 9900000000006004605125
716
- Bound result 1695748341226425649123
717
- Bound result 6240
718
- Bound result 2370
719
- Bound result 26436713809912729
720
- Bound result 626089934664776663214
550
+ Bound result 3211
551
+ Bound result 882
552
+ Bound result 1
553
+ Bound result 3
554
+ Bound result 1
555
+ Bound result 2029
556
+ Bound result 514264337593543950334
557
+ Bound result 5631
558
+ Bound result 5076
721
559
  Bound result 0
722
- Bound result 9900000000000000010340
723
- Bound result 9900000000000000000202
724
- Bound result 4746
725
- Bound result 7625
726
- Bound result 33960085882854
727
- Bound result 8308
728
- Bound result 3566
560
+ Bound result 3606
561
+ Bound result 1783
562
+ Bound result 1
729
563
 
730
564
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
731
565
 
732
566
  ╭-----------------------------------+---------------------+-------+---------+----------╮
733
567
  | Contract | Selector | Calls | Reverts | Discards |
734
568
  +======================================================================================+
735
- | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
736
570
  |-----------------------------------+---------------------+-------+---------+----------|
737
- | RateLimiterRBACUpgradeableHandler | outflow | 512 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | outflow | 595 | 0 | 0 |
738
572
  |-----------------------------------+---------------------+-------+---------+----------|
739
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | setConfig | 589 | 0 | 0 |
740
574
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
742
576
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 503 | 0 | 0 |
744
578
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
746
580
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
748
582
  ╰-----------------------------------+---------------------+-------+---------+----------╯
749
583
 
750
584
  Logs:
751
- Bound result 100000000000000000001
752
- Bound result 9900000000000000035844
753
- Bound result 1886
754
- Bound result 11
755
- Bound result 0
756
- Bound result 87
585
+ Bound result 9900014419558505933009
586
+ Bound result 100000000000000000002
587
+ Bound result 10
588
+ Bound result 5892
589
+ Bound result 133
590
+ Bound result 4139225022023785705389
591
+ Bound result 9900000000000000000526
592
+ Bound result 6241
593
+ Bound result 6984
594
+ Bound result 9900000000000000001219
595
+ Bound result 9900000000000000010414
596
+ Bound result 422
597
+ Bound result 579
598
+ Bound result 2664567759395887
599
+ Bound result 171808784823916
757
600
  Bound result 0
758
- Bound result 128610329856748
759
- Bound result 37473370424
760
- Bound result 1
761
- Bound result 2257
762
- Bound result 2
763
- Bound result 474055
601
+ Bound result 2703
602
+ Bound result 7007
603
+ Bound result 7310162008703517756988
604
+ Bound result 8448532158670159794709
764
605
  Bound result 0
765
- Bound result 3
766
- Bound result 1549
767
- Bound result 125381969315410297688
768
- Bound result 348008538
769
- Bound result 1284
770
- Bound result 9900000000000000007393
771
- Bound result 9900000000000000010538
772
- Bound result 856
773
- Bound result 2093
774
- Bound result 5325944451209688805719
775
- Bound result 100000000000000000001
776
- Bound result 8232
777
- Bound result 70
778
- Bound result 1912375742183961617306
779
- Bound result 6085676899168350354696
780
- Bound result 217
781
- Bound result 5651
782
- Bound result 916553272250460872540
783
- Bound result 9900000000000000002082
784
- Bound result 572987346670035283295
785
- Bound result 272
786
- Bound result 3752
787
- Bound result 706
606
+ Bound result 626
607
+ Bound result 9900000159515677488567
608
+ Bound result 100000000000000000002
609
+ Bound result 4276
610
+ Bound result 12
611
+ Bound result 2637345061
612
+ Bound result 122221333650581040794
613
+ Bound result 223
614
+ Bound result 9408
615
+ Bound result 5000
616
+ Bound result 438
617
+ Bound result 431
788
618
 
789
619
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
790
620
 
791
621
  ╭-----------------------------------+---------------------+-------+---------+----------╮
792
622
  | Contract | Selector | Calls | Reverts | Discards |
793
623
  +======================================================================================+
794
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
795
625
  |-----------------------------------+---------------------+-------+---------+----------|
796
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
797
627
  |-----------------------------------+---------------------+-------+---------+----------|
798
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
799
629
  |-----------------------------------+---------------------+-------+---------+----------|
800
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
801
631
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
803
633
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 598 | 0 | 0 |
805
635
  |-----------------------------------+---------------------+-------+---------+----------|
806
- | RateLimiterRBACUpgradeableHandler | warp | 580 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
807
637
  ╰-----------------------------------+---------------------+-------+---------+----------╯
808
638
 
809
639
  Logs:
810
- Bound result 155
811
- Bound result 5689
812
- Bound result 0
813
- Bound result 11730671897131503
814
- Bound result 12986119
815
- Bound result 362
816
- Bound result 0
817
- Bound result 1149663
818
- Bound result 0
819
- Bound result 1
820
- Bound result 98830
640
+ Bound result 9900000000000085247963
641
+ Bound result 9900000000000000000145
642
+ Bound result 2503
643
+ Bound result 11
644
+ Bound result 9900000000000000615053
645
+ Bound result 9900000000000000000111
646
+ Bound result 13
647
+ Bound result 7323
648
+ Bound result 8851
649
+ Bound result 770
650
+ Bound result 17269010048400188747028
651
+ Bound result 1837884188
821
652
  Bound result 3
822
- Bound result 1
823
- Bound result 514264337593543950335
824
- Bound result 9900000000000000008976
825
- Bound result 9900000000000000004088
826
- Bound result 5457
827
- Bound result 4161
653
+ Bound result 9900012284501573985176
654
+ Bound result 6914264337593535947488
655
+ Bound result 2187
656
+ Bound result 10
657
+ Bound result 539
658
+ Bound result 1787
659
+ Bound result 499
660
+ Bound result 7603437468251461961551
661
+ Bound result 767547794
662
+ Bound result 12621656211053174277
663
+ Bound result 759
664
+ Bound result 69731435620658602
665
+ Bound result 677480
666
+ Bound result 375
828
667
 
829
668
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
830
669
 
831
670
  ╭-----------------------------------+---------------------+-------+---------+----------╮
832
671
  | Contract | Selector | Calls | Reverts | Discards |
833
672
  +======================================================================================+
834
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
835
674
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
837
676
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
839
678
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | setState | 511 | 0 | 0 |
841
680
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
843
682
  |-----------------------------------+---------------------+-------+---------+----------|
844
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
683
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
845
684
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
685
+ | RateLimiterRBACUpgradeableHandler | warp | 599 | 0 | 0 |
847
686
  ╰-----------------------------------+---------------------+-------+---------+----------╯
848
687
 
849
688
  Logs:
850
- Bound result 29591500990761147283
851
- Bound result 47
852
- Bound result 0
853
- Bound result 9900000002871018369051
854
- Bound result 6914264337593535947491
855
- Bound result 318
856
- Bound result 10
857
- Bound result 7110579880813330683296
858
- Bound result 6502
859
- Bound result 0
860
- Bound result 261
861
- Bound result 559642249668367
862
- Bound result 6891288025464894369288
863
- Bound result 6891288025464890367868
864
- Bound result 3237392588723365976
865
- Bound result 2
866
- Bound result 3602752116
867
- Bound result 3077436142249772475129
868
- Bound result 245
869
- Bound result 4939
870
- Bound result 1313373042
871
- Bound result 116
872
- Bound result 1
873
- Bound result 15
689
+ Bound result 10352806422161
690
+ Bound result 9771
691
+ Bound result 157555070916738
692
+ Bound result 9900000000000000000397
693
+ Bound result 9900000000000000235414
694
+ Bound result 397
695
+ Bound result 2961
696
+ Bound result 19599696080276795059095
697
+ Bound result 7182786612171
698
+ Bound result 9900000030567737147160
699
+ Bound result 7877380980804799834456
700
+ Bound result 1213
701
+ Bound result 7676
702
+ Bound result 551
703
+ Bound result 427
704
+ Bound result 2747439503504013359
705
+
706
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.31s (8.51s CPU time)
874
707
 
875
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.11s (11.64s CPU time)
708
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
709
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25544, ~: 12763)
710
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
711
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
712
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
713
+ [PASS] test_isPaused_InitialState() (gas: 15595)
714
+ [PASS] test_pause() (gas: 39592)
715
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27898, ~: 16219)
716
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
717
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
718
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
719
+ [PASS] test_storageHash() (gas: 3414)
720
+ [PASS] test_unpause() (gas: 31115)
721
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40442, ~: 38893)
722
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
723
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
724
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
725
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
726
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
727
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
728
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.36s (227.91ms CPU time)
876
729
 
877
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
730
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
878
731
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
879
732
 
880
733
  ╭-----------------------------------+---------------------+-------+---------+----------╮
881
734
  | Contract | Selector | Calls | Reverts | Discards |
882
735
  +======================================================================================+
883
- | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
736
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
884
737
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
738
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
886
739
  |-----------------------------------+---------------------+-------+---------+----------|
887
- | RateLimiterRBACUpgradeableHandler | setConfig | 512 | 0 | 0 |
740
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
888
741
  |-----------------------------------+---------------------+-------+---------+----------|
889
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | setState | 511 | 0 | 0 |
890
743
  |-----------------------------------+---------------------+-------+---------+----------|
891
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 587 | 0 | 0 |
892
745
  |-----------------------------------+---------------------+-------+---------+----------|
893
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
894
747
  |-----------------------------------+---------------------+-------+---------+----------|
895
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
896
749
  ╰-----------------------------------+---------------------+-------+---------+----------╯
897
750
 
898
751
  Logs:
899
- Bound result 1754859564884446668648
900
- Bound result 202047178848
901
- Bound result 1377
902
- Bound result 31217535245142
903
- Bound result 26841901225873
904
- Bound result 331762561
905
- Bound result 322168661583070895892
906
- Bound result 61681
752
+ Bound result 1206359015361747316442
753
+ Bound result 15
754
+ Bound result 1
755
+ Bound result 514264337593504336253
756
+ Bound result 678845275
907
757
  Bound result 0
908
- Bound result 340
909
- Bound result 3740
910
- Bound result 1028
911
- Bound result 50
912
- Bound result 421
913
- Bound result 5032092190791504666
914
- Bound result 984
915
- Bound result 1160
916
- Bound result 1604
758
+ Bound result 274
759
+ Bound result 1191039301242897
760
+ Bound result 9900000000000013206603
761
+ Bound result 9900000000000000000444
762
+ Bound result 3957
763
+ Bound result 1230
764
+ Bound result 3566
765
+ Bound result 7873
766
+ Bound result 8687
767
+ Bound result 335
768
+ Bound result 578
769
+ Bound result 9900000000000763600053
770
+ Bound result 1244690616707171403790
771
+ Bound result 2235
772
+ Bound result 954
773
+ Bound result 6914264337593535947490
774
+ Bound result 3625945149911214298729
775
+ Bound result 26
776
+ Bound result 85
777
+ Bound result 288
917
778
 
918
779
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
919
780
 
920
781
  ╭-----------------------------------+---------------------+-------+---------+----------╮
921
782
  | Contract | Selector | Calls | Reverts | Discards |
922
783
  +======================================================================================+
923
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
784
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
924
785
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
786
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
926
787
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
788
+ | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
928
789
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | setState | 585 | 0 | 0 |
790
+ | RateLimiterRBACUpgradeableHandler | setState | 593 | 0 | 0 |
930
791
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
792
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
932
793
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 490 | 0 | 0 |
794
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 522 | 0 | 0 |
934
795
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
936
797
  ╰-----------------------------------+---------------------+-------+---------+----------╯
937
798
 
938
799
  Logs:
939
- Bound result 7359
940
- Bound result 994
941
- Bound result 1
942
- Bound result 5
943
- Bound result 1090
944
- Bound result 966
945
- Bound result 1329131127
946
- Bound result 63314648603388326
947
- Bound result 8482912584542664646
800
+ Bound result 2633910
801
+ Bound result 248708710106360294149
802
+ Bound result 772948803291362355356
803
+ Bound result 0
804
+ Bound result 6486
805
+ Bound result 9900000000000000009329
806
+ Bound result 9900000000000000000741
807
+ Bound result 529
808
+ Bound result 6283
809
+ Bound result 6307599138690047028839
810
+ Bound result 690086884339836770444
811
+ Bound result 2005
812
+ Bound result 241
813
+ Bound result 613063844
814
+ Bound result 917
815
+ Bound result 0
816
+ Bound result 54
817
+ Bound result 3041954473
948
818
  Bound result 1
949
- Bound result 159
950
- Bound result 436
819
+ Bound result 27
820
+ Bound result 69789
821
+ Bound result 104616615187708426146
822
+ Bound result 3
951
823
 
952
824
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
953
825
 
954
826
  ╭-----------------------------------+---------------------+-------+---------+----------╮
955
827
  | Contract | Selector | Calls | Reverts | Discards |
956
828
  +======================================================================================+
957
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
829
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
958
830
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
960
832
  |-----------------------------------+---------------------+-------+---------+----------|
961
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
962
834
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
964
836
  |-----------------------------------+---------------------+-------+---------+----------|
965
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
966
838
  |-----------------------------------+---------------------+-------+---------+----------|
967
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
968
840
  |-----------------------------------+---------------------+-------+---------+----------|
969
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
970
842
  ╰-----------------------------------+---------------------+-------+---------+----------╯
971
843
 
972
844
  Logs:
973
- Bound result 970
974
- Bound result 7260
975
- Bound result 0
976
- Bound result 28142141643098
977
- Bound result 1343
978
- Bound result 1
979
- Bound result 1614
980
- Bound result 125
981
- Bound result 2182
982
- Bound result 514264337593543950335
983
- Bound result 363
984
- Bound result 707371139211013
845
+ Bound result 41454
846
+ Bound result 886
847
+ Bound result 151426663
848
+ Bound result 1898959171330416482303
849
+ Bound result 133091947641
850
+ Bound result 6257
851
+ Bound result 4923506044466371187559
852
+ Bound result 9900005331615395033101
853
+ Bound result 685
854
+ Bound result 176
855
+ Bound result 89
856
+ Bound result 9900000000000000000048
857
+ Bound result 9900000000000000000882
858
+ Bound result 6242
859
+ Bound result 331
860
+ Bound result 270
861
+ Bound result 8248
862
+ Bound result 27
863
+ Bound result 174
864
+ Bound result 1510283279
865
+ Bound result 5177069543
866
+ Bound result 6843097594233728591002
867
+ Bound result 4424
868
+ Bound result 293
985
869
 
986
870
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
987
871
 
988
872
  ╭-----------------------------------+---------------------+-------+---------+----------╮
989
873
  | Contract | Selector | Calls | Reverts | Discards |
990
874
  +======================================================================================+
991
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
992
876
  |-----------------------------------+---------------------+-------+---------+----------|
993
- | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
994
878
  |-----------------------------------+---------------------+-------+---------+----------|
995
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
996
880
  |-----------------------------------+---------------------+-------+---------+----------|
997
- | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
998
882
  |-----------------------------------+---------------------+-------+---------+----------|
999
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
1000
884
  |-----------------------------------+---------------------+-------+---------+----------|
1001
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
1002
886
  |-----------------------------------+---------------------+-------+---------+----------|
1003
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
1004
888
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1005
889
 
1006
890
  Logs:
1007
- Bound result 29
1008
- Bound result 483
1009
- Bound result 0
1010
- Bound result 4833
1011
- Bound result 366
1012
- Bound result 608
1013
- Bound result 1738
1014
- Bound result 10565843487583371
1015
- Bound result 9900000000000000006122
1016
- Bound result 9900000000000000000178
1017
- Bound result 8921
1018
- Bound result 6390
1019
- Bound result 119
1020
- Bound result 13
1021
- Bound result 1614028771498123236691
1022
- Bound result 448528065857184917
1023
- Bound result 155
1024
- Bound result 18603
1025
- Bound result 10390390354163644887819
1026
- Bound result 8
1027
- Bound result 9900000000000000009859
1028
- Bound result 9900000000000000002004
1029
- Bound result 8691
1030
- Bound result 7715
891
+ Bound result 2
892
+ Bound result 9900000000000000009151
893
+ Bound result 9900000000000000009355
894
+ Bound result 8565
895
+ Bound result 3208
896
+ Bound result 13393205697106
897
+ Bound result 13089453
898
+ Bound result 1
899
+ Bound result 2649663653218
900
+ Bound result 4614
901
+ Bound result 1481828
902
+ Bound result 2011421492338803034
903
+ Bound result 163
904
+ Bound result 421810874
905
+ Bound result 1
906
+ Bound result 9900000000000017091932
907
+ Bound result 9907964939438646516590
908
+ Bound result 7966
909
+ Bound result 8578
910
+ Bound result 70150694007658842
911
+ Bound result 59
1031
912
 
1032
913
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1033
914
 
1034
915
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1035
916
  | Contract | Selector | Calls | Reverts | Discards |
1036
917
  +======================================================================================+
1037
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1038
919
  |-----------------------------------+---------------------+-------+---------+----------|
1039
- | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1040
921
  |-----------------------------------+---------------------+-------+---------+----------|
1041
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
1042
923
  |-----------------------------------+---------------------+-------+---------+----------|
1043
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
924
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1044
925
  |-----------------------------------+---------------------+-------+---------+----------|
1045
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
1046
927
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
1048
929
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
930
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
1050
931
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1051
932
 
1052
933
  Logs:
1053
- Bound result 4672009
1054
- Bound result 4823728616636
1055
- Bound result 1
1056
- Bound result 2464670362674211
1057
- Bound result 614619062081514186338
934
+ Bound result 8824561305209621827086
935
+ Bound result 9900000000008702184833
936
+ Bound result 3281
937
+ Bound result 5680
938
+ Bound result 9532
939
+ Bound result 4571076819501631341890
940
+ Bound result 712446704590707689839
941
+ Bound result 10
942
+ Bound result 10
943
+ Bound result 3
944
+ Bound result 8651916208451321925914
945
+ Bound result 61302675049807464623
1058
946
  Bound result 1
1059
- Bound result 4382
1060
- Bound result 100
1061
- Bound result 7512
1062
- Bound result 68
1063
- Bound result 283237942901
1064
- Bound result 3820
1065
- Bound result 99
1066
- Bound result 4
1067
- Bound result 1937
1068
- Bound result 100000000000000000002
1069
- Bound result 100000000000000000003
1070
- Bound result 8318
1071
- Bound result 287
947
+ Bound result 966713229370023576673
948
+ Bound result 9900000000000000000857
949
+ Bound result 9900000000000000010162
950
+ Bound result 2683
951
+ Bound result 7359
1072
952
 
1073
953
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1074
954
 
1075
955
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1076
956
  | Contract | Selector | Calls | Reverts | Discards |
1077
957
  +======================================================================================+
1078
- | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
958
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
1079
959
  |-----------------------------------+---------------------+-------+---------+----------|
1080
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
960
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
1081
961
  |-----------------------------------+---------------------+-------+---------+----------|
1082
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
962
+ | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
1083
963
  |-----------------------------------+---------------------+-------+---------+----------|
1084
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
1085
965
  |-----------------------------------+---------------------+-------+---------+----------|
1086
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
1087
967
  |-----------------------------------+---------------------+-------+---------+----------|
1088
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
968
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1089
969
  |-----------------------------------+---------------------+-------+---------+----------|
1090
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
970
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1091
971
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1092
972
 
1093
973
  Logs:
1094
- Bound result 84973768022911
1095
- Bound result 1657
1096
- Bound result 9900000000000000030333
1097
- Bound result 6914264337593535947491
1098
- Bound result 123
1099
- Bound result 9440
1100
- Bound result 990
1101
- Bound result 9900000000000000005212
1102
- Bound result 9900000000000000004788
1103
- Bound result 7924
1104
- Bound result 3469
1105
- Bound result 997605340
1106
- Bound result 154
1107
- Bound result 9900007792272949763899
1108
- Bound result 4480508579747640723976
1109
- Bound result 4541
1110
- Bound result 9263
974
+ Bound result 952
975
+ Bound result 6916
976
+ Bound result 1
977
+ Bound result 9659
978
+ Bound result 9900000000000000009640
979
+ Bound result 9900000000000000001067
980
+ Bound result 8133
981
+ Bound result 4118
982
+ Bound result 511
983
+ Bound result 6914264337593535947489
984
+ Bound result 9900000000202445305933
985
+ Bound result 6361
986
+ Bound result 9995
987
+ Bound result 359895395863633765
988
+ Bound result 9900000000000000010483
989
+ Bound result 9900000000000000007100
990
+ Bound result 81
991
+ Bound result 6103
992
+ Bound result 9900000000000000010618
993
+ Bound result 9900000000002233625729
994
+ Bound result 12
995
+ Bound result 543
996
+ Bound result 5051125793345723944411
997
+ Bound result 6914246462235280377058
1111
998
 
1112
999
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1113
1000
 
1114
1001
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1115
1002
  | Contract | Selector | Calls | Reverts | Discards |
1116
1003
  +======================================================================================+
1117
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1118
1005
  |-----------------------------------+---------------------+-------+---------+----------|
1119
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
1120
1007
  |-----------------------------------+---------------------+-------+---------+----------|
1121
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | setConfig | 516 | 0 | 0 |
1122
1009
  |-----------------------------------+---------------------+-------+---------+----------|
1123
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
1124
1011
  |-----------------------------------+---------------------+-------+---------+----------|
1125
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 515 | 0 | 0 |
1126
1013
  |-----------------------------------+---------------------+-------+---------+----------|
1127
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 595 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
1128
1015
  |-----------------------------------+---------------------+-------+---------+----------|
1129
- | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1130
1017
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1131
1018
 
1132
1019
  Logs:
1133
- Bound result 1336605362933660205840
1134
- Bound result 137285013
1135
- Bound result 1855386100987748877
1136
- Bound result 0
1137
- Bound result 5112
1138
- Bound result 144933
1139
- Bound result 0
1140
- Bound result 9900000000003013121952
1141
- Bound result 9900000000000000002457
1142
- Bound result 8354
1143
- Bound result 3568
1144
- Bound result 4525
1145
- Bound result 1693360265066371059968
1146
- Bound result 5448469552
1147
- Bound result 0
1148
- Bound result 2806359015359261634124
1149
- Bound result 12653
1020
+ Bound result 4759046103673104567673
1021
+ Bound result 9900000529683973556794
1022
+ Bound result 7170
1023
+ Bound result 4431
1024
+ Bound result 9075
1025
+ Bound result 9900000000000000008152
1026
+ Bound result 9900000000000016777217
1027
+ Bound result 2328
1028
+ Bound result 2464
1029
+ Bound result 9132016998080003006409
1030
+ Bound result 850932041055190577059
1031
+ Bound result 6239
1032
+ Bound result 9995
1033
+ Bound result 1
1034
+ Bound result 7378
1035
+ Bound result 9008
1036
+ Bound result 1
1037
+ Bound result 1047615086
1038
+ Bound result 9025
1150
1039
 
1151
1040
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1152
1041
 
1153
1042
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1154
1043
  | Contract | Selector | Calls | Reverts | Discards |
1155
1044
  +======================================================================================+
1156
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1157
1046
  |-----------------------------------+---------------------+-------+---------+----------|
1158
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
1159
1048
  |-----------------------------------+---------------------+-------+---------+----------|
1160
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | setConfig | 596 | 0 | 0 |
1161
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1162
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
1163
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1164
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
1165
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1166
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1167
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1168
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1169
1058
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1170
1059
 
1171
1060
  Logs:
1172
- Bound result 9900000000000000008485
1173
- Bound result 9900000000000000003543
1174
- Bound result 7221
1175
- Bound result 7041
1176
- Bound result 40
1177
- Bound result 9900000000000000005852
1178
- Bound result 9900000000000000008628
1179
- Bound result 8278
1180
- Bound result 2579
1181
- Bound result 87596350777504389246
1182
- Bound result 60250776
1183
- Bound result 1
1184
- Bound result 13173
1185
- Bound result 1365651675096004393020
1186
- Bound result 9900000911280296192690
1187
- Bound result 9466235813052554171341
1188
- Bound result 2643
1189
- Bound result 8359
1190
- Bound result 6240
1191
- Bound result 3695152417
1192
- Bound result 35850381288524480108
1193
- Bound result 73
1194
- Bound result 407
1195
-
1196
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.15s (12.21s CPU time)
1061
+ Bound result 15209049283801173006
1062
+ Bound result 1394357908203371790357
1063
+ Bound result 140299412275371089
1064
+ Bound result 206
1065
+ Bound result 9798
1066
+ Bound result 532
1067
+ Bound result 122
1068
+ Bound result 1788
1069
+ Bound result 562
1070
+ Bound result 3042731614
1071
+ Bound result 1293
1072
+ Bound result 9900000000001666094043
1073
+ Bound result 9900000000000000007293
1074
+ Bound result 2315
1075
+ Bound result 1078
1076
+ Bound result 4000
1077
+ Bound result 3904
1078
+
1079
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.41s (8.61s CPU time)
1080
+
1081
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1082
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1083
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1084
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44971, ~: 46317)
1085
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1086
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1087
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1088
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1089
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1090
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1091
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1092
+ [PASS] test_getFee_Default() (gas: 40577)
1093
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43228, ~: 44486)
1094
+ [PASS] test_getFee_Rounding() (gas: 42835)
1095
+ [PASS] test_getFee_Specific() (gas: 63968)
1096
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1097
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1098
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32455, ~: 39667)
1099
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1100
+ [PASS] test_setFeeBps() (gas: 73871)
1101
+ Logs:
1102
+ Bound result 500
1103
+
1104
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66334, ~: 74224)
1105
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1106
+ [PASS] test_storageHash() (gas: 3426)
1107
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.15s (620.34ms CPU time)
1108
+
1109
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1110
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1111
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1112
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1113
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1114
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1115
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1116
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1117
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1118
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1119
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1120
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1121
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1122
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1123
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1124
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1125
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1126
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1127
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1128
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1129
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1130
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1131
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1132
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1133
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1134
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1135
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1136
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1137
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1138
+ [PASS] test_storageHash() (gas: 3458)
1139
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 12.15s (487.65ms CPU time)
1140
+
1141
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1142
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1143
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
1144
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1145
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1146
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1147
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1148
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1149
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1150
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1151
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1152
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1153
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1154
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1155
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1156
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1157
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1158
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1159
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1160
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1161
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1162
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1163
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1164
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1165
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1166
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1167
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1168
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1169
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1170
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1171
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1172
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1173
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1174
+ [PASS] test_storageHash() (gas: 3380)
1175
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 12.29s (271.34ms CPU time)
1197
1176
 
1198
1177
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1199
1178
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -1211,7 +1190,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1211
1190
  [PASS] test_pauseConfig() (gas: 51028)
1212
1191
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1213
1192
  [PASS] test_setDefaultPaused() (gas: 42196)
1214
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 31320, ~: 42446)
1193
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29951, ~: 18826)
1215
1194
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1216
1195
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1217
1196
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -1220,8 +1199,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1220
1199
  [PASS] test_setPaused_DormantData() (gas: 295234)
1221
1200
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
1222
1201
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1223
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43623, ~: 48533)
1224
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222648, ~: 216804)
1202
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43863, ~: 48533)
1203
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222601, ~: 216804)
1225
1204
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1226
1205
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1227
1206
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -1235,7 +1214,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1235
1214
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1236
1215
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1237
1216
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1238
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62566, ~: 73465)
1217
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62953, ~: 73465)
1239
1218
  [PASS] test_storageHash() (gas: 3392)
1240
1219
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1241
1220
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -1243,81 +1222,47 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1243
1222
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1244
1223
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1245
1224
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1246
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 11.31s (607.94ms CPU time)
1247
-
1248
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1249
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26060, ~: 38584)
1250
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1251
- [PASS] test_assertNotPaused_Success() (gas: 12516)
1252
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1253
- [PASS] test_isPaused_InitialState() (gas: 15595)
1254
- [PASS] test_pause() (gas: 39592)
1255
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28063, ~: 39861)
1256
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1257
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1258
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1259
- [PASS] test_storageHash() (gas: 3414)
1260
- [PASS] test_unpause() (gas: 31115)
1261
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40376, ~: 38893)
1262
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1263
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1264
- [PASS] test_whenNotPaused_Success() (gas: 38744)
1265
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1266
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1267
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1268
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 11.31s (258.52ms CPU time)
1269
-
1270
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1271
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1272
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1273
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1274
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1275
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
1276
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1277
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1278
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1279
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1280
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1281
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.95s (86.81ms CPU time)
1225
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 12.28s (596.63ms CPU time)
1282
1226
 
1283
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1284
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1285
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1286
- [PASS] test_assertNotPaused_Success() (gas: 14934)
1287
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1288
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
1289
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1290
- [PASS] test_isPaused_Default() (gas: 44698)
1291
- [PASS] test_isPaused_InitialState() (gas: 22070)
1292
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1293
- [PASS] test_isPaused_Override() (gas: 69381)
1294
- [PASS] test_isPaused_Specific() (gas: 46709)
1295
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1296
- [PASS] test_pauseConfig() (gas: 45626)
1297
- [PASS] test_setDefaultPaused() (gas: 39667)
1298
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28101, ~: 16332)
1299
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1300
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1301
- [PASS] test_setPaused() (gas: 43060)
1302
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
1303
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38000, ~: 43373)
1304
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1305
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1306
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1307
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58185, ~: 46989)
1227
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1228
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1229
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1230
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1231
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1232
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1233
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1234
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1235
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1236
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1237
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1238
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1239
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1240
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1241
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1242
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1243
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1244
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1245
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1246
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1247
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1248
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1249
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1250
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1251
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1252
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1253
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1254
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1255
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1256
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1257
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1258
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1308
1259
  [PASS] test_storageHash() (gas: 3480)
1309
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1310
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1311
- [PASS] test_whenNotPaused_Success() (gas: 41297)
1312
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1313
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1314
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1315
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 11.95s (451.57ms CPU time)
1260
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 12.29s (489.09ms CPU time)
1316
1261
 
1317
1262
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1318
1263
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1319
1264
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1320
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 827153, ~: 299400)
1265
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 782007, ~: 137861)
1321
1266
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1322
1267
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1323
1268
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1330,12 +1275,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1330
1275
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1331
1276
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1332
1277
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1333
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147613, ~: 10469398)
1278
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11160426, ~: 10411529)
1334
1279
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1335
1280
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1336
1281
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1337
1282
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1338
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 756869, ~: 174656)
1283
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 835104, ~: 417941)
1339
1284
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1340
1285
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1341
1286
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1348,38 +1293,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1348
1293
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1349
1294
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1350
1295
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1351
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11149487, ~: 10416302)
1296
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11182318, ~: 10510298)
1352
1297
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1353
1298
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1354
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.95s (29.65s CPU time)
1355
-
1356
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1357
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1358
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1359
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44950, ~: 46317)
1360
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1361
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1362
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1363
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1364
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1365
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1366
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1367
- [PASS] test_getFee_Default() (gas: 40577)
1368
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43196, ~: 44486)
1369
- [PASS] test_getFee_Rounding() (gas: 42835)
1370
- [PASS] test_getFee_Specific() (gas: 63968)
1371
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1372
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1373
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32850, ~: 39667)
1374
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1375
- [PASS] test_setFeeBps() (gas: 73871)
1376
- Logs:
1377
- Bound result 500
1378
-
1379
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65747, ~: 74224)
1380
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1381
- [PASS] test_storageHash() (gas: 3426)
1382
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 11.95s (434.33ms CPU time)
1299
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.29s (29.22s CPU time)
1383
1300
 
1384
- Ran 17 test suites in 11.97s (80.14s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1385
- ⏳ forge test: 26.422s
1301
+ Ran 17 test suites in 12.34s (82.15s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1302
+ ⏳ forge test: 26.719s