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

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 +627 -701
  2. package/package.json +4 -4
package/.turbo/turbo-test.log CHANGED
@@ -4,100 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-LyBP5l
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-Fkq3xr
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:87961) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:221568) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-LyBP5l:/workspace
15
+ -v /tmp/lz-scoped-workspace-Fkq3xr:/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
- 86ec798129ac: Waiting
31
- 8e167e77288f: Pulling fs layer
32
- 45d43cc973ba: Pulling fs layer
33
- eef7c391911c: Waiting
34
- 44c09156221f: Pulling fs layer
35
- f2fb700979ad: Pulling fs layer
36
- c70db14240a1: Waiting
37
- 2a1ced882ba9: Pulling fs layer
38
- 597168d5c38e: Pulling fs layer
39
- e431adaf232f: Pulling fs layer
40
- cc2ecf4065b7: Waiting
41
- 5760fdd70374: Waiting
42
- 36e15e3f2788: Pulling fs layer
43
- 8e167e77288f: Waiting
44
- 0cb2c6965bde: Waiting
45
- 885bca26f927: Waiting
46
- 45d43cc973ba: Waiting
47
- 44c09156221f: Waiting
48
- e431adaf232f: Waiting
49
- 2a1ced882ba9: Waiting
50
- 36e15e3f2788: Waiting
51
- eef7c391911c: Download complete
52
- 86ec798129ac: Verifying Checksum
53
- 86ec798129ac: Download complete
54
- c70db14240a1: Download complete
55
- 5760fdd70374: Verifying Checksum
56
- 5760fdd70374: Download complete
57
- cc2ecf4065b7: Verifying Checksum
58
- cc2ecf4065b7: Download complete
59
- 8e167e77288f: Verifying Checksum
60
- 8e167e77288f: Download complete
61
- 86ec798129ac: Pull complete
62
- 45d43cc973ba: Verifying Checksum
63
- 45d43cc973ba: Download complete
64
- eef7c391911c: Pull complete
65
- 44c09156221f: Verifying Checksum
66
- 44c09156221f: Download complete
67
- f2fb700979ad: Verifying Checksum
68
- f2fb700979ad: Download complete
69
- 0cb2c6965bde: Verifying Checksum
70
- 0cb2c6965bde: Download complete
71
- cc2ecf4065b7: Pull complete
72
- 597168d5c38e: Download complete
73
- 5760fdd70374: Pull complete
74
- c70db14240a1: Pull complete
75
- 2a1ced882ba9: Verifying Checksum
76
- 2a1ced882ba9: Download complete
77
- 36e15e3f2788: Verifying Checksum
78
- 36e15e3f2788: Download complete
79
- 885bca26f927: Verifying Checksum
80
- 885bca26f927: Download complete
81
- 0cb2c6965bde: Pull complete
82
- e431adaf232f: Verifying Checksum
83
- e431adaf232f: Download complete
84
- 885bca26f927: Pull complete
85
- 8e167e77288f: Pull complete
86
- 45d43cc973ba: Pull complete
87
- 44c09156221f: Pull complete
88
- f2fb700979ad: Pull complete
89
- 2a1ced882ba9: Pull complete
90
- 597168d5c38e: Pull complete
91
- e431adaf232f: Pull complete
92
- 36e15e3f2788: Pull complete
93
- Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
94
- Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
95
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
96
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
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)
97
20
  👤 Running container as UID:GID 1001:1001
98
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-LyBP5l:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-Fkq3xr:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
99
22
  Compiling 84 files with Solc 0.8.22
100
- Solc 0.8.22 finished in 12.66s
23
+ Solc 0.8.22 finished in 12.35s
101
24
  Compiler run successful with warnings:
102
25
  Warning (2018): Function state mutability can be restricted to view
103
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -261,7 +184,46 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
261
184
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
262
185
  [PASS] test_storageHash() (gas: 3392)
263
186
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
264
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 12.70ms (9.28ms CPU time)
187
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 30.58ms (20.30ms CPU time)
188
+
189
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
190
+ [PASS] test_feeDeposit() (gas: 17660)
191
+ [PASS] test_setFeeDeposit() (gas: 27618)
192
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
193
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
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 92.89ms (92.23ms CPU time)
197
+
198
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
199
+ [PASS] test_feeDeposit() (gas: 17598)
200
+ [PASS] test_setFeeDeposit() (gas: 24907)
201
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21448, ~: 21454)
202
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
203
+ [PASS] test_storageHash() (gas: 3337)
204
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 103.81ms (90.73ms CPU time)
205
+
206
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
207
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26215, ~: 38584)
208
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
209
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
210
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
211
+ [PASS] test_isPaused_InitialState() (gas: 15595)
212
+ [PASS] test_pause() (gas: 39592)
213
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27850, ~: 16219)
214
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
215
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
216
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
217
+ [PASS] test_storageHash() (gas: 3414)
218
+ [PASS] test_unpause() (gas: 31115)
219
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40776, ~: 42291)
220
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
221
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
222
+ [PASS] test_whenNotPaused_Success() (gas: 38930)
223
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
224
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
225
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
226
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 172.33ms (218.59ms CPU time)
265
227
 
266
228
  Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
267
229
  [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
@@ -299,46 +261,73 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
299
261
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
300
262
  [PASS] test_storageHash() (gas: 3414)
301
263
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
302
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.10ms (23.18ms CPU time)
264
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 184.68ms (9.20ms CPU time)
303
265
 
304
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
305
- [PASS] test_feeDeposit() (gas: 17660)
306
- [PASS] test_setFeeDeposit() (gas: 27618)
307
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
308
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 24359)
309
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
310
- [PASS] test_storageHash() (gas: 3315)
311
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 51.99ms (51.44ms CPU time)
266
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
267
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
268
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
269
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
270
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
271
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
272
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
273
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
274
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
275
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
276
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
277
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
278
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
279
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
280
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
281
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
282
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
283
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
284
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
285
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
286
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
287
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
288
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
289
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
290
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
291
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
292
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
293
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
294
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
295
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
296
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
297
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
298
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
299
+ [PASS] test_storageHash() (gas: 3380)
300
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 361.68ms (422.85ms CPU time)
312
301
 
