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

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 +845 -772
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,102 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using mini workspace: /tmp/lz-mini-workspace-Nd1qjo
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-uFntpW
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:180370) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:96984) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-mini-workspace-Nd1qjo:/workspace
15
+ -v /tmp/lz-mini-workspace-uFntpW:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
- ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
19
+ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
+ 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
21
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
22
+ forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
23
+ 86ec798129ac: Pulling fs layer
24
+ eef7c391911c: Pulling fs layer
25
+ cc2ecf4065b7: Pulling fs layer
26
+ 5760fdd70374: Pulling fs layer
27
+ c70db14240a1: Pulling fs layer
28
+ 0cb2c6965bde: Pulling fs layer
29
+ 885bca26f927: Pulling fs layer
30
+ 8e167e77288f: Pulling fs layer
31
+ 45d43cc973ba: Pulling fs layer
32
+ 86ec798129ac: Waiting
33
+ 44c09156221f: Pulling fs layer
34
+ eef7c391911c: Waiting
35
+ f2fb700979ad: Pulling fs layer
36
+ 2a1ced882ba9: Pulling fs layer
37
+ 885bca26f927: Waiting
38
+ cc2ecf4065b7: Waiting
39
+ 597168d5c38e: Pulling fs layer
40
+ 8e167e77288f: Waiting
41
+ e431adaf232f: Pulling fs layer
42
+ 5760fdd70374: Waiting
43
+ 36e15e3f2788: Pulling fs layer
44
+ 0cb2c6965bde: Waiting
45
+ c70db14240a1: Waiting
46
+ 45d43cc973ba: Waiting
47
+ f2fb700979ad: Waiting
48
+ 44c09156221f: Waiting
49
+ 2a1ced882ba9: Waiting
50
+ e431adaf232f: Waiting
51
+ 597168d5c38e: Waiting
52
+ 86ec798129ac: Verifying Checksum
53
+ 86ec798129ac: Download complete
54
+ eef7c391911c: Verifying Checksum
55
+ eef7c391911c: Download complete
56
+ 86ec798129ac: Pull complete
57
+ eef7c391911c: Pull complete
58
+ cc2ecf4065b7: Verifying Checksum
59
+ cc2ecf4065b7: Download complete
60
+ c70db14240a1: Verifying Checksum
61
+ c70db14240a1: Download complete
62
+ 5760fdd70374: Verifying Checksum
63
+ 5760fdd70374: Download complete
64
+ cc2ecf4065b7: Pull complete
65
+ 5760fdd70374: Pull complete
66
+ c70db14240a1: Pull complete
67
+ 0cb2c6965bde: Verifying Checksum
68
+ 0cb2c6965bde: Download complete
69
+ 8e167e77288f: Download complete
70
+ 45d43cc973ba: Download complete
71
+ 0cb2c6965bde: Pull complete
72
+ 44c09156221f: Verifying Checksum
73
+ 44c09156221f: Download complete
74
+ f2fb700979ad: Verifying Checksum
75
+ f2fb700979ad: Download complete
76
+ 2a1ced882ba9: Verifying Checksum
77
+ 2a1ced882ba9: Download complete
78
+ 885bca26f927: Verifying Checksum
79
+ 885bca26f927: Download complete
80
+ 597168d5c38e: Verifying Checksum
81
+ 597168d5c38e: Download complete
82
+ 36e15e3f2788: Verifying Checksum
83
+ 36e15e3f2788: Download complete
84
+ e431adaf232f: Verifying Checksum
85
+ e431adaf232f: Download complete
86
+ 885bca26f927: Pull complete
87
+ 8e167e77288f: Pull complete
88
+ 45d43cc973ba: Pull complete
89
+ 44c09156221f: Pull complete
90
+ f2fb700979ad: Pull complete
91
+ 2a1ced882ba9: Pull complete
92
+ 597168d5c38e: Pull complete
93
+ e431adaf232f: Pull complete
94
+ 36e15e3f2788: Pull complete
95
+ Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
96
+ 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
97
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
98
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
99
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-Nd1qjo:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
100
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-uFntpW:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
22
101
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 11.90s
102
+ Solc 0.8.22 finished in 13.01s
24
103
  Compiler run successful with warnings:
25
104
  Warning (2018): Function state mutability can be restricted to view
26
105
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -143,6 +222,44 @@ Warning (2018): Function state mutability can be restricted to view
143
222
  | ^ (Relevant source part starts here and spans across multiple lines).
144
223
 
145
224
 
225
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
226
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
227
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
228
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
229
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
230
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
231
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
232
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
233
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
234
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
235
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
236
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
237
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
238
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
239
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
240
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
241
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
242
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
243
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
244
+ [PASS] test_initial_state_closed() (gas: 2034659)
245
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
246
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
247
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
248
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
249
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
250
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
251
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
252
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
253
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
254
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
255
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
256
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
257
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
258
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
259
+ [PASS] test_storageHash() (gas: 3414)
260
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
261
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 65.10ms (54.43ms CPU time)
262
+
146
263
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
147
264
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
148
265
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -184,7 +301,15 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
184
301
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
185
302
  [PASS] test_storageHash() (gas: 3392)
186
303
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
187
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 23.18ms (16.00ms CPU time)
304
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 81.19ms (67.63ms CPU time)
305
+
306
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
307
+ [PASS] test_feeDeposit() (gas: 17576)
308
+ [PASS] test_setFeeDeposit() (gas: 24995)
309
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
310
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
311
+ [PASS] test_storageHash() (gas: 3337)
312
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 204.85ms (204.22ms CPU time)
188
313
 
189
314
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
190
315
  [PASS] test_feeDeposit() (gas: 17638)
@@ -193,31 +318,247 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
193
318
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
194
319
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
195
320
  [PASS] test_storageHash() (gas: 3315)
196
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 52.20ms (51.48ms CPU time)
321
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 297.89ms (295.19ms CPU time)
197
322
 
198
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
199
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
200
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
201
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
202
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
203
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
204
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
205
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
206
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
207
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
208
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
209
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 49.68ms (49.49ms CPU time)
323
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
324
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
325
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
326
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
327
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
328
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
329
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
330
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
331
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
332
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
333
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
334
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
335
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
336
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
337
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
338
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
339
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
340
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
341
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
342
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
343
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
344
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
345
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
346
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
347
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
348
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
349
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
350
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
351
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
352
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
353
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
354
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
355
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
356
+ [PASS] test_storageHash() (gas: 3380)
357
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 974.78ms (1.16s CPU time)
210
358
 
