@layerzerolabs/utils-upgradeable-evm-contracts 0.2.113 → 0.2.115

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 +786 -685
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,16 +4,100 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:148197) [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.
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-JA12JO
8
+ 📦 Copied 8 workspace package source(s)
9
+ 📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
+ (node:85059) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
13
  (Use `node --trace-warnings ...` to show where the warning was created)
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 (amd64)
14
+ 📦 Docker volumes:
15
+ -v /tmp/lz-mini-workspace-JA12JO:/workspace
16
+ -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
+ -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
+ $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
+ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
+ 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
21
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
22
+ forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
23
+ 86ec798129ac: Pulling fs layer
24
+ eef7c391911c: Pulling fs layer
25
+ cc2ecf4065b7: Pulling fs layer
26
+ 5760fdd70374: Pulling fs layer
27
+ c70db14240a1: Pulling fs layer
28
+ 0cb2c6965bde: Pulling fs layer
29
+ 885bca26f927: Pulling fs layer
30
+ 86ec798129ac: Waiting
31
+ 8e167e77288f: Pulling fs layer
32
+ eef7c391911c: Waiting
33
+ 45d43cc973ba: Pulling fs layer
34
+ cc2ecf4065b7: Waiting
35
+ 44c09156221f: Pulling fs layer
36
+ 5760fdd70374: Waiting
37
+ f2fb700979ad: Pulling fs layer
38
+ 2a1ced882ba9: Pulling fs layer
39
+ c70db14240a1: Waiting
40
+ 885bca26f927: Waiting
41
+ 597168d5c38e: Pulling fs layer
42
+ 0cb2c6965bde: Waiting
43
+ e431adaf232f: Pulling fs layer
44
+ 36e15e3f2788: Pulling fs layer
45
+ 44c09156221f: Waiting
46
+ 2a1ced882ba9: Waiting
47
+ f2fb700979ad: Waiting
48
+ 45d43cc973ba: Waiting
49
+ 597168d5c38e: Waiting
50
+ 36e15e3f2788: Waiting
51
+ eef7c391911c: Verifying Checksum
52
+ eef7c391911c: Download complete
53
+ 86ec798129ac: Verifying Checksum
54
+ 86ec798129ac: Download complete
55
+ 5760fdd70374: Verifying Checksum
56
+ 5760fdd70374: Download complete
57
+ c70db14240a1: Verifying Checksum
58
+ c70db14240a1: Download complete
59
+ cc2ecf4065b7: Verifying Checksum
60
+ cc2ecf4065b7: Download complete
61
+ 0cb2c6965bde: Verifying Checksum
62
+ 0cb2c6965bde: Download complete
63
+ 86ec798129ac: Pull complete
64
+ eef7c391911c: Pull complete
65
+ 8e167e77288f: Download complete
66
+ 45d43cc973ba: Verifying Checksum
67
+ 45d43cc973ba: Download complete
68
+ 44c09156221f: Download complete
69
+ f2fb700979ad: Download complete
70
+ cc2ecf4065b7: Pull complete
71
+ 5760fdd70374: Pull complete
72
+ c70db14240a1: Pull complete
73
+ 2a1ced882ba9: Verifying Checksum
74
+ 2a1ced882ba9: Download complete
75
+ 597168d5c38e: Verifying Checksum
76
+ 597168d5c38e: Download complete
77
+ 0cb2c6965bde: Pull complete
78
+ e431adaf232f: Verifying Checksum
79
+ e431adaf232f: Download complete
80
+ 36e15e3f2788: Verifying Checksum
81
+ 36e15e3f2788: Download complete
82
+ 885bca26f927: Verifying Checksum
83
+ 885bca26f927: Download complete
84
+ 885bca26f927: Pull complete
85
+ 8e167e77288f: Pull complete
86
+ 45d43cc973ba: Pull complete
87
+ 44c09156221f: Pull complete
88
+ f2fb700979ad: Pull complete
89
+ 2a1ced882ba9: Pull complete
90
+ 597168d5c38e: Pull complete
91
+ e431adaf232f: Pull complete
92
+ 36e15e3f2788: Pull complete
93
+ Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
94
+ Status: 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
95
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
96
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
97
  👤 Running container as UID:GID 1001:1001
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
98
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-JA12JO:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
15
99
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 11.72s
100
+ Solc 0.8.22 finished in 12.14s
17
101
  Compiler run successful with warnings:
18
102
  Warning (2018): Function state mutability can be restricted to view
19
103
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -172,7 +256,15 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
172
256
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
257
  [PASS] test_storageHash() (gas: 3414)
174
258
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 23.62ms (21.14ms CPU time)
259
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 26.12ms (18.72ms CPU time)
260
+
261
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
262
+ [PASS] test_feeDeposit() (gas: 17576)
263
+ [PASS] test_setFeeDeposit() (gas: 24995)
264
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
265
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
266
+ [PASS] test_storageHash() (gas: 3337)
267
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 94.64ms (93.93ms CPU time)
176
268
 
177
269
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
178
270
  [PASS] test_feeDeposit() (gas: 17638)
@@ -181,7 +273,85 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
181
273
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
182
274
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
183
275
  [PASS] test_storageHash() (gas: 3315)
184
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 50.51ms (49.80ms CPU time)
276
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 107.53ms (106.62ms CPU time)
277
+
278
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
279
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
280
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
281
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
282
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
283
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
284
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
285
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
286
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
287
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
288
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
289
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 171.76ms (77.51ms CPU time)
290
+
291
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
292
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
293
+ [PASS] test_constructor_InitialMode() (gas: 15778)
294
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
295
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
296
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
297
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
298
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
299
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
300
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
301
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
302
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
303
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
304
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
305
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
306
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
307
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
308
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
309
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
310
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
311
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
312
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
313
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
314
+ [PASS] test_setMode_Blacklist() (gas: 42605)
315
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
316
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
317
+ [PASS] test_setMode_Whitelist() (gas: 42714)
318
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
319
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
320
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
321
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
322
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
323
+ [PASS] test_storageHash() (gas: 3480)
324
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 263.74ms (609.69ms CPU time)
325
+
326
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
327
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26768, ~: 12786)
328
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
329
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
330
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
331
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
332
+ [PASS] test_isPaused_InitialState() (gas: 15629)
333
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
334
+ [PASS] test_multipleRoleGrants() (gas: 394130)
335
+ [PASS] test_pause() (gas: 42109)
336
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
337
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
338
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30708, ~: 42378)
339
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
340
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
341
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
342
+ [PASS] test_setPaused_Success() (gas: 40691)
343
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
344
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
345
+ [PASS] test_storageHash() (gas: 3414)
346
+ [PASS] test_unpause() (gas: 35177)
347
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
348
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
349
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
350
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
351
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
352
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
353
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
354
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 274.67ms (169.93ms CPU time)
185
355
 
