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

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 (3) hide show
  1. package/.turbo/turbo-lint.log +224 -1
  2. package/.turbo/turbo-test.log +743 -825
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,94 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using mini workspace: /tmp/lz-mini-workspace-8tcxvO
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-ZxA0HM
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:85956) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:121863) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-mini-workspace-8tcxvO:/workspace
15
+ -v /tmp/lz-mini-workspace-ZxA0HM:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
- Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
20
- 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
21
- $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
22
- forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
23
- 86ec798129ac: Pulling fs layer
24
- eef7c391911c: Pulling fs layer
25
- cc2ecf4065b7: Pulling fs layer
26
- 5760fdd70374: Pulling fs layer
27
- c70db14240a1: Pulling fs layer
28
- 0cb2c6965bde: Pulling fs layer
29
- 885bca26f927: Pulling fs layer
30
- 8e167e77288f: Pulling fs layer
31
- 45d43cc973ba: Pulling fs layer
32
- 44c09156221f: Pulling fs layer
33
- f2fb700979ad: Pulling fs layer
34
- 2a1ced882ba9: Pulling fs layer
35
- 597168d5c38e: Pulling fs layer
36
- e431adaf232f: Pulling fs layer
37
- 36e15e3f2788: Pulling fs layer
38
- 36e15e3f2788: Waiting
39
- 885bca26f927: Waiting
40
- eef7c391911c: Download complete
41
- 5760fdd70374: Download complete
42
- c70db14240a1: Download complete
43
- f2fb700979ad: Waiting
44
- 597168d5c38e: Waiting
45
- 8e167e77288f: Waiting
46
- 2a1ced882ba9: Waiting
47
- 45d43cc973ba: Waiting
48
- 44c09156221f: Waiting
49
- e431adaf232f: Waiting
50
- 86ec798129ac: Download complete
51
- cc2ecf4065b7: Verifying Checksum
52
- cc2ecf4065b7: Download complete
53
- 8e167e77288f: Verifying Checksum
54
- 8e167e77288f: Download complete
55
- 45d43cc973ba: Verifying Checksum
56
- 45d43cc973ba: Download complete
57
- 44c09156221f: Verifying Checksum
58
- 44c09156221f: Download complete
59
- f2fb700979ad: Verifying Checksum
60
- f2fb700979ad: Download complete
61
- 0cb2c6965bde: Verifying Checksum
62
- 0cb2c6965bde: Download complete
63
- 597168d5c38e: Download complete
64
- 86ec798129ac: Pull complete
65
- eef7c391911c: Pull complete
66
- 2a1ced882ba9: Verifying Checksum
67
- 2a1ced882ba9: Download complete
68
- cc2ecf4065b7: Pull complete
69
- 36e15e3f2788: Verifying Checksum
70
- 36e15e3f2788: Download complete
71
- 5760fdd70374: Pull complete
72
- c70db14240a1: Pull complete
73
- 0cb2c6965bde: Pull complete
74
- e431adaf232f: Verifying Checksum
75
- e431adaf232f: Download complete
76
- 885bca26f927: Verifying Checksum
77
- 885bca26f927: Download complete
78
- 885bca26f927: Pull complete
79
- 8e167e77288f: Pull complete
80
- 45d43cc973ba: Pull complete
81
- 44c09156221f: Pull complete
82
- f2fb700979ad: Pull complete
83
- 2a1ced882ba9: Pull complete
84
- 597168d5c38e: Pull complete
85
- e431adaf232f: Pull complete
86
- 36e15e3f2788: Pull complete
87
- Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
88
- Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
89
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
90
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
+ ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
91
20
  👤 Running container as UID:GID 1001:1001
92
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-8tcxvO:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-ZxA0HM:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
93
22
  Compiling 84 files with Solc 0.8.22
94
- Solc 0.8.22 finished in 10.87s
23
+ Solc 0.8.22 finished in 14.34s
95
24
  Compiler run successful with warnings:
96
25
  Warning (2018): Function state mutability can be restricted to view
97
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -214,6 +143,44 @@ Warning (2018): Function state mutability can be restricted to view
214
143
  | ^ (Relevant source part starts here and spans across multiple lines).
215
144
 
216
145
 
146
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
147
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
148
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
149
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
150
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
151
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
152
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
153
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
154
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
155
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
156
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
157
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
158
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
159
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
160
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
161
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
162
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
163
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
164
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
165
+ [PASS] test_initial_state_closed() (gas: 2034659)
166
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
167
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
168
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
169
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
170
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
171
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
172
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
173
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
174
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
175
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
176
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
177
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
178
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
179
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
180
+ [PASS] test_storageHash() (gas: 3414)
181
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
182
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 13.60ms (11.51ms CPU time)
183
+
217
184
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
218
185
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
219
186
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -255,45 +222,86 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
255
222
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
256
223
  [PASS] test_storageHash() (gas: 3392)
257
224
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
258
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 8.25ms (8.47ms CPU time)
225
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 19.64ms (28.59ms CPU time)
259
226
 
260
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
261
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
262
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
263
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
264
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
265
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
266
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
267
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
268
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
269
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
270
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
271
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
272
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
273
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
274
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
275
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
276
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
277
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
278
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
279
- [PASS] test_initial_state_closed() (gas: 2034659)
280
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
281
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
282
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
283
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
284
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
285
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
286
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
287
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
288
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
289
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
290
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
291
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
292
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
293
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
294
- [PASS] test_storageHash() (gas: 3414)
295
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
296
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 16.92ms (14.14ms CPU time)
227
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
228
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
229
+ [PASS] test_constructor_InitialMode() (gas: 15578)
230
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
231
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
232
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
233
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
234
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
235
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
236
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
237
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
238
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
239
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
240
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
241
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
242
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
243
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
244
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
245
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
246
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
247
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
248
+ [PASS] test_setMode_Blacklist() (gas: 40021)
249
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
250
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
251
+ [PASS] test_setMode_Whitelist() (gas: 40108)
252
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
253
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
254
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
255
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
256
+ [PASS] test_storageHash() (gas: 3458)
257
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 975.09ms (838.95ms CPU time)
258
+
259
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
260
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
261
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
262
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
263
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
264
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
265
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
266
+ [PASS] test_isPaused_Default() (gas: 44698)
267
+ [PASS] test_isPaused_InitialState() (gas: 22070)
268
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
269
+ [PASS] test_isPaused_Override() (gas: 69381)
270
+ [PASS] test_isPaused_Specific() (gas: 46709)
271
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
272
+ [PASS] test_pauseConfig() (gas: 45626)
273
+ [PASS] test_setDefaultPaused() (gas: 39667)
274
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27323, ~: 16332)
275
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
276
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
277
+ [PASS] test_setPaused() (gas: 43060)
278
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
279
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38417, ~: 43373)
280
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
281
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
282
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
283
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
284
+ [PASS] test_storageHash() (gas: 3480)
285
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
286
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
287
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
288
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
289
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
290
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
291
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.37s (387.22ms CPU time)
292
+
293
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
294
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
295
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
296
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
297
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
298
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
299
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
300
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
301
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
302
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
303
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
304
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.70s (213.11ms CPU time)
297
305
 