211
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
212
- [PASS] test_feeDeposit() (gas: 17576)
213
- [PASS] test_setFeeDeposit() (gas: 24995)
214
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
215
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
216
- [PASS] test_storageHash() (gas: 3337)
217
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 231.59ms (59.63ms CPU time)
359
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
360
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
361
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
362
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
363
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
364
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
365
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
366
+ [PASS] test_isPaused_Default() (gas: 47316)
367
+ [PASS] test_isPaused_InitialState() (gas: 22172)
368
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
369
+ [PASS] test_isPaused_Override() (gas: 75171)
370
+ [PASS] test_isPaused_Specific() (gas: 50105)
371
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
372
+ [PASS] test_pauseConfig() (gas: 51028)
373
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
374
+ [PASS] test_setDefaultPaused() (gas: 42196)
375
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30187, ~: 18826)
376
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
377
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
378
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
379
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
380
+ [PASS] test_setPaused() (gas: 48361)
381
+ [PASS] test_setPaused_DormantData() (gas: 295234)
382
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
383
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
384
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43882, ~: 48533)
385
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223916, ~: 219722)
386
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
387
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
388
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
389
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
390
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
391
+ [PASS] test_setPaused_Success() (gas: 45897)
392
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
393
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
394
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
395
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
396
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
397
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
398
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
399
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62467, ~: 73465)
400
+ [PASS] test_storageHash() (gas: 3392)
401
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
402
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
403
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
404
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
405
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
406
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
407
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.30s (1.79s CPU time)
408
+
409
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
410
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
411
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
412
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45240, ~: 46317)
413
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
414
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
415
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
416
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
417
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
418
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
419
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
420
+ [PASS] test_getFee_Default() (gas: 40577)
421
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43182, ~: 44486)
422
+ [PASS] test_getFee_Rounding() (gas: 42835)
423
+ [PASS] test_getFee_Specific() (gas: 63968)
424
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
425
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
426
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32319, ~: 39667)
427
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
428
+ [PASS] test_setFeeBps() (gas: 73871)
429
+ Logs:
430
+ Bound result 500
431
+
432
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66372, ~: 74224)
433
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
434
+ [PASS] test_storageHash() (gas: 3426)
435
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 2.82s (1.46s CPU time)
436
+
437
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
438
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
439
+ [PASS] test_constructor_InitialMode() (gas: 15578)
440
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
441
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
442
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
443
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
444
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
445
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
446
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
447
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
448
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
449
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
450
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
451
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
452
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
453
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
454
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
455
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
456
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
457
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
458
+ [PASS] test_setMode_Blacklist() (gas: 40021)
459
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
460
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
461
+ [PASS] test_setMode_Whitelist() (gas: 40108)
462
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
463
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
464
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
465
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
466
+ [PASS] test_storageHash() (gas: 3458)
467
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 2.95s (1.69s CPU time)
468
+
469
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
470
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
471
+ [PASS] test_constructor_InitialMode() (gas: 15778)
472
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
473
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
474
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
475
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
476
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
477
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
478
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
479
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
480
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
481
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
482
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
483
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
484
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
485
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
486
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
487
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
488
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
489
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
490
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
491
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
492
+ [PASS] test_setMode_Blacklist() (gas: 42605)
493
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
494
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
495
+ [PASS] test_setMode_Whitelist() (gas: 42714)
496
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
497
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
498
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
499
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
500
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
501
+ [PASS] test_storageHash() (gas: 3480)
502
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 3.05s (1.54s CPU time)
503
+
504
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
505
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
506
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
507
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
508
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
509
+ [PASS] test_isPaused_InitialState() (gas: 15595)
510
+ [PASS] test_pause() (gas: 39592)
511
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27496, ~: 16219)
512
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
513
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
514
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
515
+ [PASS] test_storageHash() (gas: 3414)
516
+ [PASS] test_unpause() (gas: 31115)
517
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40426, ~: 38893)
518
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
519
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
520
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
521
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
522
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
523
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
524
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 3.16s (457.59ms CPU time)
525
+
526
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
527
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
528
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
529
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
530
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
531
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
532
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
533
+ [PASS] test_isPaused_Default() (gas: 44698)
534
+ [PASS] test_isPaused_InitialState() (gas: 22070)
535
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
536
+ [PASS] test_isPaused_Override() (gas: 69381)
537
+ [PASS] test_isPaused_Specific() (gas: 46709)
538
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
539
+ [PASS] test_pauseConfig() (gas: 45626)
540
+ [PASS] test_setDefaultPaused() (gas: 39667)
541
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28478, ~: 39918)
542
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
543
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
544
+ [PASS] test_setPaused() (gas: 43060)
545
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
546
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37681, ~: 43373)
547
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
548
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
549
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
550
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58185, ~: 46989)
551
+ [PASS] test_storageHash() (gas: 3480)
552
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
553
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
554
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
555
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
556
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
557
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
558
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.15s (813.16ms CPU time)
218
559
 
219
560
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
220
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27221, ~: 41090)
561
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27702, ~: 41090)
221
562
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
222
563
  [PASS] test_assertNotPaused_Success() (gas: 12539)
223
564
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -228,7 +569,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
228
569
  [PASS] test_pause() (gas: 42109)
229
570
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
230
571
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
231
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30590, ~: 42378)
572
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30354, ~: 18756)
232
573
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
233
574
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
234
575
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -237,57 +578,19 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
237
578
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
238
579
  [PASS] test_storageHash() (gas: 3414)
239
580
  [PASS] test_unpause() (gas: 35177)
240
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41849, ~: 44479)
581
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41652, ~: 38860)
241
582
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
242
583
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
243
584
  [PASS] test_whenNotPaused_Success() (gas: 38800)
244
585
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
245
586
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
246
587
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
247
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.05s (350.62ms CPU time)
248
-
249
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
250
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
251
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
252
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
253
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
254
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
255
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
256
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
257
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
258
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
259
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
260
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
261
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
262
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
263
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
264
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
265
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
266
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
267
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
268
- [PASS] test_initial_state_closed() (gas: 2034659)
269
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
270
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
271
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
272
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
273
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
274
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
275
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
276
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
277
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
278
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
279
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
280
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
281
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
282
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
283
- [PASS] test_storageHash() (gas: 3414)
284
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
285
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 1.06s (9.60ms CPU time)
588
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 3.13s (683.08ms CPU time)
286
589
 
287
590
  Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
288
591
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
289
592
  [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
290
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47557, ~: 48966)
593
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47577, ~: 48966)
291
594
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
292
595
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
293
596
  [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
@@ -296,57 +599,23 @@ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTes
296
599
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
297
600
  [PASS] test_getFee_BoundaryConditions() (gas: 75442)
298
601
  [PASS] test_getFee_Default() (gas: 43108)
299
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45468, ~: 47017)
602
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45281, ~: 47017)
300
603
  [PASS] test_getFee_Rounding() (gas: 45449)
301
604
  [PASS] test_getFee_Specific() (gas: 66985)
302
605
  [PASS] test_getFee_SpecificDisabled() (gas: 66943)
303
606
  [PASS] test_setDefaultFeeBps() (gas: 42199)
