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

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 +1 -224
  2. package/.turbo/turbo-test.log +700 -701
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +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-ZxA0HM
7
+ 📦 Using mini workspace: /tmp/lz-mini-workspace-Nd1qjo
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No mini-workspace pruner configured; using unpruned package-level source copy fallback.
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.
10
+ (node:180370) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
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-ZxA0HM:/workspace
15
+ -v /tmp/lz-mini-workspace-Nd1qjo:/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
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)
20
20
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-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
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-mini-workspace-Nd1qjo:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
22
22
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 14.34s
23
+ Solc 0.8.22 finished in 11.90s
24
24
  Compiler run successful with warnings:
25
25
  Warning (2018): Function state mutability can be restricted to view
26
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -143,44 +143,6 @@ Warning (2018): Function state mutability can be restricted to view
143
143
  | ^ (Relevant source part starts here and spans across multiple lines).
144
144
 
145
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
-
184
146
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
185
147
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
186
148
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -222,86 +184,29 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
222
184
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
223
185
  [PASS] test_storageHash() (gas: 3392)
224
186
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
225
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 19.64ms (28.59ms CPU time)
226
-
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)
187
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 23.18ms (16.00ms CPU time)
258
188
 
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)
189
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
190
+ [PASS] test_feeDeposit() (gas: 17638)
191
+ [PASS] test_setFeeDeposit() (gas: 27596)
192
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
193
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
194
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
195
+ [PASS] test_storageHash() (gas: 3315)
196
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 52.20ms (51.48ms CPU time)
292
197
 
293
198
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
294
199
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
295
200
  [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
296
201
  [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
297
202
  [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
298
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
203
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
299
204
  [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
300
205
  [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
301
206
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
302
207
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
303
208
  [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)
209
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 49.68ms (49.49ms CPU time)
305
210
 
306
211
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
307
212
  [PASS] test_feeDeposit() (gas: 17576)
@@ -309,10 +214,10 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
309
214
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
310
215
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
311
216
  [PASS] test_storageHash() (gas: 3337)
312
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.73s (62.44ms CPU time)
217
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 231.59ms (59.63ms CPU time)
313
218
 
314
219
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
315
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27305, ~: 41090)
220
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27221, ~: 41090)
316
221
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
317
222
  [PASS] test_assertNotPaused_Success() (gas: 12539)
318
223
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -323,7 +228,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
323
228
  [PASS] test_pause() (gas: 42109)
324
229
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
325
230
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
326
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30519, ~: 18756)
231
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30590, ~: 42378)
327
232
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
328
233
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
329
234
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -332,64 +237,116 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
332
237
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
333
238
  [PASS] test_storageHash() (gas: 3414)
334
239
  [PASS] test_unpause() (gas: 35177)
335
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41877, ~: 44479)
240
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41849, ~: 44479)
336
241
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
337
242
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
338
243
  [PASS] test_whenNotPaused_Success() (gas: 38800)
339
244
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
340
245
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
341
246
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
342
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.80s (453.30ms CPU time)
247
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.05s (350.62ms CPU time)
343
248
 
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)
249
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
250
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
251
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
252
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
253
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
254
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
255
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
256
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
257
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
258
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
259
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
260
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
261
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
262
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
263
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
264
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
265
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
266
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
267
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
268
+ [PASS] test_initial_state_closed() (gas: 2034659)
269
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
270
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
271
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
272
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
273
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
274
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
275
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
276
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
277
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
278
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
279
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
280
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
281
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
282
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
283
+ [PASS] test_storageHash() (gas: 3414)
284
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
285
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 1.06s (9.60ms CPU time)
286
+
287
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
288
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
289
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
290
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47557, ~: 48966)
291
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
292
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
293
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
294
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
295
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
296
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
297
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
298
+ [PASS] test_getFee_Default() (gas: 43108)
299
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45468, ~: 47017)
300
+ [PASS] test_getFee_Rounding() (gas: 45449)
301
+ [PASS] test_getFee_Specific() (gas: 66985)
302
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
303
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
304
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35177, ~: 42268)
305
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
306
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
307
+ [PASS] test_setFeeBps() (gas: 77237)
364
308
  Logs:
365
309
  Bound result 500