313
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
314
- [PASS] test_feeDeposit() (gas: 17598)
315
- [PASS] test_setFeeDeposit() (gas: 24907)
316
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
317
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
318
- [PASS] test_storageHash() (gas: 3337)
319
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 53.42ms (52.46ms CPU time)
302
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
303
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
304
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
305
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47378, ~: 48966)
306
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
307
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
308
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
309
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
310
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
311
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
312
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
313
+ [PASS] test_getFee_Default() (gas: 43108)
314
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45538, ~: 47017)
315
+ [PASS] test_getFee_Rounding() (gas: 45449)
316
+ [PASS] test_getFee_Specific() (gas: 66985)
317
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
318
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
319
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35005, ~: 42268)
320
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
321
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
322
+ [PASS] test_setFeeBps() (gas: 77237)
323
+ Logs:
324
+ Bound result 500
320
325
 
321
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
322
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25208, ~: 12763)
323
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
324
- [PASS] test_assertNotPaused_Success() (gas: 12516)
325
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
326
- [PASS] test_isPaused_InitialState() (gas: 15595)
327
- [PASS] test_pause() (gas: 39592)
328
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28158, ~: 39861)
329
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
330
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
331
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
332
- [PASS] test_storageHash() (gas: 3414)
333
- [PASS] test_unpause() (gas: 31115)
334
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40782, ~: 42291)
335
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 42105)
336
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38427)
337
- [PASS] test_whenNotPaused_Success() (gas: 38930)
338
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48777)
339
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 58208)
340
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15612)
341
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 76.33ms (176.49ms CPU time)
326
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69095, ~: 77570)
327
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
328
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
329
+ [PASS] test_storageHash() (gas: 3436)
330
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 390.78ms (498.56ms CPU time)
342
331
 
343
332
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
344
333
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -355,16 +344,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
355
344
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
356
345
  [PASS] test_pauseConfig() (gas: 45626)
357
346
  [PASS] test_setDefaultPaused() (gas: 39667)
358
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27794, ~: 16332)
347
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28195, ~: 39918)
359
348
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
360
349
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
361
350
  [PASS] test_setPaused() (gas: 43060)
362
351
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
363
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38636, ~: 43373)
352
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38378, ~: 43373)
364
353
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
365
354
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
366
355
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
367
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57710, ~: 46989)
356
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58909, ~: 69608)
368
357
  [PASS] test_storageHash() (gas: 3480)
369
358
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
370
359
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -372,7 +361,7 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
372
361
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
373
362
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
374
363
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
375
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 372.39ms (428.24ms CPU time)
364
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 796.95ms (234.91ms CPU time)
376
365
 
377
366
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
378
367
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -390,7 +379,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
390
379
  [PASS] test_pauseConfig() (gas: 51028)
391
380
  [PASS] test_roleManagement_grantAndRevoke() (gas: 174204)
392
381
  [PASS] test_setDefaultPaused() (gas: 42196)
393
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
382
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30541, ~: 18826)
394
383
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
395
384
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
396
385
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 22489)
@@ -399,8 +388,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
399
388
  [PASS] test_setPaused_DormantData() (gas: 297504)
400
389
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
401
390
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 102594)
402
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43105, ~: 48533)
403
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224797, ~: 219074)
391
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43545, ~: 48533)
392
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 225855, ~: 219074)
404
393
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 25048)
405
394
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 134340)
406
395
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 109682)
@@ -414,7 +403,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
414
403
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 135474)
415
404
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
416
405
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 132087)
417
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62694, ~: 73465)
406
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62740, ~: 73465)
418
407
  [PASS] test_storageHash() (gas: 3392)
419
408
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
420
409
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -422,10 +411,10 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
422
411
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
423
412
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
424
413
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
425
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 378.62ms (775.67ms CPU time)
414
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.19s (797.39ms CPU time)
426
415
 
427
416
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
428
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27588, ~: 41090)
417
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26881, ~: 12786)
429
418
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
430
419
  [PASS] test_assertNotPaused_Success() (gas: 12539)
431
420
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15969)
@@ -436,7 +425,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
436
425
  [PASS] test_pause() (gas: 42109)
437
426
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 35880)
438
427
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 181540)
439
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30401, ~: 18756)
428
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
440
429
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
441
430
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
442
431
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20199)
@@ -445,77 +434,14 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
445
434
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
446
435
  [PASS] test_storageHash() (gas: 3414)
447
436
  [PASS] test_unpause() (gas: 35177)
448
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41886, ~: 39122)
437
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 42094, ~: 44741)
449
438
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44622)
450
439
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40955)
451
440
  [PASS] test_whenNotPaused_Success() (gas: 38986)
452
441
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52848)
453
442
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 63439)
454
443
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15646)
455
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.02s (399.47ms CPU time)
456
-
457
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
458
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
459
- [PASS] test_constructor_InitialMode() (gas: 15778)
460
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
461
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
462
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
463
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
464
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
465
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
466
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
467
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 115159)
468
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
469
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
470
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
471
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
472
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
473
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
474
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
475
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
476
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
477
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
478
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
479
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
480
- [PASS] test_setMode_Blacklist() (gas: 42605)
481
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
482
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
483
- [PASS] test_setMode_Whitelist() (gas: 42714)
484
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
485
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
486
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
487
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
488
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
489
- [PASS] test_storageHash() (gas: 3480)
490
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.21s (477.48ms CPU time)
491
-
492
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
493
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
494
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
495
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44973, ~: 46317)
496
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
497
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
498
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
499
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
500
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
501
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
502
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
503
- [PASS] test_getFee_Default() (gas: 40577)
504
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43183, ~: 44486)
505
- [PASS] test_getFee_Rounding() (gas: 42835)
506
- [PASS] test_getFee_Specific() (gas: 63968)
507
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
508
- [PASS] test_setDefaultFeeBps() (gas: 39576)
509
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32734, ~: 39667)
510
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
511
- [PASS] test_setFeeBps() (gas: 73871)
512
- Logs:
513
- Bound result 500
514
-
515
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65042, ~: 74224)
516
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
517
- [PASS] test_storageHash() (gas: 3426)
518
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.65s (533.10ms CPU time)
444
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.28s (230.13ms CPU time)
519
445
 
520
446
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
521
447
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -523,379 +449,336 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
523
449
  ╭-----------------------------------+---------------------+-------+---------+----------╮
524
450
  | Contract | Selector | Calls | Reverts | Discards |
525
451
  +======================================================================================+
526
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
527
453
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
454
+ | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
529
455
  |-----------------------------------+---------------------+-------+---------+----------|