186
356
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
187
357
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -224,76 +394,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
224
394
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
225
395
  [PASS] test_storageHash() (gas: 3392)
226
396
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
227
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 131.98ms (18.75ms CPU time)
228
-
229
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
230
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
231
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
232
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
233
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
234
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
235
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
236
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
237
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
238
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
239
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
240
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 97.00ms (96.81ms CPU time)
241
-
242
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
243
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25854, ~: 38584)
244
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
245
- [PASS] test_assertNotPaused_Success() (gas: 12516)
246
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
247
- [PASS] test_isPaused_InitialState() (gas: 15595)
248
- [PASS] test_pause() (gas: 39592)
249
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27543, ~: 16219)
250
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
251
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
252
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
253
- [PASS] test_storageHash() (gas: 3414)
254
- [PASS] test_unpause() (gas: 31115)
255
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40370, ~: 38893)
256
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
257
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
258
- [PASS] test_whenNotPaused_Success() (gas: 38744)
259
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
260
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
261
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
262
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 152.73ms (149.10ms CPU time)
263
-
264
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
265
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
266
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
267
- [PASS] test_assertNotPaused_Success() (gas: 14934)
268
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
269
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
270
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
271
- [PASS] test_isPaused_Default() (gas: 44698)
272
- [PASS] test_isPaused_InitialState() (gas: 22070)
273
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
274
- [PASS] test_isPaused_Override() (gas: 69381)
275
- [PASS] test_isPaused_Specific() (gas: 46709)
276
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
277
- [PASS] test_pauseConfig() (gas: 45626)
278
- [PASS] test_setDefaultPaused() (gas: 39667)
279
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28148, ~: 39918)
280
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
281
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
282
- [PASS] test_setPaused() (gas: 43060)
283
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
284
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38398, ~: 43373)
285
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
286
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
287
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
288
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58683, ~: 69608)
289
- [PASS] test_storageHash() (gas: 3480)
290
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
291
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
292
- [PASS] test_whenNotPaused_Success() (gas: 41297)
293
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
294
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
295
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
296
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 271.69ms (495.97ms CPU time)
397
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 281.46ms (11.76ms CPU time)
297
398
 
298
399
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
299
400
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -303,7 +404,7 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
303
404
  [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
304
405
  [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
305
406
  [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
306
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46807, ~: 46847)
407
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
307
408
  [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
308
409
  [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
309
410
  [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
@@ -329,344 +430,356 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
329
430
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
330
431
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
331
432
  [PASS] test_storageHash() (gas: 3380)
332
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 306.11ms (489.41ms CPU time)
333
-
334
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
335
- [PASS] test_feeDeposit() (gas: 17576)
336
- [PASS] test_setFeeDeposit() (gas: 24995)
337
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21448, ~: 21454)
338
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
339
- [PASS] test_storageHash() (gas: 3337)
340
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.04s (44.85ms CPU time)
433
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 387.80ms (455.31ms CPU time)
341
434
 
342
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
343
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27390, ~: 41090)
344
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
345
- [PASS] test_assertNotPaused_Success() (gas: 12539)
346
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
347
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
348
- [PASS] test_isPaused_InitialState() (gas: 15629)
349
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
350
- [PASS] test_multipleRoleGrants() (gas: 394130)
351
- [PASS] test_pause() (gas: 42109)
352
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
353
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
354
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30023, ~: 18756)
355
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
356
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
357
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
358
- [PASS] test_setPaused_Success() (gas: 40691)
359
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
360
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
361
- [PASS] test_storageHash() (gas: 3414)
362
- [PASS] test_unpause() (gas: 35177)
363
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41804, ~: 44479)
364
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
365
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
366
- [PASS] test_whenNotPaused_Success() (gas: 38800)
367
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
368
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
369
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
370
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.10s (198.82ms CPU time)
371
-
372
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
373
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
374
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
375
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44983, ~: 46317)
376
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
377
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
378
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
379
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
380
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
381
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
382
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
383
- [PASS] test_getFee_Default() (gas: 40577)
384
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43238, ~: 44486)
385
- [PASS] test_getFee_Rounding() (gas: 42835)
386
- [PASS] test_getFee_Specific() (gas: 63968)
387
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
388
- [PASS] test_setDefaultFeeBps() (gas: 39576)
389
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32617, ~: 39667)
390
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
391
- [PASS] test_setFeeBps() (gas: 73871)
392
- Logs:
393
- Bound result 500
394
-
395
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65983, ~: 74224)
396
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
397
- [PASS] test_storageHash() (gas: 3426)
398
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.16s (484.35ms CPU time)
399
-
400
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
401
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
402
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
403
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47605, ~: 48966)
404
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
405
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
406
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
407
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
408
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
409
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
410
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
411
- [PASS] test_getFee_Default() (gas: 43108)
412
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45465, ~: 47017)
413
- [PASS] test_getFee_Rounding() (gas: 45449)
414
- [PASS] test_getFee_Specific() (gas: 66985)
415
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
416
- [PASS] test_setDefaultFeeBps() (gas: 42199)
417
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34968, ~: 42268)
418
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
419
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
420
- [PASS] test_setFeeBps() (gas: 77237)
421
- Logs:
422
- Bound result 500
435
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
436
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
437
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
438
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
439
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
440
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
441
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
442
+ [PASS] test_isPaused_Default() (gas: 44698)
443
+ [PASS] test_isPaused_InitialState() (gas: 22070)
444
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
445
+ [PASS] test_isPaused_Override() (gas: 69381)
446
+ [PASS] test_isPaused_Specific() (gas: 46709)
447
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
448
+ [PASS] test_pauseConfig() (gas: 45626)
449
+ [PASS] test_setDefaultPaused() (gas: 39667)
450
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28408, ~: 39918)
451
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
452
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
453
+ [PASS] test_setPaused() (gas: 43060)
454
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
455
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37900, ~: 43373)
456
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
457
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
458
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
459
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57552, ~: 46989)
460
+ [PASS] test_storageHash() (gas: 3480)
461
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
462
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
463
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
464
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
465
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
466
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
467
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.01s (225.66ms CPU time)
423
468
 
424
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69517, ~: 77570)
425
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
426
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
427
- [PASS] test_storageHash() (gas: 3436)
428
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.47s (403.56ms CPU time)
469
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
470
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
471
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
472
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
473
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
474
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
475
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
476
+ [PASS] test_isPaused_Default() (gas: 47316)
477
+ [PASS] test_isPaused_InitialState() (gas: 22172)
478
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
479
+ [PASS] test_isPaused_Override() (gas: 75171)
480
+ [PASS] test_isPaused_Specific() (gas: 50105)
481
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
482
+ [PASS] test_pauseConfig() (gas: 51028)
483
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
484
+ [PASS] test_setDefaultPaused() (gas: 42196)
485
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30943, ~: 42446)
486
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
487
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
488
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
489
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
490
+ [PASS] test_setPaused() (gas: 48361)
491
+ [PASS] test_setPaused_DormantData() (gas: 295234)
492
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
493
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
494
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43926, ~: 48696)
495
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222888, ~: 216804)
496
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
497
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
498
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
499
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
500
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
501
+ [PASS] test_setPaused_Success() (gas: 45897)
502
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
503
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
504
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
505
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
506
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
507
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
508
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
509
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62657, ~: 73465)
510
+ [PASS] test_storageHash() (gas: 3392)
511
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
512
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
513
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
514
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
515
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
516
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
517
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.21s (494.61ms CPU time)
429
518
 