298
306
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
299
307
  [PASS] test_feeDeposit() (gas: 17576)
@@ -301,90 +309,10 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
301
309
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
302
310
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
303
311
  [PASS] test_storageHash() (gas: 3337)
304
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 41.87ms (41.06ms CPU time)
305
-
306
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
307
- [PASS] test_feeDeposit() (gas: 17638)
308
- [PASS] test_setFeeDeposit() (gas: 27596)
309
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
310
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
311
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
312
- [PASS] test_storageHash() (gas: 3315)
313
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 46.36ms (45.69ms CPU time)
314
-
315
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
316
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
317
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
318
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
319
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
320
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
321
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
322
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
323
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
324
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
325
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
326
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
327
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
328
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
329
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
330
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
331
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
332
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
333
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
334
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
335
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
336
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
337
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
338
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
339
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
340
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
341
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
342
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
343
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
344
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
345
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
346
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
347
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
348
- [PASS] test_storageHash() (gas: 3380)
349
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 260.37ms (282.92ms CPU time)
350
-
351
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
352
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
353
- [PASS] test_constructor_InitialMode() (gas: 15778)
354
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
355
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
356
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
357
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
358
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
359
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
360
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
361
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
362
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
363
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
364
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
365
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
366
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
367
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
368
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
369
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
370
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
371
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
372
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
373
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
374
- [PASS] test_setMode_Blacklist() (gas: 42605)
375
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
376
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
377
- [PASS] test_setMode_Whitelist() (gas: 42714)
378
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
379
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
380
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
381
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
382
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
383
- [PASS] test_storageHash() (gas: 3480)
384
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 384.38ms (396.60ms CPU time)
312
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.73s (62.44ms CPU time)
385
313
 
386
314
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
387
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26485, ~: 12786)
315
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27305, ~: 41090)
388
316
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
389
317
  [PASS] test_assertNotPaused_Success() (gas: 12539)
390
318
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -395,7 +323,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
395
323
  [PASS] test_pause() (gas: 42109)
396
324
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
397
325
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
398
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31417, ~: 42378)
326
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30519, ~: 18756)
399
327
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
400
328
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
401
329
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -404,796 +332,773 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
404
332
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
405
333
  [PASS] test_storageHash() (gas: 3414)
406
334
  [PASS] test_unpause() (gas: 35177)
407
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
335
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41877, ~: 44479)
408
336
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
409
337
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
410
338
  [PASS] test_whenNotPaused_Success() (gas: 38800)
411
339
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
412
340
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
413
341
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
414
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.35s (192.52ms CPU time)
342
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.80s (453.30ms CPU time)
415
343
 
416
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
417
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
418
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
419
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47646, ~: 48966)
420
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
421
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
422
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
423
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
424
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
425
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
426
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
427
- [PASS] test_getFee_Default() (gas: 43108)
428
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45353, ~: 47017)
429
- [PASS] test_getFee_Rounding() (gas: 45449)
430
- [PASS] test_getFee_Specific() (gas: 66985)
431
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
432
- [PASS] test_setDefaultFeeBps() (gas: 42199)
433
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34826, ~: 42268)
434
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
435
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
436
- [PASS] test_setFeeBps() (gas: 77237)
344
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
345
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
346
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
347
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44853, ~: 46317)
348
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
349
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
350
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
351
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
352
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
353
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
354
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
355
+ [PASS] test_getFee_Default() (gas: 40577)
356
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42746, ~: 44486)
357
+ [PASS] test_getFee_Rounding() (gas: 42835)
358
+ [PASS] test_getFee_Specific() (gas: 63968)
359
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
360
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
361
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32506, ~: 39667)
362
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
363
+ [PASS] test_setFeeBps() (gas: 73871)
437
364
  Logs:
438
365
  Bound result 500
439
366
 
440
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68638, ~: 77570)
441
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
442
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
443
- [PASS] test_storageHash() (gas: 3436)
444
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.44s (393.01ms CPU time)
367
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65616, ~: 74224)
368
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
369
+ [PASS] test_storageHash() (gas: 3426)
370
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.81s (776.72ms CPU time)
445
371
 
446
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
447
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
448
- [PASS] test_constructor_InitialMode() (gas: 15578)
449
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
450
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
451
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
452
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
453
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
454
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
455
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
456
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
457
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
458
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
459
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
460
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
461
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
462
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
463
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
464
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
465
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
466
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
467
- [PASS] test_setMode_Blacklist() (gas: 40021)
468
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
469
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
470
- [PASS] test_setMode_Whitelist() (gas: 40108)
471
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
472
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
473
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
474
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
475
- [PASS] test_storageHash() (gas: 3458)
476
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.91s (443.13ms CPU time)
372
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
373
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25389, ~: 12763)
374
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
375
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
376
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
377
+ [PASS] test_isPaused_InitialState() (gas: 15595)
378
+ [PASS] test_pause() (gas: 39592)
379
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28040, ~: 28040)
380
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
381
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
382
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
383
+ [PASS] test_storageHash() (gas: 3414)
384
+ [PASS] test_unpause() (gas: 31115)
385
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40526, ~: 42029)
386
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
387
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
388
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
389
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
390
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
391
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
392
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.81s (227.49ms CPU time)
477
393
 
478
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
394
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
479
395
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
480
396
 
481
397
  ╭-----------------------------------+---------------------+-------+---------+----------╮
482
398
  | Contract | Selector | Calls | Reverts | Discards |
483
399
  +======================================================================================+
484
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
400
+ | RateLimiterRBACUpgradeableHandler | inflow | 604 | 0 | 0 |
485
401
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | outflow | 575 | 0 | 0 |
402
+ | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
487
403
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
404
+ | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
489
405
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
406
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
491
407
  |-----------------------------------+---------------------+-------+---------+----------|
492
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 583 | 0 | 0 |
408
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
493
409
  |-----------------------------------+---------------------+-------+---------+----------|
494
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
410
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
495
411
  |-----------------------------------+---------------------+-------+---------+----------|
496
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
412
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
497
413
  ╰-----------------------------------+---------------------+-------+---------+----------╯
498
414
 
499
415
  Logs:
500
- Bound result 2948
501
- Bound result 9900000000000000005711
502
- Bound result 9900000000000000007261
503
- Bound result 2207
504
- Bound result 116
505
- Bound result 10439648964134944331604
506
- Bound result 335
416
+ Bound result 3411180122190471125
417
+ Bound result 4164333820057626413658
418
+ Bound result 9900000000017495412002
419
+ Bound result 88
420
+ Bound result 62
421
+ Bound result 324
422
+ Bound result 2806341279982678808045
507
423
  Bound result 1