304
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35177, ~: 42268)
607
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34800, ~: 42268)
305
608
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
306
609
  [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
307
610
  [PASS] test_setFeeBps() (gas: 77237)
308
611
  Logs:
309
612
  Bound result 500
310
613
 
311
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69020, ~: 77570)
614
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69696, ~: 77570)
312
615
  [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
313
616
  [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
314
617
  [PASS] test_storageHash() (gas: 3436)
315
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.06s (437.75ms CPU time)
316
-
317
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
318
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
319
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
320
- [PASS] test_assertNotPaused_Success() (gas: 14934)
321
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
322
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
323
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
324
- [PASS] test_isPaused_Default() (gas: 44698)
325
- [PASS] test_isPaused_InitialState() (gas: 22070)
326
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
327
- [PASS] test_isPaused_Override() (gas: 69381)
328
- [PASS] test_isPaused_Specific() (gas: 46709)
329
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
330
- [PASS] test_pauseConfig() (gas: 45626)
331
- [PASS] test_setDefaultPaused() (gas: 39667)
332
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28242, ~: 39918)
333
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
334
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
335
- [PASS] test_setPaused() (gas: 43060)
336
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
337
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38716, ~: 43373)
338
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
339
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
340
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
341
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58773, ~: 69608)
342
- [PASS] test_storageHash() (gas: 3480)
343
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
344
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
345
- [PASS] test_whenNotPaused_Success() (gas: 41297)
346
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
347
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
348
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
349
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.12s (461.30ms CPU time)
618
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 3.15s (1.61s CPU time)
350
619
 
351
620
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
352
621
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -354,378 +623,346 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
354
623
  ╭-----------------------------------+---------------------+-------+---------+----------╮
355
624
  | Contract | Selector | Calls | Reverts | Discards |
356
625
  +======================================================================================+
357
- | RateLimiterRBACUpgradeableHandler | inflow | 489 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
358
627
  |-----------------------------------+---------------------+-------+---------+----------|
359
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
360
629
  |-----------------------------------+---------------------+-------+---------+----------|
361
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
362
631
  |-----------------------------------+---------------------+-------+---------+----------|
363
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
364
633
  |-----------------------------------+---------------------+-------+---------+----------|
365
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
366
635
  |-----------------------------------+---------------------+-------+---------+----------|
367
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
368
637
  |-----------------------------------+---------------------+-------+---------+----------|
369
- | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
370
639
  ╰-----------------------------------+---------------------+-------+---------+----------╯
371
640
 
372
641
  Logs:
373
- Bound result 9900000000003739221132
374
- Bound result 9900000000000000000661
375
- Bound result 513
376
- Bound result 9482
377
- Bound result 5606000
378
- Bound result 20281895686577
379
- Bound result 1
380
- Bound result 6665
381
- Bound result 39
382
- Bound result 687414
383
- Bound result 4659
384
- Bound result 26
385
- Bound result 296
386
- Bound result 328
387
- Bound result 1285328100
388
- Bound result 4894357908203371537583
389
- Bound result 9900000000000000002369
390
- Bound result 6103
391
- Bound result 3466
392
- Bound result 1894429
642
+ Bound result 927949521845631998
643
+ Bound result 10788
644
+ Bound result 3
645
+ Bound result 1482
646
+ Bound result 52412343730521
647
+ Bound result 8553
648
+ Bound result 6554
649
+ Bound result 0
650
+ Bound result 259
651
+ Bound result 585301130641832496454
652
+ Bound result 918
653
+ Bound result 9900000000000000009366
654
+ Bound result 9900000000001958248295
655
+ Bound result 3566
393
656
  Bound result 7183
394
- Bound result 226
395
- Bound result 185376943492886
657
+ Bound result 3
658
+ Bound result 256
659
+ Bound result 3750
660
+ Bound result 1164
396
661
 
397
662
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
398
663
 
399
664
  ╭-----------------------------------+---------------------+-------+---------+----------╮
400
665
  | Contract | Selector | Calls | Reverts | Discards |
401
666
  +======================================================================================+
402
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
667
+ | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
403
668
  |-----------------------------------+---------------------+-------+---------+----------|
404
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
669
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
405
670
  |-----------------------------------+---------------------+-------+---------+----------|
406
- | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
671
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
407
672
  |-----------------------------------+---------------------+-------+---------+----------|
408
- | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
409
674
  |-----------------------------------+---------------------+-------+---------+----------|
410
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 591 | 0 | 0 |
411
676
  |-----------------------------------+---------------------+-------+---------+----------|
412
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
413
678
  |-----------------------------------+---------------------+-------+---------+----------|
414
- | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
415
680
  ╰-----------------------------------+---------------------+-------+---------+----------╯
416
681
 
417
682
  Logs:
418
- Bound result 9900000000000000009936
419
- Bound result 9900000000000000002554
420
- Bound result 8875
421
- Bound result 8049
422
- Bound result 9900078292069429055332
423
- Bound result 9900000000000988217387
424
- Bound result 10
425
- Bound result 6157
426
- Bound result 36403666826650
427
- Bound result 9900000000000000001154
428
- Bound result 9900000000000000002142
429
- Bound result 8653
430
- Bound result 2043
431
- Bound result 9900000000000000008728
432
- Bound result 9900000000000000008271
433
- Bound result 231
434
- Bound result 357
435
- Bound result 5305399688580051536037
436
- Bound result 3662953524767876800444
437
- Bound result 9900000000000000001292
438
- Bound result 1135
439
- Bound result 1016
683
+ Bound result 2752634092539972
684
+ Bound result 1151
685
+ Bound result 360907005698035627042
686
+ Bound result 678
687
+ Bound result 63
688
+ Bound result 1457
689
+ Bound result 407
690
+ Bound result 4939
440
691
 
441
692
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
442
693
 
443
694
  ╭-----------------------------------+---------------------+-------+---------+----------╮
444
695
  | Contract | Selector | Calls | Reverts | Discards |
445
696
  +======================================================================================+
446
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
697
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
447
698
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
449
700
  |-----------------------------------+---------------------+-------+---------+----------|
450
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
451
702
  |-----------------------------------+---------------------+-------+---------+----------|
452
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
453
704
  |-----------------------------------+---------------------+-------+---------+----------|
454
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
455
706
  |-----------------------------------+---------------------+-------+---------+----------|
456
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
457
708
  |-----------------------------------+---------------------+-------+---------+----------|
458
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
459
710
  ╰-----------------------------------+---------------------+-------+---------+----------╯
460
711
 
461
712
  Logs:
462
- Bound result 88
463
- Bound result 5
464
- Bound result 1602639992615801
465
- Bound result 3909945003938518
466
- Bound result 15555978830939766588
713
+ Bound result 3
714
+ Bound result 514264337593504336253
467
715
  Bound result 0
468
- Bound result 168290311131055208274
469
- Bound result 167509101778824836560
470
- Bound result 750
471
- Bound result 9900000096037381941753
472
- Bound result 6914264337593535947489
473
- Bound result 6241
474
- Bound result 3066
475
- Bound result 847
476
- Bound result 1375
477
- Bound result 9406
478
- Bound result 20
479
- Bound result 9900000000000000008027
480
- Bound result 9900000000000000003751
481
- Bound result 757
482
- Bound result 4494
716
+ Bound result 9900000000000000000588
717
+ Bound result 6697854339302607069824
718
+ Bound result 9687
719
+ Bound result 7868
720
+ Bound result 10028
721
+ Bound result 1057549188
722
+ Bound result 6195122
723
+ Bound result 7090048479061795899825
724
+ Bound result 1657
725
+ Bound result 7090048479061801814268
726
+ Bound result 4809
727
+ Bound result 9900000000000000007057
728
+ Bound result 9900000000002215456449
729
+ Bound result 2829
730
+ Bound result 629
731
+ Bound result 9083259745641421182610
732
+ Bound result 9900000044502014870296
733
+ Bound result 5269
734
+ Bound result 6239
483
735
 