430
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
519
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
431
520
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
432
521
 
433
522
  ╭-----------------------------------+---------------------+-------+---------+----------╮
434
523
  | Contract | Selector | Calls | Reverts | Discards |
435
524
  +======================================================================================+
436
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
525
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
437
526
  |-----------------------------------+---------------------+-------+---------+----------|
438
- | RateLimiterRBACUpgradeableHandler | outflow | 599 | 0 | 0 |
527
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
439
528
  |-----------------------------------+---------------------+-------+---------+----------|
440
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
529
+ | RateLimiterRBACUpgradeableHandler | setConfig | 519 | 0 | 0 |
441
530
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
443
532
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
445
534
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 492 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
447
536
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | warp | 588 | 0 | 0 |
449
538
  ╰-----------------------------------+---------------------+-------+---------+----------╯
450
539
 
451
540
  Logs:
452
- Bound result 1174
453
- Bound result 956756988273171517550
454
- Bound result 5077
455
- Bound result 429368963063925513165
456
- Bound result 174
457
- Bound result 115
458
- Bound result 8596
459
- Bound result 123916427372422
460
- Bound result 757144917611662785142
461
- Bound result 235
462
- Bound result 9900000000000000005078
463
- Bound result 9900000000000000001134
464
- Bound result 2978
465
- Bound result 6932
466
- Bound result 2
467
- Bound result 6914264337593535947490
468
- Bound result 100000000000000000003
469
- Bound result 73
470
- Bound result 46
471
- Bound result 100000000000000000003
472
- Bound result 9907543920710646861976
473
- Bound result 8647
474
- Bound result 8312
541
+ Bound result 218891
542
+ Bound result 262394494603
543
+ Bound result 1
544
+ Bound result 1
545
+ Bound result 1171
546
+ Bound result 350
547
+ Bound result 9900000000000000002457
548
+ Bound result 9900000000000000000922
549
+ Bound result 625
550
+ Bound result 1399
551
+ Bound result 2827222499576948311589
552
+ Bound result 100000000000000000000
553
+ Bound result 5016
554
+ Bound result 9996
555
+ Bound result 617
556
+ Bound result 253
557
+ Bound result 9954692188779849276659
558
+ Bound result 9900000000000006107144
559
+ Bound result 6242
560
+ Bound result 4360
561
+ Bound result 991
562
+ Bound result 5523433391250687894495
563
+ Bound result 784
475
564
 
476
565
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
477
566
 
478
567
  ╭-----------------------------------+---------------------+-------+---------+----------╮
479
568
  | Contract | Selector | Calls | Reverts | Discards |
480
569
  +======================================================================================+
481
- | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
482
571
  |-----------------------------------+---------------------+-------+---------+----------|
483
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
484
573
  |-----------------------------------+---------------------+-------+---------+----------|
485
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
486
575
  |-----------------------------------+---------------------+-------+---------+----------|
487
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
576
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
488
577
  |-----------------------------------+---------------------+-------+---------+----------|
489
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
578
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
490
579
  |-----------------------------------+---------------------+-------+---------+----------|
491
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
580
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
492
581
  |-----------------------------------+---------------------+-------+---------+----------|
493
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
582
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
494
583
  ╰-----------------------------------+---------------------+-------+---------+----------╯
495
584
 
496
585
  Logs:
497
- Bound result 2837791799142
498
- Bound result 71787229397983758894
499
- Bound result 1
500
- Bound result 417
501
- Bound result 421
502
- Bound result 356269416823958546126
503
- Bound result 1532
504
- Bound result 9900000018798998042006
505
- Bound result 9900000000000000156524
506
- Bound result 12
507
- Bound result 743
508
586
  Bound result 1
509
- Bound result 7859488647699511543887
510
- Bound result 9900000000000000007812
511
- Bound result 9900000000000000003274
512
- Bound result 8151
513
- Bound result 9194
514
- Bound result 4088
587
+ Bound result 1070292497
588
+ Bound result 514264337593543950332
589
+ Bound result 9900000000000000007795
590
+ Bound result 9900000000000000003607
591
+ Bound result 2066
592
+ Bound result 2482
593
+ Bound result 20
594
+ Bound result 6914264337564677692027
595
+ Bound result 6914264337531161781352
596
+ Bound result 6914264337564677692024
597
+ Bound result 223
598
+ Bound result 7702
599
+ Bound result 10275
600
+ Bound result 211
601
+ Bound result 613
602
+ Bound result 32
515
603
 
516
604
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
517
605
 
518
606
  ╭-----------------------------------+---------------------+-------+---------+----------╮
519
607
  | Contract | Selector | Calls | Reverts | Discards |
520
608
  +======================================================================================+
521
- | RateLimiterRBACUpgradeableHandler | inflow | 589 | 0 | 0 |
609
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
522
610
  |-----------------------------------+---------------------+-------+---------+----------|
523
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
611
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
524
612
  |-----------------------------------+---------------------+-------+---------+----------|
525
- | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
613
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
526
614
  |-----------------------------------+---------------------+-------+---------+----------|
527
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
615
+ | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
528
616
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
617
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
530
618
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
619
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
532
620
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
621
+ | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
534
622
  ╰-----------------------------------+---------------------+-------+---------+----------╯
535
623
 
536
624
  Logs:
537
- Bound result 980
538
- Bound result 5197
539
- Bound result 44908
540
- Bound result 5602
541
- Bound result 6914264337593535947488
542
- Bound result 6814954090016535965612
543
- Bound result 25
544
- Bound result 13
625
+ Bound result 8107
626
+ Bound result 391
627
+ Bound result 281886368832533372129
628
+ Bound result 267842938128577187385
629
+ Bound result 1293
630
+ Bound result 9900000008756930136794
631
+ Bound result 100000000000000000001
632
+ Bound result 935
633
+ Bound result 8373
634
+ Bound result 4700
635
+ Bound result 506319972180266
636
+ Bound result 312636875505
637
+ Bound result 1261
638
+ Bound result 15276971143648183123004
639
+ Bound result 9900000000000025657924
640
+ Bound result 9900000029377472619070
641
+ Bound result 161
642
+ Bound result 3612
643
+ Bound result 6723550060668033409098
545
644
  Bound result 1
546
- Bound result 2
547
- Bound result 8256
645
+ Bound result 3
548
646
 
