@layerzerolabs/utils-upgradeable-evm-contracts 0.2.101 → 0.2.103

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 +734 -819
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,91 +5,15 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:83703) [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.
8
+ (node:151028) [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.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
12
- 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
13
- 📥 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
14
- $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
15
- forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
16
- 86ec798129ac: Pulling fs layer
17
- eef7c391911c: Pulling fs layer
18
- cc2ecf4065b7: Pulling fs layer
19
- 5760fdd70374: Pulling fs layer
20
- c70db14240a1: Pulling fs layer
21
- 0cb2c6965bde: Pulling fs layer
22
- 885bca26f927: Pulling fs layer
23
- 8e167e77288f: Pulling fs layer
24
- 45d43cc973ba: Pulling fs layer
25
- 44c09156221f: Pulling fs layer
26
- f2fb700979ad: Pulling fs layer
27
- 2a1ced882ba9: Pulling fs layer
28
- 597168d5c38e: Pulling fs layer
29
- e431adaf232f: Pulling fs layer
30
- 36e15e3f2788: Pulling fs layer
31
- 5760fdd70374: Waiting
32
- c70db14240a1: Waiting
33
- 885bca26f927: Waiting
34
- 0cb2c6965bde: Waiting
35
- 44c09156221f: Waiting
36
- f2fb700979ad: Waiting
37
- 8e167e77288f: Waiting
38
- 2a1ced882ba9: Waiting
39
- 45d43cc973ba: Waiting
40
- 597168d5c38e: Waiting
41
- 36e15e3f2788: Waiting
42
- eef7c391911c: Download complete
43
- 5760fdd70374: Verifying Checksum
44
- 5760fdd70374: Download complete
45
- c70db14240a1: Verifying Checksum
46
- c70db14240a1: Download complete
47
- 86ec798129ac: Verifying Checksum
48
- 86ec798129ac: Download complete
49
- cc2ecf4065b7: Verifying Checksum
50
- cc2ecf4065b7: Download complete
51
- 0cb2c6965bde: Verifying Checksum
52
- 0cb2c6965bde: Download complete
53
- 8e167e77288f: Verifying Checksum
54
- 8e167e77288f: Download complete
55
- 45d43cc973ba: Verifying Checksum
56
- 45d43cc973ba: Download complete
57
- 44c09156221f: Verifying Checksum
58
- 44c09156221f: Download complete
59
- f2fb700979ad: Verifying Checksum
60
- f2fb700979ad: Download complete
61
- 597168d5c38e: Verifying Checksum
62
- 597168d5c38e: Download complete
63
- 86ec798129ac: Pull complete
64
- eef7c391911c: Pull complete
65
- 2a1ced882ba9: Verifying Checksum
66
- 2a1ced882ba9: Download complete
67
- 36e15e3f2788: Verifying Checksum
68
- 36e15e3f2788: Download complete
69
- cc2ecf4065b7: Pull complete
70
- 5760fdd70374: Pull complete
71
- c70db14240a1: Pull complete
72
- e431adaf232f: Download complete
73
- 0cb2c6965bde: Pull complete
74
- 885bca26f927: Verifying Checksum
75
- 885bca26f927: Download complete
76
- 885bca26f927: Pull complete
77
- 8e167e77288f: Pull complete
78
- 45d43cc973ba: Pull complete
79
- 44c09156221f: Pull complete
80
- f2fb700979ad: Pull complete
81
- 2a1ced882ba9: Pull complete
82
- 597168d5c38e: Pull complete
83
- e431adaf232f: Pull complete
84
- 36e15e3f2788: Pull complete
85
- Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
86
- Status: Downloaded newer image for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
87
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
88
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
12
+ ✅ 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
89
13
  👤 Running container as UID:GID 1001:1001
90
14
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -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
91
15
  Compiling 84 files with Solc 0.8.22
92
- Solc 0.8.22 finished in 19.23s
16
+ Solc 0.8.22 finished in 14.36s
93
17
  Compiler run successful with warnings:
94
18
  Warning (2018): Function state mutability can be restricted to view
95
19
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -248,7 +172,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
248
172
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
249
173
  [PASS] test_storageHash() (gas: 3414)
250
174
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
251
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 24.44ms (20.17ms CPU time)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 22.57ms (17.79ms CPU time)
252
176
 
253
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
254
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -291,7 +215,143 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
291
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
292
216
  [PASS] test_storageHash() (gas: 3392)
293
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
294
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 70.37ms (48.07ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 70.04ms (54.52ms CPU time)
219
+
220
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
221
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26371, ~: 12786)
222
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
223
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
224
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
225
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
226
+ [PASS] test_isPaused_InitialState() (gas: 15629)
227
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
228
+ [PASS] test_multipleRoleGrants() (gas: 394130)
229
+ [PASS] test_pause() (gas: 42109)
230
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
231
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
232
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30212, ~: 18756)
233
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
234
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
235
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
236
+ [PASS] test_setPaused_Success() (gas: 40691)
237
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
238
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
239
+ [PASS] test_storageHash() (gas: 3414)
240
+ [PASS] test_unpause() (gas: 35177)
241
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41590, ~: 38860)
242
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
243
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
244
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
245
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
246
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
247
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
248
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 233.53ms (462.25ms CPU time)
249
+
250
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
251
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25647, ~: 12763)
252
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
253
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
254
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
255
+ [PASS] test_isPaused_InitialState() (gas: 15595)
256
+ [PASS] test_pause() (gas: 39592)
257
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27945, ~: 16219)
258
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
259
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
260
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
261
+ [PASS] test_storageHash() (gas: 3414)
262
+ [PASS] test_unpause() (gas: 31115)
263
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40442, ~: 38893)
264
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
265
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
266
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
267
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
268
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
269
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
270
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 507.93ms (800.77ms CPU time)
271
+
272
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
273
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
274
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
275
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
276
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
277
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
278
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
279
+ [PASS] test_isPaused_Default() (gas: 44698)
280
+ [PASS] test_isPaused_InitialState() (gas: 22070)
281
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
282
+ [PASS] test_isPaused_Override() (gas: 69381)
283
+ [PASS] test_isPaused_Specific() (gas: 46709)
284
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
285
+ [PASS] test_pauseConfig() (gas: 45626)
286
+ [PASS] test_setDefaultPaused() (gas: 39667)
287
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27205, ~: 16332)
288
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
289
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
290
+ [PASS] test_setPaused() (gas: 43060)
291
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
292
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38358, ~: 43373)
293
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
294
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
295
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
296
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57913, ~: 46989)
297
+ [PASS] test_storageHash() (gas: 3480)
298
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
299
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
300
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
301
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
302
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
303
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
304
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 654.35ms (1.37s CPU time)
305
+
306
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
307
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
308
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
309
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
310
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
311
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
312
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
313
+ [PASS] test_isPaused_Default() (gas: 47316)
314
+ [PASS] test_isPaused_InitialState() (gas: 22172)
315
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
316
+ [PASS] test_isPaused_Override() (gas: 75171)
317
+ [PASS] test_isPaused_Specific() (gas: 50105)
318
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
319
+ [PASS] test_pauseConfig() (gas: 51028)
320
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
321
+ [PASS] test_setDefaultPaused() (gas: 42196)
322
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29714, ~: 18826)
323
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
324
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
325
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
326
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
327
+ [PASS] test_setPaused() (gas: 48361)
328
+ [PASS] test_setPaused_DormantData() (gas: 295234)
329
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
330
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
331
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43967, ~: 48696)
332
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223502, ~: 219722)
333
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
334
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
335
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
336
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
337
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
338
+ [PASS] test_setPaused_Success() (gas: 45897)
339
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
340
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
341
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
342
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
343
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
344
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
345
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
346
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62102, ~: 50341)
347
+ [PASS] test_storageHash() (gas: 3392)
348
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
349
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
350
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
351
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
352
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
353
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
354
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 713.88ms (1.03s CPU time)
295
355
 