484
736
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
485
737
 
486
738
  ╭-----------------------------------+---------------------+-------+---------+----------╮
487
739
  | Contract | Selector | Calls | Reverts | Discards |
488
740
  +======================================================================================+
489
- | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
490
742
  |-----------------------------------+---------------------+-------+---------+----------|
491
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
492
744
  |-----------------------------------+---------------------+-------+---------+----------|
493
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
494
746
  |-----------------------------------+---------------------+-------+---------+----------|
495
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
496
748
  |-----------------------------------+---------------------+-------+---------+----------|
497
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
749
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 530 | 0 | 0 |
498
750
  |-----------------------------------+---------------------+-------+---------+----------|
499
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
751
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 600 | 0 | 0 |
500
752
  |-----------------------------------+---------------------+-------+---------+----------|
501
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
753
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
502
754
  ╰-----------------------------------+---------------------+-------+---------+----------╯
503
755
 
504
756
  Logs:
505
- Bound result 51621
506
- Bound result 8596
507
- Bound result 685
508
- Bound result 0
509
- Bound result 1295
510
- Bound result 4700
511
- Bound result 1849
512
- Bound result 523
513
- Bound result 9900000000000000000483
514
- Bound result 9900000000002281078161
515
- Bound result 575
516
- Bound result 9772
517
- Bound result 7107
518
- Bound result 950
519
- Bound result 537
520
- Bound result 9900000000000000000112
521
- Bound result 9900000000001425644634
522
- Bound result 3257
523
- Bound result 2176
524
- Bound result 7397685956087500221728
757
+ Bound result 100000000000000000000
758
+ Bound result 9900000000000000000227
759
+ Bound result 9996
760
+ Bound result 1770
761
+ Bound result 982
762
+ Bound result 247741135591320
763
+ Bound result 6066
764
+ Bound result 9900000000000000008107
765
+ Bound result 9900000000000000008133
766
+ Bound result 8007
767
+ Bound result 141
768
+ Bound result 9900000000000000006027
769
+ Bound result 9900000000000000004946
770
+ Bound result 6640
771
+ Bound result 9893
772
+ Bound result 10507
773
+ Bound result 344526422
774
+ Bound result 1557
775
+ Bound result 153
776
+ Bound result 1
777
+ Bound result 2159030
778
+ Bound result 130817902
779
+ Bound result 479
780
+ Bound result 10262203357154033
781
+ Bound result 2159029
782
+ Bound result 13
525
783
 
526
784
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
527
785
 
528
786
  ╭-----------------------------------+---------------------+-------+---------+----------╮
529
787
  | Contract | Selector | Calls | Reverts | Discards |
530
788
  +======================================================================================+
531
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
532
790
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
534
792
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
536
794
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
538
796
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 508 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
540
798
  |-----------------------------------+---------------------+-------+---------+----------|
541
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
542
800
  |-----------------------------------+---------------------+-------+---------+----------|
543
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | warp | 577 | 0 | 0 |
544
802
  ╰-----------------------------------+---------------------+-------+---------+----------╯
545
803
 
546
804
  Logs:
547
- Bound result 3867581986083430
548
- Bound result 239432649288127307395
805
+ Bound result 1289529814342584391614
806
+ Bound result 77146
807
+ Bound result 9900000000003736598700
808
+ Bound result 9900000000000000000360
809
+ Bound result 666
810
+ Bound result 7513
811
+ Bound result 2860
812
+ Bound result 1098
549
813
  Bound result 1
550
- Bound result 3211
551
- Bound result 882
552
- Bound result 1
553
- Bound result 3
554
- Bound result 1
555
- Bound result 2029
556
- Bound result 514264337593543950334
557
- Bound result 5631
558
- Bound result 5076
814
+ Bound result 43064340055
815
+ Bound result 9900000000000000008322
816
+ Bound result 9900000000000000009601
817
+ Bound result 7330
818
+ Bound result 868
819
+ Bound result 1064715
820
+ Bound result 5603
821
+ Bound result 645288554725932043
822
+ Bound result 1012364
823
+ Bound result 18628107641827819621010
824
+ Bound result 5
825
+ Bound result 3403
826
+ Bound result 3096070584
559
827
  Bound result 0
560
- Bound result 3606
561
- Bound result 1783
562
- Bound result 1
828
+ Bound result 3996
563
829
 
564
830
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
565
831
 
566
832
  ╭-----------------------------------+---------------------+-------+---------+----------╮
567
833
  | Contract | Selector | Calls | Reverts | Discards |
568
834
  +======================================================================================+
569
- | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
570
836
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | outflow | 595 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
572
838
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | setConfig | 589 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
574
840
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
576
842
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 503 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 501 | 0 | 0 |
578
844
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
845
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
580
846
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
847
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
582
848
  ╰-----------------------------------+---------------------+-------+---------+----------╯
583
849
 
584
850
  Logs:
585
- Bound result 9900014419558505933009
586
- Bound result 100000000000000000002
587
- Bound result 10
588
- Bound result 5892
589
- Bound result 133
590
- Bound result 4139225022023785705389
591
- Bound result 9900000000000000000526
592
- Bound result 6241
593
- Bound result 6984
594
- Bound result 9900000000000000001219
595
- Bound result 9900000000000000010414
596
- Bound result 422
597
- Bound result 579
598
- Bound result 2664567759395887
599
- Bound result 171808784823916
600
- Bound result 0
601
- Bound result 2703
602
- Bound result 7007
603
- Bound result 7310162008703517756988
604
- Bound result 8448532158670159794709
851
+ Bound result 514264337593504336253
852
+ Bound result 1272960987394675
605
853
  Bound result 0
606
- Bound result 626
607
- Bound result 9900000159515677488567
608
- Bound result 100000000000000000002
609
- Bound result 4276
610
- Bound result 12
611
- Bound result 2637345061
612
- Bound result 122221333650581040794
854
+ Bound result 1404354663169206
855
+ Bound result 20183031086271005
856
+ Bound result 1
613
857
  Bound result 223
614
- Bound result 9408
615
- Bound result 5000
616
- Bound result 438
617
- Bound result 431
858
+ Bound result 1
859
+ Bound result 15
860
+ Bound result 1318
861
+ Bound result 133234318361
862
+ Bound result 1277637051004033868384
863
+ Bound result 61
864
+ Bound result 26774378366642
865
+ Bound result 1674
866
+ Bound result 8039
867
+ Bound result 580
868
+ Bound result 1292
618
869
 
619
870
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
620
871
 
621
872
  ╭-----------------------------------+---------------------+-------+---------+----------╮
622
873
  | Contract | Selector | Calls | Reverts | Discards |
623
874
  +======================================================================================+
624
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
625
876
  |-----------------------------------+---------------------+-------+---------+----------|
626
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
627
878
  |-----------------------------------+---------------------+-------+---------+----------|
628
- | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
629
880
  |-----------------------------------+---------------------+-------+---------+----------|
630
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
631
882
  |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
633
884
  |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 598 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
635
886
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
637
888
  ╰-----------------------------------+---------------------+-------+---------+----------╯