549
647
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
550
648
 
551
649
  ╭-----------------------------------+---------------------+-------+---------+----------╮
552
650
  | Contract | Selector | Calls | Reverts | Discards |
553
651
  +======================================================================================+
554
- | RateLimiterRBACUpgradeableHandler | inflow | 493 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
555
653
  |-----------------------------------+---------------------+-------+---------+----------|
556
- | RateLimiterRBACUpgradeableHandler | outflow | 586 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
557
655
  |-----------------------------------+---------------------+-------+---------+----------|
558
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
559
657
  |-----------------------------------+---------------------+-------+---------+----------|
560
- | RateLimiterRBACUpgradeableHandler | setState | 591 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | setState | 578 | 0 | 0 |
561
659
  |-----------------------------------+---------------------+-------+---------+----------|
562
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
563
661
  |-----------------------------------+---------------------+-------+---------+----------|
564
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
565
663
  |-----------------------------------+---------------------+-------+---------+----------|
566
- | RateLimiterRBACUpgradeableHandler | warp | 502 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
567
665
  ╰-----------------------------------+---------------------+-------+---------+----------╯
568
666
 
569
667
  Logs:
570
- Bound result 7884
571
- Bound result 8031
572
- Bound result 1
573
- Bound result 9834
574
- Bound result 9130
575
- Bound result 1
576
- Bound result 819
577
- Bound result 124004064
578
- Bound result 1400109821926
579
- Bound result 7182
580
- Bound result 1230
668
+ Bound result 4138
669
+ Bound result 9945859727634863605130
670
+ Bound result 9900000034863731426806
671
+ Bound result 3550
672
+ Bound result 221
673
+ Bound result 5
674
+ Bound result 4196
675
+ Bound result 2694
676
+ Bound result 6
677
+ Bound result 11688762491
678
+ Bound result 9900000000000000009850
679
+ Bound result 9900000000000392401229
680
+ Bound result 6664
681
+ Bound result 5000
682
+ Bound result 523077092117
683
+ Bound result 16813788055016958739452
581
684
  Bound result 0
582
- Bound result 95180423451429
583
- Bound result 856
584
- Bound result 705
585
- Bound result 4833
586
- Bound result 337
685
+ Bound result 7488678688617040299588
686
+ Bound result 9900634563757161455592
687
+ Bound result 9900000000000000000006
688
+ Bound result 10
689
+ Bound result 811
690
+ Bound result 727
587
691
 
588
692
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
589
693
 
590
694
  ╭-----------------------------------+---------------------+-------+---------+----------╮
591
695
  | Contract | Selector | Calls | Reverts | Discards |
592
696
  +======================================================================================+
593
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
697
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
594
698
  |-----------------------------------+---------------------+-------+---------+----------|
595
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
596
700
  |-----------------------------------+---------------------+-------+---------+----------|
597
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
598
702
  |-----------------------------------+---------------------+-------+---------+----------|
599
- | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
600
704
  |-----------------------------------+---------------------+-------+---------+----------|
601
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
602
706
  |-----------------------------------+---------------------+-------+---------+----------|
603
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
604
708
  |-----------------------------------+---------------------+-------+---------+----------|
605
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
606
710
  ╰-----------------------------------+---------------------+-------+---------+----------╯
607
711
 
608
712
  Logs:
609
- Bound result 514264337593543950333
610
- Bound result 636
611
- Bound result 424
612
- Bound result 362845
613
- Bound result 509
614
- Bound result 520
615
- Bound result 83652191072893913974
616
- Bound result 1010
617
- Bound result 7100
618
- Bound result 303
619
- Bound result 235031450925721546915
620
- Bound result 908
621
- Bound result 782
713
+ Bound result 9900001826077512279522
714
+ Bound result 9900000000000000000007
715
+ Bound result 3025
716
+ Bound result 401
717
+ Bound result 69
718
+ Bound result 219
719
+ Bound result 15796966714701030624985
720
+ Bound result 478977444
721
+ Bound result 2
722
+ Bound result 10337
723
+ Bound result 1031
724
+ Bound result 15772295043893456
725
+ Bound result 51674458620653
726
+ Bound result 13
727
+ Bound result 5999
728
+ Bound result 1
729
+ Bound result 7972124348857292768123
730
+ Bound result 9900000000000012703608
731
+ Bound result 13
732
+ Bound result 207
622
733
 
623
734
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
624
735
 
625
736
  ╭-----------------------------------+---------------------+-------+---------+----------╮
626
737
  | Contract | Selector | Calls | Reverts | Discards |
627
738
  +======================================================================================+
628
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
739
+ | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
629
740
  |-----------------------------------+---------------------+-------+---------+----------|
630
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
631
742
  |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
633
744
  |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
635
746
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
637
748
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
749
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
639
750
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
751
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
641
752
  ╰-----------------------------------+---------------------+-------+---------+----------╯
642
753
 
643
754
  Logs:
644
- Bound result 151426664
645
- Bound result 5247
646
- Bound result 1
647
- Bound result 514264337593543950334
648
- Bound result 5956
649
- Bound result 9900000000142369777386
650
- Bound result 9900000000000000100231
651
- Bound result 254
652
- Bound result 83
653
- Bound result 72210
654
- Bound result 57876452476
655
- Bound result 0
656
- Bound result 6804
657
- Bound result 23845775326792
755
+ Bound result 9688179556398605903819
756
+ Bound result 9900000000019634450256
757
+ Bound result 3275
758
+ Bound result 10
759
+ Bound result 3870
760
+ Bound result 9901097503447601208045
761
+ Bound result 9900000021151602470626
762
+ Bound result 4039
763
+ Bound result 6146
764
+ Bound result 66
765
+ Bound result 9930877997472788915169
766
+ Bound result 9900000321052353392711
767
+ Bound result 10
768
+ Bound result 10
769
+ Bound result 4704275605645355989732
770
+ Bound result 9900000000044189556254
771
+ Bound result 8491
772
+ Bound result 2150
773
+ Bound result 9530
774
+ Bound result 9904
658
775
  Bound result 58
776
+ Bound result 1144189856488645
777
+ Bound result 844026356
659
778
  Bound result 15
660
- Bound result 9900000000000882433518
661
- Bound result 9900067476609444437231
662
- Bound result 11
663
- Bound result 526
664
- Bound result 18430893409895340290061
665
- Bound result 9900000000000000010384
666
- Bound result 9900000000000000002031
667
- Bound result 6555
668
- Bound result 6822
669
- Bound result 2162086043892071
779
+ Bound result 294443687
780
+ Bound result 1148
781
+ Bound result 5644
782
+ Bound result 15711
670
783
 
671
784
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
672
785
 
@@ -675,463 +788,421 @@ Logs:
675
788
  +======================================================================================+
676
789
  | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
677
790
  |-----------------------------------+---------------------+-------+---------+----------|