296
356
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
297
357
  [PASS] test_feeDeposit() (gas: 17576)
@@ -299,79 +359,7 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
299
359
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
300
360
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
301
361
  [PASS] test_storageHash() (gas: 3337)
302
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 100.49ms (98.97ms CPU time)
303
-
304
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
305
- [PASS] test_feeDeposit() (gas: 17638)
306
- [PASS] test_setFeeDeposit() (gas: 27596)
307
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
308
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
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 130.00ms (129.30ms CPU time)
312
-
313
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
314
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
315
- [PASS] test_constructor_InitialMode() (gas: 15778)
316
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
317
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
318
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
319
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115141, ~: 115161)
320
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
321
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
322
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
323
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
324
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
325
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
326
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
327
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
328
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
329
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
330
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
331
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
332
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
333
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
334
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
335
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
336
- [PASS] test_setMode_Blacklist() (gas: 42605)
337
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
338
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
339
- [PASS] test_setMode_Whitelist() (gas: 42714)
340
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
341
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
342
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
343
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
344
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
345
- [PASS] test_storageHash() (gas: 3480)
346
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 508.81ms (944.15ms CPU time)
347
-
348
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
349
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
350
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
351
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44844, ~: 46317)
352
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
353
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
354
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
355
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
356
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
357
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
358
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
359
- [PASS] test_getFee_Default() (gas: 40577)
360
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42984, ~: 44486)
361
- [PASS] test_getFee_Rounding() (gas: 42835)
362
- [PASS] test_getFee_Specific() (gas: 63968)
363
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
364
- [PASS] test_setDefaultFeeBps() (gas: 39576)
365
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 33180, ~: 39667)
366
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
367
- [PASS] test_setFeeBps() (gas: 73871)
368
- Logs:
369
- Bound result 500
370
-
371
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66038, ~: 74224)
372
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
373
- [PASS] test_storageHash() (gas: 3426)
374
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 650.86ms (858.16ms CPU time)
362
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 727.79ms (341.93ms CPU time)
375
363
 
376
364
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
377
365
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -407,86 +395,70 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
407
395
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
408
396
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
409
397
  [PASS] test_storageHash() (gas: 3380)
410
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 642.86ms (826.24ms CPU time)
398
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 920.61ms (1.14s CPU time)
411
399
 
412
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
413
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
414
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
415
- [PASS] test_assertNotPaused_Success() (gas: 14934)
416
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
417
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
418
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
419
- [PASS] test_isPaused_Default() (gas: 44698)
420
- [PASS] test_isPaused_InitialState() (gas: 22070)
421
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
422
- [PASS] test_isPaused_Override() (gas: 69381)
423
- [PASS] test_isPaused_Specific() (gas: 46709)
424
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
425
- [PASS] test_pauseConfig() (gas: 45626)
426
- [PASS] test_setDefaultPaused() (gas: 39667)
427
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27535, ~: 16332)
428
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
429
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
430
- [PASS] test_setPaused() (gas: 43060)
431
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
432
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38716, ~: 43373)
433
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
434
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
435
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
436
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58524, ~: 69608)
437
- [PASS] test_storageHash() (gas: 3480)
438
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
439
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
440
- [PASS] test_whenNotPaused_Success() (gas: 41297)
441
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
442
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
443
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
444
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 850.17ms (901.79ms CPU time)
400
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
401
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
402
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
403
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45050, ~: 46317)
404
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
405
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
406
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
407
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
408
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
409
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
410
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
411
+ [PASS] test_getFee_Default() (gas: 40577)
412
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43363, ~: 44486)
413
+ [PASS] test_getFee_Rounding() (gas: 42835)
414
+ [PASS] test_getFee_Specific() (gas: 63968)
415
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
416
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
417
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32276, ~: 39667)
418
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
419
+ [PASS] test_setFeeBps() (gas: 73871)
420
+ Logs:
421
+ Bound result 500
445
422
 
446
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
447
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
448
- [PASS] test_constructor_InitialMode() (gas: 15578)
449
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
450
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
451
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
452
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
453
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
454
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
455
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
456
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
457
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
458
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
459
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
460
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
461
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
462
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
463
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
464
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
465
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
466
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
467
- [PASS] test_setMode_Blacklist() (gas: 40021)
468
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
469
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
470
- [PASS] test_setMode_Whitelist() (gas: 40108)
471
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
472
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
473
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
474
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
475
- [PASS] test_storageHash() (gas: 3458)
476
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.29s (1.26s CPU time)
423
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65836, ~: 74224)
424
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
425
+ [PASS] test_storageHash() (gas: 3426)
426
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.96s (1.01s CPU time)
477
427
 
478
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
479
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
480
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
481
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
482
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
483
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
484
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
485
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
486
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
487
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
488
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
489
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 2.42s (257.90ms CPU time)
428
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
429
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
430
+ [PASS] test_constructor_InitialMode() (gas: 15778)
431
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
432
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
433
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
434
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
435
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
436
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
437
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
438
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
439
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
440
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
441
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
442
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
443
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
444
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
445
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
446
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
447
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
448
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
449
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
450
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
451
+ [PASS] test_setMode_Blacklist() (gas: 42605)
452
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
453
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
454
+ [PASS] test_setMode_Whitelist() (gas: 42714)
455
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
456
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
457
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
458
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
459
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
460
+ [PASS] test_storageHash() (gas: 3480)
461
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 2.07s (1.04s CPU time)
490
462
 
491
463
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
492
464
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -494,339 +466,364 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
494
466
  ╭-----------------------------------+---------------------+-------+---------+----------╮
495
467
  | Contract | Selector | Calls | Reverts | Discards |
496
468
  +======================================================================================+
497
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
469
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
498
470
  |-----------------------------------+---------------------+-------+---------+----------|
499
- | RateLimiterRBACUpgradeableHandler | outflow | 522 | 0 | 0 |
471
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
500
472
  |-----------------------------------+---------------------+-------+---------+----------|
501
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
473
+ | RateLimiterRBACUpgradeableHandler | setConfig | 598 | 0 | 0 |
502
474
  |-----------------------------------+---------------------+-------+---------+----------|
503
- | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
475
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
504
476
  |-----------------------------------+---------------------+-------+---------+----------|