366
310
 
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)
311
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69020, ~: 77570)
312
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
313
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
314
+ [PASS] test_storageHash() (gas: 3436)
315
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.06s (437.75ms CPU time)
371
316
 
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)
317
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
318
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
319
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
320
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
321
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
322
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
323
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
324
+ [PASS] test_isPaused_Default() (gas: 44698)
325
+ [PASS] test_isPaused_InitialState() (gas: 22070)
326
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
327
+ [PASS] test_isPaused_Override() (gas: 69381)
328
+ [PASS] test_isPaused_Specific() (gas: 46709)
329
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
330
+ [PASS] test_pauseConfig() (gas: 45626)
331
+ [PASS] test_setDefaultPaused() (gas: 39667)
332
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28242, ~: 39918)
333
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
334
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
335
+ [PASS] test_setPaused() (gas: 43060)
336
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
337
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38716, ~: 43373)
338
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
339
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
340
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
341
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58773, ~: 69608)
342
+ [PASS] test_storageHash() (gas: 3480)
343
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
344
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
345
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
346
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
347
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
348
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
349
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.12s (461.30ms CPU time)
393
350
 
394
351
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
395
352
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -397,341 +354,378 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
397
354
  ╭-----------------------------------+---------------------+-------+---------+----------╮
398
355
  | Contract | Selector | Calls | Reverts | Discards |
399
356
  +======================================================================================+
400
- | RateLimiterRBACUpgradeableHandler | inflow | 604 | 0 | 0 |
357
+ | RateLimiterRBACUpgradeableHandler | inflow | 489 | 0 | 0 |
401
358
  |-----------------------------------+---------------------+-------+---------+----------|
402
- | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
359
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
403
360
  |-----------------------------------+---------------------+-------+---------+----------|
404
- | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
361
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
405
362
  |-----------------------------------+---------------------+-------+---------+----------|
406
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
363
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
407
364
  |-----------------------------------+---------------------+-------+---------+----------|
408
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
365
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
409
366
  |-----------------------------------+---------------------+-------+---------+----------|
410
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
367
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
411
368
  |-----------------------------------+---------------------+-------+---------+----------|
412
- | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
369
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
413
370
  ╰-----------------------------------+---------------------+-------+---------+----------╯
414
371
 
415
372
  Logs:
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
373
+ Bound result 9900000000003739221132
374
+ Bound result 9900000000000000000661
375
+ Bound result 513
376
+ Bound result 9482
377
+ Bound result 5606000
378
+ Bound result 20281895686577
423
379
  Bound result 1
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
380
+ Bound result 6665
381
+ Bound result 39
382
+ Bound result 687414
383
+ Bound result 4659
384
+ Bound result 26
385
+ Bound result 296
386
+ Bound result 328
387
+ Bound result 1285328100
388
+ Bound result 4894357908203371537583
389
+ Bound result 9900000000000000002369
390
+ Bound result 6103
391
+ Bound result 3466
392
+ Bound result 1894429
393
+ Bound result 7183
394
+ Bound result 226
395
+ Bound result 185376943492886
434
396
 
435
397
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
436
398
 
437
399
  ╭-----------------------------------+---------------------+-------+---------+----------╮
438
400
  | Contract | Selector | Calls | Reverts | Discards |
439
401
  +======================================================================================+
440
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
402
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
441
403
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | outflow | 506 | 0 | 0 |
404
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
443
405
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | setConfig | 591 | 0 | 0 |
406
+ | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
445
407
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
408
+ | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
447
409
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
410
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
449
411
  |-----------------------------------+---------------------+-------+---------+----------|
450
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
412
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
451
413
  |-----------------------------------+---------------------+-------+---------+----------|
452
- | RateLimiterRBACUpgradeableHandler | warp | 578 | 0 | 0 |
414
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
453
415
  ╰-----------------------------------+---------------------+-------+---------+----------╯
454
416
 
455
417
  Logs:
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
418
+ Bound result 9900000000000000009936
419
+ Bound result 9900000000000000002554
420
+ Bound result 8875
421
+ Bound result 8049
422
+ Bound result 9900078292069429055332
423
+ Bound result 9900000000000988217387
424
+ Bound result 10
425
+ Bound result 6157
426
+ Bound result 36403666826650
427
+ Bound result 9900000000000000001154
428
+ Bound result 9900000000000000002142
429
+ Bound result 8653
430
+ Bound result 2043
431
+ Bound result 9900000000000000008728
432
+ Bound result 9900000000000000008271
433
+ Bound result 231
434
+ Bound result 357
435
+ Bound result 5305399688580051536037
436
+ Bound result 3662953524767876800444
437
+ Bound result 9900000000000000001292
438
+ Bound result 1135
439
+ Bound result 1016
480
440
 
481
441
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
482
442
 
483
443
  ╭-----------------------------------+---------------------+-------+---------+----------╮
484
444
  | Contract | Selector | Calls | Reverts | Discards |
485
445
  +======================================================================================+
486
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
487
447
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | outflow | 583 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
489
449
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
450
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
491
451
  |-----------------------------------+---------------------+-------+---------+----------|
492
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
493
453
  |-----------------------------------+---------------------+-------+---------+----------|