638
889
 
639
890
  Logs:
640
- Bound result 9900000000000085247963
641
- Bound result 9900000000000000000145
642
- Bound result 2503
891
+ Bound result 458917131699682165376
892
+ Bound result 63
893
+ Bound result 7475993687359815010848
894
+ Bound result 9900000000000000019134
895
+ Bound result 12
896
+ Bound result 5976
897
+ Bound result 663714114
898
+ Bound result 154
899
+ Bound result 0
900
+ Bound result 4169
901
+ Bound result 9900000000000000003665
902
+ Bound result 9900000000000000007588
903
+ Bound result 4258
904
+ Bound result 1577
905
+ Bound result 7465
906
+ Bound result 9900000000000000000982
907
+ Bound result 9900000000000003651614
908
+ Bound result 6639
643
909
  Bound result 11
644
- Bound result 9900000000000000615053
645
- Bound result 9900000000000000000111
646
- Bound result 13
647
- Bound result 7323
648
- Bound result 8851
649
- Bound result 770
650
- Bound result 17269010048400188747028
651
- Bound result 1837884188
652
- Bound result 3
653
- Bound result 9900012284501573985176
654
- Bound result 6914264337593535947488
655
- Bound result 2187
656
- Bound result 10
657
- Bound result 539
658
- Bound result 1787
659
- Bound result 499
660
- Bound result 7603437468251461961551
661
- Bound result 767547794
662
- Bound result 12621656211053174277
663
- Bound result 759
664
- Bound result 69731435620658602
665
- Bound result 677480
666
- Bound result 375
910
+ Bound result 3931435698939182695163
911
+ Bound result 2667074652465993954299
912
+ Bound result 6914264337593535947491
913
+ Bound result 4775
914
+ Bound result 9267
915
+ Bound result 2265650695915624093989
916
+ Bound result 6344
917
+ Bound result 9900000000000000000014
918
+ Bound result 1801106833524811820761
919
+ Bound result 5454
920
+ Bound result 3022
667
921
 
668
922
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
669
923
 
670
924
  ╭-----------------------------------+---------------------+-------+---------+----------╮
671
925
  | Contract | Selector | Calls | Reverts | Discards |
672
926
  +======================================================================================+
673
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
674
- |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
676
928
  |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
678
- |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | setState | 511 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | outflow | 513 | 0 | 0 |
680
930
  |-----------------------------------+---------------------+-------+---------+----------|
681
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
682
- |-----------------------------------+---------------------+-------+---------+----------|
683
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
684
932
  |-----------------------------------+---------------------+-------+---------+----------|
685
- | RateLimiterRBACUpgradeableHandler | warp | 599 | 0 | 0 |
686
- ╰-----------------------------------+---------------------+-------+---------+----------╯
687
-
688
- Logs:
689
- Bound result 10352806422161
690
- Bound result 9771
691
- Bound result 157555070916738
692
- Bound result 9900000000000000000397
693
- Bound result 9900000000000000235414
694
- Bound result 397
695
- Bound result 2961
696
- Bound result 19599696080276795059095
697
- Bound result 7182786612171
698
- Bound result 9900000030567737147160
699
- Bound result 7877380980804799834456
700
- Bound result 1213
701
- Bound result 7676
702
- Bound result 551
703
- Bound result 427
704
- Bound result 2747439503504013359
705
-
706
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.31s (8.51s CPU time)
707
-
708
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
709
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25544, ~: 12763)
710
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
711
- [PASS] test_assertNotPaused_Success() (gas: 12516)
712
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
713
- [PASS] test_isPaused_InitialState() (gas: 15595)
714
- [PASS] test_pause() (gas: 39592)
715
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27898, ~: 16219)
716
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
717
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
718
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
719
- [PASS] test_storageHash() (gas: 3414)
720
- [PASS] test_unpause() (gas: 31115)
721
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40442, ~: 38893)
722
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
723
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
724
- [PASS] test_whenNotPaused_Success() (gas: 38744)
725
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
726
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
727
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
728
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.36s (227.91ms CPU time)
933
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
934
+ |-----------------------------------+---------------------+-------+---------+----------|
935
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 601 | 0 | 0 |
936
+ |-----------------------------------+---------------------+-------+---------+----------|
937
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
938
+ |-----------------------------------+---------------------+-------+---------+----------|
939
+ | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
940
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
941
+
942
+ Logs:
943
+ Bound result 514264337593543950332
944
+ Bound result 904
945
+ Bound result 9900000000000000232057
946
+ Bound result 6914264337593535947488
947
+ Bound result 13
948
+ Bound result 774
949
+ Bound result 937226472516654
950
+ Bound result 8423
951
+ Bound result 2102
952
+ Bound result 0
953
+ Bound result 6914264337593535947488
954
+ Bound result 6914264337593535947488
955
+ Bound result 2098
956
+ Bound result 2793
957
+ Bound result 6914264337593535947490
958
+ Bound result 6914264337593535947488
959
+ Bound result 2045
960
+ Bound result 2846
961
+ Bound result 13633769491721788684159
962
+ Bound result 12182
963
+ Bound result 40
964
+
965
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.26s (19.05s CPU time)
729
966
 
730
967
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
731
968
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -733,536 +970,372 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
733
970
  ╭-----------------------------------+---------------------+-------+---------+----------╮
734
971
  | Contract | Selector | Calls | Reverts | Discards |
735
972
  +======================================================================================+
736
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
737
974
  |-----------------------------------+---------------------+-------+---------+----------|
738
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
739
976
  |-----------------------------------+---------------------+-------+---------+----------|
740
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
741
978
  |-----------------------------------+---------------------+-------+---------+----------|
742
- | RateLimiterRBACUpgradeableHandler | setState | 511 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | setState | 520 | 0 | 0 |
743
980
  |-----------------------------------+---------------------+-------+---------+----------|
744
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 587 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 596 | 0 | 0 |
745
982
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
983
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
747
984
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
985
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
749
986
  ╰-----------------------------------+---------------------+-------+---------+----------╯
750
987
 
751
988
  Logs:
752
- Bound result 1206359015361747316442
753
- Bound result 15
989
+ Bound result 797
990
+ Bound result 778
991
+ Bound result 221
992
+ Bound result 10245
993
+ Bound result 8946
754
994
  Bound result 1
755
- Bound result 514264337593504336253
756
- Bound result 678845275
757
- Bound result 0
758
- Bound result 274
759
- Bound result 1191039301242897
760
- Bound result 9900000000000013206603
761
- Bound result 9900000000000000000444
762
- Bound result 3957
763
- Bound result 1230
764
- Bound result 3566
765
- Bound result 7873
766
- Bound result 8687
767
- Bound result 335
768
- Bound result 578
769
- Bound result 9900000000000763600053
770
- Bound result 1244690616707171403790
771
- Bound result 2235
772
- Bound result 954
773
- Bound result 6914264337593535947490
774
- Bound result 3625945149911214298729
775
- Bound result 26
776
- Bound result 85
777
- Bound result 288
995
+ Bound result 107795473
996
+ Bound result 9900033032306622020019
997
+ Bound result 9900000000000000040642
998
+ Bound result 1802
999
+ Bound result 6322
1000
+ Bound result 54
1001
+ Bound result 7226
1002
+ Bound result 20
1003
+ Bound result 11259
778
1004
 