508
- Bound result 139
509
- Bound result 3614
510
- Bound result 9900001419292979288638
511
- Bound result 228274077242626785056
512
- Bound result 2188
513
- Bound result 9850
514
- Bound result 14040
515
- Bound result 9900000000000000002340
516
- Bound result 9900000000000000007449
517
- Bound result 4228
518
- Bound result 6614
519
- Bound result 27
520
- Bound result 9900000000158816435533
521
- Bound result 9900000000001778294559
522
- Bound result 3296
523
- Bound result 4357
524
- Bound result 127191826436990125
424
+ Bound result 4202
425
+ Bound result 1800500
426
+ Bound result 192198180
427
+ Bound result 1
428
+ Bound result 9884
429
+ Bound result 9114
430
+ Bound result 0
431
+ Bound result 13372045182185231
432
+ Bound result 205
433
+ Bound result 138
525
434
 
526
435
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
527
436
 
528
437
  ╭-----------------------------------+---------------------+-------+---------+----------╮
529
438
  | Contract | Selector | Calls | Reverts | Discards |
530
439
  +======================================================================================+
531
- | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
532
441
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | outflow | 506 | 0 | 0 |
534
443
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | setConfig | 591 | 0 | 0 |
536
445
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
538
447
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
540
449
  |-----------------------------------+---------------------+-------+---------+----------|
541
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
450
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
542
451
  |-----------------------------------+---------------------+-------+---------+----------|
543
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | warp | 578 | 0 | 0 |
544
453
  ╰-----------------------------------+---------------------+-------+---------+----------╯
545
454
 
546
455
  Logs:
547
- Bound result 9900000000000000008229
548
- Bound result 1000000000000000000001
549
- Bound result 5741
550
- Bound result 1797
551
- Bound result 3585
552
- Bound result 9900000000000000007983
553
- Bound result 9900000000000000007431
554
- Bound result 9006
555
- Bound result 9798
556
- Bound result 9900000005769861970262
557
- Bound result 9900000099555527403389
558
- Bound result 10
559
- Bound result 4169
560
- Bound result 1001915761844759695084
561
- Bound result 8437
562
- Bound result 6065
563
- Bound result 1304
564
- Bound result 813
565
- Bound result 62778219
566
- Bound result 6503
567
- Bound result 9900000000000000000427
568
- Bound result 9900000000000000008310
569
- Bound result 3490
570
- Bound result 3531
456
+ Bound result 1966
457
+ Bound result 104
458
+ Bound result 700
459
+ Bound result 453671685586553732297
460
+ Bound result 1835607748413970204072
461
+ Bound result 692
462
+ Bound result 479
463
+ Bound result 4207
464
+ Bound result 60099524166582484
465
+ Bound result 488949713955742451925
466
+ Bound result 0
467
+ Bound result 33635096233380
468
+ Bound result 1901156940162936837627
469
+ Bound result 1895801731307373321817
470
+ Bound result 603
471
+ Bound result 3752
472
+ Bound result 9250
473
+ Bound result 3457
474
+ Bound result 709
475
+ Bound result 1626
476
+ Bound result 9900005507260128014487
477
+ Bound result 9900000000000000241030
478
+ Bound result 18
479
+ Bound result 11
571
480
 
572
481
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
573
482
 
574
483
  ╭-----------------------------------+---------------------+-------+---------+----------╮
575
484
  | Contract | Selector | Calls | Reverts | Discards |
576
485
  +======================================================================================+
577
- | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
578
487
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
580
489
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
582
491
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
492
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
584
493
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
494
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
586
495
  |-----------------------------------+---------------------+-------+---------+----------|
587
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
496
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
588
497
  |-----------------------------------+---------------------+-------+---------+----------|
589
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
498
+ | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
590
499
  ╰-----------------------------------+---------------------+-------+---------+----------╯
591
500
 
592
501
  Logs:
593
- Bound result 9900004040916494158087
594
- Bound result 9900002997743935556569
595
- Bound result 4310
596
- Bound result 1884
597
- Bound result 9901146261122799763035
598
- Bound result 9900000000000000008265
599
- Bound result 3118
600
- Bound result 11
601
- Bound result 9902140204921437810573
602
- Bound result 9900010469055058104759
603
- Bound result 9843
604
- Bound result 656
605
- Bound result 10363
606
- Bound result 173
502
+ Bound result 6305616543281614862744
503
+ Bound result 9900108003522319339048
504
+ Bound result 3671
505
+ Bound result 6242
506
+ Bound result 8567629506693876259269
507
+ Bound result 6103
508
+ Bound result 11739202
509
+ Bound result 1102253
607
510
  Bound result 1
608
- Bound result 69242402799
609
- Bound result 100000000000000000002
610
- Bound result 8268810182422818332662
611
- Bound result 11
612
- Bound result 298
613
- Bound result 118
614
- Bound result 8435
615
- Bound result 6822
616
- Bound result 6517
617
- Bound result 49
618
- Bound result 165193883133575242361
619
- Bound result 15221606124110
620
- Bound result 35
621
- Bound result 17
622
- Bound result 903
623
- Bound result 40
624
- Bound result 9900000000000000000741
625
- Bound result 9900000000000000002434
626
- Bound result 9856
627
- Bound result 2660
511
+ Bound result 6053
512
+ Bound result 7027
513
+ Bound result 9900000000058880193036
514
+ Bound result 9258828514914531261138
515
+ Bound result 1392
516
+ Bound result 79
517
+ Bound result 428
518
+ Bound result 6267
519
+ Bound result 1046363172
520
+ Bound result 19
628
521
 
629
522
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
630
523
 
631
524
  ╭-----------------------------------+---------------------+-------+---------+----------╮
632
525
  | Contract | Selector | Calls | Reverts | Discards |
633
526
  +======================================================================================+
634
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
527
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
635
528
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
529
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
637
530
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
639
532
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
641
534
  |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
643
536
  |-----------------------------------+---------------------+-------+---------+----------|
644
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
645
538
  |-----------------------------------+---------------------+-------+---------+----------|
646
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
539
+ | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
647
540
  ╰-----------------------------------+---------------------+-------+---------+----------╯
648
541
 
649
542
  Logs:
650
- Bound result 9075
651
- Bound result 914
652
- Bound result 1497
653
- Bound result 2159037159
654
- Bound result 1
655
- Bound result 9900000751075975668064
656
- Bound result 9900000000026022647491
657
- Bound result 6952
658
- Bound result 12
659
- Bound result 15788797736857419491828
660
- Bound result 812
543
+ Bound result 15925748452188228
544
+ Bound result 19849496
545
+ Bound result 6666
546
+ Bound result 2327
661
547
  Bound result 1