494
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
454
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
495
455
  |-----------------------------------+---------------------+-------+---------+----------|
496
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
456
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
497
457
  |-----------------------------------+---------------------+-------+---------+----------|
498
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
458
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
499
459
  ╰-----------------------------------+---------------------+-------+---------+----------╯
500
460
 
501
461
  Logs:
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
510
- Bound result 1
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
462
+ Bound result 88
463
+ Bound result 5
464
+ Bound result 1602639992615801
465
+ Bound result 3909945003938518
466
+ Bound result 15555978830939766588
467
+ Bound result 0
468
+ Bound result 168290311131055208274
469
+ Bound result 167509101778824836560
470
+ Bound result 750
471
+ Bound result 9900000096037381941753
472
+ Bound result 6914264337593535947489
473
+ Bound result 6241
474
+ Bound result 3066
475
+ Bound result 847
476
+ Bound result 1375
477
+ Bound result 9406
478
+ Bound result 20
479
+ Bound result 9900000000000000008027
480
+ Bound result 9900000000000000003751
481
+ Bound result 757
482
+ Bound result 4494
521
483
 
522
484
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
523
485
 
524
486
  ╭-----------------------------------+---------------------+-------+---------+----------╮
525
487
  | Contract | Selector | Calls | Reverts | Discards |
526
488
  +======================================================================================+
527
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
489
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
528
490
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
491
+ | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
530
492
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
493
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
532
494
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
495
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
534
496
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
497
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
536
498
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
499
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
538
500
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | warp | 586 | 0 | 0 |
501
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
540
502
  ╰-----------------------------------+---------------------+-------+---------+----------╯
541
503
 
542
504
  Logs:
543
- Bound result 15925748452188228
544
- Bound result 19849496
545
- Bound result 6666
546
- Bound result 2327
547
- Bound result 1
548
- Bound result 54758851529
549
- Bound result 391715773683590
505
+ Bound result 51621
506
+ Bound result 8596
507
+ Bound result 685
550
508
  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
509
+ Bound result 1295
510
+ Bound result 4700
511
+ Bound result 1849
512
+ Bound result 523
513
+ Bound result 9900000000000000000483
514
+ Bound result 9900000000002281078161
515
+ Bound result 575
516
+ Bound result 9772
517
+ Bound result 7107
518
+ Bound result 950
519
+ Bound result 537
520
+ Bound result 9900000000000000000112
521
+ Bound result 9900000000001425644634
522
+ Bound result 3257
523
+ Bound result 2176
524
+ Bound result 7397685956087500221728
567
525
 
568
526
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
569
527
 
570
528
  ╭-----------------------------------+---------------------+-------+---------+----------╮
571
529
  | Contract | Selector | Calls | Reverts | Discards |
572
530
  +======================================================================================+
573
- | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
574
532
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
576
534
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
578
536
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | setState | 576 | 0 | 0 |
580
538
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 507 | 0 | 0 |
539
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 508 | 0 | 0 |
582
540
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 519 | 0 | 0 |
541
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
584
542
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
543
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
586
544
  ╰-----------------------------------+---------------------+-------+---------+----------╯
587
545
 
588
546
  Logs:
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
547
+ Bound result 3867581986083430
548
+ Bound result 239432649288127307395
549
+ Bound result 1
550
+ Bound result 3211
551
+ Bound result 882
552
+ Bound result 1
553
+ Bound result 3
602
554
  Bound result 1
603
- Bound result 1115
555
+ Bound result 2029
556
+ Bound result 514264337593543950334
557
+ Bound result 5631
558
+ Bound result 5076
559
+ Bound result 0
560
+ Bound result 3606
561
+ Bound result 1783
604
562
  Bound result 1
605
- Bound result 1510283280
606
563
 
607
564
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
608
565
 
609
566
  ╭-----------------------------------+---------------------+-------+---------+----------╮
610
567
  | Contract | Selector | Calls | Reverts | Discards |
611
568
  +======================================================================================+
612
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
613
570
  |-----------------------------------+---------------------+-------+---------+----------|
614
- | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | outflow | 595 | 0 | 0 |
615
572
  |-----------------------------------+---------------------+-------+---------+----------|
616
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | setConfig | 589 | 0 | 0 |
617
574
  |-----------------------------------+---------------------+-------+---------+----------|
618
- | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | setState | 525 | 0 | 0 |
619
576
  |-----------------------------------+---------------------+-------+---------+----------|
620
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 503 | 0 | 0 |
621
578
  |-----------------------------------+---------------------+-------+---------+----------|
622
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
623
580
  |-----------------------------------+---------------------+-------+---------+----------|