505
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
477
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
506
478
  |-----------------------------------+---------------------+-------+---------+----------|
507
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
479
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 491 | 0 | 0 |
508
480
  |-----------------------------------+---------------------+-------+---------+----------|
509
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
481
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
510
482
  ╰-----------------------------------+---------------------+-------+---------+----------╯
511
483
 
512
484
  Logs:
485
+ Bound result 25854307922
486
+ Bound result 1011120115219896660928
487
+ Bound result 1
488
+ Bound result 4294967296
489
+ Bound result 3901
490
+ Bound result 8191
513
491
  Bound result 1
514
- Bound result 521582983
515
- Bound result 774
492
+ Bound result 9900000000000000004653
493
+ Bound result 9900000000000000000831
494
+ Bound result 1788
495
+ Bound result 7553
496
+ Bound result 1275
497
+ Bound result 794
498
+ Bound result 564305330298
499
+ Bound result 5
500
+ Bound result 177274135444381751000
516
501
  Bound result 100000000000000000000
517
- Bound result 9900000000164083627935
518
- Bound result 9421
519
- Bound result 201
520
- Bound result 7385
521
- Bound result 2457
522
- Bound result 34
523
- Bound result 2930
524
- Bound result 2
525
- Bound result 259551768655554575
526
- Bound result 9900000000000000001095
527
- Bound result 9900000481723745005366
528
- Bound result 285
529
- Bound result 9806
530
- Bound result 9900000043398551646166
531
- Bound result 100000000000000000001
532
- Bound result 4215
533
- Bound result 12
502
+ Bound result 6914264337593535947488
503
+ Bound result 10
504
+ Bound result 2507
505
+ Bound result 115
506
+ Bound result 925000269
507
+ Bound result 128526922
508
+ Bound result 5462
509
+ Bound result 3035
534
510
 
535
511
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
536
512
 
537
513
  ╭-----------------------------------+---------------------+-------+---------+----------╮
538
514
  | Contract | Selector | Calls | Reverts | Discards |
539
515
  +======================================================================================+
540
- | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
516
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
541
517
  |-----------------------------------+---------------------+-------+---------+----------|
542
- | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
543
519
  |-----------------------------------+---------------------+-------+---------+----------|
544
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
520
+ | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
545
521
  |-----------------------------------+---------------------+-------+---------+----------|
546
- | RateLimiterRBACUpgradeableHandler | setState | 585 | 0 | 0 |
522
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
547
523
  |-----------------------------------+---------------------+-------+---------+----------|
548
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
524
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 514 | 0 | 0 |
549
525
  |-----------------------------------+---------------------+-------+---------+----------|
550
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
551
527
  |-----------------------------------+---------------------+-------+---------+----------|
552
- | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
553
529
  ╰-----------------------------------+---------------------+-------+---------+----------╯
554
530
 
555
531
  Logs:
556
- Bound result 1412190521701414433054
557
- Bound result 5968799139702153995817
558
- Bound result 8509545265235480400111
559
- Bound result 6277
560
- Bound result 598
561
- Bound result 3321
562
- Bound result 6321
563
- Bound result 9900000000000000009026
564
- Bound result 9900000000000000002458
565
- Bound result 990
566
- Bound result 9746
567
- Bound result 9900071134204805971030
568
- Bound result 7694067957742508163535
569
- Bound result 349
570
- Bound result 12
571
- Bound result 567
572
- Bound result 80621117
573
- Bound result 115
574
- Bound result 483
532
+ Bound result 9900000000110154335655
533
+ Bound result 9519368427399890867031
534
+ Bound result 52
535
+ Bound result 1003
536
+ Bound result 9900000000000000009571
537
+ Bound result 9900000000000000008553
538
+ Bound result 8106
539
+ Bound result 768
540
+ Bound result 809
541
+ Bound result 21
542
+ Bound result 3542
543
+ Bound result 6286
544
+ Bound result 9900000000000000001226
545
+ Bound result 9900000000000000009852
546
+ Bound result 6164
547
+ Bound result 1548
548
+ Bound result 233
549
+ Bound result 110154335654
575
550
 
576
551
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
577
552
 
578
553
  ╭-----------------------------------+---------------------+-------+---------+----------╮
579
554
  | Contract | Selector | Calls | Reverts | Discards |
580
555
  +======================================================================================+
581
- | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
556
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
582
557
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
558
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
584
559
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
560
+ | RateLimiterRBACUpgradeableHandler | setConfig | 598 | 0 | 0 |
586
561
  |-----------------------------------+---------------------+-------+---------+----------|
587
- | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
562
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
588
563
  |-----------------------------------+---------------------+-------+---------+----------|
589
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 505 | 0 | 0 |
564
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 493 | 0 | 0 |
590
565
  |-----------------------------------+---------------------+-------+---------+----------|
591
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
566
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
592
567
  |-----------------------------------+---------------------+-------+---------+----------|
593
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
594
569
  ╰-----------------------------------+---------------------+-------+---------+----------╯
595
570
 
596
571
  Logs:
597
- Bound result 9900016000513302903248
598
- Bound result 9900000000000000000010
599
- Bound result 8393
600
- Bound result 3098
601
- Bound result 3251467
602
- Bound result 3
603
- Bound result 0
604
- Bound result 7984
605
- Bound result 15278497213863120383551
606
- Bound result 0
607
- Bound result 6069896820829241190658
608
- Bound result 9900000000000000000508
609
- Bound result 4011
610
- Bound result 6240
611
- Bound result 2437889
612
- Bound result 8754423034175678475846
572
+ Bound result 736
573
+ Bound result 8762
574
+ Bound result 876
575
+ Bound result 9900000000000046239992
576
+ Bound result 9900000006884037727950
577
+ Bound result 288
578
+ Bound result 10
579
+ Bound result 179
580
+ Bound result 252
581
+ Bound result 1867266791098309323
613
582
  Bound result 2
614
- Bound result 347
615
- Bound result 2890
583
+ Bound result 201
584
+ Bound result 4108079509
616
585
  Bound result 1
617
586
  Bound result 23
618
- Bound result 9900000000000000001840
619
- Bound result 9900000000001327428232
620
- Bound result 7340
621
- Bound result 816
622
- Bound result 9900000000000000007835
623
- Bound result 9900000000000000005123
624
- Bound result 3737
625
- Bound result 6950
626
- Bound result 11250980463
627
- Bound result 6217
587
+ Bound result 3
628
588
 
629
589
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
630
590
 
631
591
  ╭-----------------------------------+---------------------+-------+---------+----------╮
632
592
  | Contract | Selector | Calls | Reverts | Discards |
633
593
  +======================================================================================+
634
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
594
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
635
595
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
596
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
637
597
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
639
599
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | setState | 507 | 0 | 0 |
641
601
  |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
643
603
  |-----------------------------------+---------------------+-------+---------+----------|
644
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
645
605
  |-----------------------------------+---------------------+-------+---------+----------|
646
- | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
606
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
647
607
  ╰-----------------------------------+---------------------+-------+---------+----------╯
648
608
 
649
609
  Logs:
650
- Bound result 9900000000000000003498
651
- Bound result 9900000000000000000162
652
- Bound result 140
653
- Bound result 5294
654
- Bound result 176937914469827909805
655
- Bound result 9900000000000000000829
656
- Bound result 9900000000000000004543
657
- Bound result 4701
658
- Bound result 9455
659
- Bound result 569
610
+ Bound result 6066
611
+ Bound result 3695152416
660
612
  Bound result 1
613
+ Bound result 9902050393616625157908
614
+ Bound result 9900024430280268662551
615
+ Bound result 2691
616
+ Bound result 4082
617
+ Bound result 3644407702
618
+ Bound result 7149
661
619
  Bound result 0
662
- Bound result 10091689118905
663
- Bound result 0
664
- Bound result 7029
665
- Bound result 7336
666
- Bound result 9468
667
- Bound result 6319
668
- Bound result 13710456083
669
- Bound result 2096
620
+ Bound result 485
621
+ Bound result 1219
622
+ Bound result 7773
623
+ Bound result 163
624
+ Bound result 644
625
+ Bound result 6447
626
+ Bound result 1739
627
+ Bound result 1309
628
+ Bound result 116
670
629
 
671
630
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
672
631
 
673
632
  ╭-----------------------------------+---------------------+-------+---------+----------╮
674
633
  | Contract | Selector | Calls | Reverts | Discards |
675
634
  +======================================================================================+
676
- | RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
635
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
677
636
  |-----------------------------------+---------------------+-------+---------+----------|
678
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
637
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
679
638
  |-----------------------------------+---------------------+-------+---------+----------|
680
- | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
639
+ | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
681
640
  |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
641
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
683
642
  |-----------------------------------+---------------------+-------+---------+----------|
684
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
643
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
685
644
  |-----------------------------------+---------------------+-------+---------+----------|
686
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
645
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
687
646
  |-----------------------------------+---------------------+-------+---------+----------|
688
- | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
647
+ | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
689
648
  ╰-----------------------------------+---------------------+-------+---------+----------╯
690
649
 
691
650
  Logs:
692
- Bound result 111
693
- Bound result 9900000000000000010126
694
- Bound result 9900000000000000037247
695
- Bound result 8238
696
- Bound result 757
697
- Bound result 9900000000000000000032
698
- Bound result 9951202121240193749581
699
- Bound result 6315
700
- Bound result 9998
701
- Bound result 157
651
+ Bound result 1929
652
+ Bound result 6698
653
+ Bound result 1045257268331
654
+ Bound result 951
655
+ Bound result 3480154040
656
+ Bound result 7955908407129541763297
657
+ Bound result 117723212065499800358
658
+ Bound result 1090
659
+ Bound result 685
660
+ Bound result 9900000000000000007701
661
+ Bound result 9900000000000000005349
662
+ Bound result 6754
663
+ Bound result 813
664
+ Bound result 9900000000000000006720
665
+ Bound result 9900000000000000000138
666
+ Bound result 240
667
+ Bound result 6888
668
+ Bound result 4577
669
+ Bound result 183098759
670
+ Bound result 7339031774015
702
671
  Bound result 1
703
- Bound result 7456052259810364026942
704
- Bound result 11881691695787407247
705
- Bound result 32
706
- Bound result 90
707
- Bound result 31895744387251699
708
- Bound result 9900000000160077680954
709
- Bound result 9900000000000000000176
710
- Bound result 10
711
- Bound result 6071
672
+ Bound result 5882
673
+ Bound result 4116
712
674
 
713
675
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
714
676
 
715
677
  ╭-----------------------------------+---------------------+-------+---------+----------╮
716
678
  | Contract | Selector | Calls | Reverts | Discards |
717
679
  +======================================================================================+
718
- | RateLimiterRBACUpgradeableHandler | inflow | 573 | 0 | 0 |
680
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
719
681
  |-----------------------------------+---------------------+-------+---------+----------|
720
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
682
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
721
683
  |-----------------------------------+---------------------+-------+---------+----------|
722
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
684
+ | RateLimiterRBACUpgradeableHandler | setConfig | 584 | 0 | 0 |
723
685
  |-----------------------------------+---------------------+-------+---------+----------|
724
- | RateLimiterRBACUpgradeableHandler | setState | 577 | 0 | 0 |
686
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
725
687
  |-----------------------------------+---------------------+-------+---------+----------|
726
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
688
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
727
689
  |-----------------------------------+---------------------+-------+---------+----------|
728
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 476 | 0 | 0 |
690
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
729
691
  |-----------------------------------+---------------------+-------+---------+----------|
730
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
692
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
731
693
  ╰-----------------------------------+---------------------+-------+---------+----------╯
732
694
 
733
695
  Logs:
734
- Bound result 1292
735
- Bound result 1019977220436854916227
736
- Bound result 9900000000000084749275
737
- Bound result 388149467759679532313
738
- Bound result 2774
739
- Bound result 929
740
- Bound result 847
741
- Bound result 135
742
- Bound result 615
743
- Bound result 984
744
- Bound result 405
745
- Bound result 1641
746
- Bound result 533
747
- Bound result 6914263659358317012232
748
- Bound result 26
749
- Bound result 873251697965082
750
- Bound result 8085
751
- Bound result 55
696
+ Bound result 9900000000000000010072
697
+ Bound result 9900000000000000004029
698
+ Bound result 9027
699
+ Bound result 76
700
+ Bound result 351284
701
+ Bound result 9900000000002428830012
702
+ Bound result 9900000000000000001098
703
+ Bound result 7235
704
+ Bound result 3611
705
+ Bound result 17098402267958918497086
706
+ Bound result 142
707
+ Bound result 6914244900045851394784
708
+ Bound result 6914264337584752826201
709
+ Bound result 0
710
+ Bound result 1757735783
711
+ Bound result 527982668307
712
+ Bound result 1
713
+ Bound result 579
714
+ Bound result 9900000000000361223077
715
+ Bound result 9900100177283773245438
716
+ Bound result 1512
717
+ Bound result 50
718
+ Bound result 2752
719
+ Bound result 9900000000030142581423
720
+ Bound result 9900000018437243034767
721
+ Bound result 9246
722
+ Bound result 498
723
+ Bound result 8175
724
+ Bound result 1813
725
+ Bound result 5824
726
+ Bound result 1137
752
727
 
753
728
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
754
729
 
755
730
  ╭-----------------------------------+---------------------+-------+---------+----------╮
756
731
  | Contract | Selector | Calls | Reverts | Discards |
757
732
  +======================================================================================+
758
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
733
+ | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
759
734
  |-----------------------------------+---------------------+-------+---------+----------|
760
- | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
735
+ | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
761
736
  |-----------------------------------+---------------------+-------+---------+----------|
762
- | RateLimiterRBACUpgradeableHandler | setConfig | 534 | 0 | 0 |
737
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
763
738
  |-----------------------------------+---------------------+-------+---------+----------|
764
- | RateLimiterRBACUpgradeableHandler | setState | 578 | 0 | 0 |
739
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
765
740
  |-----------------------------------+---------------------+-------+---------+----------|
766
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
767
742
  |-----------------------------------+---------------------+-------+---------+----------|