662
- Bound result 1883623021837538765145
663
- Bound result 9900000000000005862622
664
- Bound result 2428
665
- Bound result 5225
666
- Bound result 9900000000017139456434
667
- Bound result 9900000000000000552256
668
- Bound result 8703
669
- Bound result 5730
670
- Bound result 9900000000000000000248
671
- Bound result 9900000000000000003334
672
- Bound result 587
673
- Bound result 8581
674
- Bound result 189699503690144119791
675
- Bound result 9900000000000000000007
676
- Bound result 9900000000000000004236
677
- Bound result 637
678
- Bound result 4364
679
- Bound result 9900000000000000003458
680
- Bound result 9900000000000000009907
681
- Bound result 2709
682
- Bound result 11
683
- Bound result 894373283567
548
+ Bound result 54758851529
549
+ Bound result 391715773683590
550
+ Bound result 0
551
+ Bound result 9900000000000000010031
552
+ Bound result 9900000000000000002546
553
+ Bound result 4302
554
+ Bound result 3566
555
+ Bound result 13967898484397707400021
556
+ Bound result 299
557
+ Bound result 1199
558
+ Bound result 9900000008685767693859
559
+ Bound result 9900000000000000115367
560
+ Bound result 481
561
+ Bound result 4026
562
+ Bound result 9900000035590732601915
563
+ Bound result 9900000000000015029942
564
+ Bound result 9907
565
+ Bound result 135
566
+ Bound result 7680
684
567
 
685
568
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
686
569
 
687
570
  ╭-----------------------------------+---------------------+-------+---------+----------╮
688
571
  | Contract | Selector | Calls | Reverts | Discards |
689
572
  +======================================================================================+
690
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
691
574
  |-----------------------------------+---------------------+-------+---------+----------|
692
- | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
693
576
  |-----------------------------------+---------------------+-------+---------+----------|
694
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
695
578
  |-----------------------------------+---------------------+-------+---------+----------|
696
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
697
580
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 507 | 0 | 0 |
699
582
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 529 | 0 | 0 |
583
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
701
584
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
703
586
  ╰-----------------------------------+---------------------+-------+---------+----------╯
704
587
 
705
588
  Logs:
706
- Bound result 2072215437
707
- Bound result 1141
589
+ Bound result 347
590
+ Bound result 1704
591
+ Bound result 9900000000000000010264
592
+ Bound result 9900000000000000004512
593
+ Bound result 5055
594
+ Bound result 10
595
+ Bound result 11791738176465960631927
596
+ Bound result 9900000000000294443689
597
+ Bound result 9900000000000000008591
598
+ Bound result 682
599
+ Bound result 2594
600
+ Bound result 89927504951098463475
601
+ Bound result 811899737
708
602
  Bound result 1
709
- Bound result 558
710
- Bound result 312397156
711
- Bound result 0
712
- Bound result 514264337593504336252
713
- Bound result 142187190591605843
714
- Bound result 0
715
- Bound result 9900000000006004605125
716
- Bound result 1695748341226425649123
717
- Bound result 6240
718
- Bound result 2370
719
- Bound result 26436713809912729
720
- Bound result 626089934664776663214
721
- Bound result 0
722
- Bound result 9900000000000000010340
723
- Bound result 9900000000000000000202
724
- Bound result 4746
725
- Bound result 7625
726
- Bound result 33960085882854
727
- Bound result 8308
728
- Bound result 3566
603
+ Bound result 1115
604
+ Bound result 1
605
+ Bound result 1510283280
729
606
 
730
607
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
731
608
 
732
609
  ╭-----------------------------------+---------------------+-------+---------+----------╮
733
610
  | Contract | Selector | Calls | Reverts | Discards |
734
611
  +======================================================================================+
735
- | RateLimiterRBACUpgradeableHandler | inflow | 575 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
736
613
  |-----------------------------------+---------------------+-------+---------+----------|
737
- | RateLimiterRBACUpgradeableHandler | outflow | 512 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
738
615
  |-----------------------------------+---------------------+-------+---------+----------|
739
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
740
617
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
742
619
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
744
621
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
746
623
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
748
625
  ╰-----------------------------------+---------------------+-------+---------+----------╯
749
626
 
750
627
  Logs:
751
- Bound result 100000000000000000001
752
- Bound result 9900000000000000035844
753
- Bound result 1886
754
- Bound result 11
755
- Bound result 0
756
- Bound result 87
757
- Bound result 0
758
- Bound result 128610329856748
759
- Bound result 37473370424
760
- Bound result 1
761
- Bound result 2257
762
- Bound result 2
763
- Bound result 474055
628
+ Bound result 102719569915370
629
+ Bound result 352407403423
764
630
  Bound result 0
765
- Bound result 3
766
- Bound result 1549
767
- Bound result 125381969315410297688
768
- Bound result 348008538
769
- Bound result 1284
770
- Bound result 9900000000000000007393
771
- Bound result 9900000000000000010538
772
- Bound result 856
773
- Bound result 2093
774
- Bound result 5325944451209688805719
775
- Bound result 100000000000000000001
776
- Bound result 8232
777
- Bound result 70
778
- Bound result 1912375742183961617306
779
- Bound result 6085676899168350354696
780
- Bound result 217
781
- Bound result 5651
782
- Bound result 916553272250460872540
783
- Bound result 9900000000000000002082
784
- Bound result 572987346670035283295
785
- Bound result 272
786
- Bound result 3752
787
- Bound result 706
631
+ Bound result 9296
632
+ Bound result 1016114450078976568951
633
+ Bound result 100
634
+ Bound result 192
635
+ Bound result 3486480063569303770454
636
+ Bound result 9900624033575485403533
637
+ Bound result 10
638
+ Bound result 1329
639
+ Bound result 176530220970825162262
640
+ Bound result 8173479856409110921351
641
+ Bound result 9900000000000008844166
642
+ Bound result 9965
643
+ Bound result 4674
644
+ Bound result 5393
645
+ Bound result 9469
646
+ Bound result 4228
647
+ Bound result 2998
648
+ Bound result 653
788
649
 
789
650
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
790
651
 
791
652
  ╭-----------------------------------+---------------------+-------+---------+----------╮
792
653
  | Contract | Selector | Calls | Reverts | Discards |
793
654
  +======================================================================================+
794
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
655
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
795
656
  |-----------------------------------+---------------------+-------+---------+----------|
796
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
657
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
797
658
  |-----------------------------------+---------------------+-------+---------+----------|
798
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
659
+ | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
799
660
  |-----------------------------------+---------------------+-------+---------+----------|
800
- | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
661
+ | RateLimiterRBACUpgradeableHandler | setState | 517 | 0 | 0 |
801
662
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
663
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
803
664
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
665
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
805
666
  |-----------------------------------+---------------------+-------+---------+----------|
806
- | RateLimiterRBACUpgradeableHandler | warp | 580 | 0 | 0 |
667
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
807
668
  ╰-----------------------------------+---------------------+-------+---------+----------╯
808
669
 
809
670
  Logs:
810
- Bound result 155
811
- Bound result 5689
812
- Bound result 0
813
- Bound result 11730671897131503
814
- Bound result 12986119
815
- Bound result 362
816
- Bound result 0
817
- Bound result 1149663
818
- Bound result 0
819
- Bound result 1
820
- Bound result 98830
671
+ Bound result 736
672
+ Bound result 9900010320646795767374
673
+ Bound result 9900000000000650257887
674
+ Bound result 5401
675
+ Bound result 6165
676
+ Bound result 9900000000000000009065
677
+ Bound result 9900000000000000002951
678
+ Bound result 8298
679
+ Bound result 6966
680
+ Bound result 10885
681
+ Bound result 106173283
821
682
  Bound result 3