530
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
456
+ | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
531
457
  |-----------------------------------+---------------------+-------+---------+----------|
532
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
458
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
533
459
  |-----------------------------------+---------------------+-------+---------+----------|
534
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
460
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
535
461
  |-----------------------------------+---------------------+-------+---------+----------|
536
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
462
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
537
463
  |-----------------------------------+---------------------+-------+---------+----------|
538
- | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
464
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
539
465
  ╰-----------------------------------+---------------------+-------+---------+----------╯
540
466
 
541
467
  Logs:
542
- Bound result 6217
543
- Bound result 145
544
- Bound result 8402
545
- Bound result 0
546
- Bound result 327
547
- Bound result 1
548
- Bound result 573
549
- Bound result 334497530723783784271
550
- Bound result 1363803916526838015616
551
- Bound result 10253840027524121828
552
- Bound result 671
468
+ Bound result 7129
469
+ Bound result 96
470
+ Bound result 8372398430898658330537
471
+ Bound result 9900000000000000006220
472
+ Bound result 849
473
+ Bound result 6844
474
+ Bound result 7266
475
+ Bound result 8790
553
476
  Bound result 3
554
- Bound result 9900000000000000002498
555
- Bound result 9900000000000000000714
556
- Bound result 7196
557
- Bound result 3739
558
- Bound result 6914264337587829919716
559
- Bound result 5023
560
- Bound result 51269343508923
561
- Bound result 19338
562
- Bound result 271
477
+ Bound result 2193
478
+ Bound result 8262
479
+ Bound result 4156029342
563
480
 
564
481
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
565
482
 
566
483
  ╭-----------------------------------+---------------------+-------+---------+----------╮
567
484
  | Contract | Selector | Calls | Reverts | Discards |
568
485
  +======================================================================================+
569
- | RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
570
487
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | outflow | 512 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
572
489
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
574
491
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
492
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
576
493
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
494
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
578
495
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
496
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
580
497
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
498
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
582
499
  ╰-----------------------------------+---------------------+-------+---------+----------╯
583
500
 
584
501
  Logs:
585
- Bound result 9900000000000107477465
586
- Bound result 9900000000000000004172
587
- Bound result 5235
588
- Bound result 9327
589
- Bound result 9900000000000000001700
590
- Bound result 9900000000000000002861
591
- Bound result 441
592
- Bound result 6835
593
- Bound result 9900000000000000000999
594
- Bound result 9900000000000000001089
595
- Bound result 5628
596
- Bound result 539
597
- Bound result 287009066585010220927
598
- Bound result 32440872
599
- Bound result 0
600
- Bound result 3972
601
- Bound result 538
602
- Bound result 7601
502
+ Bound result 814838071901517072301
503
+ Bound result 9900000000000000007912
504
+ Bound result 9900000000000000009791
505
+ Bound result 1097
506
+ Bound result 8552
507
+ Bound result 214635435
508
+ Bound result 9900000000000000010416
509
+ Bound result 9900000000000000008133
510
+ Bound result 7491
511
+ Bound result 4606
512
+ Bound result 2
513
+ Bound result 1424
514
+ Bound result 1799740832
603
515
  Bound result 1
604
- Bound result 9900000000001688394122
605
- Bound result 9900000000001936680693
606
- Bound result 10
607
- Bound result 1218
608
- Bound result 9900000000000000031041
609
- Bound result 4585828654358088839444
610
- Bound result 429
611
- Bound result 4613
516
+ Bound result 1213333844084935514130
517
+ Bound result 389071897207489
518
+ Bound result 0
519
+ Bound result 7673
612
520
 
613
521
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
614
522
 
615
523
  ╭-----------------------------------+---------------------+-------+---------+----------╮
616
524
  | Contract | Selector | Calls | Reverts | Discards |
617
525
  +======================================================================================+
618
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
619
527
  |-----------------------------------+---------------------+-------+---------+----------|
620
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
621
529
  |-----------------------------------+---------------------+-------+---------+----------|
622
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
623
531
  |-----------------------------------+---------------------+-------+---------+----------|
624
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
625
533
  |-----------------------------------+---------------------+-------+---------+----------|
626
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 504 | 0 | 0 |
627
535
  |-----------------------------------+---------------------+-------+---------+----------|
628
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
629
537
  |-----------------------------------+---------------------+-------+---------+----------|
630
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
538
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
631
539
  ╰-----------------------------------+---------------------+-------+---------+----------╯
632
540
 
633
541
  Logs:
634
- Bound result 5551
635
- Bound result 128746520846
636
- Bound result 73077478934
542
+ Bound result 9900000000000000007011
543
+ Bound result 9900000000000000005634
544
+ Bound result 2065
545
+ Bound result 6769
546
+ Bound result 9900000000000000005476
547
+ Bound result 9900000000000000003059
548
+ Bound result 1644
549
+ Bound result 7609
550
+ Bound result 206705642451607817996
637
551
  Bound result 1
638
- Bound result 1341
639
- Bound result 1456
640
- Bound result 1343483354306172571427
641
- Bound result 9900000000000037121127
642
- Bound result 9900264811929320549644
643
- Bound result 3413
644
- Bound result 5338
645
- Bound result 7670
646
- Bound result 2230292476
647
- Bound result 1570
648
- Bound result 1816
649
- Bound result 12
650
- Bound result 1340474
651
- Bound result 50485448181145635825
552
+ Bound result 97158075580454152
553
+ Bound result 363284222
652
554
  Bound result 1
653
- Bound result 7446
555
+ Bound result 280375465082881
556
+ Bound result 3691
557
+ Bound result 7640827500288764292249
558
+ Bound result 9901542905957036137578
559
+ Bound result 27
560
+ Bound result 11
561
+ Bound result 2152194664521984
654
562
 
655
563
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
656
564
 
657
565
  ╭-----------------------------------+---------------------+-------+---------+----------╮
658
566
  | Contract | Selector | Calls | Reverts | Discards |
659
567
  +======================================================================================+
660
- | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
661
569
  |-----------------------------------+---------------------+-------+---------+----------|
662
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
663
571
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
665
573
  |-----------------------------------+---------------------+-------+---------+----------|
666
- | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
667
575
  |-----------------------------------+---------------------+-------+---------+----------|
668
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
576
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
669
577
  |-----------------------------------+---------------------+-------+---------+----------|