768
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
769
744
  |-----------------------------------+---------------------+-------+---------+----------|
770
- | RateLimiterRBACUpgradeableHandler | warp | 510 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
771
746
  ╰-----------------------------------+---------------------+-------+---------+----------╯
772
747
 
773
748
  Logs:
774
- Bound result 2
775
- Bound result 6760161038678697726
776
- Bound result 140687533821911328818
777
- Bound result 5436189372713998237645
778
- Bound result 80
779
- Bound result 3849
780
- Bound result 9900000000000000003135
781
- Bound result 8437549774017938470597
782
- Bound result 13
783
- Bound result 607
784
- Bound result 6735
785
- Bound result 883
749
+ Bound result 324
750
+ Bound result 3947098527901128629967
751
+ Bound result 9900000003188723033361
752
+ Bound result 4451
753
+ Bound result 44
754
+ Bound result 35637
755
+ Bound result 12201265198995
756
+ Bound result 166
757
+ Bound result 4511182155471172690422
758
+ Bound result 1005657631310235123487
759
+ Bound result 1263
760
+ Bound result 9009
761
+ Bound result 6655373247
762
+ Bound result 14416468496
763
+ Bound result 84
764
+ Bound result 4099
765
+ Bound result 9900000000000000000060
766
+ Bound result 9900000044117063110263
767
+ Bound result 11
768
+ Bound result 89
769
+ Bound result 46020173
770
+ Bound result 741
771
+ Bound result 36
772
+ Bound result 94673
773
+ Bound result 468407830315
774
+ Bound result 67
775
+ Bound result 16
776
+ Bound result 9900000000000000000010
777
+ Bound result 9900000000000000003767
778
+ Bound result 113
779
+ Bound result 409
780
+ Bound result 0
781
+ Bound result 21579831077718
786
782
  Bound result 0
787
- Bound result 1174
788
- Bound result 15738532408258153542519
789
- Bound result 72006152411029147
790
783
 
791
784
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
792
785
 
793
786
  ╭-----------------------------------+---------------------+-------+---------+----------╮
794
787
  | Contract | Selector | Calls | Reverts | Discards |
795
788
  +======================================================================================+
796
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
797
790
  |-----------------------------------+---------------------+-------+---------+----------|
798
791
  | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
799
792
  |-----------------------------------+---------------------+-------+---------+----------|
800
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
801
794
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | setState | 586 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
803
796
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
805
798
  |-----------------------------------+---------------------+-------+---------+----------|
806
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
807
800
  |-----------------------------------+---------------------+-------+---------+----------|
808
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
809
802
  ╰-----------------------------------+---------------------+-------+---------+----------╯
810
803
 
811
804
  Logs:
812
- Bound result 129
813
- Bound result 2162
814
- Bound result 4539
805
+ Bound result 9900000000000000009450
806
+ Bound result 9900000000000000000853
807
+ Bound result 5745
808
+ Bound result 7474
809
+ Bound result 9227
810
+ Bound result 8992
811
+ Bound result 1
812
+ Bound result 1
813
+ Bound result 1254
814
+ Bound result 16912640959859898436182
815
+ Bound result 18904447
816
+ Bound result 2
817
+ Bound result 2
818
+ Bound result 16713709997872360132435
819
+ Bound result 1
820
+ Bound result 2033784626905503698269
821
+ Bound result 1
822
+ Bound result 2945
823
+ Bound result 1576
815
824
  Bound result 1
816
- Bound result 237327565598
817
- Bound result 1869
818
- Bound result 1038418
819
- Bound result 9068075409417647122496
820
- Bound result 9900000000071676470861
821
- Bound result 3662
822
- Bound result 9995
823
- Bound result 35169879
824
- Bound result 6682
825
- Bound result 2790128251186547706805
826
- Bound result 8082
827
- Bound result 1718
828
-
829
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.88s (18.10s CPU time)
825
+
826
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.50s (16.70s CPU time)
830
827
 
831
828
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
832
829
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -834,504 +831,360 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
834
831
  ╭-----------------------------------+---------------------+-------+---------+----------╮
835
832
  | Contract | Selector | Calls | Reverts | Discards |
836
833
  +======================================================================================+
837
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
838
835
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
840
837
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | setConfig | 591 | 0 | 0 |
842
839
  |-----------------------------------+---------------------+-------+---------+----------|
843
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
844
841
  |-----------------------------------+---------------------+-------+---------+----------|
845
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
846
843
  |-----------------------------------+---------------------+-------+---------+----------|
847
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
844
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
848
845
  |-----------------------------------+---------------------+-------+---------+----------|
849
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
850
847
  ╰-----------------------------------+---------------------+-------+---------+----------╯
851
848
 
852
849
  Logs:
853
- Bound result 8652
854
- Bound result 357094978
855
- Bound result 0
856
- Bound result 1993
857
- Bound result 5460
858
- Bound result 8595
859
- Bound result 398
860
- Bound result 239803332430
861
- Bound result 80
862
- Bound result 451
863
- Bound result 9901055319170348202982
864
- Bound result 100000000000000000003
865
- Bound result 11
866
- Bound result 13
867
- Bound result 26725732303205
868
- Bound result 13
869
- Bound result 1882029968637395189017
870
- Bound result 244805
871
- Bound result 3
850
+ Bound result 514264337593543950333
851
+ Bound result 1343307045077008820858
852
+ Bound result 18442566625829568271
853
+ Bound result 1173
854
+ Bound result 435
855
+ Bound result 8246
856
+ Bound result 5071
857
+ Bound result 8213
858
+ Bound result 183
859
+ Bound result 314
860
+ Bound result 7213
861
+ Bound result 220
862
+ Bound result 9900000000000000008795
863
+ Bound result 9900000000000000010312
864
+ Bound result 1125
865
+ Bound result 2095
866
+ Bound result 3443
872
867
 
873
868
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
874
869
 
875
870
  ╭-----------------------------------+---------------------+-------+---------+----------╮
876
871
  | Contract | Selector | Calls | Reverts | Discards |
877
872
  +======================================================================================+
878
- | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
873
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
879
874
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | outflow | 594 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
881
876
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
883
878
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
885
880
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
887
882
  |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
889
884
  |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
891
886
  ╰-----------------------------------+---------------------+-------+---------+----------╯
892
887
 
893
888
  Logs:
894
- Bound result 1799
895
- Bound result 163586687112
896
- Bound result 59931233
897
- Bound result 789
898
- Bound result 9900000000000000004575
899
- Bound result 9900000000000007594376
900
- Bound result 3953
901
- Bound result 851
902
- Bound result 2626193218106451485450
903
- Bound result 5738776446963385237865
904
- Bound result 2032
905
- Bound result 13
906
- Bound result 1534076806778092633491
907
- Bound result 9900000001965479656187
908
- Bound result 12
909
- Bound result 1960
910
- Bound result 2754
911
- Bound result 9900000000000000001476
912
- Bound result 9900000000000000001026
913
- Bound result 1029
914
- Bound result 338
915
- Bound result 5836
916
- Bound result 9157
917
- Bound result 100
918
- Bound result 10106
919
- Bound result 1036107718
920
- Bound result 1019
889
+ Bound result 57
890
+ Bound result 818700137695332151855
891
+ Bound result 253582569896100309868
892
+ Bound result 264268671412228627672
893
+ Bound result 1482
894
+ Bound result 87
895
+ Bound result 324929719185229462450
896
+ Bound result 5460
897
+ Bound result 10285
898
+ Bound result 0
899
+ Bound result 879
900
+ Bound result 1705161674597
901
+ Bound result 3795222
902
+ Bound result 159
903
+ Bound result 7109
904
+ Bound result 719206527
905
+ Bound result 1013
906
+ Bound result 36202037
907
+ Bound result 160544108768466995235
908
+ Bound result 169
909
+ Bound result 357094980
910
+ Bound result 2446411861
911
+ Bound result 192
921
912
 
922
913
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
923
914
 
924
915
  ╭-----------------------------------+---------------------+-------+---------+----------╮
925
916
  | Contract | Selector | Calls | Reverts | Discards |
926
917
  +======================================================================================+
927
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
928
919
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
930
921
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
932
923
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | setState | 523 | 0 | 0 |
924
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
934
925
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
936
927
  |-----------------------------------+---------------------+-------+---------+----------|
937
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 582 | 0 | 0 |
938
929
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | warp | 582 | 0 | 0 |
930
+ | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
940
931
  ╰-----------------------------------+---------------------+-------+---------+----------╯
941
932
 
942
933
  Logs:
943
- Bound result 9900000000000000002662
944
- Bound result 9900000000000000007874
945
- Bound result 7211
946
- Bound result 7063
947
- Bound result 4355577182400686956320
948
- Bound result 10363
949
- Bound result 1006
950
- Bound result 9900000000000000001083
951
- Bound result 100000000000000000000
952
- Bound result 4466
953
- Bound result 7250
954
- Bound result 10576
955
- Bound result 1048
956
- Bound result 572
957
- Bound result 346286263258
958
- Bound result 7601937625219610899047
959
- Bound result 100000000000000000000
960
- Bound result 11
961
- Bound result 6241
962
- Bound result 9196
934
+ Bound result 9900000000000000001446
935
+ Bound result 9900000000000000003044
936
+ Bound result 112
937
+ Bound result 9332
938
+ Bound result 9311
939
+ Bound result 8118
940
+ Bound result 4411
941
+ Bound result 9900000000000000005848
942
+ Bound result 7978772063789439179937
943
+ Bound result 5028
944
+ Bound result 348
945
+ Bound result 8847068691134763499179
946
+ Bound result 9900000000354532836572
947
+ Bound result 6878
948
+ Bound result 130
949
+ Bound result 10732
950
+ Bound result 8944
951
+ Bound result 13628128592854918215524
952
+ Bound result 13693984874038692
953
+ Bound result 4774966
954
+ Bound result 3845
955
+ Bound result 1
963
956
 
964
957
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
965
958
 
966
959
  ╭-----------------------------------+---------------------+-------+---------+----------╮
967
960
  | Contract | Selector | Calls | Reverts | Discards |
968
961
  +======================================================================================+
969
- | RateLimiterRBACUpgradeableHandler | inflow | 511 | 0 | 0 |
962
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
970
963
  |-----------------------------------+---------------------+-------+---------+----------|
971
- | RateLimiterRBACUpgradeableHandler | outflow | 587 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
972
965
  |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | setConfig | 585 | 0 | 0 |
974
967
  |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
968
+ | RateLimiterRBACUpgradeableHandler | setState | 596 | 0 | 0 |
976
969
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
970
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
978
971
  |-----------------------------------+---------------------+-------+---------+----------|
979
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
972
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
980
973
  |-----------------------------------+---------------------+-------+---------+----------|
981
- | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
974
+ | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
982
975
  ╰-----------------------------------+---------------------+-------+---------+----------╯
983
976
 
984
977
  Logs:
985
- Bound result 9900000000000000001313
986
- Bound result 9900000000000000000019
987
- Bound result 5867
988
- Bound result 11
989
- Bound result 4372480403465
990
- Bound result 1104
991
- Bound result 11031
992
- Bound result 293
993
- Bound result 69652981930764649009
994
- Bound result 6477
995
- Bound result 36116768228114
996
- Bound result 2854615547263317788248
997
- Bound result 3
998
- Bound result 1
999
- Bound result 1226
1000
- Bound result 9900000000000002128367
1001
- Bound result 9900000000000000117989
1002
- Bound result 8454
1003
- Bound result 5986
1004
- Bound result 404140850583
1005
- Bound result 3590974520416
1006
- Bound result 233
1007
- Bound result 6914264320560554874584
1008
- Bound result 9900000015387069467710
1009
- Bound result 9900325250394474687546
1010
- Bound result 3118
1011
- Bound result 6891
978
+ Bound result 8203
979
+ Bound result 9163302198
980
+ Bound result 1127
981
+ Bound result 9900001692113556334556
982
+ Bound result 6914264337593535947489
983
+ Bound result 5057
984
+ Bound result 9534
985
+ Bound result 8993
986
+ Bound result 1016
987
+ Bound result 663714116
988
+ Bound result 10990
989
+ Bound result 4479
990
+ Bound result 1026
1012
991
 
1013
992
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1014
993
 
1015
994
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1016
995
  | Contract | Selector | Calls | Reverts | Discards |
1017
996
  +======================================================================================+
1018
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
997
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
1019
998
  |-----------------------------------+---------------------+-------+---------+----------|
1020
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
999
+ | RateLimiterRBACUpgradeableHandler | outflow | 590 | 0 | 0 |
1021
1000
  |-----------------------------------+---------------------+-------+---------+----------|
1022
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
1001
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
1023
1002
  |-----------------------------------+---------------------+-------+---------+----------|
1024
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
1003
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
1025
1004
  |-----------------------------------+---------------------+-------+---------+----------|
1026
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
1005
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 494 | 0 | 0 |
1027
1006
  |-----------------------------------+---------------------+-------+---------+----------|
1028
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
1007
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1029
1008
  |-----------------------------------+---------------------+-------+---------+----------|
1030
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
1009
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
1031
1010
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1032
1011
 
1033
1012
  Logs:
1034
- Bound result 1623
1035
- Bound result 1708
1036
- Bound result 1408332088826871001153
1037
- Bound result 13133747330565452429
1038
- Bound result 727
1039
- Bound result 7128908485049496027701
1040
- Bound result 9900000000000000010103
1041
- Bound result 6840
1042
- Bound result 3275
1043
- Bound result 100000000000000000000
1044
- Bound result 9900000010789486227078
1013
+ Bound result 107477463
1014
+ Bound result 378485637550124095914
1015
+ Bound result 9900000046688051965424
1016
+ Bound result 9900130977931491291422
1017
+ Bound result 7973
1018
+ Bound result 7616
1019
+ Bound result 12
1020
+ Bound result 521585152
1021
+ Bound result 10403131
1045
1022
  Bound result 10