822
- Bound result 1
823
- Bound result 514264337593543950335
824
- Bound result 9900000000000000008976
825
- Bound result 9900000000000000004088
826
- Bound result 5457
827
- Bound result 4161
683
+ Bound result 16529170384
684
+ Bound result 10125
685
+ Bound result 2096
686
+ Bound result 14601344897779673954616
687
+ Bound result 737
688
+ Bound result 6803
689
+ Bound result 7801
828
690
 
829
691
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
830
692
 
831
693
  ╭-----------------------------------+---------------------+-------+---------+----------╮
832
694
  | Contract | Selector | Calls | Reverts | Discards |
833
695
  +======================================================================================+
834
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
696
+ | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
835
697
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
837
699
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
839
701
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | setState | 512 | 0 | 0 |
841
703
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
704
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
843
705
  |-----------------------------------+---------------------+-------+---------+----------|
844
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
706
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
845
707
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | warp | 602 | 0 | 0 |
847
709
  ╰-----------------------------------+---------------------+-------+---------+----------╯
848
710
 
849
711
  Logs:
850
- Bound result 29591500990761147283
851
- Bound result 47
852
- Bound result 0
853
- Bound result 9900000002871018369051
854
- Bound result 6914264337593535947491
855
- Bound result 318
856
- Bound result 10
857
- Bound result 7110579880813330683296
858
- Bound result 6502
859
- Bound result 0
860
- Bound result 261
861
- Bound result 559642249668367
862
- Bound result 6891288025464894369288
863
- Bound result 6891288025464890367868
864
- Bound result 3237392588723365976
865
- Bound result 2
866
- Bound result 3602752116
867
- Bound result 3077436142249772475129
868
- Bound result 245
869
- Bound result 4939
870
- Bound result 1313373042
871
- Bound result 116
712
+ Bound result 140441799328739153184
713
+ Bound result 955452669137
872
714
  Bound result 1
715
+ Bound result 0
716
+ Bound result 416
717
+ Bound result 1475
718
+ Bound result 357094980
719
+ Bound result 1105124034660156085393
720
+ Bound result 9901526392262478577399
721
+ Bound result 9900000000000000005897
722
+ Bound result 6239
723
+ Bound result 7883
724
+ Bound result 261403361894968498914
725
+ Bound result 100000000000000000000
873
726
  Bound result 15
727
+ Bound result 5022
728
+ Bound result 9900000000007846915044
729
+ Bound result 9900016451954712589869
730
+ Bound result 5894
731
+ Bound result 9413
732
+ Bound result 1728
874
733
 
875
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.11s (11.64s CPU time)
734
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.77s (10.05s CPU time)
876
735
 
877
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
736
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
878
737
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
879
738
 
880
739
  ╭-----------------------------------+---------------------+-------+---------+----------╮
881
740
  | Contract | Selector | Calls | Reverts | Discards |
882
741
  +======================================================================================+
883
- | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
884
743
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
886
745
  |-----------------------------------+---------------------+-------+---------+----------|
887
- | RateLimiterRBACUpgradeableHandler | setConfig | 512 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
888
747
  |-----------------------------------+---------------------+-------+---------+----------|
889
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
890
749
  |-----------------------------------+---------------------+-------+---------+----------|
891
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
892
751
  |-----------------------------------+---------------------+-------+---------+----------|
893
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
894
753
  |-----------------------------------+---------------------+-------+---------+----------|
895
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
896
755
  ╰-----------------------------------+---------------------+-------+---------+----------╯
897
756
 
898
757
  Logs:
899
- Bound result 1754859564884446668648
900
- Bound result 202047178848
901
- Bound result 1377
902
- Bound result 31217535245142
903
- Bound result 26841901225873
904
- Bound result 331762561
905
- Bound result 322168661583070895892
906
- Bound result 61681
758
+ Bound result 127
759
+ Bound result 415249655498198609493
760
+ Bound result 514264337593504336253
761
+ Bound result 14
762
+ Bound result 22219737225344185173
763
+ Bound result 210
764
+ Bound result 1
765
+ Bound result 2107269096
766
+ Bound result 7113
767
+ Bound result 8056801605276275969470
768
+ Bound result 9900000000000003820274
769
+ Bound result 9176
770
+ Bound result 783
771
+ Bound result 1
772
+ Bound result 9900000000000000001446
773
+ Bound result 9900000000000613063844
774
+ Bound result 2664
775
+ Bound result 9656
776
+ Bound result 9900759618196922864757
777
+ Bound result 9938401310051592815269
778
+ Bound result 364
779
+ Bound result 9064
780
+ Bound result 1226
781
+ Bound result 1019
782
+ Bound result 118
907
783
  Bound result 0
908
- Bound result 340
909
- Bound result 3740
910
- Bound result 1028
911
- Bound result 50
912
- Bound result 421
913
- Bound result 5032092190791504666
914
- Bound result 984
915
- Bound result 1160
916
- Bound result 1604
784
+ Bound result 42911484134541111212
785
+ Bound result 47
786
+ Bound result 7275
787
+ Bound result 9900000004498500273802
788
+ Bound result 9901981644512341621858
789
+ Bound result 254
790
+ Bound result 6900
917
791
 
918
792
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
919
793
 
920
794
  ╭-----------------------------------+---------------------+-------+---------+----------╮
921
795
  | Contract | Selector | Calls | Reverts | Discards |
922
796
  +======================================================================================+
923
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
924
798
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
926
800
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
928
802
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | setState | 585 | 0 | 0 |
803
+ | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
930
804
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
805
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
932
806
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 490 | 0 | 0 |
807
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
934
808
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
809
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
936
810
  ╰-----------------------------------+---------------------+-------+---------+----------╯
937
811
 
938
812
  Logs:
939
- Bound result 7359
940
- Bound result 994
941
- Bound result 1
942
- Bound result 5
943
- Bound result 1090
944
- Bound result 966
945
- Bound result 1329131127
946
- Bound result 63314648603388326
947
- Bound result 8482912584542664646
813
+ Bound result 79322379169
814
+ Bound result 8059
815
+ Bound result 3691
948
816
  Bound result 1
949
- Bound result 159
950
- Bound result 436
817
+ Bound result 447098282828275884699
818
+ Bound result 4333534
819
+ Bound result 0
820
+ Bound result 514264337593543950332
821
+ Bound result 5252357906142130612051
822
+ Bound result 100000000000000000003
823
+ Bound result 2727
824
+ Bound result 1715
825
+ Bound result 771579439399398962689
826
+ Bound result 9900000000057779168670
827
+ Bound result 9900000001255338876487
828
+ Bound result 203
829
+ Bound result 3746
830
+ Bound result 880
831
+ Bound result 2965771433
832
+ Bound result 261
833
+ Bound result 8804068496218143060748
834
+ Bound result 9900183027719346978270
835
+ Bound result 8382
836
+ Bound result 1346
837
+ Bound result 821040
951
838
 