670
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
578
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
671
579
  |-----------------------------------+---------------------+-------+---------+----------|
672
- | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
580
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
673
581
  ╰-----------------------------------+---------------------+-------+---------+----------╯
674
582
 
675
583
  Logs:
676
- Bound result 3
677
- Bound result 100796297063226421697
678
- Bound result 1
679
- Bound result 9900000000000625761770
680
- Bound result 9900000000000000004834
681
- Bound result 6347
682
- Bound result 5462
683
- Bound result 2562799991870968
684
- Bound result 1
685
- Bound result 4367574830923820799627
686
- Bound result 0
687
- Bound result 1
688
- Bound result 1661
689
- Bound result 57
584
+ Bound result 100000000000000000000
585
+ Bound result 100000000000000000000
586
+ Bound result 516
587
+ Bound result 1612
588
+ Bound result 150498398634
589
+ Bound result 2
590
+ Bound result 3195
591
+ Bound result 9900000000666517511413
592
+ Bound result 661013408946910934440
593
+ Bound result 4169
594
+ Bound result 11
595
+ Bound result 24846505
690
596
  Bound result 1
691
- Bound result 5171276080236251
692
- Bound result 203819629
693
597
  Bound result 1
694
- Bound result 439
695
- Bound result 42891005
696
- Bound result 0
697
- Bound result 60
698
- Bound result 4149
699
- Bound result 16552986500123039289717
700
- Bound result 0
598
+ Bound result 626
599
+ Bound result 9900000000000000000270
600
+ Bound result 9900000000000000003353
601
+ Bound result 2828
602
+ Bound result 8297
603
+ Bound result 3
604
+ Bound result 598
605
+ Bound result 7938845264452
606
+ Bound result 3209
607
+ Bound result 99999999999999999999
701
608
 
702
609
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
703
610
 
704
611
  ╭-----------------------------------+---------------------+-------+---------+----------╮
705
612
  | Contract | Selector | Calls | Reverts | Discards |
706
613
  +======================================================================================+
707
- | RateLimiterRBACUpgradeableHandler | inflow | 612 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
708
615
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | outflow | 506 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
710
617
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
712
619
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
714
621
  |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
716
623
  |-----------------------------------+---------------------+-------+---------+----------|
717
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
718
625
  |-----------------------------------+---------------------+-------+---------+----------|
719
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
720
627
  ╰-----------------------------------+---------------------+-------+---------+----------╯
721
628
 
722
629
  Logs:
723
- Bound result 6641467028271451800203
724
- Bound result 9905039423860344220071
725
- Bound result 3628
726
- Bound result 9996
727
- Bound result 16
728
- Bound result 9900000000000001446844
729
- Bound result 3661232766815772140603
730
- Bound result 9949
731
- Bound result 6241
732
- Bound result 9900000000000000001015
733
- Bound result 9900000000000000002330
734
- Bound result 492
735
- Bound result 766
736
- Bound result 7
737
- Bound result 2398769950328542430103
738
- Bound result 6269193
739
- Bound result 3856056065
740
- Bound result 10038
741
- Bound result 3901
742
- Bound result 8851
630
+ Bound result 9900000000000000000713
631
+ Bound result 9900000000000000000999
632
+ Bound result 187
633
+ Bound result 364
634
+ Bound result 7677146356965214515341
635
+ Bound result 0
636
+ Bound result 0
637
+ Bound result 3151
638
+ Bound result 9900000000173336772823
639
+ Bound result 9900000000000000186798
640
+ Bound result 3321
641
+ Bound result 58
642
+ Bound result 9906556507159017386225
643
+ Bound result 100000000000000000003
644
+ Bound result 1594
645
+ Bound result 634
646
+ Bound result 35039188253569
647
+ Bound result 487218801279
648
+ Bound result 0
649
+ Bound result 1535
650
+ Bound result 1983
651
+ Bound result 4527
743
652
 
744
653
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
745
654
 
746
655
  ╭-----------------------------------+---------------------+-------+---------+----------╮
747
656
  | Contract | Selector | Calls | Reverts | Discards |
748
657
  +======================================================================================+
749
- | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
750
659
  |-----------------------------------+---------------------+-------+---------+----------|
751
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
752
661
  |-----------------------------------+---------------------+-------+---------+----------|
753
- | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
754
663
  |-----------------------------------+---------------------+-------+---------+----------|
755
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
756
665
  |-----------------------------------+---------------------+-------+---------+----------|
757
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
666
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
758
667
  |-----------------------------------+---------------------+-------+---------+----------|
759
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
668
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
760
669
  |-----------------------------------+---------------------+-------+---------+----------|
761
670
  | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
762
671
  ╰-----------------------------------+---------------------+-------+---------+----------╯
763
672
 
764
673
  Logs:
765
- Bound result 6914264337593535947488
766
- Bound result 100000000000000000000
767
- Bound result 6242
768
- Bound result 9996
769
- Bound result 8885162886515083703497
770
- Bound result 3695152416
771
- Bound result 0
772
- Bound result 2
773
- Bound result 9900000000000000010284
774
- Bound result 9900000000000000000517
775
- Bound result 590
776
- Bound result 1291
777
- Bound result 942308
778
- Bound result 30196575466447
779
- Bound result 1
780
- Bound result 1433898603789133518
781
- Bound result 2189
782
- Bound result 766
783
- Bound result 1311270510412975
784
- Bound result 0
785
- Bound result 308
674
+ Bound result 3566
675
+ Bound result 1965
676
+ Bound result 31103204032617
677
+ Bound result 506786550
678
+ Bound result 896
679
+ Bound result 1496280103820460760439
680
+ Bound result 9900000000000000009175
681
+ Bound result 9900000000000000001790
682
+ Bound result 1132
683
+ Bound result 551
684
+ Bound result 9900000015076573945489
685
+ Bound result 9900007586661576891697
686
+ Bound result 221
687
+ Bound result 98
688
+ Bound result 63
689
+ Bound result 2285924395802
690
+ Bound result 9900000000000000009175
691
+ Bound result 9900000000000000009746
692
+ Bound result 5036
693
+ Bound result 7909
694
+ Bound result 16679721717510910132253
786
695
 
787
696
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
788
697
 
789
698
  ╭-----------------------------------+---------------------+-------+---------+----------╮
790
699
  | Contract | Selector | Calls | Reverts | Discards |