779
1005
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
780
1006
 
781
1007
  ╭-----------------------------------+---------------------+-------+---------+----------╮
782
1008
  | Contract | Selector | Calls | Reverts | Discards |
783
1009
  +======================================================================================+
784
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
785
1011
  |-----------------------------------+---------------------+-------+---------+----------|
786
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
787
1013
  |-----------------------------------+---------------------+-------+---------+----------|
788
- | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
789
1015
  |-----------------------------------+---------------------+-------+---------+----------|
790
- | RateLimiterRBACUpgradeableHandler | setState | 593 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
791
1017
  |-----------------------------------+---------------------+-------+---------+----------|
792
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
1018
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
793
1019
  |-----------------------------------+---------------------+-------+---------+----------|
794
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 522 | 0 | 0 |
1020
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
795
1021
  |-----------------------------------+---------------------+-------+---------+----------|
796
- | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | warp | 505 | 0 | 0 |
797
1023
  ╰-----------------------------------+---------------------+-------+---------+----------╯
798
1024
 
799
1025
  Logs:
800
- Bound result 2633910
801
- Bound result 248708710106360294149
802
- Bound result 772948803291362355356
803
- Bound result 0
804
- Bound result 6486
805
- Bound result 9900000000000000009329
806
- Bound result 9900000000000000000741
807
- Bound result 529
808
- Bound result 6283
809
- Bound result 6307599138690047028839
810
- Bound result 690086884339836770444
811
- Bound result 2005
812
- Bound result 241
813
- Bound result 613063844
814
- Bound result 917
1026
+ Bound result 6065
1027
+ Bound result 514264337593504336251
1028
+ Bound result 12
815
1029
  Bound result 0
816
- Bound result 54
817
- Bound result 3041954473
1030
+ Bound result 8364
1031
+ Bound result 9900000000000000010204
1032
+ Bound result 9900000000000000001029
1033
+ Bound result 7211
1034
+ Bound result 9621
1035
+ Bound result 3463
1036
+ Bound result 21
1037
+ Bound result 9900000000000000002808
1038
+ Bound result 9900000000000000001645
1039
+ Bound result 274
1040
+ Bound result 2262
1041
+ Bound result 105
1042
+ Bound result 2
818
1043
  Bound result 1
819
- Bound result 27
820
- Bound result 69789
821
- Bound result 104616615187708426146
822
- Bound result 3
1044
+ Bound result 7199
1045
+ Bound result 2977
1046
+ Bound result 0
823
1047
 
824
1048
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
825
1049
 
826
1050
  ╭-----------------------------------+---------------------+-------+---------+----------╮
827
1051
  | Contract | Selector | Calls | Reverts | Discards |
828
1052
  +======================================================================================+
829
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
830
1054
  |-----------------------------------+---------------------+-------+---------+----------|
831
- | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
832
1056
  |-----------------------------------+---------------------+-------+---------+----------|
833
- | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
834
1058
  |-----------------------------------+---------------------+-------+---------+----------|
835
- | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
836
1060
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
838
1062
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
1063
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596 | 0 | 0 |
840
1064
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
842
1066
  ╰-----------------------------------+---------------------+-------+---------+----------╯
843
1067
 
844
1068
  Logs:
845
- Bound result 41454
846
- Bound result 886
847
- Bound result 151426663
848
- Bound result 1898959171330416482303
849
- Bound result 133091947641
850
- Bound result 6257
851
- Bound result 4923506044466371187559
852
- Bound result 9900005331615395033101
853
- Bound result 685
854
- Bound result 176
855
- Bound result 89
856
- Bound result 9900000000000000000048
857
- Bound result 9900000000000000000882
858
- Bound result 6242
859
- Bound result 331
860
- Bound result 270
861
- Bound result 8248
862
- Bound result 27
863
- Bound result 174
864
- Bound result 1510283279
865
- Bound result 5177069543
866
- Bound result 6843097594233728591002
867
- Bound result 4424
868
- Bound result 293
1069
+ Bound result 2093
1070
+ Bound result 8524
1071
+ Bound result 1
1072
+ Bound result 9900000000000000010197
1073
+ Bound result 9900000000000000004420
1074
+ Bound result 698
1075
+ Bound result 7483
1076
+ Bound result 799
1077
+ Bound result 3301133406996
1078
+ Bound result 411986024378006898109
1079
+ Bound result 1
1080
+ Bound result 1244
1081
+ Bound result 20193609575356490
1082
+ Bound result 13715337159211801363266
1083
+ Bound result 53
1084
+ Bound result 6063825113084708167867
1085
+ Bound result 9900000000000063683587
1086
+ Bound result 8584
1087
+ Bound result 38
1088
+ Bound result 11235946331147826
1089
+ Bound result 172712885850772
1090
+ Bound result 310
1091
+ Bound result 2754
1092
+ Bound result 2676
1093
+ Bound result 196
1094
+ Bound result 9936324813413556559089
869
1095
 
870
1096
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
871
1097
 
872
1098
  ╭-----------------------------------+---------------------+-------+---------+----------╮
873
1099
  | Contract | Selector | Calls | Reverts | Discards |
874
1100
  +======================================================================================+
875
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | inflow | 498 | 0 | 0 |
876
1102
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
878
1104
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
880
1106
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
882
1108
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
1109
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
884
1110
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
1111
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
886
1112
  |-----------------------------------+---------------------+-------+---------+----------|
887
- | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
1113
+ | RateLimiterRBACUpgradeableHandler | warp | 525 | 0 | 0 |
888
1114
  ╰-----------------------------------+---------------------+-------+---------+----------╯
889
1115
 
890
1116
  Logs:
891
- Bound result 2
892
- Bound result 9900000000000000009151
893
- Bound result 9900000000000000009355
894
- Bound result 8565
895
- Bound result 3208
896
- Bound result 13393205697106
897
- Bound result 13089453
898
- Bound result 1
899
- Bound result 2649663653218
900
- Bound result 4614
901
- Bound result 1481828
902
- Bound result 2011421492338803034
903
- Bound result 163
904
- Bound result 421810874
1117
+ Bound result 1113219430
1118
+ Bound result 1634
1119
+ Bound result 0
905
1120
  Bound result 1
906
- Bound result 9900000000000017091932
907
- Bound result 9907964939438646516590
908
- Bound result 7966
909
- Bound result 8578
910
- Bound result 70150694007658842
911
- Bound result 59
1121
+ Bound result 9900000000000000005865
1122
+ Bound result 9900000000000000002162
1123
+ Bound result 5029
1124
+ Bound result 40
1125
+ Bound result 3525
1126
+ Bound result 9900000000000000000008
1127
+ Bound result 9900000000000001019956
1128
+ Bound result 4542
1129
+ Bound result 5632
1130
+ Bound result 151426662
1131
+ Bound result 2506
1132
+ Bound result 2051
1133
+ Bound result 10727508426400270259179
912
1134
 
913
1135
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
914
1136
 
915
1137
  ╭-----------------------------------+---------------------+-------+---------+----------╮