624
- | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
625
582
  ╰-----------------------------------+---------------------+-------+---------+----------╯
626
583
 
627
584
  Logs:
628
- Bound result 102719569915370
629
- Bound result 352407403423
630
- Bound result 0
631
- Bound result 9296
632
- Bound result 1016114450078976568951
633
- Bound result 100
634
- Bound result 192
635
- Bound result 3486480063569303770454
636
- Bound result 9900624033575485403533
585
+ Bound result 9900014419558505933009
586
+ Bound result 100000000000000000002
637
587
  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
588
+ Bound result 5892
589
+ Bound result 133
590
+ Bound result 4139225022023785705389
591
+ Bound result 9900000000000000000526
592
+ Bound result 6241
593
+ Bound result 6984
594
+ Bound result 9900000000000000001219
595
+ Bound result 9900000000000000010414
596
+ Bound result 422
597
+ Bound result 579
598
+ Bound result 2664567759395887
599
+ Bound result 171808784823916
600
+ Bound result 0
601
+ Bound result 2703
602
+ Bound result 7007
603
+ Bound result 7310162008703517756988
604
+ Bound result 8448532158670159794709
605
+ Bound result 0
606
+ Bound result 626
607
+ Bound result 9900000159515677488567
608
+ Bound result 100000000000000000002
609
+ Bound result 4276
610
+ Bound result 12
611
+ Bound result 2637345061
612
+ Bound result 122221333650581040794
613
+ Bound result 223
614
+ Bound result 9408
615
+ Bound result 5000
616
+ Bound result 438
617
+ Bound result 431
649
618
 
650
619
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
651
620
 
652
621
  ╭-----------------------------------+---------------------+-------+---------+----------╮
653
622
  | Contract | Selector | Calls | Reverts | Discards |
654
623
  +======================================================================================+
655
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
656
625
  |-----------------------------------+---------------------+-------+---------+----------|
657
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
658
627
  |-----------------------------------+---------------------+-------+---------+----------|
659
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
660
629
  |-----------------------------------+---------------------+-------+---------+----------|
661
- | RateLimiterRBACUpgradeableHandler | setState | 517 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
662
631
  |-----------------------------------+---------------------+-------+---------+----------|
663
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
664
633
  |-----------------------------------+---------------------+-------+---------+----------|
665
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 598 | 0 | 0 |
666
635
  |-----------------------------------+---------------------+-------+---------+----------|
667
636
  | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
668
637
  ╰-----------------------------------+---------------------+-------+---------+----------╯
669
638
 
670
639
  Logs:
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
640
+ Bound result 9900000000000085247963
641
+ Bound result 9900000000000000000145
642
+ Bound result 2503
643
+ Bound result 11
644
+ Bound result 9900000000000000615053
645
+ Bound result 9900000000000000000111
646
+ Bound result 13
647
+ Bound result 7323
648
+ Bound result 8851
649
+ Bound result 770
650
+ Bound result 17269010048400188747028
651
+ Bound result 1837884188
682
652
  Bound result 3
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
653
+ Bound result 9900012284501573985176
654
+ Bound result 6914264337593535947488
655
+ Bound result 2187
656
+ Bound result 10
657
+ Bound result 539
658
+ Bound result 1787
659
+ Bound result 499
660
+ Bound result 7603437468251461961551
661
+ Bound result 767547794
662
+ Bound result 12621656211053174277
663
+ Bound result 759
664
+ Bound result 69731435620658602
665
+ Bound result 677480
666
+ Bound result 375
690
667
 
691
668
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
692
669
 
693
670
  ╭-----------------------------------+---------------------+-------+---------+----------╮
694
671
  | Contract | Selector | Calls | Reverts | Discards |
695
672
  +======================================================================================+
696
- | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
697
674
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
699
676
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
701
678
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | setState | 512 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | setState | 511 | 0 | 0 |
703
680
  |-----------------------------------+---------------------+-------+---------+----------|
704
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
705
682
  |-----------------------------------+---------------------+-------+---------+----------|
706
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
683
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
707
684
  |-----------------------------------+---------------------+-------+---------+----------|
708
- | RateLimiterRBACUpgradeableHandler | warp | 602 | 0 | 0 |
685
+ | RateLimiterRBACUpgradeableHandler | warp | 599 | 0 | 0 |
709
686
  ╰-----------------------------------+---------------------+-------+---------+----------╯
710
687
 
711
688
  Logs:
712
- Bound result 140441799328739153184
713
- Bound result 955452669137
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
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
689
+ Bound result 10352806422161
690
+ Bound result 9771
691
+ Bound result 157555070916738
692
+ Bound result 9900000000000000000397
693
+ Bound result 9900000000000000235414
694
+ Bound result 397
695
+ Bound result 2961
696
+ Bound result 19599696080276795059095
697
+ Bound result 7182786612171
698
+ Bound result 9900000030567737147160
699
+ Bound result 7877380980804799834456
700
+ Bound result 1213
701
+ Bound result 7676
702
+ Bound result 551
703
+ Bound result 427
704
+ Bound result 2747439503504013359
705
+
706
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.31s (8.51s CPU time)
733
707
 
734
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.77s (10.05s CPU time)
708
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
709
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25544, ~: 12763)
710
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
711
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
712
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
713
+ [PASS] test_isPaused_InitialState() (gas: 15595)
714
+ [PASS] test_pause() (gas: 39592)
715
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27898, ~: 16219)
716
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
717
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
718
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
719
+ [PASS] test_storageHash() (gas: 3414)
720
+ [PASS] test_unpause() (gas: 31115)
721
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40442, ~: 38893)
722
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
723
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
724
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
725
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
726
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
727
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
728
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.36s (227.91ms CPU time)
735
729
 
736
730
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
737
731
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -739,366 +733,446 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
739
733
  ╭-----------------------------------+---------------------+-------+---------+----------╮
740
734
  | Contract | Selector | Calls | Reverts | Discards |
741
735
  +======================================================================================+
742
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
736
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
743
737
  |-----------------------------------+---------------------+-------+---------+----------|
744
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
738
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
745
739
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
740
+ | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
747
741
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | setState | 511 | 0 | 0 |
749
743
  |-----------------------------------+---------------------+-------+---------+----------|
750
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 587 | 0 | 0 |
751
745
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
753
747
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
755
749
  ╰-----------------------------------+---------------------+-------+---------+----------╯
756
750
 
757
751
  Logs:
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
752
+ Bound result 1206359015361747316442
753
+ Bound result 15
771
754
  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
755
+ Bound result 514264337593504336253
756
+ Bound result 678845275
783
757
  Bound result 0
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
758
+ Bound result 274
759
+ Bound result 1191039301242897
760
+ Bound result 9900000000000013206603
761
+ Bound result 9900000000000000000444
762
+ Bound result 3957
763
+ Bound result 1230
764
+ Bound result 3566
765
+ Bound result 7873
766
+ Bound result 8687
767
+ Bound result 335
768
+ Bound result 578
769
+ Bound result 9900000000000763600053
770
+ Bound result 1244690616707171403790
771
+ Bound result 2235
772
+ Bound result 954
773
+ Bound result 6914264337593535947490
774
+ Bound result 3625945149911214298729
775
+ Bound result 26
776
+ Bound result 85
777
+ Bound result 288
791
778
 
792
779
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
793
780
 
794
781
  ╭-----------------------------------+---------------------+-------+---------+----------╮
795
782
  | Contract | Selector | Calls | Reverts | Discards |
796
783
  +======================================================================================+
797
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
784
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
798
785
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
786
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
800
787
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
788
+ | RateLimiterRBACUpgradeableHandler | setConfig | 570 | 0 | 0 |
802
789
  |-----------------------------------+---------------------+-------+---------+----------|
803
- | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
790
+ | RateLimiterRBACUpgradeableHandler | setState | 593 | 0 | 0 |
804
791
  |-----------------------------------+---------------------+-------+---------+----------|
805
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
792
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
806
793
  |-----------------------------------+---------------------+-------+---------+----------|
807
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
794
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 522 | 0 | 0 |
808
795
  |-----------------------------------+---------------------+-------+---------+----------|
809
- | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
810
797
  ╰-----------------------------------+---------------------+-------+---------+----------╯
811
798
 
812
799
  Logs:
813
- Bound result 79322379169
814
- Bound result 8059
815
- Bound result 3691
816
- Bound result 1
817
- Bound result 447098282828275884699
818
- Bound result 4333534
800
+ Bound result 2633910
801
+ Bound result 248708710106360294149
802
+ Bound result 772948803291362355356
819
803
  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
804
+ Bound result 6486
805
+ Bound result 9900000000000000009329
806
+ Bound result 9900000000000000000741
807
+ Bound result 529
808
+ Bound result 6283
809
+ Bound result 6307599138690047028839
810
+ Bound result 690086884339836770444
811
+ Bound result 2005
812
+ Bound result 241
813
+ Bound result 613063844
814
+ Bound result 917
815
+ Bound result 0
816
+ Bound result 54
817
+ Bound result 3041954473
818
+ Bound result 1
819
+ Bound result 27
820
+ Bound result 69789
821
+ Bound result 104616615187708426146
822
+ Bound result 3
838
823
 
839
824
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
840
825
 