791
700
  +======================================================================================+
792
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
793
702
  |-----------------------------------+---------------------+-------+---------+----------|
794
- | RateLimiterRBACUpgradeableHandler | outflow | 499 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
795
704
  |-----------------------------------+---------------------+-------+---------+----------|
796
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
797
706
  |-----------------------------------+---------------------+-------+---------+----------|
798
- | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
799
708
  |-----------------------------------+---------------------+-------+---------+----------|
800
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 521 | 0 | 0 |
801
710
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
803
712
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
713
+ | RateLimiterRBACUpgradeableHandler | warp | 590 | 0 | 0 |
805
714
  ╰-----------------------------------+---------------------+-------+---------+----------╯
806
715
 
807
716
  Logs:
808
- Bound result 9900000000000000006078
809
- Bound result 9900000000001263864543
810
- Bound result 1349
811
- Bound result 5348
812
- Bound result 3819
813
- Bound result 8149
814
- Bound result 155
815
- Bound result 9789
717
+ Bound result 4157049185
718
+ Bound result 9830614975160660787161
719
+ Bound result 100000000000000000000
720
+ Bound result 3453
721
+ Bound result 15
722
+ Bound result 1253
723
+ Bound result 2807
724
+ Bound result 9008
725
+ Bound result 6047
816
726
  Bound result 1
817
- Bound result 6874
818
- Bound result 53881663
819
- Bound result 49059
820
- Bound result 3888
821
- Bound result 6914264337544902664500
822
- Bound result 951
823
- Bound result 934
727
+ Bound result 2095
728
+ Bound result 2951
729
+ Bound result 9900000000000000001103
730
+ Bound result 9900000000000000008499
731
+ Bound result 7921
732
+ Bound result 47
733
+ Bound result 13491
734
+ Bound result 3930
735
+ Bound result 10989
824
736
 
825
737
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
826
738
 
827
739
  ╭-----------------------------------+---------------------+-------+---------+----------╮
828
740
  | Contract | Selector | Calls | Reverts | Discards |
829
741
  +======================================================================================+
830
- | RateLimiterRBACUpgradeableHandler | inflow | 505 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
831
743
  |-----------------------------------+---------------------+-------+---------+----------|
832
- | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
833
745
  |-----------------------------------+---------------------+-------+---------+----------|
834
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
835
747
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
837
749
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
839
751
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
841
753
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
843
755
  ╰-----------------------------------+---------------------+-------+---------+----------╯
844
756
 
845
757
  Logs:
846
- Bound result 1052
847
- Bound result 1699915097630
848
- Bound result 1809609504639539553973
849
- Bound result 1314527689600155736
850
- Bound result 28
851
- Bound result 19
852
- Bound result 6396
853
- Bound result 1483
854
- Bound result 2067408715435015872111
855
- Bound result 9900000000000000098902
856
- Bound result 16
857
- Bound result 1008
858
- Bound result 1005
859
- Bound result 831
860
- Bound result 4782588997790494
861
- Bound result 9900000000011074433265
862
- Bound result 100000000000000000001
863
- Bound result 3531
864
- Bound result 2118
865
- Bound result 8132
866
- Bound result 800627395
867
-
868
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.66s (10.02s CPU time)
869
-
870
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
871
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
872
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
873
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47716, ~: 48966)
874
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
875
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
876
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
877
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
878
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
879
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
880
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
881
- [PASS] test_getFee_Default() (gas: 43108)
882
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45535, ~: 47017)
883
- [PASS] test_getFee_Rounding() (gas: 45449)
884
- [PASS] test_getFee_Specific() (gas: 66985)
885
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
886
- [PASS] test_setDefaultFeeBps() (gas: 42199)
887
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35435, ~: 42268)
888
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
889
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 22361)
890
- [PASS] test_setFeeBps() (gas: 77237)
891
- Logs:
892
- Bound result 500
893
-
894
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68458, ~: 77570)
895
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
896
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 22460)
897
- [PASS] test_storageHash() (gas: 3436)
898
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.73s (428.71ms CPU time)
758
+ Bound result 294443687
759
+ Bound result 2159037157
760
+ Bound result 1
761
+ Bound result 447245592362758479
762
+ Bound result 1962
763
+ Bound result 1
764
+ Bound result 1470034435085627864133
765
+ Bound result 2
766
+ Bound result 1073
767
+ Bound result 1198996683314046567425
768
+ Bound result 6914264337593535947488
769
+ Bound result 9900000000000247191390
770
+ Bound result 4021
771
+ Bound result 9997
772
+ Bound result 938
773
+ Bound result 47876
774
+ Bound result 9900000000000000005888
775
+ Bound result 9900000000000000007668
776
+ Bound result 448
777
+ Bound result 8791
778
+ Bound result 10382
779
+ Bound result 8493
780
+
781
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.31s CPU time)
899
782
 
900
783
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
901
784
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -903,375 +786,405 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
903
786
  ╭-----------------------------------+---------------------+-------+---------+----------╮
904
787
  | Contract | Selector | Calls | Reverts | Discards |
905
788
  +======================================================================================+
906
- | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
907
790
  |-----------------------------------+---------------------+-------+---------+----------|
908
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
909
792
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
911
794
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
913
796
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 569 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
915
798
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
917
800
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
919
802
  ╰-----------------------------------+---------------------+-------+---------+----------╯
920
803
 
921
804
  Logs:
922
- Bound result 3705889412816
923
- Bound result 300
924
- Bound result 13301085
925
- Bound result 205575640828662096338
926
- Bound result 245796848408628627166
927
- Bound result 6101
928
- Bound result 26
929
- Bound result 5807
930
- Bound result 26
931
- Bound result 111
932
- Bound result 1212
933
- Bound result 16776782
934
- Bound result 0
935
- Bound result 10479054162049
805
+ Bound result 61789
806
+ Bound result 9900000000001425644633
807
+ Bound result 6843097594233902958754
808
+ Bound result 8730
809
+ Bound result 517
810
+ Bound result 2
811
+ Bound result 1383
812
+ Bound result 8194609542513
813
+ Bound result 9900000000064994043683
814
+ Bound result 4245850867136172054595
815
+ Bound result 247
816
+ Bound result 9997
817
+ Bound result 13418836175925669
818
+ Bound result 3663496590451271718743
936
819
  Bound result 0