916
1138
  | Contract | Selector | Calls | Reverts | Discards |
917
1139
  +======================================================================================+
918
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1140
+ | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
919
1141
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1142
+ | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
921
1143
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
1144
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
923
1145
  |-----------------------------------+---------------------+-------+---------+----------|
924
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1146
+ | RateLimiterRBACUpgradeableHandler | setState | 519 | 0 | 0 |
925
1147
  |-----------------------------------+---------------------+-------+---------+----------|
926
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
1148
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
927
1149
  |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
1150
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
929
1151
  |-----------------------------------+---------------------+-------+---------+----------|
930
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
1152
+ | RateLimiterRBACUpgradeableHandler | warp | 579 | 0 | 0 |
931
1153
  ╰-----------------------------------+---------------------+-------+---------+----------╯
932
1154
 
933
1155
  Logs:
934
- Bound result 8824561305209621827086
935
- Bound result 9900000000008702184833
936
- Bound result 3281
937
- Bound result 5680
938
- Bound result 9532
939
- Bound result 4571076819501631341890
940
- Bound result 712446704590707689839
941
- Bound result 10
942
- Bound result 10
943
- Bound result 3
944
- Bound result 8651916208451321925914
945
- Bound result 61302675049807464623
1156
+ Bound result 9900005018073860286034
1157
+ Bound result 9900000000000000130061
1158
+ Bound result 12
1159
+ Bound result 6570
1160
+ Bound result 899
1161
+ Bound result 9900000158461956961670
1162
+ Bound result 9900000772900294035419
1163
+ Bound result 7300
1164
+ Bound result 5539
1165
+ Bound result 3821
1166
+ Bound result 864
1167
+ Bound result 1099511627775
1168
+ Bound result 1
1169
+ Bound result 128
1170
+ Bound result 4973886181081314
1171
+ Bound result 8614
1172
+ Bound result 9900000000000000007354
1173
+ Bound result 9900000000002215456451
1174
+ Bound result 6162
1175
+ Bound result 864
1176
+ Bound result 9900000022159117985032
1177
+ Bound result 2872216587776351595532
1178
+ Bound result 9998
1179
+ Bound result 12
1180
+ Bound result 947296146499182673876
1181
+ Bound result 2885913946735728684500
1182
+ Bound result 9900000000001060227595
1183
+ Bound result 9900000000000002069528
1184
+ Bound result 3787
1185
+ Bound result 1612
1186
+ Bound result 862044258405802642389
1187
+ Bound result 13064357438241173858334
946
1188
  Bound result 1
947
- Bound result 966713229370023576673
948
- Bound result 9900000000000000000857
949
- Bound result 9900000000000000010162
950
- Bound result 2683
951
- Bound result 7359
952
1189
 
953
1190
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
954
1191
 
955
1192
  ╭-----------------------------------+---------------------+-------+---------+----------╮
956
1193
  | Contract | Selector | Calls | Reverts | Discards |
957
1194
  +======================================================================================+
958
- | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
1195
+ | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
959
1196
  |-----------------------------------+---------------------+-------+---------+----------|
960
1197
  | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
961
1198
  |-----------------------------------+---------------------+-------+---------+----------|
962
- | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
1199
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
963
1200
  |-----------------------------------+---------------------+-------+---------+----------|
964
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
1201
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
965
1202
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
1203
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
967
1204
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1205
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
969
1206
  |-----------------------------------+---------------------+-------+---------+----------|
970
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1207
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
971
1208
  ╰-----------------------------------+---------------------+-------+---------+----------╯
972
1209
 
973
1210
  Logs:
974
- Bound result 952
975
- Bound result 6916
976
- Bound result 1
977
- Bound result 9659
978
- Bound result 9900000000000000009640
979
- Bound result 9900000000000000001067
980
- Bound result 8133
981
- Bound result 4118
982
- Bound result 511
983
- Bound result 6914264337593535947489
984
- Bound result 9900000000202445305933
985
- Bound result 6361
986
- Bound result 9995
987
- Bound result 359895395863633765
988
- Bound result 9900000000000000010483
989
- Bound result 9900000000000000007100
990
- Bound result 81
991
1211
  Bound result 6103
992
- Bound result 9900000000000000010618
993
- Bound result 9900000000002233625729
994
- Bound result 12
995
- Bound result 543
996
- Bound result 5051125793345723944411
997
- Bound result 6914246462235280377058
1212
+ Bound result 52
1213
+ Bound result 1
1214
+ Bound result 514264337593543950333
1215
+ Bound result 1074626400631
1216
+ Bound result 31065786
1217
+ Bound result 30
1218
+ Bound result 696430070036902609318
1219
+ Bound result 1554234165449
1220
+ Bound result 1
1221
+ Bound result 9900000000290644608771
1222
+ Bound result 9900000000000001113646
1223
+ Bound result 3978
1224
+ Bound result 8585
1225
+ Bound result 1809
1226
+ Bound result 8614
998
1227
 
999
1228
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1000
1229
 
1001
1230
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1002
1231
  | Contract | Selector | Calls | Reverts | Discards |
1003
1232
  +======================================================================================+
1004
- | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1233
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1005
1234
  |-----------------------------------+---------------------+-------+---------+----------|
1006
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
1235
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
1007
1236
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | setConfig | 516 | 0 | 0 |
1237
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1009
1238
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
1239
+ | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
1011
1240
  |-----------------------------------+---------------------+-------+---------+----------|
1012
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 515 | 0 | 0 |
1241
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
1013
1242
  |-----------------------------------+---------------------+-------+---------+----------|
1014
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
1243
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
1015
1244
  |-----------------------------------+---------------------+-------+---------+----------|
1016
- | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1245
+ | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
1017
1246
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1018
1247
 
1019
1248
  Logs:
1020
- Bound result 4759046103673104567673
1021
- Bound result 9900000529683973556794
1022
- Bound result 7170
1023
- Bound result 4431
1024
- Bound result 9075
1025
- Bound result 9900000000000000008152
1026
- Bound result 9900000000000016777217
1027
- Bound result 2328
1028
- Bound result 2464
1029
- Bound result 9132016998080003006409
1030
- Bound result 850932041055190577059
1031
- Bound result 6239
1032
- Bound result 9995
1249
+ Bound result 9055
1250
+ Bound result 4657
1033
1251
  Bound result 1
1034
- Bound result 7378
1035
- Bound result 9008
1252
+ Bound result 6646577
1253
+ Bound result 514264337593504336251
1254
+ Bound result 5194750122
1036
1255
  Bound result 1
1037
- Bound result 1047615086
1038
- Bound result 9025
1256
+ Bound result 577
1257
+ Bound result 225
1258
+ Bound result 116484
1259
+ Bound result 3945373
1260
+ Bound result 1944527
1261
+ Bound result 551431828806357427
1262
+ Bound result 65201578498800925
1263
+ Bound result 499
1264
+ Bound result 10275
1265
+ Bound result 32907047397780
1266
+ Bound result 1718
1039
1267
 
1040
1268
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1041
1269
 
1042
1270
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1043
1271
  | Contract | Selector | Calls | Reverts | Discards |