1046
- Bound result 8796
1047
- Bound result 23
1048
- Bound result 11069
1049
- Bound result 822
1050
- Bound result 2014
1051
- Bound result 3636
1052
- Bound result 7
1053
- Bound result 20625916854686
1054
- Bound result 9900000001288260260790
1055
- Bound result 9900000000000000001824
1056
- Bound result 181
1057
- Bound result 122
1023
+ Bound result 1070
1024
+ Bound result 15461117877153570
1025
+ Bound result 1
1026
+ Bound result 78
1027
+ Bound result 3257
1028
+ Bound result 5339
1029
+ Bound result 12
1030
+ Bound result 9900000000022634991134
1031
+ Bound result 9989155055394226516231
1032
+ Bound result 51
1033
+ Bound result 4121
1034
+ Bound result 9900000001099511627776
1035
+ Bound result 9900000000000000037668
1036
+ Bound result 7080
1037
+ Bound result 7243
1038
+ Bound result 9900000000000000000446
1039
+ Bound result 9900000000000000006424
1040
+ Bound result 9342
1041
+ Bound result 1341
1058
1042
 
1059
1043
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1060
1044
 
1061
1045
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1062
1046
  | Contract | Selector | Calls | Reverts | Discards |
1063
1047
  +======================================================================================+
1064
- | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
1048
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
1065
1049
  |-----------------------------------+---------------------+-------+---------+----------|
1066
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1050
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
1067
1051
  |-----------------------------------+---------------------+-------+---------+----------|
1068
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
1052
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1069
1053
  |-----------------------------------+---------------------+-------+---------+----------|
1070
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
1054
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1071
1055
  |-----------------------------------+---------------------+-------+---------+----------|
1072
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
1056
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
1073
1057
  |-----------------------------------+---------------------+-------+---------+----------|
1074
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
1058
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
1075
1059
  |-----------------------------------+---------------------+-------+---------+----------|
1076
- | RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
1060
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
1077
1061
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1078
1062
 
1079
1063
  Logs:
1080
- Bound result 2028
1081
- Bound result 594
1082
- Bound result 4228
1083
- Bound result 1
1084
- Bound result 9900000000000000845457
1085
- Bound result 6914264337593535947491
1086
- Bound result 9336
1087
- Bound result 9653
1088
- Bound result 9900000000000023683980
1089
- Bound result 9900000000000002909944
1090
- Bound result 605
1091
- Bound result 814
1092
- Bound result 9900000000000003995851
1093
- Bound result 9900000000000000000120
1094
- Bound result 59
1095
- Bound result 5560
1096
- Bound result 1479
1097
- Bound result 5127
1098
- Bound result 1227
1099
- Bound result 1642
1100
- Bound result 5
1101
- Bound result 9900000000000000000564
1102
- Bound result 9900000000000000007557
1103
- Bound result 6607
1104
- Bound result 4506
1105
- Bound result 277
1106
- Bound result 7538
1107
- Bound result 1281
1108
- Bound result 29181
1109
- Bound result 59599383059114130047
1110
- Bound result 37
1064
+ Bound result 297
1065
+ Bound result 179897964312449248741
1066
+ Bound result 663
1067
+ Bound result 58
1068
+ Bound result 9609
1069
+ Bound result 9900000000000000004951
1070
+ Bound result 9900000000000000000596
1071
+ Bound result 5390
1072
+ Bound result 3572
1073
+ Bound result 2976
1074
+ Bound result 54
1075
+ Bound result 9900000000001419208252
1076
+ Bound result 100000000000000000000
1077
+ Bound result 3790
1078
+ Bound result 1225
1079
+ Bound result 186938903630203543435
1080
+ Bound result 9900000000000003266459
1081
+ Bound result 100000000000000000000
1082
+ Bound result 3842
1083
+ Bound result 13
1084
+ Bound result 17
1111
1085
 
1112
1086
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1113
1087
 
1114
1088
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1115
1089
  | Contract | Selector | Calls | Reverts | Discards |
1116
1090
  +======================================================================================+
1117
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
1118
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1119
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
1120
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1121
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
1122
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1123
- | RateLimiterRBACUpgradeableHandler | setState | 575 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
1124
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1125
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
1126
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1127
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
1128
1102
  |-----------------------------------+---------------------+-------+---------+----------|
1129
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1130
1104
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1131
1105
 
1132
1106
  Logs:
1107
+ Bound result 1327641767302477
1108
+ Bound result 2911986124
1109
+ Bound result 6553
1133
1110
  Bound result 1
1134
- Bound result 16094785
1135
- Bound result 9900000000003035920799
1136
- Bound result 5693614888933129769118
1137
- Bound result 34
1138
- Bound result 2936
1139
- Bound result 1099511627778
1140
- Bound result 13427653832841199390677
1141
- Bound result 9900000000000000000471
1142
- Bound result 9900000000000000002093
1143
- Bound result 11
1144
- Bound result 289
1145
- Bound result 123311113606674505151
1146
- Bound result 86812003800941078
1147
- Bound result 5652389280252247117001
1148
- Bound result 151299637029329365
1149
- Bound result 202189367
1150
- Bound result 2
1111
+ Bound result 8901
1151
1112
  Bound result 1
1113
+ Bound result 9900000000000000275077
1114
+ Bound result 9900000000000000084894
1115
+ Bound result 3804
1116
+ Bound result 448
1117
+ Bound result 4668
1118
+ Bound result 2578
1119
+ Bound result 0
1120
+ Bound result 529199148698166472
1121
+ Bound result 9900000000000000001434
1122
+ Bound result 9900000000000000005400
1123
+ Bound result 9765
1124
+ Bound result 624
1152
1125
 
1153
1126
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1154
1127
 
1155
1128
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1156
1129
  | Contract | Selector | Calls | Reverts | Discards |
1157
1130
  +======================================================================================+
1158
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
1131
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
1159
1132
  |-----------------------------------+---------------------+-------+---------+----------|
1160
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
1133
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1161
1134
  |-----------------------------------+---------------------+-------+---------+----------|
1162
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
1135
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1163
1136
  |-----------------------------------+---------------------+-------+---------+----------|
1164
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
1137
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
1165
1138
  |-----------------------------------+---------------------+-------+---------+----------|
1166
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1139
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
1167
1140
  |-----------------------------------+---------------------+-------+---------+----------|
1168
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
1141
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
1169
1142
  |-----------------------------------+---------------------+-------+---------+----------|
1170
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1143
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1171
1144
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1172
1145
 
1173
1146
  Logs:
1174
- Bound result 432
1175
- Bound result 9900000000000000004681
1176
- Bound result 9900000000000000001922
1177
- Bound result 9364
1178
- Bound result 800
1179
- Bound result 11672833279871748528480
1180
- Bound result 31
1181
- Bound result 9900000000002887661477
1182
- Bound result 6932543307728919351482
1183
- Bound result 1289
1184
- Bound result 1776
1185
- Bound result 6914241228089214708323
1186
- Bound result 493271377934827506
1187
- Bound result 299
1188
- Bound result 8698
1189
- Bound result 3480154038
1190
- Bound result 3968
1191
- Bound result 93
1192
- Bound result 9900000000000000000521
1193
- Bound result 9900000000000000007042
1194
- Bound result 344
1195
- Bound result 4072
1196
-
1197
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.92s (19.52s CPU time)
1198
-
1199
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1200
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27588, ~: 41090)
1201
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1202
- [PASS] test_assertNotPaused_Success() (gas: 12539)
1203
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1204
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1205
- [PASS] test_isPaused_InitialState() (gas: 15629)
1206
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1207
- [PASS] test_multipleRoleGrants() (gas: 394130)
1208
- [PASS] test_pause() (gas: 42109)
1209
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1210
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1211
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31039, ~: 42378)
1212
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1213
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1214
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1215
- [PASS] test_setPaused_Success() (gas: 40691)
1216
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1217
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1218
- [PASS] test_storageHash() (gas: 3414)
1219
- [PASS] test_unpause() (gas: 35177)
1220
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41720, ~: 44479)
1221
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1222
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1223
- [PASS] test_whenNotPaused_Success() (gas: 38800)
1224
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1225
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1226
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1227
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 17.09s (306.13ms CPU time)
1228
-
1229
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1230
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1231
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1232
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47518, ~: 48966)
1233
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1234
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1235
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1236
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1237
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1238
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1239
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1240
- [PASS] test_getFee_Default() (gas: 43108)
1241
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45780, ~: 47017)
1242
- [PASS] test_getFee_Rounding() (gas: 45449)
1243
- [PASS] test_getFee_Specific() (gas: 66985)
1244
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1245
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1246
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35023, ~: 42268)
1247
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1248
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1249
- [PASS] test_setFeeBps() (gas: 77237)
1250
- Logs:
1251
- Bound result 500
1147
+ Bound result 14908121264390939124
1148
+ Bound result 1534
1149
+ Bound result 5399
1150
+ Bound result 3472626730
1151
+ Bound result 546616467334371222926
1152
+ Bound result 5702954783253
1153
+ Bound result 0
1154
+ Bound result 1120888250246456638334
1155
+ Bound result 3996
1156
+ Bound result 222
1157
+ Bound result 983
1158
+ Bound result 10557
1252
1159
 
1253
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68599, ~: 77570)
1254
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1255
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1256
- [PASS] test_storageHash() (gas: 3436)
1257
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 16.99s (1.06s CPU time)
1160
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.68s (15.32s CPU time)
1258
1161
 
1259
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1260
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25492, ~: 12763)
1261
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1262
- [PASS] test_assertNotPaused_Success() (gas: 12516)
1263
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1264
- [PASS] test_isPaused_InitialState() (gas: 15595)
1265
- [PASS] test_pause() (gas: 39592)
1266
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28181, ~: 39861)
1267
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1268
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1269
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1270
- [PASS] test_storageHash() (gas: 3414)
1271
- [PASS] test_unpause() (gas: 31115)
1272
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40445, ~: 38893)
1273
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1274
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1275
- [PASS] test_whenNotPaused_Success() (gas: 38744)
1276
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1277
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1278
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1279
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 17.16s (580.06ms CPU time)
1162
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1163
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1164
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1165
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1166
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1167
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
1168
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1169
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1170
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1171
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1172
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1173
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 16.51s (104.41ms CPU time)
1280
1174
 
1281
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1282
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1283
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1284
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1285
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1286
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1287
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1288
- [PASS] test_isPaused_Default() (gas: 47316)
1289
- [PASS] test_isPaused_InitialState() (gas: 22172)
1290
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1291
- [PASS] test_isPaused_Override() (gas: 75171)
1292
- [PASS] test_isPaused_Specific() (gas: 50105)
1293
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1294
- [PASS] test_pauseConfig() (gas: 51028)
1295
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1296
- [PASS] test_setDefaultPaused() (gas: 42196)
1297
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30305, ~: 18826)
1298
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1299
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1300
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1301
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1302
- [PASS] test_setPaused() (gas: 48361)
1303
- [PASS] test_setPaused_DormantData() (gas: 295234)
1304
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1305
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1306
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43628, ~: 48696)
1307
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222650, ~: 216804)
1308
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1309
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1310
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1311
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1312
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1313
- [PASS] test_setPaused_Success() (gas: 45897)
1314
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1315
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1316
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1317
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1318
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1319
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1320
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1321
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 63053, ~: 73465)
1322
- [PASS] test_storageHash() (gas: 3392)
1323
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1324
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1325
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1326
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1327
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1328
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1329
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 17.15s (1.84s CPU time)
1175
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1176
+ [PASS] test_feeDeposit() (gas: 17638)
1177
+ [PASS] test_setFeeDeposit() (gas: 27596)
1178
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
1179
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1180
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1181
+ [PASS] test_storageHash() (gas: 3315)
1182
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 16.60s (102.44ms CPU time)
1330
1183
 
1331
1184
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1332
1185
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1333
1186
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1334
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 765035, ~: 118239)
1187
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 804763, ~: 231064)
1335
1188
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1336
1189
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1337
1190
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1344,12 +1197,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1344
1197
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1345
1198
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1346
1199
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1347
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11209495, ~: 10446924)
1200
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11244835, ~: 10540345)
1348
1201
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1349
1202
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1350
1203
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1351
1204
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1352
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 764006, ~: 200459)
1205
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 750552, ~: 167927)
1353
1206
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1354
1207
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1355
1208
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1362,10 +1215,72 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1362
1215
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1363
1216
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1364
1217
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1365
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11225657, ~: 10531275)
1218
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11201669, ~: 10506032)
1366
1219
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1367
1220
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1368
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.92s (42.74s CPU time)
1221
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.59s (40.62s CPU time)
1222
+
1223
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1224
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1225
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1226
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47466, ~: 48966)
1227
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1228
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1229
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1230
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1231
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1232
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1233
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1234
+ [PASS] test_getFee_Default() (gas: 43108)
1235
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45954, ~: 47017)
1236
+ [PASS] test_getFee_Rounding() (gas: 45449)
1237
+ [PASS] test_getFee_Specific() (gas: 66985)
1238
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1239
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1240
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34972, ~: 42268)
1241
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1242
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1243
+ [PASS] test_setFeeBps() (gas: 77237)
1244
+ Logs:
1245
+ Bound result 500
1246
+
1247
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68071, ~: 77570)
1248
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1249
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1250
+ [PASS] test_storageHash() (gas: 3436)
1251
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 16.60s (663.98ms CPU time)
1252
+
1253
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1254
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1255
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1256
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1257
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1258
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1259
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1260
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1261
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1262
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1263
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1264
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1265
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1266
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1267
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1268
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1269
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1270
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1271
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1272
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1273
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1274
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1275
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1276
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1277
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1278
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1279
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1280
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1281
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1282
+ [PASS] test_storageHash() (gas: 3458)
1283
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.60s (503.37ms CPU time)
1369
1284
 
1370
- Ran 17 test suites in 17.97s (98.79s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1371
- ⏳ forge test: 40.086s
1285
+ Ran 17 test suites in 16.63s (95.94s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1286
+ ⏳ forge test: 34.156s