841
826
  ╭-----------------------------------+---------------------+-------+---------+----------╮
842
827
  | Contract | Selector | Calls | Reverts | Discards |
843
828
  +======================================================================================+
844
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
829
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
845
830
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | outflow | 522 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
847
832
  |-----------------------------------+---------------------+-------+---------+----------|
848
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
849
834
  |-----------------------------------+---------------------+-------+---------+----------|
850
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
851
836
  |-----------------------------------+---------------------+-------+---------+----------|
852
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
853
838
  |-----------------------------------+---------------------+-------+---------+----------|
854
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
855
840
  |-----------------------------------+---------------------+-------+---------+----------|
856
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
857
842
  ╰-----------------------------------+---------------------+-------+---------+----------╯
858
843
 
859
844
  Logs:
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
877
- Bound result 0
878
- Bound result 124456418001198800114
879
- Bound result 814909768453410782
880
- Bound result 1
881
- Bound result 7901
845
+ Bound result 41454
846
+ Bound result 886
847
+ Bound result 151426663
848
+ Bound result 1898959171330416482303
849
+ Bound result 133091947641
850
+ Bound result 6257
851
+ Bound result 4923506044466371187559
852
+ Bound result 9900005331615395033101
853
+ Bound result 685
854
+ Bound result 176
855
+ Bound result 89
856
+ Bound result 9900000000000000000048
857
+ Bound result 9900000000000000000882
858
+ Bound result 6242
859
+ Bound result 331
860
+ Bound result 270
861
+ Bound result 8248
862
+ Bound result 27
863
+ Bound result 174
864
+ Bound result 1510283279
865
+ Bound result 5177069543
866
+ Bound result 6843097594233728591002
867
+ Bound result 4424
868
+ Bound result 293
882
869
 
883
870
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
884
871
 
885
872
  ╭-----------------------------------+---------------------+-------+---------+----------╮
886
873
  | Contract | Selector | Calls | Reverts | Discards |
887
874
  +======================================================================================+
888
- | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
889
876
  |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
891
878
  |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
893
880
  |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
895
882
  |-----------------------------------+---------------------+-------+---------+----------|
896
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
897
884
  |-----------------------------------+---------------------+-------+---------+----------|
898
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
899
886
  |-----------------------------------+---------------------+-------+---------+----------|
900
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | warp | 526 | 0 | 0 |
901
888
  ╰-----------------------------------+---------------------+-------+---------+----------╯
902
889
 
903
890
  Logs:
904
- Bound result 6812674777
905
- Bound result 81534113272914857
906
- Bound result 2728456053380
907
- Bound result 0
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
891
+ Bound result 2
892
+ Bound result 9900000000000000009151
893
+ Bound result 9900000000000000009355
894
+ Bound result 8565
895
+ Bound result 3208
896
+ Bound result 13393205697106
897
+ Bound result 13089453
898
+ Bound result 1
899
+ Bound result 2649663653218
900
+ Bound result 4614
901
+ Bound result 1481828
902
+ Bound result 2011421492338803034
903
+ Bound result 163
904
+ Bound result 421810874
905
+ Bound result 1
906
+ Bound result 9900000000000017091932
907
+ Bound result 9907964939438646516590
908
+ Bound result 7966
909
+ Bound result 8578
910
+ Bound result 70150694007658842
911
+ Bound result 59
920
912
 
921
913
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
922
914
 
923
915
  ╭-----------------------------------+---------------------+-------+---------+----------╮
924
916
  | Contract | Selector | Calls | Reverts | Discards |
925
917
  +======================================================================================+
926
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
927
919
  |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
929
921
  |-----------------------------------+---------------------+-------+---------+----------|
930
- | RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
931
923
  |-----------------------------------+---------------------+-------+---------+----------|
932
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
924
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
933
925
  |-----------------------------------+---------------------+-------+---------+----------|
934
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
935
927
  |-----------------------------------+---------------------+-------+---------+----------|
936
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
937
929
  |-----------------------------------+---------------------+-------+---------+----------|
938
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
930
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
939
931
  ╰-----------------------------------+---------------------+-------+---------+----------╯
940
932
 
941
933
  Logs:
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
934
+ Bound result 8824561305209621827086
935
+ Bound result 9900000000008702184833
936
+ Bound result 3281
937
+ Bound result 5680
938
+ Bound result 9532
939
+ Bound result 4571076819501631341890
940
+ Bound result 712446704590707689839
941
+ Bound result 10
942
+ Bound result 10
943
+ Bound result 3
944
+ Bound result 8651916208451321925914
945
+ Bound result 61302675049807464623
964
946
  Bound result 1