1044
1272
  +======================================================================================+
1045
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1273
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
1046
1274
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
1275
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
1048
1276
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | setConfig | 596 | 0 | 0 |
1277
+ | RateLimiterRBACUpgradeableHandler | setConfig | 511 | 0 | 0 |
1050
1278
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
1279
+ | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
1052
1280
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
1281
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
1054
1282
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1283
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1056
1284
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1285
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
1058
1286
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1059
1287
 
1060
1288
  Logs:
1061
- Bound result 15209049283801173006
1062
- Bound result 1394357908203371790357
1063
- Bound result 140299412275371089
1064
- Bound result 206
1065
- Bound result 9798
1066
- Bound result 532
1067
- Bound result 122
1068
- Bound result 1788
1069
- Bound result 562
1070
- Bound result 3042731614
1071
- Bound result 1293
1072
- Bound result 9900000000001666094043
1073
- Bound result 9900000000000000007293
1074
- Bound result 2315
1075
- Bound result 1078
1076
- Bound result 4000
1077
- Bound result 3904
1078
-
1079
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.41s (8.61s CPU time)
1080
-
1081
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1082
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1083
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1084
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44971, ~: 46317)
1085
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1086
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1087
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1088
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1089
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1090
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1091
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1092
- [PASS] test_getFee_Default() (gas: 40577)
1093
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43228, ~: 44486)
1094
- [PASS] test_getFee_Rounding() (gas: 42835)
1095
- [PASS] test_getFee_Specific() (gas: 63968)
1096
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1097
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1098
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32455, ~: 39667)
1099
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1100
- [PASS] test_setFeeBps() (gas: 73871)
1101
- Logs:
1102
- Bound result 500
1103
-
1104
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66334, ~: 74224)
1105
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1106
- [PASS] test_storageHash() (gas: 3426)
1107
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.15s (620.34ms CPU time)
1108
-
1109
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1110
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1111
- [PASS] test_constructor_InitialMode() (gas: 15578)
1112
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1113
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1114
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1115
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1116
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1117
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1118
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1119
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1120
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1121
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1122
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1123
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1124
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1125
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1126
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1127
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1128
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1129
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1130
- [PASS] test_setMode_Blacklist() (gas: 40021)
1131
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1132
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1133
- [PASS] test_setMode_Whitelist() (gas: 40108)
1134
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1135
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1136
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1137
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1138
- [PASS] test_storageHash() (gas: 3458)
1139
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 12.15s (487.65ms CPU time)
1140
-
1141
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1142
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1143
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
1144
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1145
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1146
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1147
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1148
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1149
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1150
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1151
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1152
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1153
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1154
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1155
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1156
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1157
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1158
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1159
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1160
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1161
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1162
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1163
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1164
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1165
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1166
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1167
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1168
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1169
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1170
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1171
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1172
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1173
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1174
- [PASS] test_storageHash() (gas: 3380)
1175
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 12.29s (271.34ms CPU time)
1289
+ Bound result 981
1290
+ Bound result 5009287098266
1291
+ Bound result 456
1292
+ Bound result 1
1293
+ Bound result 45511880662
1294
+ Bound result 1733716
1295
+ Bound result 0
1296
+ Bound result 0
1297
+ Bound result 4575
1298
+ Bound result 3695152416
1299
+ Bound result 0
1300
+ Bound result 65
1301
+ Bound result 9900000000000000052470
1302
+ Bound result 9900000000005282084302
1303
+ Bound result 9999
1304
+ Bound result 407
1305
+ Bound result 10505
1306
+ Bound result 889
1307
+ Bound result 9900000000000283944093
1308
+ Bound result 9901508225297893166944
1309
+ Bound result 6684
1310
+ Bound result 12
1311
+ Bound result 4092642413
1312
+ Bound result 3847031
1313
+ Bound result 2755
1314
+ Bound result 9900000000000000000209
1315
+ Bound result 9900000000000000009330
1316
+ Bound result 8085
1317
+ Bound result 4944
1318
+ Bound result 4677
1176
1319
 
1177
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1178
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1179
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1180
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1181
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1182
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1183
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1184
- [PASS] test_isPaused_Default() (gas: 47316)
1185
- [PASS] test_isPaused_InitialState() (gas: 22172)
1186
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1187
- [PASS] test_isPaused_Override() (gas: 75171)
1188
- [PASS] test_isPaused_Specific() (gas: 50105)
1189
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1190
- [PASS] test_pauseConfig() (gas: 51028)
1191
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1192
- [PASS] test_setDefaultPaused() (gas: 42196)
1193
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29951, ~: 18826)
1194
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1195
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1196
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1197
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1198
- [PASS] test_setPaused() (gas: 48361)
1199
- [PASS] test_setPaused_DormantData() (gas: 295234)
1200
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1201
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1202
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43863, ~: 48533)
1203
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222601, ~: 216804)
1204
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1205
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1206
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1207
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1208
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1209
- [PASS] test_setPaused_Success() (gas: 45897)
1210
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1211
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1212
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1213
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1214
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1215
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1216
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1217
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62953, ~: 73465)
1218
- [PASS] test_storageHash() (gas: 3392)
1219
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1220
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1221
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1222
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1223
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1224
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1225
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 12.28s (596.63ms CPU time)
1320
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.39s (19.86s CPU time)
1226
1321
 
1227
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1228
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1229
- [PASS] test_constructor_InitialMode() (gas: 15778)
1230
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1231
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1232
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1233
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1234
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1235
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1236
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1237
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1238
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1239
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1240
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1241
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1242
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1243
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1244
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1245
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1246
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1247
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1248
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1249
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1250
- [PASS] test_setMode_Blacklist() (gas: 42605)
1251
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1252
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1253
- [PASS] test_setMode_Whitelist() (gas: 42714)
1254
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1255
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1256
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1257
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1258
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1259
- [PASS] test_storageHash() (gas: 3480)
1260
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 12.29s (489.09ms CPU time)
1322
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1323
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1324
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1325
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1326
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1327
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
1328
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1329
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1330
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1331
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1332
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1333
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 17.10s (279.53ms CPU time)
1261
1334
 
1262
1335
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1263
1336
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1264
1337
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1265
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 782007, ~: 137861)
1338
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 747051, ~: 177137)
1266
1339
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1267
1340
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1268
1341
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1275,12 +1348,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1275
1348
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1276
1349
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1277
1350
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1278
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11160426, ~: 10411529)
1351
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11179019, ~: 10445206)
1279
1352
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1280
1353
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1281
1354
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1282
1355
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1283
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 835104, ~: 417941)
1356
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 789792, ~: 243618)
1284
1357
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1285
1358
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1286
1359
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1293,10 +1366,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1293
1366
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1294
1367
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1295
1368
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1296
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11182318, ~: 10510298)
1369
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147964, ~: 10412512)
1297
1370
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1298
1371
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1299
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.29s (29.22s CPU time)
1372
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.97s (43.88s CPU time)
1300
1373
 
1301
- Ran 17 test suites in 12.34s (82.15s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1302
- ⏳ forge test: 26.719s
1374
+ Ran 17 test suites in 18.00s (67.05s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1375
+ ⏳ forge test: 32.959s