952
839
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
953
840
 
954
841
  ╭-----------------------------------+---------------------+-------+---------+----------╮
955
842
  | Contract | Selector | Calls | Reverts | Discards |
956
843
  +======================================================================================+
957
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
844
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
958
845
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | outflow | 522 | 0 | 0 |
960
847
  |-----------------------------------+---------------------+-------+---------+----------|
961
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
848
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
962
849
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
850
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
964
851
  |-----------------------------------+---------------------+-------+---------+----------|
965
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
852
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
966
853
  |-----------------------------------+---------------------+-------+---------+----------|
967
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
854
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
968
855
  |-----------------------------------+---------------------+-------+---------+----------|
969
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
856
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
970
857
  ╰-----------------------------------+---------------------+-------+---------+----------╯
971
858
 
972
859
  Logs:
973
- Bound result 970
974
- Bound result 7260
860
+ Bound result 9900000000000000008612
861
+ Bound result 9900000000000000002310
862
+ Bound result 1499
863
+ Bound result 5722
864
+ Bound result 3561
865
+ Bound result 575
866
+ Bound result 1
867
+ Bound result 94372685013723
868
+ Bound result 100000000000000000000
869
+ Bound result 140620131049268824096
870
+ Bound result 5088
871
+ Bound result 10
872
+ Bound result 421741047492350911
873
+ Bound result 166604195983668394158
874
+ Bound result 12481
875
+ Bound result 5
876
+ Bound result 70172235881512205633
975
877
  Bound result 0
976
- Bound result 28142141643098
977
- Bound result 1343
878
+ Bound result 124456418001198800114
879
+ Bound result 814909768453410782
978
880
  Bound result 1
979
- Bound result 1614
980
- Bound result 125
981
- Bound result 2182
982
- Bound result 514264337593543950335
983
- Bound result 363
984
- Bound result 707371139211013
881
+ Bound result 7901
985
882
 
986
883
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
987
884
 
988
885
  ╭-----------------------------------+---------------------+-------+---------+----------╮
989
886
  | Contract | Selector | Calls | Reverts | Discards |
990
887
  +======================================================================================+
991
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
992
889
  |-----------------------------------+---------------------+-------+---------+----------|
993
- | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
890
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
994
891
  |-----------------------------------+---------------------+-------+---------+----------|
995
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
892
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
996
893
  |-----------------------------------+---------------------+-------+---------+----------|
997
- | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
894
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
998
895
  |-----------------------------------+---------------------+-------+---------+----------|
999
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
896
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1000
897
  |-----------------------------------+---------------------+-------+---------+----------|
1001
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
898
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
1002
899
  |-----------------------------------+---------------------+-------+---------+----------|
1003
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
900
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1004
901
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1005
902
 
1006
903
  Logs:
1007
- Bound result 29
1008
- Bound result 483
904
+ Bound result 6812674777
905
+ Bound result 81534113272914857
906
+ Bound result 2728456053380
1009
907
  Bound result 0
1010
- Bound result 4833
1011
- Bound result 366
1012
- Bound result 608
1013
- Bound result 1738
1014
- Bound result 10565843487583371
1015
- Bound result 9900000000000000006122
1016
- Bound result 9900000000000000000178
1017
- Bound result 8921
1018
- Bound result 6390
1019
- Bound result 119
1020
- Bound result 13
1021
- Bound result 1614028771498123236691
1022
- Bound result 448528065857184917
1023
- Bound result 155
1024
- Bound result 18603
1025
- Bound result 10390390354163644887819
1026
- Bound result 8
1027
- Bound result 9900000000000000009859
1028
- Bound result 9900000000000000002004
1029
- Bound result 8691
1030
- Bound result 7715
908
+ Bound result 8821
909
+ Bound result 2127334683002165108
910
+ Bound result 9566284817606286918
911
+ Bound result 37539
912
+ Bound result 417
913
+ Bound result 11
914
+ Bound result 533570198632
915
+ Bound result 6314911097628774013906
916
+ Bound result 9914172132491804916676
917
+ Bound result 8276
918
+ Bound result 9995
919
+ Bound result 3413
1031
920
 
1032
921
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1033
922
 
1034
923
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1035
924
  | Contract | Selector | Calls | Reverts | Discards |
1036
925
  +======================================================================================+
1037
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1038
927
  |-----------------------------------+---------------------+-------+---------+----------|
1039
- | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
1040
929
  |-----------------------------------+---------------------+-------+---------+----------|
1041
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
930
+ | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
1042
931
  |-----------------------------------+---------------------+-------+---------+----------|
1043
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
932
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
1044
933
  |-----------------------------------+---------------------+-------+---------+----------|
1045
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
934
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
1046
935
  |-----------------------------------+---------------------+-------+---------+----------|
1047
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
936
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1048
937
  |-----------------------------------+---------------------+-------+---------+----------|
1049
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
938
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
1050
939
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1051
940
 
1052
941
  Logs:
1053
- Bound result 4672009
1054
- Bound result 4823728616636
1055
- Bound result 1
1056
- Bound result 2464670362674211
1057
- Bound result 614619062081514186338
942
+ Bound result 9900000000000000002848
943
+ Bound result 7553939724162854097841
944
+ Bound result 13
945
+ Bound result 5008
946
+ Bound result 14529848
947
+ Bound result 9900000054295171095653
948
+ Bound result 9900000000000000002393
949
+ Bound result 8653
950
+ Bound result 7736
951
+ Bound result 9900000000000000010940
952
+ Bound result 9900000000000000006771
953
+ Bound result 2629
954
+ Bound result 1132
955
+ Bound result 9900003480880338107319
956
+ Bound result 9900000000000000076976
957
+ Bound result 2988
958
+ Bound result 5523
959
+ Bound result 4515887418893026106179
960
+ Bound result 83461609908108
961
+ Bound result 7
962
+ Bound result 18666857249130629484685
963
+ Bound result 5
1058
964
  Bound result 1
1059
- Bound result 4382
1060
- Bound result 100
1061
- Bound result 7512
1062
- Bound result 68
1063
- Bound result 283237942901
1064
- Bound result 3820
1065
- Bound result 99
1066
- Bound result 4
1067
- Bound result 1937
1068
- Bound result 100000000000000000002
1069
- Bound result 100000000000000000003
1070
- Bound result 8318
1071
- Bound result 287
965
+ Bound result 3084
966
+ Bound result 9890
967
+ Bound result 7599
968
+ Bound result 280631428947732367256
1072
969
 
1073
970
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1074
971
 
1075
972
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1076
973
  | Contract | Selector | Calls | Reverts | Discards |
1077
974
  +======================================================================================+
1078
- | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1079
976
  |-----------------------------------+---------------------+-------+---------+----------|