965
- Bound result 3084
966
- Bound result 9890
967
- Bound result 7599
968
- Bound result 280631428947732367256
947
+ Bound result 966713229370023576673
948
+ Bound result 9900000000000000000857
949
+ Bound result 9900000000000000010162
950
+ Bound result 2683
951
+ Bound result 7359
969
952
 
970
953
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
971
954
 
972
955
  ╭-----------------------------------+---------------------+-------+---------+----------╮
973
956
  | Contract | Selector | Calls | Reverts | Discards |
974
957
  +======================================================================================+
975
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
958
+ | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
976
959
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | outflow | 579 | 0 | 0 |
960
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
978
961
  |-----------------------------------+---------------------+-------+---------+----------|
979
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
962
+ | RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
980
963
  |-----------------------------------+---------------------+-------+---------+----------|
981
- | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
982
965
  |-----------------------------------+---------------------+-------+---------+----------|
983
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
984
967
  |-----------------------------------+---------------------+-------+---------+----------|
985
968
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
986
969
  |-----------------------------------+---------------------+-------+---------+----------|
987
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
970
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
988
971
  ╰-----------------------------------+---------------------+-------+---------+----------╯
989
972
 
990
973
  Logs:
991
- Bound result 6466550069669791467321
992
- Bound result 9900000000000001870563
974
+ Bound result 952
975
+ Bound result 6916
976
+ Bound result 1
977
+ Bound result 9659
978
+ Bound result 9900000000000000009640
979
+ Bound result 9900000000000000001067
980
+ Bound result 8133
981
+ Bound result 4118
982
+ Bound result 511
983
+ Bound result 6914264337593535947489
984
+ Bound result 9900000000202445305933
985
+ Bound result 6361
993
986
  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
987
+ Bound result 359895395863633765
988
+ Bound result 9900000000000000010483
989
+ Bound result 9900000000000000007100
990
+ Bound result 81
991
+ Bound result 6103
992
+ Bound result 9900000000000000010618
993
+ Bound result 9900000000002233625729
994
+ Bound result 12
995
+ Bound result 543
996
+ Bound result 5051125793345723944411
997
+ Bound result 6914246462235280377058
1013
998
 
1014
999
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1015
1000
 
1016
1001
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1017
1002
  | Contract | Selector | Calls | Reverts | Discards |
1018
1003
  +======================================================================================+
1019
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1020
1005
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
1022
1007
  |-----------------------------------+---------------------+-------+---------+----------|
1023
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | setConfig | 516 | 0 | 0 |
1024
1009
  |-----------------------------------+---------------------+-------+---------+----------|
1025
- | RateLimiterRBACUpgradeableHandler | setState | 607 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
1026
1011
  |-----------------------------------+---------------------+-------+---------+----------|
1027
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 515 | 0 | 0 |
1028
1013
  |-----------------------------------+---------------------+-------+---------+----------|
1029
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 504 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
1030
1015
  |-----------------------------------+---------------------+-------+---------+----------|
1031
- | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1032
1017
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1033
1018
 
1034
1019
  Logs:
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
1020
+ Bound result 4759046103673104567673
1021
+ Bound result 9900000529683973556794
1022
+ Bound result 7170
1023
+ Bound result 4431
1024
+ Bound result 9075
1025
+ Bound result 9900000000000000008152
1026
+ Bound result 9900000000000016777217
1027
+ Bound result 2328
1028
+ Bound result 2464
1029
+ Bound result 9132016998080003006409
1030
+ Bound result 850932041055190577059
1031
+ Bound result 6239
1032
+ Bound result 9995
1033
+ Bound result 1
1034
+ Bound result 7378
1035
+ Bound result 9008
1036
+ Bound result 1
1037
+ Bound result 1047615086
1038
+ Bound result 9025
1055
1039
 
1056
1040
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1057
1041
 
1058
1042
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1059
1043
  | Contract | Selector | Calls | Reverts | Discards |
1060
1044
  +======================================================================================+
1061
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1062
1046
  |-----------------------------------+---------------------+-------+---------+----------|
1063
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
1064
1048
  |-----------------------------------+---------------------+-------+---------+----------|
1065
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | setConfig | 596 | 0 | 0 |
1066
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1067
- | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
1068
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1069
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
1070
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1071
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1072
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1073
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1074
1058
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1075
1059
 