678
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
679
792
  |-----------------------------------+---------------------+-------+---------+----------|
680
- | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
681
794
  |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | setState | 575 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
683
796
  |-----------------------------------+---------------------+-------+---------+----------|
684
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
685
798
  |-----------------------------------+---------------------+-------+---------+----------|
686
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
687
800
  |-----------------------------------+---------------------+-------+---------+----------|
688
- | RateLimiterRBACUpgradeableHandler | warp | 516 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
689
802
  ╰-----------------------------------+---------------------+-------+---------+----------╯
690
803
 
691
804
  Logs:
692
- Bound result 1077
693
- Bound result 9425
694
- Bound result 2783
695
- Bound result 604
696
- Bound result 28
697
- Bound result 2
698
- Bound result 2215456450
699
- Bound result 1483
700
- Bound result 4280
701
- Bound result 3751
702
- Bound result 100000000000000000000
703
- Bound result 9901036488761237091927
805
+ Bound result 9900000000000000007010
806
+ Bound result 9900000000000000004543
807
+ Bound result 458
808
+ Bound result 8994
809
+ Bound result 9900000000000000000675
810
+ Bound result 9901599984447295876030
704
811
  Bound result 11
705
- Bound result 7682
706
- Bound result 9900000000000000010547
707
- Bound result 9900000000000000008923
708
- Bound result 477
709
- Bound result 7702
812
+ Bound result 99
813
+ Bound result 139
814
+ Bound result 17978040799952402513452
815
+ Bound result 13312264806466517429159
816
+ Bound result 3337181536192625492230
817
+ Bound result 382242186615540236
818
+ Bound result 23
819
+ Bound result 17416918337180873312800
820
+ Bound result 6234973
821
+ Bound result 217849946579
822
+ Bound result 0
823
+ Bound result 1547
710
824
 
711
825
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
712
826
 
713
827
  ╭-----------------------------------+---------------------+-------+---------+----------╮
714
828
  | Contract | Selector | Calls | Reverts | Discards |
715
829
  +======================================================================================+
716
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
717
831
  |-----------------------------------+---------------------+-------+---------+----------|
718
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
832
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
719
833
  |-----------------------------------+---------------------+-------+---------+----------|
720
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
721
835
  |-----------------------------------+---------------------+-------+---------+----------|
722
- | RateLimiterRBACUpgradeableHandler | setState | 593 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
723
837
  |-----------------------------------+---------------------+-------+---------+----------|
724
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
725
839
  |-----------------------------------+---------------------+-------+---------+----------|
726
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
727
841
  |-----------------------------------+---------------------+-------+---------+----------|
728
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
729
843
  ╰-----------------------------------+---------------------+-------+---------+----------╯
730
844
 
731
845
  Logs:
732
- Bound result 513505
733
- Bound result 909
734
- Bound result 9042
735
- Bound result 11225
736
- Bound result 118
737
- Bound result 67
738
- Bound result 3107
739
- Bound result 884579470757181802874
740
- Bound result 1719639408
741
- Bound result 2580
742
- Bound result 411
743
- Bound result 84
744
-
745
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.43s (8.69s CPU time)
846
+ Bound result 634234337813401
847
+ Bound result 5713612403933
848
+ Bound result 1
849
+ Bound result 3461
850
+ Bound result 468
851
+ Bound result 10103
852
+ Bound result 0
853
+ Bound result 514264337593504336253
854
+ Bound result 165898833095145596482
855
+ Bound result 0
856
+ Bound result 3870
857
+ Bound result 623
858
+ Bound result 1
859
+ Bound result 3093
860
+ Bound result 5185
861
+ Bound result 1
862
+ Bound result 1414967274098130262334
863
+ Bound result 220247795313176094300
864
+ Bound result 0
865
+ Bound result 7715
866
+ Bound result 20581870114
867
+ Bound result 10539
746
868
 
747
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
869
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.20s CPU time)
870
+
871
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
748
872
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
749
873
 
750
874
  ╭-----------------------------------+---------------------+-------+---------+----------╮
751
875
  | Contract | Selector | Calls | Reverts | Discards |
752
876
  +======================================================================================+
753
- | RateLimiterRBACUpgradeableHandler | inflow | 583 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
754
878
  |-----------------------------------+---------------------+-------+---------+----------|
755
- | RateLimiterRBACUpgradeableHandler | outflow | 505 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
756
880
  |-----------------------------------+---------------------+-------+---------+----------|
757
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
758
882
  |-----------------------------------+---------------------+-------+---------+----------|
759
- | RateLimiterRBACUpgradeableHandler | setState | 509 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
760
884
  |-----------------------------------+---------------------+-------+---------+----------|
761
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
762
886
  |-----------------------------------+---------------------+-------+---------+----------|
763
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
764
888
  |-----------------------------------+---------------------+-------+---------+----------|
765
- | RateLimiterRBACUpgradeableHandler | warp | 607 | 0 | 0 |
889
+ | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
766
890
  ╰-----------------------------------+---------------------+-------+---------+----------╯
767
891
 
768
892
  Logs:
769
- Bound result 1332666115320
770
- Bound result 186099735756247996187
771
- Bound result 10177
772
- Bound result 9900000000000000000617
773
- Bound result 9900000000039457703553
774
- Bound result 12
775
- Bound result 1495
776
- Bound result 2630
777
- Bound result 2084
778
- Bound result 9900000000000000000058
779
- Bound result 9914976633997111661542
780
- Bound result 3053
781
- Bound result 3632
782
- Bound result 1235
783
- Bound result 155
784
- Bound result 9143416529252884983506
785
- Bound result 920
786
- Bound result 232
893
+ Bound result 237152470913113934429
894
+ Bound result 172914364183965957590
895
+ Bound result 0
896
+ Bound result 9900000000000000079703
897
+ Bound result 3881047508032370729907
898
+ Bound result 667
899
+ Bound result 1792
900
+ Bound result 4955
901
+ Bound result 1068337201
902
+ Bound result 6149467785336741437098
903
+ Bound result 0
904
+ Bound result 721685573693476323309
905
+ Bound result 800627395
906
+ Bound result 14986672542909544402715
907
+ Bound result 9900000000000002252889
908
+ Bound result 1059290899624954331105
909
+ Bound result 6241
910
+ Bound result 2066
911
+ Bound result 8264
912
+ Bound result 1161
787
913
 
788
914
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
789
915
 
790
916
  ╭-----------------------------------+---------------------+-------+---------+----------╮
791
917
  | Contract | Selector | Calls | Reverts | Discards |
792
918
  +======================================================================================+
793
- | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
919
+ | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
794
920
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
921
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
796
922
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | setConfig | 495 | 0 | 0 |
798
924
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | setState | 501 | 0 | 0 |
800
926
  |-----------------------------------+---------------------+-------+---------+----------|