1080
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | outflow | 579 | 0 | 0 |
1081
978
  |-----------------------------------+---------------------+-------+---------+----------|
1082
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
979
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
1083
980
  |-----------------------------------+---------------------+-------+---------+----------|
1084
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
981
+ | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
1085
982
  |-----------------------------------+---------------------+-------+---------+----------|
1086
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
983
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
1087
984
  |-----------------------------------+---------------------+-------+---------+----------|
1088
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
985
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
1089
986
  |-----------------------------------+---------------------+-------+---------+----------|
1090
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
987
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1091
988
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1092
989
 
1093
990
  Logs:
1094
- Bound result 84973768022911
1095
- Bound result 1657
1096
- Bound result 9900000000000000030333
1097
- Bound result 6914264337593535947491
1098
- Bound result 123
1099
- Bound result 9440
1100
- Bound result 990
1101
- Bound result 9900000000000000005212
1102
- Bound result 9900000000000000004788
1103
- Bound result 7924
1104
- Bound result 3469
1105
- Bound result 997605340
1106
- Bound result 154
1107
- Bound result 9900007792272949763899
1108
- Bound result 4480508579747640723976
1109
- Bound result 4541
1110
- Bound result 9263
991
+ Bound result 6466550069669791467321
992
+ Bound result 9900000000000001870563
993
+ Bound result 9995
994
+ Bound result 842
995
+ Bound result 5130
996
+ Bound result 10017
997
+ Bound result 18745
998
+ Bound result 1013332733516247402114
999
+ Bound result 9900000000000000117897
1000
+ Bound result 11
1001
+ Bound result 6242
1002
+ Bound result 5855
1003
+ Bound result 9407
1004
+ Bound result 4711
1005
+ Bound result 6914264336650032651265
1006
+ Bound result 9127
1007
+ Bound result 758
1008
+ Bound result 834047
1009
+ Bound result 121168736
1010
+ Bound result 3995
1011
+ Bound result 34769380330
1012
+ Bound result 1480
1111
1013
 
1112
1014
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1113
1015
 
1114
1016
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1115
1017
  | Contract | Selector | Calls | Reverts | Discards |
1116
1018
  +======================================================================================+
1117
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
1118
1020
  |-----------------------------------+---------------------+-------+---------+----------|
1119
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1021
+ | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
1120
1022
  |-----------------------------------+---------------------+-------+---------+----------|
1121
1023
  | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1122
1024
  |-----------------------------------+---------------------+-------+---------+----------|
1123
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
1025
+ | RateLimiterRBACUpgradeableHandler | setState | 607 | 0 | 0 |
1124
1026
  |-----------------------------------+---------------------+-------+---------+----------|
1125
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
1027
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
1126
1028
  |-----------------------------------+---------------------+-------+---------+----------|
1127
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 595 | 0 | 0 |
1029
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 504 | 0 | 0 |
1128
1030
  |-----------------------------------+---------------------+-------+---------+----------|
1129
- | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
1031
+ | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1130
1032
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1131
1033
 
1132
1034
  Logs:
1133
- Bound result 1336605362933660205840
1134
- Bound result 137285013
1135
- Bound result 1855386100987748877
1136
- Bound result 0
1137
- Bound result 5112
1138
- Bound result 144933
1139
- Bound result 0
1140
- Bound result 9900000000003013121952
1141
- Bound result 9900000000000000002457
1142
- Bound result 8354
1143
- Bound result 3568
1144
- Bound result 4525
1145
- Bound result 1693360265066371059968
1146
- Bound result 5448469552
1147
- Bound result 0
1148
- Bound result 2806359015359261634124
1149
- Bound result 12653
1035
+ Bound result 782590880772003
1036
+ Bound result 6
1037
+ Bound result 9739860680042043092934
1038
+ Bound result 6914264337593535947488
1039
+ Bound result 3269
1040
+ Bound result 743
1041
+ Bound result 9900000000000000008723
1042
+ Bound result 9900000000000000003319
1043
+ Bound result 4481
1044
+ Bound result 4034
1045
+ Bound result 87980696376
1046
+ Bound result 9900015540201965149832
1047
+ Bound result 9900000000001024960606
1048
+ Bound result 13
1049
+ Bound result 1709
1050
+ Bound result 897014336
1051
+ Bound result 1968
1052
+ Bound result 1434288173
1053
+ Bound result 1763
1054
+ Bound result 2931
1150
1055
 
1151
1056
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1152
1057
 
1153
1058
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1154
1059
  | Contract | Selector | Calls | Reverts | Discards |
1155
1060
  +======================================================================================+
1156
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
1157
1062
  |-----------------------------------+---------------------+-------+---------+----------|
1158
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
1063
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
1159
1064
  |-----------------------------------+---------------------+-------+---------+----------|
1160
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
1161
1066
  |-----------------------------------+---------------------+-------+---------+----------|
1162
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
1067
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
1163
1068
  |-----------------------------------+---------------------+-------+---------+----------|
1164
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 562 | 0 | 0 |
1069
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1165
1070
  |-----------------------------------+---------------------+-------+---------+----------|
1166
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 570 | 0 | 0 |
1071
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1167
1072
  |-----------------------------------+---------------------+-------+---------+----------|
1168
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
1073
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1169
1074
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1170
1075
 
1171
1076
  Logs:
1172
- Bound result 9900000000000000008485
1173
- Bound result 9900000000000000003543
1174
- Bound result 7221
1175
- Bound result 7041
1176
- Bound result 40
1177
- Bound result 9900000000000000005852
1178
- Bound result 9900000000000000008628
1179
- Bound result 8278
1180
- Bound result 2579
1181
- Bound result 87596350777504389246
1182
- Bound result 60250776
1077
+ Bound result 9900000000000000008598
1078
+ Bound result 9900000000000000033789
1079
+ Bound result 7312
1080
+ Bound result 1359
1081
+ Bound result 1720358582102242335499
1082
+ Bound result 1150
1083
+ Bound result 1
1084
+ Bound result 8201
1085
+ Bound result 423
1086
+ Bound result 0
1087
+ Bound result 5594
1088
+ Bound result 28142141643097
1089
+ Bound result 0
1090
+ Bound result 800
1091
+ Bound result 29
1092
+ Bound result 447150032947
1093
+ Bound result 42804892329
1094
+ Bound result 194481555310076
1183
1095
  Bound result 1
1184
- Bound result 13173
1185
- Bound result 1365651675096004393020
1186
- Bound result 9900000911280296192690
1187
- Bound result 9466235813052554171341
1188
- Bound result 2643
1189
- Bound result 8359
1190
- Bound result 6240
1191
- Bound result 3695152417
1192
- Bound result 35850381288524480108
1193
- Bound result 73
1194
- Bound result 407
1195
-
1196
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.15s (12.21s CPU time)
1096
+ Bound result 9900000002162337149040
1097
+ Bound result 232723515801926497945
1098
+ Bound result 1077
1099
+ Bound result 10
1100
+
1101
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.85s (11.01s CPU time)
1197
1102
 