937
- Bound result 1493
938
- Bound result 2675
939
- Bound result 2093
940
- Bound result 368
820
+ Bound result 6874041466013421182288
821
+ Bound result 3045953109
822
+ Bound result 1589
823
+ Bound result 2
824
+ Bound result 304011585069084771487
941
825
 
942
826
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
943
827
 
944
828
  ╭-----------------------------------+---------------------+-------+---------+----------╮
945
829
  | Contract | Selector | Calls | Reverts | Discards |
946
830
  +======================================================================================+
947
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
948
832
  |-----------------------------------+---------------------+-------+---------+----------|
949
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | outflow | 498 | 0 | 0 |
950
834
  |-----------------------------------+---------------------+-------+---------+----------|
951
- | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
952
836
  |-----------------------------------+---------------------+-------+---------+----------|
953
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
954
838
  |-----------------------------------+---------------------+-------+---------+----------|
955
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
956
840
  |-----------------------------------+---------------------+-------+---------+----------|
957
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
958
842
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
960
844
  ╰-----------------------------------+---------------------+-------+---------+----------╯
961
845
 
962
846
  Logs:
963
- Bound result 9900000000000000009891
964
- Bound result 9900000000000000001819
965
- Bound result 545
966
- Bound result 508
967
- Bound result 5238207093688483408819
968
- Bound result 100000000000000000003
969
- Bound result 2639
970
- Bound result 6558
971
- Bound result 2945
972
- Bound result 14193452550803284343
973
- Bound result 464195773601796043
974
- Bound result 10500
975
- Bound result 802525242547
976
- Bound result 137
977
- Bound result 79105
978
- Bound result 9900000096640739275398
979
- Bound result 9900000000000358429874
980
- Bound result 316
981
- Bound result 489
982
- Bound result 8924
983
- Bound result 81
847
+ Bound result 9714
848
+ Bound result 3491
849
+ Bound result 1
850
+ Bound result 3077567105752396576
851
+ Bound result 9900000000000000002553
852
+ Bound result 9900000000000613063845
853
+ Bound result 102
854
+ Bound result 7795
855
+ Bound result 2959
856
+ Bound result 48
857
+ Bound result 243
858
+ Bound result 10839
859
+ Bound result 9571
860
+ Bound result 577
861
+ Bound result 229
862
+ Bound result 13215742619264485220391
863
+ Bound result 60259982712469109867
864
+ Bound result 110
984
865
 
985
866
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
986
867
 
987
868
  ╭-----------------------------------+---------------------+-------+---------+----------╮
988
869
  | Contract | Selector | Calls | Reverts | Discards |
989
870
  +======================================================================================+
990
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
871
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
991
872
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
873
+ | RateLimiterRBACUpgradeableHandler | outflow | 515 | 0 | 0 |
993
874
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
995
876
  |-----------------------------------+---------------------+-------+---------+----------|
996
- | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
997
878
  |-----------------------------------+---------------------+-------+---------+----------|
998
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 609 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
999
880
  |-----------------------------------+---------------------+-------+---------+----------|
1000
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 587 | 0 | 0 |
1001
882
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | warp | 585 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
1003
884
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1004
885
 
1005
886
  Logs:
1006
- Bound result 359460779786799174313
1007
- Bound result 6661761361131266467556
1008
- Bound result 218
1009
- Bound result 266
1010
- Bound result 2
1011
- Bound result 9213
1012
- Bound result 129
1013
- Bound result 9900000000379411867454
1014
- Bound result 4100168519963057415778
1015
- Bound result 651
1016
- Bound result 10
1017
- Bound result 407
1018
- Bound result 3856056066
1019
- Bound result 0
1020
- Bound result 1955
1021
- Bound result 1271164073815130
1022
- Bound result 385416002
887
+ Bound result 657584102329086802259
888
+ Bound result 9642
1023
889
  Bound result 1
1024
- Bound result 7330
1025
- Bound result 9900000000002719481311
1026
- Bound result 6697854339302607069824
1027
- Bound result 615
1028
- Bound result 301
890
+ Bound result 2579647
891
+ Bound result 1180
892
+ Bound result 65197874
893
+ Bound result 9900000000000000004419
894
+ Bound result 9900000000000000002092
895
+ Bound result 277
896
+ Bound result 8280
897
+ Bound result 1
898
+ Bound result 606417462389003
899
+ Bound result 663
900
+ Bound result 10
901
+ Bound result 323
1029
902
 
1030
903
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1031
904
 
1032
905
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1033
906
  | Contract | Selector | Calls | Reverts | Discards |
1034
907
  +======================================================================================+
1035
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1036
909
  |-----------------------------------+---------------------+-------+---------+----------|
1037
- | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1038
911
  |-----------------------------------+---------------------+-------+---------+----------|
1039
- | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
1040
913
  |-----------------------------------+---------------------+-------+---------+----------|
1041
- | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
1042
915
  |-----------------------------------+---------------------+-------+---------+----------|
1043
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 492 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1044
917
  |-----------------------------------+---------------------+-------+---------+----------|
1045
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
1046
919
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1048
921
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1049
922
 
1050
923
  Logs:
1051
- Bound result 7761381
1052
- Bound result 1900636112487811209680
1053
- Bound result 5137
924
+ Bound result 3207
925
+ Bound result 1294
926
+ Bound result 169
927
+ Bound result 2131
928
+ Bound result 1350
929
+ Bound result 91958387825091558
930
+ Bound result 168494061843205575752
931
+ Bound result 508
932
+ Bound result 9900000223058033232892
933
+ Bound result 9900000000000000000006
934
+ Bound result 2029
935
+ Bound result 8631
936
+ Bound result 9839
937
+ Bound result 830
1054
938
  Bound result 1
1055
- Bound result 9900000000000000010398
1056
- Bound result 9900000000000000000137
1057
- Bound result 1030
1058
- Bound result 7902
939
+ Bound result 2293517446
940
+ Bound result 9900000054813922413421
941
+ Bound result 9900000000113864257624
942
+ Bound result 2126
943
+ Bound result 902
1059
944
  Bound result 3