1076
1060
  Logs:
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
1095
- Bound result 1
1096
- Bound result 9900000002162337149040
1097
- Bound result 232723515801926497945
1098
- Bound result 1077
1099
- Bound result 10
1061
+ Bound result 15209049283801173006
1062
+ Bound result 1394357908203371790357
1063
+ Bound result 140299412275371089
1064
+ Bound result 206
1065
+ Bound result 9798
1066
+ Bound result 532
1067
+ Bound result 122
1068
+ Bound result 1788
1069
+ Bound result 562
1070
+ Bound result 3042731614
1071
+ Bound result 1293
1072
+ Bound result 9900000000001666094043
1073
+ Bound result 9900000000000000007293
1074
+ Bound result 2315
1075
+ Bound result 1078
1076
+ Bound result 4000
1077
+ Bound result 3904
1078
+
1079
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.41s (8.61s CPU time)
1080
+
1081
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1082
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1083
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1084
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44971, ~: 46317)
1085
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1086
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1087
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1088
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1089
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1090
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1091
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1092
+ [PASS] test_getFee_Default() (gas: 40577)
1093
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43228, ~: 44486)
1094
+ [PASS] test_getFee_Rounding() (gas: 42835)
1095
+ [PASS] test_getFee_Specific() (gas: 63968)
1096
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1097
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1098
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32455, ~: 39667)
1099
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1100
+ [PASS] test_setFeeBps() (gas: 73871)
1101
+ Logs:
1102
+ Bound result 500
1100
1103
 
1101
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.85s (11.01s CPU time)
1104
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66334, ~: 74224)
1105
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1106
+ [PASS] test_storageHash() (gas: 3426)
1107
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.15s (620.34ms CPU time)
1108
+
1109
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1110
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1111
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1112
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1113
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1114
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1115
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1116
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1117
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1118
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1119
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1120
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1121
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1122
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1123
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1124
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1125
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1126
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1127
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1128
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1129
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1130
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1131
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1132
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1133
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1134
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1135
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1136
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1137
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1138
+ [PASS] test_storageHash() (gas: 3458)
1139
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 12.15s (487.65ms CPU time)
1140
+
1141
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1142
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1143
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104263, ~: 104248)
1144
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1145
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1146
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1147
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1148
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1149
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1150
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1151
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1152
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1153
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1154
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1155
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1156
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1157
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1158
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1159
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1160
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1161
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1162
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1163
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1164
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1165
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1166
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1167
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1168
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1169
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1170
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1171
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1172
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1173
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1174
+ [PASS] test_storageHash() (gas: 3380)
1175
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 12.29s (271.34ms CPU time)
1102
1176
 
1103
1177
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1104
1178
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -1116,7 +1190,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1116
1190
  [PASS] test_pauseConfig() (gas: 51028)
1117
1191
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1118
1192
  [PASS] test_setDefaultPaused() (gas: 42196)
1119
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29974, ~: 18826)
1193
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29951, ~: 18826)
1120
1194
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1121
1195
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1122
1196
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -1125,8 +1199,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1125
1199
  [PASS] test_setPaused_DormantData() (gas: 295234)
1126
1200
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
1127
1201
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
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)
1202
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43863, ~: 48533)
1203
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222601, ~: 216804)
1130
1204
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1131
1205
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1132
1206
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -1140,7 +1214,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1140
1214
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1141
1215
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1142
1216
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1143
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62093, ~: 50341)
1217
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62953, ~: 73465)
1144
1218
  [PASS] test_storageHash() (gas: 3392)
1145
1219
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1146
1220
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -1148,82 +1222,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
1148
1222
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1149
1223
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1150
1224
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1151
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.86s (864.21ms CPU time)
1152
-
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)
1161
-
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)
1197
-
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)
1225
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 12.28s (596.63ms CPU time)
1227
1226
 
1228
1227
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1229
1228
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -1258,12 +1257,12 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
1258
1257
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1259
1258
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1260
1259
  [PASS] test_storageHash() (gas: 3480)
1261
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 12.39s (756.35ms CPU time)
1260
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 12.29s (489.09ms CPU time)
1262
1261
 
1263
1262
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1264
1263
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1265
1264
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1266
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 788150, ~: 171856)
1265
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 782007, ~: 137861)
1267
1266
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1268
1267
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1269
1268
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1276,12 +1275,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1276
1275
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1277
1276
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1278
1277
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1279
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11139286, ~: 10429888)
1278
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11160426, ~: 10411529)
1280
1279
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1281
1280
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1282
1281
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1283
1282
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1284
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 751237, ~: 168236)
1283
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 835104, ~: 417941)
1285
1284
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1286
1285
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1287
1286
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1294,10 +1293,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1294
1293
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1295
1294
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1296
1295
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1297
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11193897, ~: 10580536)
1296
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11182318, ~: 10510298)
1298
1297
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1299
1298
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1300
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.39s (29.27s CPU time)
1299
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.29s (29.22s CPU time)
1301
1300
 
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
1301
+ Ran 17 test suites in 12.34s (82.15s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1302
+ ⏳ forge test: 26.719s