801
927
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
802
928
  |-----------------------------------+---------------------+-------+---------+----------|
803
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
804
930
  |-----------------------------------+---------------------+-------+---------+----------|
805
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
806
932
  ╰-----------------------------------+---------------------+-------+---------+----------╯
807
933
 
808
934
  Logs:
809
- Bound result 234963544675837599849
810
- Bound result 9900000002107889338654
811
- Bound result 6242
812
- Bound result 1682
813
- Bound result 2315954095519858318
814
- Bound result 4065
815
- Bound result 49
935
+ Bound result 113362798613793846
936
+ Bound result 1532060640078029400665
937
+ Bound result 0
938
+ Bound result 1
939
+ Bound result 9900000000000000008762
940
+ Bound result 9900000000000000002316
941
+ Bound result 2045
942
+ Bound result 3755
943
+ Bound result 1854
944
+ Bound result 16671765004781
816
945
  Bound result 1
817
- Bound result 3339
818
- Bound result 1413015605061915790789
819
- Bound result 630255853896128591
820
- Bound result 1140
821
- Bound result 9384
822
- Bound result 9806
946
+ Bound result 9900000000000000008653
947
+ Bound result 9900000000000000005670
948
+ Bound result 1585
949
+ Bound result 7984
950
+ Bound result 4946
951
+ Bound result 9900000000000000000039
952
+ Bound result 9900000000000000001560
953
+ Bound result 393
954
+ Bound result 3801
955
+ Bound result 5258696413000597526
956
+ Bound result 9900000000000000010386
957
+ Bound result 9900000000000000008519
958
+ Bound result 780
959
+ Bound result 1326
960
+ Bound result 949
961
+ Bound result 8461
962
+ Bound result 2043
823
963
 
824
964
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
825
965
 
826
966
  ╭-----------------------------------+---------------------+-------+---------+----------╮
827
967
  | Contract | Selector | Calls | Reverts | Discards |
828
968
  +======================================================================================+
829
- | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
969
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
830
970
  |-----------------------------------+---------------------+-------+---------+----------|
831
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | outflow | 544 | 0 | 0 |
832
972
  |-----------------------------------+---------------------+-------+---------+----------|
833
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
834
974
  |-----------------------------------+---------------------+-------+---------+----------|
835
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
836
976
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
838
978
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
840
980
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | warp | 588 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
842
982
  ╰-----------------------------------+---------------------+-------+---------+----------╯
843
983
 
844
984
  Logs:
845
- Bound result 1614
846
- Bound result 9900001346105942793842
847
- Bound result 100000000000000000001
848
- Bound result 251
849
- Bound result 8800
850
- Bound result 10328
851
- Bound result 9483
985
+ Bound result 262
986
+ Bound result 1257
987
+ Bound result 1974211701222620
988
+ Bound result 2098129407147058608
989
+ Bound result 215
990
+ Bound result 1294
991
+ Bound result 3370
992
+ Bound result 514264337593543950333
852
993
  Bound result 1
853
- Bound result 13524842105125135376014
854
- Bound result 9900000000000000000308
855
- Bound result 9900000000000000007834
856
- Bound result 9806
857
- Bound result 6772
858
- Bound result 9900000000046243566915
859
- Bound result 6948038747814931236122
860
- Bound result 68
861
- Bound result 7519
862
- Bound result 9900152243041920509808
863
- Bound result 9165012808649342383033
864
- Bound result 4838
865
- Bound result 2460
866
- Bound result 706272336150637
994
+ Bound result 0
995
+ Bound result 151
996
+ Bound result 5550
867
997
  Bound result 1
868
- Bound result 9572
869
998
 
870
999
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
871
1000
 
872
1001
  ╭-----------------------------------+---------------------+-------+---------+----------╮
873
1002
  | Contract | Selector | Calls | Reverts | Discards |
874
1003
  +======================================================================================+
875
- | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
876
1005
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | outflow | 486 | 0 | 0 |
878
1007
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
880
1009
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
882
1011
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 589 | 0 | 0 |
884
1013
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 512 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
886
1015
  |-----------------------------------+---------------------+-------+---------+----------|
887
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
888
1017
  ╰-----------------------------------+---------------------+-------+---------+----------╯
889
1018
 
890
1019
  Logs:
891
- Bound result 2910548691
892
- Bound result 641159038827918
893
- Bound result 1
894
- Bound result 990
895
- Bound result 5287736777250184682951
896
- Bound result 5660244690154666727340
897
- Bound result 3250
898
- Bound result 3185
899
- Bound result 622003680818133290920
900
- Bound result 2121033201976921529948
901
- Bound result 9900000000027152759187
902
- Bound result 9900000000000006976340
903
- Bound result 158
904
- Bound result 3659
905
- Bound result 9622
906
- Bound result 479584828
907
- Bound result 3138397461264196616301
908
- Bound result 1
909
- Bound result 18681524968952285028289
1020
+ Bound result 348464660961358947059
1021
+ Bound result 2000000000000000000000
1022
+ Bound result 8009071468877862989569
1023
+ Bound result 9900000000000003785813
1024
+ Bound result 20
1025
+ Bound result 7197
1026
+ Bound result 10163
1027
+ Bound result 731
1028
+ Bound result 0
1029
+ Bound result 94
1030
+ Bound result 5841
1031
+ Bound result 328355856542315608691
1032
+ Bound result 9900000000000000006868
1033
+ Bound result 9900000000000000003860
1034
+ Bound result 117
1035
+ Bound result 1381
1036
+ Bound result 1952
910
1037
 
911
1038
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
912
1039
 
913
1040
  ╭-----------------------------------+---------------------+-------+---------+----------╮
914
1041
  | Contract | Selector | Calls | Reverts | Discards |
915
1042
  +======================================================================================+
916
- | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
1043
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
917
1044
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
919
1046
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
921
1048
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
923
1050
  |-----------------------------------+---------------------+-------+---------+----------|
924
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
925
1052
  |-----------------------------------+---------------------+-------+---------+----------|
926
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
927
1054
  |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
929
1056
  ╰-----------------------------------+---------------------+-------+---------+----------╯
930
1057
 
931
1058
  Logs:
932
- Bound result 1163
933
- Bound result 408
934
- Bound result 100000000000000000002
935
- Bound result 918423218664049958940
936
- Bound result 71
937
- Bound result 6079
938
- Bound result 9900000000000000007394
939
- Bound result 9900000000000000010822
940
- Bound result 9638
941
- Bound result 4604
942
- Bound result 14889838503684833117050
943
- Bound result 580188558
944
- Bound result 15386593941624821898309
945
- Bound result 605
946
- Bound result 9900000001231370963636
947
- Bound result 1089233485286039107505
948
- Bound result 1752
949
- Bound result 71
950
- Bound result 9900000000000000002562
951
- Bound result 9900008376262450868654
952
- Bound result 4088
953
- Bound result 2570
1059
+ Bound result 1769216908398115124489
1060
+ Bound result 9900000000000005324095
1061
+ Bound result 9900000000000000046318
1062
+ Bound result 13
1063
+ Bound result 10
1064
+ Bound result 47601
1065
+ Bound result 12852942752898871969274
1066
+ Bound result 0
1067
+ Bound result 1
1068
+ Bound result 613063842
1069
+ Bound result 1065
1070
+ Bound result 1
1071
+ Bound result 6390484191812927
1072
+ Bound result 6914264294985638222732
1073
+ Bound result 41805860060473
1074
+ Bound result 0
1075
+ Bound result 9900000000000000000665
1076
+ Bound result 9900000000000000000060
1077
+ Bound result 64
1078
+ Bound result 1261
1079
+ Bound result 38162472102
1080
+ Bound result 52975
1081
+ Bound result 485
1082
+ Bound result 1
954
1083
 
955
1084
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
956
1085
 
957
1086
  ╭-----------------------------------+---------------------+-------+---------+----------╮
958
1087
  | Contract | Selector | Calls | Reverts | Discards |
959
1088
  +======================================================================================+
960
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
961
1090
  |-----------------------------------+---------------------+-------+---------+----------|
962
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
963
1092
  |-----------------------------------+---------------------+-------+---------+----------|
964
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
965
1094
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
967
1096
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 597 | 0 | 0 |
969
1098
  |-----------------------------------+---------------------+-------+---------+----------|
970
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 520 | 0 | 0 |
971
1100
  |-----------------------------------+---------------------+-------+---------+----------|
972
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
973
1102
  ╰-----------------------------------+---------------------+-------+---------+----------╯
974
1103
 
975
1104
  Logs:
976
- Bound result 5
977
- Bound result 474547843
978
- Bound result 1138801098604678868845
1105
+ Bound result 1049224754172
1106
+ Bound result 1
1107
+ Bound result 1
1108
+ Bound result 1491893492834858570721
1109
+ Bound result 3589
1110
+ Bound result 491752801
1111
+ Bound result 9900024945659157347322
1112
+ Bound result 1257917536406138189153
1113
+ Bound result 6239
1114
+ Bound result 4475
1115
+ Bound result 287588622475378051721
1116
+ Bound result 842533941950534665451
979
1117
  Bound result 0
980
- Bound result 2551
981
- Bound result 2984221616188034759519
982
- Bound result 9900000000000000197658
983
- Bound result 9703
984
- Bound result 28
985
- Bound result 9900000000000000001734
986
- Bound result 9900000000000000002983
987
- Bound result 2025
988
- Bound result 8061
989
- Bound result 9593201840322532425275
990
- Bound result 5550498116818171804245
991
- Bound result 6914264337593535947488
992
- Bound result 12
993
- Bound result 6869
994
- Bound result 3106
995
- Bound result 837
996
- Bound result 4
997
- Bound result 8037465513140403968355
998
- Bound result 100000000000000000001
999
- Bound result 4126
1000
- Bound result 6673
1001
- Bound result 10614
1002
- Bound result 11406
1003
- Bound result 197173
1004
- Bound result 2260
1118
+ Bound result 2520
1119
+ Bound result 443213003413934108160
1120
+ Bound result 0
1121
+ Bound result 8974
1122
+ Bound result 1014
1123
+ Bound result 0
1124
+ Bound result 815
1125
+ Bound result 1323
1126
+ Bound result 0
1127
+ Bound result 12378
1128
+ Bound result 1632
1005
1129
 
1006
1130
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1007
1131
 
1008
1132
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1009
1133
  | Contract | Selector | Calls | Reverts | Discards |
1010
1134
  +======================================================================================+
1011
- | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
1135
+ | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
1012
1136
  |-----------------------------------+---------------------+-------+---------+----------|
1013
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1137
+ | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
1014
1138
  |-----------------------------------+---------------------+-------+---------+----------|
1015
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
1139
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1016
1140
  |-----------------------------------+---------------------+-------+---------+----------|
1017
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1141
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
1018
1142
  |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
1143
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
1020
1144
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 598 | 0 | 0 |
1145
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
1022
1146
  |-----------------------------------+---------------------+-------+---------+----------|
1023
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
1147
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
1024
1148
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1025
1149
 
1026
1150
  Logs:
1027
- Bound result 4
1028
- Bound result 9900000000000378436876
1029
- Bound result 100000000000000000002
1030
- Bound result 24
1031
- Bound result 7996
1032
- Bound result 62
1033
- Bound result 7377
1034
- Bound result 1
1035
- Bound result 5294
1036
- Bound result 100000000000000000000
1037
- Bound result 9900000000419589830570
1038
- Bound result 25
1039
- Bound result 8102
1040
- Bound result 9900000000000000000631
1041
- Bound result 9900000000000000000702
1042
- Bound result 1548
1043
- Bound result 4064
1044
- Bound result 12763308665619
1045
- Bound result 9900000000000007036307
1046
- Bound result 6914264337593535947491
1047
- Bound result 6121
1048
- Bound result 6241
1049
- Bound result 1
1050
- Bound result 3571
1051
- Bound result 379
1052
- Bound result 9522
1053
- Bound result 336
1151
+ Bound result 5399
1152
+ Bound result 3741
1153
+ Bound result 0
1154
+ Bound result 5669
1155
+ Bound result 6284
1156
+ Bound result 0
1157
+ Bound result 694239275872497950
1158
+ Bound result 5
1159
+ Bound result 9900000000000000007151
1160
+ Bound result 9900000000000000004227
1161
+ Bound result 2157
1162
+ Bound result 8213
1163
+ Bound result 5583
1164
+ Bound result 8020
1165
+ Bound result 9212
1166
+ Bound result 1511
1167
+ Bound result 15662549544001353496507
1054
1168
 
1055
1169
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1056
1170
 
1057
1171
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1058
1172
  | Contract | Selector | Calls | Reverts | Discards |
1059
1173
  +======================================================================================+
1060
- | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
1174
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1061
1175
  |-----------------------------------+---------------------+-------+---------+----------|
1062
- | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
1176
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
1063
1177
  |-----------------------------------+---------------------+-------+---------+----------|
1064
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1178
+ | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
1065
1179
  |-----------------------------------+---------------------+-------+---------+----------|
1066
- | RateLimiterRBACUpgradeableHandler | setState | 575 | 0 | 0 |
1180
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
1067
1181
  |-----------------------------------+---------------------+-------+---------+----------|
1068
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1182
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1069
1183
  |-----------------------------------+---------------------+-------+---------+----------|
1070
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
1184
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
1071
1185
  |-----------------------------------+---------------------+-------+---------+----------|
1072
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
1186
+ | RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
1073
1187
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1074
1188
 
1075
1189
  Logs:
1076
- Bound result 1066
1077
- Bound result 9900000000000002567488
1078
- Bound result 1970949095303915719778
1079
- Bound result 15
1080
- Bound result 10
1081
- Bound result 6914264317046334013040
1082
- Bound result 55171873
1083
- Bound result 11
1084
- Bound result 9900000000000000010821
1085
- Bound result 9900000000000000007152
1086
- Bound result 7920
1087
- Bound result 5197
1088
- Bound result 152
1089
- Bound result 5544951853017827190405
1090
- Bound result 3373714622146601937356
1091
- Bound result 350726090
1092
- Bound result 7740603020432861591540
1093
- Bound result 9900158597386987838769
1094
- Bound result 6392
1095
- Bound result 11
1096
- Bound result 2949
1097
- Bound result 2444
1098
-
1099
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.58s (9.46s CPU time)
1190
+ Bound result 4287
1191
+ Bound result 499936034809240832065
1192
+ Bound result 863
1193
+ Bound result 1242
1194
+ Bound result 18339159310100
1195
+ Bound result 9702
1196
+ Bound result 9322
1197
+ Bound result 331
1198
+ Bound result 1
1199
+ Bound result 29084
1200
+ Bound result 3822
1201
+ Bound result 9538596936683538419
1202
+ Bound result 620
1203
+ Bound result 1
1100
1204
 
1101
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1102
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1103
- [PASS] test_constructor_InitialMode() (gas: 15778)
1104
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1105
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1106
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1107
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1108
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1109
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1110
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1111
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 115159)
1112
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1113
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1114
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1115
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1116
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1117
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1118
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1119
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1120
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1121
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1122
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1123
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1124
- [PASS] test_setMode_Blacklist() (gas: 42605)
1125
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1126
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1127
- [PASS] test_setMode_Whitelist() (gas: 42714)
1128
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1129
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1130
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1131
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1132
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1133
- [PASS] test_storageHash() (gas: 3480)
1134
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.56s (764.47ms CPU time)
1205
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.49s CPU time)
1135
1206
 
1136
1207
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1137
1208
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -1143,7 +1214,7 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1143
1214
  [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1144
1215
  [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1145
1216
  [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1146
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1217
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
1147
1218
  [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1148
1219
  [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1149
1220
  [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
@@ -1163,12 +1234,92 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1163
1234
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1164
1235
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1165
1236
  [PASS] test_storageHash() (gas: 3458)
1166
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.82s (560.59ms CPU time)
1237
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 12.63s (315.43ms CPU time)
1238
+
1239
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1240
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1241
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1242
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47330, ~: 48966)
1243
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1244
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1245
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1246
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1247
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1248
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1249
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1250
+ [PASS] test_getFee_Default() (gas: 43108)
1251
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45866, ~: 47017)
1252
+ [PASS] test_getFee_Rounding() (gas: 45449)
1253
+ [PASS] test_getFee_Specific() (gas: 66985)
1254
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1255
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1256
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35344, ~: 42268)
1257
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1258
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1259
+ [PASS] test_setFeeBps() (gas: 77237)
1260
+ Logs:
1261
+ Bound result 500
1262
+
1263
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69211, ~: 77570)
1264
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1265
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1266
+ [PASS] test_storageHash() (gas: 3436)
1267
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.73s (607.30ms CPU time)
1268
+
1269
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1270
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1271
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1272
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44641, ~: 46317)
1273
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1274
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1275
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1276
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1277
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1278
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1279
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1280
+ [PASS] test_getFee_Default() (gas: 40577)
1281
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43302, ~: 44486)
1282
+ [PASS] test_getFee_Rounding() (gas: 42835)
1283
+ [PASS] test_getFee_Specific() (gas: 63968)
1284
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1285
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1286
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32972, ~: 39667)
1287
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1288
+ [PASS] test_setFeeBps() (gas: 73871)
1289
+ Logs:
1290
+ Bound result 500
1291
+
1292
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66462, ~: 74224)
1293
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1294
+ [PASS] test_storageHash() (gas: 3426)
1295
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.73s (453.76ms CPU time)
1296
+
1297
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1298
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26577, ~: 38584)
1299
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1300
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
1301
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1302
+ [PASS] test_isPaused_InitialState() (gas: 15595)
1303
+ [PASS] test_pause() (gas: 39592)
1304
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28040, ~: 28040)
1305
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1306
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1307
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1308
+ [PASS] test_storageHash() (gas: 3414)
1309
+ [PASS] test_unpause() (gas: 31115)
1310
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40423, ~: 38893)
1311
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1312
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1313
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
1314
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1315
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1316
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1317
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 12.73s (212.92ms CPU time)
1167
1318
 
1168
1319
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1169
1320
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1170
1321
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1171
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 816672, ~: 294869)
1322
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 774054, ~: 183611)
1172
1323
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1173
1324
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1174
1325
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1181,12 +1332,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1181
1332
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1182
1333
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1183
1334
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1184
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11211351, ~: 10577158)
1335
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11092669, ~: 10264287)
1185
1336
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1186
1337
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1187
1338
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1188
1339
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1189
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 746265, ~: 202939)
1340
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 797839, ~: 211395)
1190
1341
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1191
1342
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1192
1343
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1199,60 +1350,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1199
1350
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1200
1351
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1201
1352
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1202
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11118716, ~: 10352359)
1353
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178953, ~: 10537950)
1203
1354
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1204
1355
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1205
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.82s (28.22s CPU time)
1206
-
1207
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1208
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1209
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1210
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1211
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1212
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1213
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1214
- [PASS] test_isPaused_Default() (gas: 47316)
1215
- [PASS] test_isPaused_InitialState() (gas: 22172)
1216
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1217
- [PASS] test_isPaused_Override() (gas: 75171)
1218
- [PASS] test_isPaused_Specific() (gas: 50105)
1219
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1220
- [PASS] test_pauseConfig() (gas: 51028)
1221
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1222
- [PASS] test_setDefaultPaused() (gas: 42196)
1223
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30234, ~: 18826)
1224
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1225
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1226
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1227
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1228
- [PASS] test_setPaused() (gas: 48361)
1229
- [PASS] test_setPaused_DormantData() (gas: 295234)
1230
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1231
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1232
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43404, ~: 48533)
1233
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223763, ~: 219722)
1234
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1235
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1236
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1237
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1238
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1239
- [PASS] test_setPaused_Success() (gas: 45897)
1240
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1241
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1242
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1243
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1244
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1245
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1246
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1247
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62000, ~: 50341)
1248
- [PASS] test_storageHash() (gas: 3392)
1249
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1250
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1251
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1252
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1253
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1254
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1255
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 11.82s (562.18ms CPU time)
1356
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.73s (29.58s CPU time)
1256
1357
 
1257
- Ran 17 test suites in 11.85s (55.82s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1258
- ⏳ forge test: 25.657s
1358
+ Ran 17 test suites in 12.76s (69.96s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1359
+ ⏳ forge test: 27.232s