1060
- Bound result 1367382036005220683490
1061
- Bound result 62799733
1062
- Bound result 1
1063
- Bound result 9900000000000000000250
1064
- Bound result 9900000000000000008049
1065
- Bound result 553
1066
- Bound result 7885
1067
- Bound result 4116
1068
- Bound result 9900000000000000009851
1069
- Bound result 9900000000000000009736
1070
- Bound result 3996
1071
- Bound result 7624
1072
- Bound result 9900000007719607212233
1073
- Bound result 100000000000000000002
1074
- Bound result 424
1075
- Bound result 13
1076
- Bound result 453
1077
- Bound result 780
945
+ Bound result 6717968120865419203855
946
+ Bound result 9900000000000017346673
947
+ Bound result 1156
948
+ Bound result 3241
1078
949
 
1079
950
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1080
951
 
1081
952
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1082
953
  | Contract | Selector | Calls | Reverts | Discards |
1083
954
  +======================================================================================+
1084
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1085
956
  |-----------------------------------+---------------------+-------+---------+----------|
1086
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
1087
958
  |-----------------------------------+---------------------+-------+---------+----------|
1088
959
  | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
1089
960
  |-----------------------------------+---------------------+-------+---------+----------|
1090
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
961
+ | RateLimiterRBACUpgradeableHandler | setState | 512 | 0 | 0 |
1091
962
  |-----------------------------------+---------------------+-------+---------+----------|
1092
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
1093
964
  |-----------------------------------+---------------------+-------+---------+----------|
1094
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
965
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1095
966
  |-----------------------------------+---------------------+-------+---------+----------|
1096
- | RateLimiterRBACUpgradeableHandler | warp | 511 | 0 | 0 |
967
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
1097
968
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1098
969
 
1099
970
  Logs:
1100
- Bound result 698402883142699256494
1101
- Bound result 1
1102
- Bound result 664
1103
- Bound result 12
971
+ Bound result 3924909985078139
972
+ Bound result 9315
973
+ Bound result 7118545
974
+ Bound result 1091370
975
+ Bound result 0
976
+ Bound result 578040799954093829902
977
+ Bound result 27587158073715297726
978
+ Bound result 4771
979
+ Bound result 972
1104
980
  Bound result 1
1105
- Bound result 290
1106
- Bound result 1976
1107
- Bound result 650945005910909914344
1108
- Bound result 664342333814183324530
1109
- Bound result 3
1110
- Bound result 9900000000000000001326
1111
- Bound result 9900000000000000007071
1112
- Bound result 5741
1113
- Bound result 752
1114
- Bound result 6563004161581751608524
981
+ Bound result 1439648964138461987338
982
+ Bound result 4084760629951359
983
+ Bound result 9900000000000000007058
984
+ Bound result 9900000000000000001219
985
+ Bound result 345
986
+ Bound result 1009
987
+ Bound result 3303
988
+ Bound result 9900000000000000000884
989
+ Bound result 9900000000000000005857
990
+ Bound result 4952
991
+ Bound result 5689
1115
992
 
1116
993
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1117
994
 
1118
995
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1119
996
  | Contract | Selector | Calls | Reverts | Discards |
1120
997
  +======================================================================================+
1121
- | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
1122
999
  |-----------------------------------+---------------------+-------+---------+----------|
1123
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1124
1001
  |-----------------------------------+---------------------+-------+---------+----------|
1125
- | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
1002
+ | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
1126
1003
  |-----------------------------------+---------------------+-------+---------+----------|
1127
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
1128
1005
  |-----------------------------------+---------------------+-------+---------+----------|
1129
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
1130
1007
  |-----------------------------------+---------------------+-------+---------+----------|
1131
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 588 | 0 | 0 |
1132
1009
  |-----------------------------------+---------------------+-------+---------+----------|
1133
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | warp | 514 | 0 | 0 |
1134
1011
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1135
1012
 
1136
1013
  Logs:
1137
- Bound result 9900000000000000004721
1138
- Bound result 9900000000000000003464
1139
- Bound result 6046
1140
- Bound result 9944
1141
- Bound result 322522876908
1142
- Bound result 7682144
1143
- Bound result 352
1144
- Bound result 16666191081172561784566
1145
- Bound result 6914264337565822098718
1146
- Bound result 8737
1147
- Bound result 9900002450189686404757
1148
- Bound result 9901987831695856671178
1149
- Bound result 5063
1150
- Bound result 1916
1151
- Bound result 14134913023711
1152
- Bound result 12888483068107
1014
+ Bound result 1537781847092956240972
1015
+ Bound result 514264337593504336254
1016
+ Bound result 0
1017
+ Bound result 216664
1018
+ Bound result 3963
1153
1019
  Bound result 3
1154
- Bound result 34352222350168952964
1155
- Bound result 16212053650930577783
1020
+ Bound result 16081166978848
1021
+ Bound result 1330027665
1022
+ Bound result 6742
1023
+ Bound result 581
1024
+ Bound result 1
1025
+ Bound result 9900000000000018244215
1026
+ Bound result 6914264337593535947490
1027
+ Bound result 13
1028
+ Bound result 9997
1029
+ Bound result 419489
1030
+ Bound result 822301806945
1031
+ Bound result 1
1032
+ Bound result 6163891206
1033
+ Bound result 10708
1034
+ Bound result 8183
1035
+ Bound result 1
1036
+ Bound result 278
1037
+ Bound result 0
1038
+ Bound result 0
1156
1039
 
1157
1040
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1158
1041
 
1159
1042
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1160
1043
  | Contract | Selector | Calls | Reverts | Discards |
1161
1044
  +======================================================================================+
1162
- | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1163
1046
  |-----------------------------------+---------------------+-------+---------+----------|
1164
- | RateLimiterRBACUpgradeableHandler | outflow | 490 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1165
1048
  |-----------------------------------+---------------------+-------+---------+----------|
1166
- | RateLimiterRBACUpgradeableHandler | setConfig | 601 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
1167
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1168
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1169
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1170
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
1171
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1172
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
1173
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1174
- | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1175
1058
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1176
1059
 
1177
1060
  Logs:
1178
- Bound result 9900219041556389095777
1179
- Bound result 100000000000000000000
1180
- Bound result 28
1181
- Bound result 6909
1182
- Bound result 2304574767635451153
1183
- Bound result 14112896150388432
1184
- Bound result 0
1185
- Bound result 5152
1186
- Bound result 8183
1187
- Bound result 1
1061
+ Bound result 1533
1062
+ Bound result 9900000000000000000042
1063
+ Bound result 9902519037983435830351
1064
+ Bound result 10
1065
+ Bound result 11
1066
+ Bound result 6914264337593535947491
1067
+ Bound result 100000000000000000003
1068
+ Bound result 6242
1069
+ Bound result 10
1070
+ Bound result 457
1071
+ Bound result 6825
1072
+ Bound result 4950
1073
+ Bound result 4266781249
1074
+ Bound result 10196
1075
+ Bound result 632
1076
+ Bound result 7337
1077
+ Bound result 9900000000040903954672
1078
+ Bound result 4050998241810676693003
1079
+ Bound result 5984
1080
+ Bound result 42
1081
+ Bound result 5403507
1082
+ Bound result 8478
1083
+ Bound result 2159
1084
+ Bound result 1360
1085
+ Bound result 53
1188
1086
 
1189
1087
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1190
1088
 
1191
1089
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1192
1090
  | Contract | Selector | Calls | Reverts | Discards |
1193
1091
  +======================================================================================+
1194
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1092
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
1195
1093
  |-----------------------------------+---------------------+-------+---------+----------|
1196
- | RateLimiterRBACUpgradeableHandler | outflow | 484 | 0 | 0 |
1094
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1197
1095
  |-----------------------------------+---------------------+-------+---------+----------|
1198
- | RateLimiterRBACUpgradeableHandler | setConfig | 516 | 0 | 0 |
1096
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
1199
1097
  |-----------------------------------+---------------------+-------+---------+----------|
1200
- | RateLimiterRBACUpgradeableHandler | setState | 627 | 0 | 0 |
1098
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
1201
1099
  |-----------------------------------+---------------------+-------+---------+----------|
1202
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
1100
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 514 | 0 | 0 |
1203
1101
  |-----------------------------------+---------------------+-------+---------+----------|
1204
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1102
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
1205
1103
  |-----------------------------------+---------------------+-------+---------+----------|
1206
- | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
1104
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1207
1105
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1208
1106
 
1209
1107
  Logs:
1210
- Bound result 3
1211
- Bound result 810049336030723589793
1212
- Bound result 1
1213
- Bound result 1875809624070006700812
1214
- Bound result 4
1215
- Bound result 545
1216
- Bound result 493
1217
- Bound result 612
1218
- Bound result 1214
1219
- Bound result 5578
1220
- Bound result 5689
1221
- Bound result 635
1222
- Bound result 1796
1223
- Bound result 1
1108
+ Bound result 1333
1109
+ Bound result 380
1110
+ Bound result 93
1111
+ Bound result 9900000000452857328472
1112
+ Bound result 9900000000000000000386
1113
+ Bound result 2241
1114
+ Bound result 2704
1115
+ Bound result 10
1116
+ Bound result 100000000000000000001
1117
+ Bound result 100000000000000000000
1118
+ Bound result 9995
1119
+ Bound result 7811
1120
+ Bound result 114264337592751668710
1121
+ Bound result 580
1122
+ Bound result 2
1224
1123
 
1225
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.76s (10.40s CPU time)
1124
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.01s CPU time)
1226
1125
 
1227
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1228
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1229
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1230
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1231
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1232
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1233
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1234
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1235
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1236
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1237
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1238
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1239
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50279)
1240
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1241
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1242
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1243
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1244
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1245
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1246
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1247
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1248
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1249
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1250
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1251
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1252
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1253
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1254
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1255
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1256
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1257
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1258
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1259
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1260
- [PASS] test_storageHash() (gas: 3380)
1261
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.76s (356.78ms CPU time)
1126
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1127
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1128
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1129
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44938, ~: 46317)
1130
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1131
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1132
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1133
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1134
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1135
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1136
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1137
+ [PASS] test_getFee_Default() (gas: 40577)
1138
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43251, ~: 44486)
1139
+ [PASS] test_getFee_Rounding() (gas: 42835)
1140
+ [PASS] test_getFee_Specific() (gas: 63968)
1141
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1142
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1143
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32589, ~: 39667)
1144
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1145
+ [PASS] test_setFeeBps() (gas: 73871)
1146
+ Logs:
1147
+ Bound result 500
1262
1148
 
1263
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1264
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1265
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1266
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1267
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1268
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3388)
1269
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1270
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1271
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1272
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1273
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1274
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.62s (49.51ms CPU time)
1149
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64959, ~: 74224)
1150
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1151
+ [PASS] test_storageHash() (gas: 3426)
1152
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.28s (645.30ms CPU time)
1153
+
1154
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1155
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1156
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1157
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1158
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1159
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1160
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1161
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1162
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1163
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1164
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1165
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1166
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1167
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1168
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1169
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1170
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1171
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20352)
1172
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1173
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1174
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1175
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1176
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23219)
1177
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1178
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1179
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1180
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1181
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1182
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1183
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1184
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1185
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23066)
1186
+ [PASS] test_storageHash() (gas: 3480)
1187
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.06s (575.53ms CPU time)
1275
1188
 
1276
1189
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1277
1190
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -1303,12 +1216,12 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1303
1216
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1304
1217
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1305
1218
  [PASS] test_storageHash() (gas: 3458)
1306
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.62s (492.83ms CPU time)
1219
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.06s (392.88ms CPU time)
1307
1220
 
1308
1221
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1309
1222
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1310
1223
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1311
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 768180, ~: 163648)
1224
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 723617, ~: 114627)
1312
1225
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1313
1226
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1314
1227
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1321,12 +1234,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1321
1234
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1322
1235
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1323
1236
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1324
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11174279, ~: 10429988)
1237
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11196618, ~: 10605634)
1325
1238
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1326
1239
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1327
1240
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1328
1241
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1329
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 727436, ~: 116338)
1242
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 823600, ~: 398605)
1330
1243
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1331
1244
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1332
1245
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1339,10 +1252,23 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1339
1252
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1340
1253
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1341
1254
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1342
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11121193, ~: 10359797)
1255
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11103630, ~: 10286042)
1343
1256
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1344
1257
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1345
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.91s (28.37s CPU time)
1258
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.05s (25.76s CPU time)
1259
+
1260
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1261
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1262
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1263
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1264
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1265
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
1266
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1267
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1268
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1269
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1270
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1271
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.07s (130.69ms CPU time)
1346
1272
 
1347
- Ran 17 test suites in 11.93s (46.92s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1348
- ⏳ forge test: 26.495s
1273
+ Ran 17 test suites in 11.09s (52.68s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1274
+ ⏳ forge test: 25.618s