1198
1103
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1199
1104
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -1211,7 +1116,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1211
1116
  [PASS] test_pauseConfig() (gas: 51028)
1212
1117
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1213
1118
  [PASS] test_setDefaultPaused() (gas: 42196)
1214
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 31320, ~: 42446)
1119
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29974, ~: 18826)
1215
1120
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1216
1121
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1217
1122
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -1220,8 +1125,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1220
1125
  [PASS] test_setPaused_DormantData() (gas: 295234)
1221
1126
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
1222
1127
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1223
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43623, ~: 48533)
1224
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222648, ~: 216804)
1128
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43885, ~: 48696)
1129
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223437, ~: 219722)
1225
1130
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1226
1131
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1227
1132
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -1235,7 +1140,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1235
1140
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1236
1141
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1237
1142
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1238
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62566, ~: 73465)
1143
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62093, ~: 50341)
1239
1144
  [PASS] test_storageHash() (gas: 3392)
1240
1145
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1241
1146
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -1243,81 +1148,122 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1243
1148
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1244
1149
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1245
1150
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1246
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 11.31s (607.94ms CPU time)
1151
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.86s (864.21ms CPU time)
1247
1152
 
1248
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1249
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26060, ~: 38584)
1250
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1251
- [PASS] test_assertNotPaused_Success() (gas: 12516)
1252
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1253
- [PASS] test_isPaused_InitialState() (gas: 15595)
1254
- [PASS] test_pause() (gas: 39592)
1255
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28063, ~: 39861)
1256
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1257
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1258
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1259
- [PASS] test_storageHash() (gas: 3414)
1260
- [PASS] test_unpause() (gas: 31115)
1261
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40376, ~: 38893)
1262
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1263
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1264
- [PASS] test_whenNotPaused_Success() (gas: 38744)
1265
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1266
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1267
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1268
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 11.31s (258.52ms CPU time)
1153
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1154
+ [PASS] test_feeDeposit() (gas: 17638)
1155
+ [PASS] test_setFeeDeposit() (gas: 27596)
1156
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
1157
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1158
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1159
+ [PASS] test_storageHash() (gas: 3315)
1160
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 1.86s (41.94ms CPU time)
1269
1161
 
1270
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1271
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1272
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1273
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1274
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1275
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
1276
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1277
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1278
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1279
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1280
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1281
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 11.95s (86.81ms CPU time)
1162
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1163
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1164
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1165
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1166
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1167
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1168
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1169
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1170
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1171
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1172
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1173
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1174
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1175
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1176
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1177
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1178
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1179
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1180
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1181
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1182
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1183
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1184
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1185
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1186
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1187
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1188
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1189
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1190
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1191
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1192
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1193
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1194
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1195
+ [PASS] test_storageHash() (gas: 3380)
1196
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.86s (633.78ms CPU time)
1282
1197
 
1283
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1284
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1285
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1286
- [PASS] test_assertNotPaused_Success() (gas: 14934)
1287
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1288
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
1289
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1290
- [PASS] test_isPaused_Default() (gas: 44698)
1291
- [PASS] test_isPaused_InitialState() (gas: 22070)
1292
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1293
- [PASS] test_isPaused_Override() (gas: 69381)
1294
- [PASS] test_isPaused_Specific() (gas: 46709)
1295
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1296
- [PASS] test_pauseConfig() (gas: 45626)
1297
- [PASS] test_setDefaultPaused() (gas: 39667)
1298
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28101, ~: 16332)
1299
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1300
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1301
- [PASS] test_setPaused() (gas: 43060)
1302
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
1303
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38000, ~: 43373)
1304
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1305
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1306
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1307
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58185, ~: 46989)
1198
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1199
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1200
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1201
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47486, ~: 48966)
1202
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1203
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1204
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1205
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1206
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1207
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1208
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1209
+ [PASS] test_getFee_Default() (gas: 43108)
1210
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45890, ~: 47017)
1211
+ [PASS] test_getFee_Rounding() (gas: 45449)
1212
+ [PASS] test_getFee_Specific() (gas: 66985)
1213
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1214
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1215
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35356, ~: 42268)
1216
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1217
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1218
+ [PASS] test_setFeeBps() (gas: 77237)
1219
+ Logs:
1220
+ Bound result 500
1221
+
1222
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69319, ~: 77570)
1223
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1224
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1225
+ [PASS] test_storageHash() (gas: 3436)
1226
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 12.04s (815.66ms CPU time)
1227
+
1228
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1229
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1230
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1231
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1232
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1233
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1234
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1235
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1236
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1237
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1238
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1239
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1240
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1241
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1242
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1243
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1244
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1245
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1246
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1247
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1248
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1249
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1250
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1251
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1252
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1253
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1254
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1255
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1256
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1257
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1258
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1259
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1308
1260
  [PASS] test_storageHash() (gas: 3480)
1309
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1310
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1311
- [PASS] test_whenNotPaused_Success() (gas: 41297)
1312
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1313
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1314
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1315
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 11.95s (451.57ms CPU time)
1261
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 12.39s (756.35ms CPU time)
1316
1262
 
1317
1263
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1318
1264
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1319
1265
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1320
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 827153, ~: 299400)
1266
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 788150, ~: 171856)
1321
1267
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1322
1268
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1323
1269
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1330,12 +1276,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1330
1276
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1331
1277
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1332
1278
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1333
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147613, ~: 10469398)
1279
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11139286, ~: 10429888)
1334
1280
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1335
1281
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1336
1282
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1337
1283
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1338
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 756869, ~: 174656)
1284
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 751237, ~: 168236)
1339
1285
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1340
1286
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1341
1287
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1348,38 +1294,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1348
1294
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1349
1295
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1350
1296
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1351
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11149487, ~: 10416302)
1297
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11193897, ~: 10580536)
1352
1298
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1353
1299
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1354
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.95s (29.65s CPU time)
1355
-
1356
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1357
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1358
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1359
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44950, ~: 46317)
1360
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1361
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1362
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1363
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1364
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1365
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1366
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1367
- [PASS] test_getFee_Default() (gas: 40577)
1368
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43196, ~: 44486)
1369
- [PASS] test_getFee_Rounding() (gas: 42835)
1370
- [PASS] test_getFee_Specific() (gas: 63968)
1371
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1372
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1373
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32850, ~: 39667)
1374
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1375
- [PASS] test_setFeeBps() (gas: 73871)
1376
- Logs:
1377
- Bound result 500
1378
-
1379
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65747, ~: 74224)
1380
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1381
- [PASS] test_storageHash() (gas: 3426)
1382
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 11.95s (434.33ms CPU time)
1300
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.39s (29.27s CPU time)
1383
1301
 
1384
- Ran 17 test suites in 11.97s (80.14s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1385
- ⏳ forge test: 26.422s
1302
+ Ran 17 test suites in 12.43s (57.27s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1303
+ ⏳ forge test: 30.069s