@layerzerolabs/utils-upgradeable-evm-contracts 0.2.104 → 0.2.106

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 +2 -341
  2. package/.turbo/turbo-test.log +765 -783
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,16 +4,16 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- $ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:133175) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
7
+ $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
+ (node:129693) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
12
- ✅ 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
12
+ ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
13
13
  👤 Running container as UID:GID 1001:1001
14
14
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
15
15
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 18.26s
16
+ Solc 0.8.22 finished in 12.41s
17
17
  Compiler run successful with warnings:
18
18
  Warning (2018): Function state mutability can be restricted to view
19
19
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -136,44 +136,6 @@ Warning (2018): Function state mutability can be restricted to view
136
136
  | ^ (Relevant source part starts here and spans across multiple lines).
137
137
 
138
138
 
139
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
140
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
141
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
142
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
143
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
144
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
145
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
146
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
147
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
148
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
149
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
150
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
151
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
152
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
153
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
154
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
155
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
156
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
157
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
158
- [PASS] test_initial_state_closed() (gas: 2034659)
159
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
160
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
161
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
162
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
163
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
164
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
165
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
166
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
167
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
168
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
169
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
170
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
171
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
172
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
- [PASS] test_storageHash() (gas: 3414)
174
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 40.75ms (31.13ms CPU time)
176
-
177
139
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
140
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
179
141
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -215,15 +177,53 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
177
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
178
  [PASS] test_storageHash() (gas: 3392)
217
179
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 55.06ms (35.48ms CPU time)
180
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 20.57ms (14.77ms CPU time)
181
+
182
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
183
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
184
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
185
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
186
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
187
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
188
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
189
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
190
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
191
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
192
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
193
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
194
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
195
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
196
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
197
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
198
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
199
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
200
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
201
+ [PASS] test_initial_state_closed() (gas: 2034659)
202
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
203
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
204
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
205
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
206
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
207
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
208
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
209
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
210
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
211
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
212
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
213
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
214
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
215
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
216
+ [PASS] test_storageHash() (gas: 3414)
217
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
218
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 20.73ms (17.76ms CPU time)
219
219
 
220
220
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
221
  [PASS] test_feeDeposit() (gas: 17576)
222
222
  [PASS] test_setFeeDeposit() (gas: 24995)
223
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
223
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
224
224
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
225
  [PASS] test_storageHash() (gas: 3337)
226
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 65.96ms (65.40ms CPU time)
226
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 54.39ms (53.65ms CPU time)
227
227
 
228
228
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
229
229
  [PASS] test_feeDeposit() (gas: 17638)
@@ -232,93 +232,7 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
232
232
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
233
233
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
234
234
  [PASS] test_storageHash() (gas: 3315)
235
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 295.24ms (290.36ms CPU time)
236
-
237
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
238
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25157, ~: 12763)
239
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
240
- [PASS] test_assertNotPaused_Success() (gas: 12516)
241
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
242
- [PASS] test_isPaused_InitialState() (gas: 15595)
243
- [PASS] test_pause() (gas: 39592)
244
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27969, ~: 16219)
245
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
246
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
247
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
248
- [PASS] test_storageHash() (gas: 3414)
249
- [PASS] test_unpause() (gas: 31115)
250
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40486, ~: 42029)
251
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
252
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
253
- [PASS] test_whenNotPaused_Success() (gas: 38744)
254
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
255
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
256
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
257
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 446.97ms (457.09ms CPU time)
258
-
259
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
260
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27164, ~: 41090)
261
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
262
- [PASS] test_assertNotPaused_Success() (gas: 12539)
263
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
264
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
265
- [PASS] test_isPaused_InitialState() (gas: 15629)
266
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
267
- [PASS] test_multipleRoleGrants() (gas: 394130)
268
- [PASS] test_pause() (gas: 42109)
269
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
270
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
271
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30259, ~: 18756)
272
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
273
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
274
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
275
- [PASS] test_setPaused_Success() (gas: 40691)
276
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
277
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
278
- [PASS] test_storageHash() (gas: 3414)
279
- [PASS] test_unpause() (gas: 35177)
280
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41568, ~: 38860)
281
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
282
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
283
- [PASS] test_whenNotPaused_Success() (gas: 38800)
284
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
285
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
286
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
287
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 617.54ms (574.26ms CPU time)
288
-
289
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
290
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
291
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
292
- [PASS] test_assertNotPaused_Success() (gas: 14934)
293
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
294
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
295
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
296
- [PASS] test_isPaused_Default() (gas: 44698)
297
- [PASS] test_isPaused_InitialState() (gas: 22070)
298
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
299
- [PASS] test_isPaused_Override() (gas: 69381)
300
- [PASS] test_isPaused_Specific() (gas: 46709)
301
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
302
- [PASS] test_pauseConfig() (gas: 45626)
303
- [PASS] test_setDefaultPaused() (gas: 39667)
304
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27771, ~: 16332)
305
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
306
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
307
- [PASS] test_setPaused() (gas: 43060)
308
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
309
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38417, ~: 43373)
310
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
311
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
312
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
313
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57755, ~: 46989)
314
- [PASS] test_storageHash() (gas: 3480)
315
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
316
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
317
- [PASS] test_whenNotPaused_Success() (gas: 41297)
318
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
319
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
320
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
321
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 520.69ms (596.50ms CPU time)
235
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 104.86ms (104.18ms CPU time)
322
236
 
323
237
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
324
238
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
@@ -331,7 +245,73 @@ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
331
245
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
332
246
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
333
247
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
334
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.56s (180.89ms CPU time)
248
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 129.35ms (129.15ms CPU time)
249
+
250
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
251
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
252
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
253
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
254
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
255
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
256
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
257
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
258
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
259
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
260
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
261
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
262
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
263
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
264
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
265
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
266
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
267
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
268
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
269
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
270
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
271
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
272
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
273
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
274
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
275
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
276
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
277
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
278
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
279
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
280
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
281
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
282
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
283
+ [PASS] test_storageHash() (gas: 3380)
284
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 208.07ms (275.70ms CPU time)
285
+
286
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
287
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
288
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
289
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47406, ~: 48966)
290
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
291
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
292
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
293
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
294
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
295
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
296
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
297
+ [PASS] test_getFee_Default() (gas: 43108)
298
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 46009, ~: 47017)
299
+ [PASS] test_getFee_Rounding() (gas: 45449)
300
+ [PASS] test_getFee_Specific() (gas: 66985)
301
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
302
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
303
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35299, ~: 42268)
304
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
305
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
306
+ [PASS] test_setFeeBps() (gas: 77237)
307
+ Logs:
308
+ Bound result 500
309
+
310
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67900, ~: 77570)
311
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
312
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
313
+ [PASS] test_storageHash() (gas: 3436)
314
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 223.16ms (576.83ms CPU time)
335
315
 
336
316
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
337
317
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -349,7 +329,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
349
329
  [PASS] test_pauseConfig() (gas: 51028)
350
330
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
351
331
  [PASS] test_setDefaultPaused() (gas: 42196)
352
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30447, ~: 18826)
332
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30683, ~: 42446)
353
333
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
354
334
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
355
335
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -358,8 +338,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
358
338
  [PASS] test_setPaused_DormantData() (gas: 295234)
359
339
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
360
340
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
361
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43467, ~: 48696)
362
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222629, ~: 216804)
341
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43725, ~: 48696)
342
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223474, ~: 219722)
363
343
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
364
344
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
365
345
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -373,7 +353,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
373
353
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
374
354
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
375
355
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
376
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62411, ~: 61903)
356
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62316, ~: 50341)
377
357
  [PASS] test_storageHash() (gas: 3392)
378
358
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
379
359
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -381,224 +361,154 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
381
361
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
382
362
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
383
363
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
384
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.56s (2.09s CPU time)
364
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 319.78ms (537.74ms CPU time)
385
365
 
386
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
387
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
388
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
389
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44991, ~: 46317)
390
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
391
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
392
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
393
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
394
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
395
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
396
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
397
- [PASS] test_getFee_Default() (gas: 40577)
398
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43317, ~: 44486)
399
- [PASS] test_getFee_Rounding() (gas: 42835)
400
- [PASS] test_getFee_Specific() (gas: 63968)
401
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
402
- [PASS] test_setDefaultFeeBps() (gas: 39576)
403
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32643, ~: 39667)
404
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
405
- [PASS] test_setFeeBps() (gas: 73871)
406
- Logs:
407
- Bound result 500
408
-
409
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65881, ~: 74224)
410
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
411
- [PASS] test_storageHash() (gas: 3426)
412
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 2.32s (862.07ms CPU time)
413
-
414
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
415
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
416
- [PASS] test_constructor_InitialMode() (gas: 15778)
417
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
418
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
419
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
420
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
421
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
422
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
423
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
424
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 115159)
425
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
426
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
427
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
428
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
429
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
430
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
431
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
432
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
433
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
434
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
435
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
436
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
437
- [PASS] test_setMode_Blacklist() (gas: 42605)
438
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
439
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
440
- [PASS] test_setMode_Whitelist() (gas: 42714)
441
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
442
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
443
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
444
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
445
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
446
- [PASS] test_storageHash() (gas: 3480)
447
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 2.48s (1.30s CPU time)
366
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
367
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26881, ~: 12786)
368
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
369
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
370
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
371
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
372
+ [PASS] test_isPaused_InitialState() (gas: 15629)
373
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
374
+ [PASS] test_multipleRoleGrants() (gas: 394130)
375
+ [PASS] test_pause() (gas: 42109)
376
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
377
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
378
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
379
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
380
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
381
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
382
+ [PASS] test_setPaused_Success() (gas: 40691)
383
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
384
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
385
+ [PASS] test_storageHash() (gas: 3414)
386
+ [PASS] test_unpause() (gas: 35177)
387
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41691, ~: 44479)
388
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
389
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
390
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
391
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
392
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
393
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
394
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 856.10ms (178.42ms CPU time)
448
395
 
449
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
396
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
450
397
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
451
398
 
452
399
  ╭-----------------------------------+---------------------+-------+---------+----------╮
453
400
  | Contract | Selector | Calls | Reverts | Discards |
454
401
  +======================================================================================+
455
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
402
+ | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
456
403
  |-----------------------------------+---------------------+-------+---------+----------|
457
- | RateLimiterRBACUpgradeableHandler | outflow | 586 | 0 | 0 |
404
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
458
405
  |-----------------------------------+---------------------+-------+---------+----------|
459
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
406
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
460
407
  |-----------------------------------+---------------------+-------+---------+----------|
461
- | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
408
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
462
409
  |-----------------------------------+---------------------+-------+---------+----------|
463
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
410
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
464
411
  |-----------------------------------+---------------------+-------+---------+----------|
465
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
412
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
466
413
  |-----------------------------------+---------------------+-------+---------+----------|
467
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
414
+ | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
468
415
  ╰-----------------------------------+---------------------+-------+---------+----------╯
469
416
 
470
417
  Logs:
471
- Bound result 902
472
- Bound result 685
418
+ Bound result 514264337593543950333
419
+ Bound result 9900001686706164560260
420
+ Bound result 9900000981659228137247
421
+ Bound result 11
422
+ Bound result 6242
423
+ Bound result 2129065317750762314043
424
+ Bound result 14275511010
425
+ Bound result 433
426
+ Bound result 9900000000000000005213
427
+ Bound result 9900000000000000001827
428
+ Bound result 1749
429
+ Bound result 804
473
430
  Bound result 1
474
- Bound result 1993829766640702932991
475
- Bound result 514264337593504336252
476
- Bound result 0
477
- Bound result 6244
478
- Bound result 435
479
- Bound result 9900000000000001398861
480
- Bound result 4650650788710569461868
481
- Bound result 9998
482
- Bound result 6240
483
- Bound result 6448
484
- Bound result 256
485
- Bound result 1228
486
- Bound result 4424
487
- Bound result 2959
488
- Bound result 3966
489
- Bound result 2968090538
490
- Bound result 307145695237
491
- Bound result 508
492
- Bound result 1226
493
- Bound result 21
494
- Bound result 2484092411487021
495
- Bound result 4324
496
- Bound result 3112
497
- Bound result 9900000000000000000007
498
- Bound result 9900000000000000000830
499
- Bound result 9593
500
- Bound result 1157
431
+ Bound result 1179
432
+ Bound result 6914264337578922754344
433
+ Bound result 9356147380
501
434
 
502
435
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
503
436
 
504
437
  ╭-----------------------------------+---------------------+-------+---------+----------╮
505
438
  | Contract | Selector | Calls | Reverts | Discards |
506
439
  +======================================================================================+
507
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
508
441
  |-----------------------------------+---------------------+-------+---------+----------|
509
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
510
443
  |-----------------------------------+---------------------+-------+---------+----------|
511
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
512
445
  |-----------------------------------+---------------------+-------+---------+----------|
513
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
514
447
  |-----------------------------------+---------------------+-------+---------+----------|
515
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
516
449
  |-----------------------------------+---------------------+-------+---------+----------|
517
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
450
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
518
451
  |-----------------------------------+---------------------+-------+---------+----------|
519
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
452
+ | RateLimiterRBACUpgradeableHandler | warp | 609 | 0 | 0 |
520
453
  ╰-----------------------------------+---------------------+-------+---------+----------╯
521
454
 
522
455
  Logs:
523
- Bound result 2514413316333439
524
- Bound result 34308488797081468
456
+ Bound result 56373569844405298
457
+ Bound result 53210044320142
458
+ Bound result 514264337593543950334
459
+ Bound result 10245
460
+ Bound result 1
461
+ Bound result 1263864544
462
+ Bound result 10828
525
463
  Bound result 1
526
- Bound result 514264337593543950335
527
- Bound result 9900000000000000000048
528
- Bound result 3923095078537840834416
529
- Bound result 9888
530
- Bound result 6425
531
- Bound result 4287
532
- Bound result 6447
464
+ Bound result 8
533
465
  Bound result 1
534
- Bound result 18411231528243787366941
535
- Bound result 228188
536
466
  Bound result 1
537
- Bound result 4463857318899576669960
538
- Bound result 9900000000000000000094
539
- Bound result 10
540
- Bound result 3895
541
- Bound result 2
542
- Bound result 784
543
- Bound result 4477
544
- Bound result 3
545
- Bound result 9900000000000000003738
546
- Bound result 9900000000000000001023
547
- Bound result 2310
548
- Bound result 1107
549
- Bound result 595576677
550
- Bound result 334
551
- Bound result 3208
552
- Bound result 6914264337563625318041
553
- Bound result 13710360562504241264152
554
- Bound result 308
467
+ Bound result 11716746030442
468
+ Bound result 484642753689930215985
469
+ Bound result 1128084725990985004147
470
+ Bound result 0
471
+ Bound result 1
472
+ Bound result 188862594163036061717
473
+ Bound result 2851
555
474
 
556
475
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
557
476
 
558
477
  ╭-----------------------------------+---------------------+-------+---------+----------╮
559
478
  | Contract | Selector | Calls | Reverts | Discards |
560
479
  +======================================================================================+
561
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
480
+ | RateLimiterRBACUpgradeableHandler | inflow | 586 | 0 | 0 |
562
481
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
482
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
564
483
  |-----------------------------------+---------------------+-------+---------+----------|
565
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
484
+ | RateLimiterRBACUpgradeableHandler | setConfig | 525 | 0 | 0 |
566
485
  |-----------------------------------+---------------------+-------+---------+----------|
567
- | RateLimiterRBACUpgradeableHandler | setState | 592 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
568
487
  |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 591 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
570
489
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
572
491
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | warp | 488 | 0 | 0 |
492
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
574
493
  ╰-----------------------------------+---------------------+-------+---------+----------╯
575
494
 
576
495
  Logs:
577
- Bound result 9900000000000000008317
578
- Bound result 9900000000000000006803
579
- Bound result 8984
580
- Bound result 52
581
- Bound result 9900000000002439649223
582
- Bound result 9900000000000000001597
583
- Bound result 577
584
- Bound result 680
585
- Bound result 15839676270259107116917
586
- Bound result 9025743614168
587
- Bound result 5986059567873956391465
588
- Bound result 1
589
- Bound result 556
590
- Bound result 1614
591
- Bound result 0
592
- Bound result 968
496
+ Bound result 4101
497
+ Bound result 1618909154858744113778
498
+ Bound result 1805091258660987236862
593
499
  Bound result 1
594
- Bound result 3622430462
595
- Bound result 340
500
+ Bound result 7868
501
+ Bound result 880683227385293
502
+ Bound result 10471
503
+ Bound result 9900000000000005205628
504
+ Bound result 100000000000000000003
505
+ Bound result 23
506
+ Bound result 432
507
+ Bound result 121532094702392125231
508
+ Bound result 1083
509
+ Bound result 828
510
+ Bound result 17
596
511
  Bound result 1
597
- Bound result 9900000000000000000052
598
- Bound result 9900000000534102457469
599
- Bound result 6463
600
- Bound result 2083
601
- Bound result 2576
602
512
 
603
513
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
604
514
 
@@ -607,677 +517,721 @@ Logs:
607
517
  +======================================================================================+
608
518
  | RateLimiterRBACUpgradeableHandler | inflow | 520 | 0 | 0 |
609
519
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
520
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
611
521
  |-----------------------------------+---------------------+-------+---------+----------|
612
- | RateLimiterRBACUpgradeableHandler | setConfig | 582 | 0 | 0 |
522
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
613
523
  |-----------------------------------+---------------------+-------+---------+----------|
614
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
524
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
615
525
  |-----------------------------------+---------------------+-------+---------+----------|
616
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
617
527
  |-----------------------------------+---------------------+-------+---------+----------|
618
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
619
529
  |-----------------------------------+---------------------+-------+---------+----------|
620
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
621
531
  ╰-----------------------------------+---------------------+-------+---------+----------╯
622
532
 
623
533
  Logs:
624
- Bound result 864
625
- Bound result 2274328328188
626
- Bound result 966
627
- Bound result 2145540283781325357919
628
- Bound result 4936455900224259777125
629
- Bound result 12
630
- Bound result 10
631
- Bound result 613
632
- Bound result 6528
534
+ Bound result 416610594487269258037
535
+ Bound result 4200
536
+ Bound result 1
537
+ Bound result 1327603122354425075563
538
+ Bound result 281474976710656
539
+ Bound result 14004
540
+ Bound result 416610594487269258036
541
+ Bound result 10017
542
+ Bound result 0
543
+ Bound result 262
544
+ Bound result 4301
633
545
  Bound result 0
634
- Bound result 782488460624181916807
635
- Bound result 90
636
- Bound result 10511886
637
- Bound result 51736862140783666714
638
- Bound result 87687
639
- Bound result 229
546
+ Bound result 605
547
+ Bound result 193974962040921
548
+ Bound result 80621117
549
+ Bound result 100000000000000000000
550
+ Bound result 9936306628685053779899
551
+ Bound result 151
640
552
  Bound result 11
553
+ Bound result 21
554
+ Bound result 191199663099237628
641
555
 
642
556
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
643
557
 
644
558
  ╭-----------------------------------+---------------------+-------+---------+----------╮
645
559
  | Contract | Selector | Calls | Reverts | Discards |
646
560
  +======================================================================================+
647
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
561
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
648
562
  |-----------------------------------+---------------------+-------+---------+----------|
649
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
650
564
  |-----------------------------------+---------------------+-------+---------+----------|
651
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
565
+ | RateLimiterRBACUpgradeableHandler | setConfig | 588 | 0 | 0 |
652
566
  |-----------------------------------+---------------------+-------+---------+----------|
653
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
567
+ | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
654
568
  |-----------------------------------+---------------------+-------+---------+----------|
655
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
656
570
  |-----------------------------------+---------------------+-------+---------+----------|
657
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
658
572
  |-----------------------------------+---------------------+-------+---------+----------|
659
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | warp | 522 | 0 | 0 |
660
574
  ╰-----------------------------------+---------------------+-------+---------+----------╯
661
575
 
662
576
  Logs:
577
+ Bound result 9900000000000000000813
578
+ Bound result 9900000000000000010867
579
+ Bound result 9842
580
+ Bound result 9325
581
+ Bound result 902
582
+ Bound result 9900000000000000003852
583
+ Bound result 9907475911145993330886
584
+ Bound result 6240
585
+ Bound result 6470
586
+ Bound result 6464
587
+ Bound result 2376621476610669788103
588
+ Bound result 314
589
+ Bound result 9900000000000000004690
590
+ Bound result 9900000000000000008027
591
+ Bound result 9639
592
+ Bound result 8301
663
593
  Bound result 1
664
- Bound result 1
665
- Bound result 1520171704904023229189
666
- Bound result 590
667
- Bound result 491
668
- Bound result 0
669
- Bound result 27007074
670
- Bound result 9975
671
- Bound result 8973
672
- Bound result 0
673
- Bound result 1117
674
- Bound result 5620
675
- Bound result 100000000000000000002
676
- Bound result 9958881059700397796153
677
- Bound result 11
678
- Bound result 10
679
- Bound result 16
680
- Bound result 1951603771273411908
681
- Bound result 7
682
- Bound result 632
683
- Bound result 7
684
- Bound result 2
685
- Bound result 154568155066900626793
686
- Bound result 131720137211249338550
594
+ Bound result 3
595
+ Bound result 60293432732214
596
+ Bound result 449
597
+ Bound result 141668772698893185
598
+ Bound result 131669760304231594229
599
+ Bound result 9900002532219055060403
600
+ Bound result 2196
601
+ Bound result 124
602
+ Bound result 229084554817699726404
687
603
 
688
604
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
689
605
 
690
606
  ╭-----------------------------------+---------------------+-------+---------+----------╮
691
607
  | Contract | Selector | Calls | Reverts | Discards |
692
608
  +======================================================================================+
693
- | RateLimiterRBACUpgradeableHandler | inflow | 497 | 0 | 0 |
609
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
694
610
  |-----------------------------------+---------------------+-------+---------+----------|
695
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
611
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
696
612
  |-----------------------------------+---------------------+-------+---------+----------|
697
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
613
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
698
614
  |-----------------------------------+---------------------+-------+---------+----------|
699
- | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
615
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
700
616
  |-----------------------------------+---------------------+-------+---------+----------|
701
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 614 | 0 | 0 |
617
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
702
618
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
619
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
704
620
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
621
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
706
622
  ╰-----------------------------------+---------------------+-------+---------+----------╯
707
623
 
708
624
  Logs:
625
+ Bound result 24010954041511281
626
+ Bound result 9900000000000000007910
627
+ Bound result 9900000000000000003119
628
+ Bound result 3643
629
+ Bound result 221
630
+ Bound result 4947550493451056132410
631
+ Bound result 9900000000000000233693
632
+ Bound result 735
633
+ Bound result 3748
634
+ Bound result 6144399694580
635
+ Bound result 509521181935349
709
636
  Bound result 1
710
- Bound result 29014494422
711
- Bound result 285263470
637
+ Bound result 37286
638
+ Bound result 852
712
639
  Bound result 1
713
- Bound result 505699166784849907396
714
- Bound result 9530
715
- Bound result 15379124231004707
716
640
  Bound result 1
717
- Bound result 935039221419403583290
718
- Bound result 27017
719
- Bound result 1250249
720
- Bound result 727273755755933
641
+ Bound result 8026
642
+ Bound result 9968
643
+ Bound result 0
644
+ Bound result 3414983981780052679485
645
+ Bound result 995692734083095618730
646
+ Bound result 2381
647
+ Bound result 937
648
+ Bound result 2174915762010
649
+ Bound result 892294159007987480144
721
650
  Bound result 1
651
+ Bound result 109947613512661319
722
652
 
723
653
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
724
654
 
725
655
  ╭-----------------------------------+---------------------+-------+---------+----------╮
726
656
  | Contract | Selector | Calls | Reverts | Discards |
727
657
  +======================================================================================+
728
- | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
729
659
  |-----------------------------------+---------------------+-------+---------+----------|
730
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
731
661
  |-----------------------------------+---------------------+-------+---------+----------|
732
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
733
663
  |-----------------------------------+---------------------+-------+---------+----------|
734
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
735
665
  |-----------------------------------+---------------------+-------+---------+----------|
736
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
666
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
737
667
  |-----------------------------------+---------------------+-------+---------+----------|
738
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 506 | 0 | 0 |
668
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
739
669
  |-----------------------------------+---------------------+-------+---------+----------|
740
- | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
670
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
741
671
  ╰-----------------------------------+---------------------+-------+---------+----------╯
742
672
 
743
673
  Logs:
744
- Bound result 256264432264715
745
- Bound result 139171
746
- Bound result 1
747
- Bound result 1514
748
- Bound result 644438035561212867127
749
674
  Bound result 1
750
- Bound result 882
751
- Bound result 862
752
- Bound result 9900000000000000000288
753
- Bound result 9900000000000000010104
754
- Bound result 4698
755
- Bound result 137
756
- Bound result 7743
757
- Bound result 384
758
- Bound result 9900000000000268763184
759
- Bound result 6914264337593535947491
760
- Bound result 6242
761
- Bound result 8659
762
- Bound result 9900000000068582171447
763
- Bound result 8784238431644025048879
764
- Bound result 4783
765
- Bound result 292
766
- Bound result 23261963
767
-
768
- [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
769
-
770
- ╭-----------------------------------+---------------------+-------+---------+----------╮
771
- | Contract | Selector | Calls | Reverts | Discards |
772
- +======================================================================================+
773
- | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
774
- |-----------------------------------+---------------------+-------+---------+----------|
775
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
776
- |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
778
- |-----------------------------------+---------------------+-------+---------+----------|
779
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
780
- |-----------------------------------+---------------------+-------+---------+----------|
781
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 520 | 0 | 0 |
782
- |-----------------------------------+---------------------+-------+---------+----------|
783
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
784
- |-----------------------------------+---------------------+-------+---------+----------|
785
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
786
- ╰-----------------------------------+---------------------+-------+---------+----------╯
787
-
788
- Logs:
789
- Bound result 3094
790
- Bound result 1382
675
+ Bound result 1840278827032
676
+ Bound result 195952261385702
791
677
  Bound result 0
792
- Bound result 273714613012060438182
793
- Bound result 92827679366300488
678
+ Bound result 1614
679
+ Bound result 183912908242969597150
680
+ Bound result 7469783394734
681
+ Bound result 14101218681097641512
682
+ Bound result 590407819047039617644
683
+ Bound result 616
794
684
  Bound result 1
795
- Bound result 9900000000000000000484
796
- Bound result 3439448184466023600723
797
- Bound result 3662
798
- Bound result 3068
799
- Bound result 7162
800
- Bound result 2054381685252168462851
801
- Bound result 135550065643760141511
802
- Bound result 12
803
- Bound result 10
804
- Bound result 192244812436824979354
805
- Bound result 20638212
806
- Bound result 513938
807
- Bound result 117
808
- Bound result 44870148077675419
809
- Bound result 8
810
- Bound result 130176012
811
- Bound result 36560442093861486
812
- Bound result 5
813
- Bound result 10677492632925
814
- Bound result 52626821
815
- Bound result 3
816
- Bound result 20
685
+ Bound result 3496
686
+ Bound result 1083
687
+ Bound result 5040
688
+ Bound result 18
689
+ Bound result 5090
817
690
 
818
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.60s (15.07s CPU time)
819
-
820
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
821
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
822
- [PASS] test_constructor_InitialMode() (gas: 15578)
823
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
824
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
825
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
826
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
827
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
828
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
829
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
830
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
831
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
832
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
833
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
834
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
835
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
836
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
837
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
838
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
839
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
840
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
841
- [PASS] test_setMode_Blacklist() (gas: 40021)
842
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
843
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
844
- [PASS] test_setMode_Whitelist() (gas: 40108)
845
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
846
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
847
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
848
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
849
- [PASS] test_storageHash() (gas: 3458)
850
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 2.62s (913.96ms CPU time)
691
+ [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
692
+
693
+ ╭-----------------------------------+---------------------+-------+---------+----------╮
694
+ | Contract | Selector | Calls | Reverts | Discards |
695
+ +======================================================================================+
696
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
697
+ |-----------------------------------+---------------------+-------+---------+----------|
698
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
699
+ |-----------------------------------+---------------------+-------+---------+----------|
700
+ | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
701
+ |-----------------------------------+---------------------+-------+---------+----------|
702
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
703
+ |-----------------------------------+---------------------+-------+---------+----------|
704
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 587 | 0 | 0 |
705
+ |-----------------------------------+---------------------+-------+---------+----------|
706
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 532 | 0 | 0 |
707
+ |-----------------------------------+---------------------+-------+---------+----------|
708
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
709
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
851
710
 
852
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
853
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
854
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
855
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47651, ~: 48966)
856
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
857
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
858
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
859
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
860
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
861
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
862
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
863
- [PASS] test_getFee_Default() (gas: 43108)
864
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45306, ~: 47017)
865
- [PASS] test_getFee_Rounding() (gas: 45449)
866
- [PASS] test_getFee_Specific() (gas: 66985)
867
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
868
- [PASS] test_setDefaultFeeBps() (gas: 42199)
869
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35411, ~: 42268)
870
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
871
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
872
- [PASS] test_setFeeBps() (gas: 77237)
873
711
  Logs:
874
- Bound result 500
712
+ Bound result 9236
713
+ Bound result 8297
714
+ Bound result 9850
715
+ Bound result 0
716
+ Bound result 3351
717
+ Bound result 50664509017250971603
718
+ Bound result 9900000000000000000581
719
+ Bound result 100000000000000000001
720
+ Bound result 247
721
+ Bound result 2653
722
+ Bound result 798
723
+ Bound result 3
724
+ Bound result 9900000050809778537307
725
+ Bound result 9900000000000940329394
726
+ Bound result 13
727
+ Bound result 3063
728
+ Bound result 2464700
729
+ Bound result 7
730
+ Bound result 724
731
+ Bound result 9900000000000000007718
732
+ Bound result 9900000000000000000901
733
+ Bound result 1273
734
+ Bound result 6242
735
+ Bound result 2061
736
+ Bound result 9900000000000000001200
737
+ Bound result 9900000000000000007380
738
+ Bound result 2095
739
+ Bound result 158
875
740
 
876
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67793, ~: 77570)
877
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
878
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
879
- [PASS] test_storageHash() (gas: 3436)
880
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 2.80s (860.01ms CPU time)
741
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.10s (7.57s CPU time)
881
742
 
882
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
743
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
744
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26138, ~: 38584)
745
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
746
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
747
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
748
+ [PASS] test_isPaused_InitialState() (gas: 15595)
749
+ [PASS] test_pause() (gas: 39592)
750
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28465, ~: 39861)
751
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
752
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
753
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
754
+ [PASS] test_storageHash() (gas: 3414)
755
+ [PASS] test_unpause() (gas: 31115)
756
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40536, ~: 42029)
757
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
758
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
759
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
760
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
761
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
762
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
763
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.22s (183.55ms CPU time)
764
+
765
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
883
766
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
884
767
 
885
768
  ╭-----------------------------------+---------------------+-------+---------+----------╮
886
769
  | Contract | Selector | Calls | Reverts | Discards |
887
770
  +======================================================================================+
888
- | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
771
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
889
772
  |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
891
774
  |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
893
776
  |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
895
778
  |-----------------------------------+---------------------+-------+---------+----------|
896
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
897
780
  |-----------------------------------+---------------------+-------+---------+----------|
898
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
781
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
899
782
  |-----------------------------------+---------------------+-------+---------+----------|
900
- | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
783
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
901
784
  ╰-----------------------------------+---------------------+-------+---------+----------╯
902
785
 
903
786
  Logs:
904
- Bound result 690253291412027744995
905
- Bound result 339
906
- Bound result 1
907
- Bound result 8528338131535341781219
908
- Bound result 9900000000000300053408
909
- Bound result 9877
910
- Bound result 9777
911
- Bound result 9900000000000000003044
912
- Bound result 9900000000000000005246
913
- Bound result 32
914
- Bound result 2033
915
- Bound result 15404406917850254962540
916
- Bound result 4595791210273405769801
787
+ Bound result 3542
788
+ Bound result 2
789
+ Bound result 2
917
790
  Bound result 1
918
- Bound result 80
919
- Bound result 981624469
920
- Bound result 4509
921
- Bound result 1511
922
- Bound result 19
923
- Bound result 2217
924
- Bound result 1065
925
- Bound result 8361
791
+ Bound result 15813501300742
792
+ Bound result 1996337
793
+ Bound result 0
794
+ Bound result 1637733633608657295
795
+ Bound result 514264337593504336251
796
+ Bound result 0
797
+ Bound result 9900508256203180632689
798
+ Bound result 9900000000000009093522
799
+ Bound result 9997
800
+ Bound result 3886
801
+ Bound result 1657
802
+ Bound result 10162
803
+ Bound result 0
804
+ Bound result 7300
805
+ Bound result 9900000000000000009076
806
+ Bound result 9900000015813501300742
807
+ Bound result 1057
808
+ Bound result 8697
809
+ Bound result 6914264337593535947489
810
+ Bound result 9900000000000000000075
811
+ Bound result 521
812
+ Bound result 12
813
+ Bound result 9900000000270345241150
814
+ Bound result 9900000000000003051330
815
+ Bound result 457
816
+ Bound result 327
817
+ Bound result 616
926
818
 
927
819
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
928
820
 
929
821
  ╭-----------------------------------+---------------------+-------+---------+----------╮
930
822
  | Contract | Selector | Calls | Reverts | Discards |
931
823
  +======================================================================================+
932
- | RateLimiterRBACUpgradeableHandler | inflow | 598 | 0 | 0 |
824
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
933
825
  |-----------------------------------+---------------------+-------+---------+----------|
934
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
826
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
935
827
  |-----------------------------------+---------------------+-------+---------+----------|
936
828
  | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
937
829
  |-----------------------------------+---------------------+-------+---------+----------|
938
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
939
831
  |-----------------------------------+---------------------+-------+---------+----------|
940
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
832
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
941
833
  |-----------------------------------+---------------------+-------+---------+----------|
942
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
943
835
  |-----------------------------------+---------------------+-------+---------+----------|
944
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
945
837
  ╰-----------------------------------+---------------------+-------+---------+----------╯
946
838
 
947
839
  Logs:
948
- Bound result 54
949
- Bound result 1
950
- Bound result 9900127695616079748365
951
- Bound result 9900000054705500175562
952
- Bound result 33
953
- Bound result 9500
954
- Bound result 15364093062378823238076
955
- Bound result 10337919920928565
956
- Bound result 52
957
- Bound result 9900000000000000001951
958
- Bound result 9699989023405977856845
959
- Bound result 165
960
- Bound result 498
961
- Bound result 5185
962
- Bound result 779
963
- Bound result 2807
964
- Bound result 140
965
- Bound result 895596
966
- Bound result 764875740843115
967
- Bound result 217
968
- Bound result 9900000000000000000732
969
- Bound result 4659501308891148509876
970
- Bound result 9377
971
- Bound result 3641
840
+ Bound result 618256889371510837323
841
+ Bound result 542
842
+ Bound result 37721
843
+ Bound result 0
844
+ Bound result 7660326803596615676095
845
+ Bound result 9900000000000000002324
846
+ Bound result 6771
847
+ Bound result 4236
848
+ Bound result 8751222808317220626
849
+ Bound result 9900000000000290857240
850
+ Bound result 9901058643553464961086
851
+ Bound result 2661
852
+ Bound result 46
853
+ Bound result 66151933450928
854
+ Bound result 6914262009908425959772
855
+ Bound result 5198271590311857540773
856
+ Bound result 9900000000000713826614
857
+ Bound result 9998
858
+ Bound result 11
859
+ Bound result 9900000000000000004321
860
+ Bound result 9900000000000000000035
861
+ Bound result 2843
862
+ Bound result 3741
863
+ Bound result 6914264337558959659986
864
+ Bound result 18234545694059786402102
865
+ Bound result 0
866
+ Bound result 1065541090506740624
972
867
 
973
868
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
974
869
 
975
870
  ╭-----------------------------------+---------------------+-------+---------+----------╮
976
871
  | Contract | Selector | Calls | Reverts | Discards |
977
872
  +======================================================================================+
978
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
873
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
979
874
  |-----------------------------------+---------------------+-------+---------+----------|
980
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
981
876
  |-----------------------------------+---------------------+-------+---------+----------|
982
- | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
983
878
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
985
880
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
987
882
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
989
884
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | warp | 585 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
991
886
  ╰-----------------------------------+---------------------+-------+---------+----------╯
992
887
 
993
888
  Logs:
994
- Bound result 8896916050396190185930
995
- Bound result 9900012796992675688095
996
- Bound result 8810
997
- Bound result 74
998
- Bound result 6609
999
- Bound result 6664908683699902194533
1000
- Bound result 102012088877566
1001
- Bound result 220
1002
- Bound result 15862966570931227
1003
- Bound result 5960142
1004
- Bound result 15062544624639126491772
1005
- Bound result 12379431764417116272007
1006
- Bound result 4668
1007
- Bound result 727
1008
- Bound result 2316
1009
- Bound result 520
1010
- Bound result 2463
1011
- Bound result 697553
1012
- Bound result 1394
1013
- Bound result 1370854708743643380276
1014
- Bound result 9900000000140041368527
1015
- Bound result 254
1016
- Bound result 7740
1017
- Bound result 90452748897306334
1018
- Bound result 7537
1019
- Bound result 8533
1020
- Bound result 2777
889
+ Bound result 16826778065
890
+ Bound result 3521
891
+ Bound result 3328948023
892
+ Bound result 0
893
+ Bound result 9900000000000000006805
894
+ Bound result 9900000000000000005551
895
+ Bound result 4493
896
+ Bound result 386
897
+ Bound result 8537
898
+ Bound result 10437
899
+ Bound result 6914264337539084596915
1021
900
 
1022
901
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1023
902
 
1024
903
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1025
904
  | Contract | Selector | Calls | Reverts | Discards |
1026
905
  +======================================================================================+
1027
- | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
906
+ | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1028
907
  |-----------------------------------+---------------------+-------+---------+----------|
1029
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
1030
909
  |-----------------------------------+---------------------+-------+---------+----------|
1031
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
1032
911
  |-----------------------------------+---------------------+-------+---------+----------|
1033
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | setState | 542 | 0 | 0 |
1034
913
  |-----------------------------------+---------------------+-------+---------+----------|
1035
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
1036
915
  |-----------------------------------+---------------------+-------+---------+----------|
1037
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
1038
917
  |-----------------------------------+---------------------+-------+---------+----------|
1039
- | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
1040
919
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1041
920
 
1042
921
  Logs:
1043
- Bound result 3324751703364603
1044
- Bound result 365759158712819599
1045
- Bound result 2
1046
- Bound result 1
1047
- Bound result 8385
1048
- Bound result 5589
1049
- Bound result 1113
1050
- Bound result 2
1051
- Bound result 16864084034994442
1052
- Bound result 617
1053
- Bound result 97148
1054
- Bound result 951655476243222483841
1055
- Bound result 21
1056
- Bound result 2429
1057
- Bound result 2982
1058
- Bound result 627
1059
- Bound result 1129319116757
1060
- Bound result 145277804
1061
- Bound result 288
1062
- Bound result 1400
1063
- Bound result 1323
1064
- Bound result 7464
1065
- Bound result 979
1066
- Bound result 607
1067
- Bound result 476635536694435215471
922
+ Bound result 1327428231
923
+ Bound result 890253132036027879086
924
+ Bound result 422935438
925
+ Bound result 0
926
+ Bound result 2946
927
+ Bound result 144
928
+ Bound result 235213557348185100
929
+ Bound result 287477916476
930
+ Bound result 9900000000000000000496
931
+ Bound result 9900000000000000009696
932
+ Bound result 7797
933
+ Bound result 6545
934
+ Bound result 1294
935
+ Bound result 4807
936
+ Bound result 54
937
+ Bound result 12006
938
+ Bound result 72996
939
+ Bound result 86245274493
940
+ Bound result 2620
1068
941
 
1069
942
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1070
943
 
1071
944
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1072
945
  | Contract | Selector | Calls | Reverts | Discards |
1073
946
  +======================================================================================+
1074
- | RateLimiterRBACUpgradeableHandler | inflow | 505 | 0 | 0 |
947
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
1075
948
  |-----------------------------------+---------------------+-------+---------+----------|
1076
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
949
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
1077
950
  |-----------------------------------+---------------------+-------+---------+----------|
1078
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
951
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
1079
952
  |-----------------------------------+---------------------+-------+---------+----------|
1080
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
953
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
1081
954
  |-----------------------------------+---------------------+-------+---------+----------|
1082
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 493 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 511 | 0 | 0 |
1083
956
  |-----------------------------------+---------------------+-------+---------+----------|
1084
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
1085
958
  |-----------------------------------+---------------------+-------+---------+----------|
1086
- | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
959
+ | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
1087
960
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1088
961
 
1089
962
  Logs:
1090
- Bound result 10458
1091
- Bound result 4540
1092
- Bound result 9900000000000000008050
1093
- Bound result 9900000000000000009449
1094
- Bound result 1103
1095
- Bound result 1219
1096
- Bound result 2829
1097
- Bound result 9900000000000000002274
1098
- Bound result 9900000000000000010126
1099
- Bound result 3303
1100
- Bound result 8392
1101
- Bound result 9900000000000000010403
1102
- Bound result 9900000000000000007912
1103
- Bound result 6282
1104
- Bound result 5185
1105
- Bound result 7444465398650514837
1106
- Bound result 6914264337593535947489
1107
- Bound result 9911790466223620714116
1108
- Bound result 12
1109
- Bound result 1601
1110
- Bound result 753466
1111
- Bound result 8762
1112
- Bound result 247
963
+ Bound result 1940310525507872114795
964
+ Bound result 384571880393511297
1113
965
  Bound result 0
1114
- Bound result 9900048190022849459191
1115
- Bound result 9906796510414913349503
1116
- Bound result 10
1117
- Bound result 10
1118
- Bound result 8
1119
- Bound result 6297522
1120
- Bound result 3
966
+ Bound result 9299312544781952441
967
+ Bound result 194137898126472600
968
+ Bound result 1
969
+ Bound result 1649
970
+ Bound result 21402
971
+ Bound result 1479591996253098539
972
+ Bound result 331
973
+ Bound result 1246125932510737865268
974
+ Bound result 560828689666714078518
975
+ Bound result 0
976
+ Bound result 6162
977
+ Bound result 1876281281145568199838
978
+ Bound result 341
979
+ Bound result 1
980
+ Bound result 403347669813070002000
981
+ Bound result 328
982
+ Bound result 5847
983
+ Bound result 681321223797209393295
984
+ Bound result 131
985
+ Bound result 1055
986
+ Bound result 172
987
+ Bound result 9900000000000000006026
988
+ Bound result 9900000000000000000059
989
+ Bound result 3845
990
+ Bound result 9327
991
+ Bound result 222005148
1121
992
 
1122
993
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1123
994
 
1124
995
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1125
996
  | Contract | Selector | Calls | Reverts | Discards |
1126
997
  +======================================================================================+
1127
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
1128
999
  |-----------------------------------+---------------------+-------+---------+----------|
1129
- | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
1130
1001
  |-----------------------------------+---------------------+-------+---------+----------|
1131
- | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
1002
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1132
1003
  |-----------------------------------+---------------------+-------+---------+----------|
1133
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
1134
1005
  |-----------------------------------+---------------------+-------+---------+----------|
1135
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1136
1007
  |-----------------------------------+---------------------+-------+---------+----------|
1137
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
1138
1009
  |-----------------------------------+---------------------+-------+---------+----------|
1139
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1140
1011
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1141
1012
 
1142
1013
  Logs:
1143
- Bound result 571
1144
- Bound result 1315578464083
1145
- Bound result 1
1146
- Bound result 1140
1147
- Bound result 7196
1148
- Bound result 1347749767645823912072
1149
- Bound result 152267103630199
1150
- Bound result 110
1151
- Bound result 1397463465594410439927
1152
- Bound result 100000000000000000000
1014
+ Bound result 663
1015
+ Bound result 632742195619396935251
1016
+ Bound result 9076
1017
+ Bound result 518
1018
+ Bound result 1117
1019
+ Bound result 1226
1020
+ Bound result 9900000000000000053320
1021
+ Bound result 9905909108052473937178
1022
+ Bound result 1334
1023
+ Bound result 11
1024
+ Bound result 1607896090205843021532
1025
+ Bound result 6914264337593535947488
1026
+ Bound result 1006
1027
+ Bound result 15
1028
+ Bound result 92
1153
1029
  Bound result 447
1154
- Bound result 101
1155
- Bound result 259
1156
- Bound result 1
1157
- Bound result 3862017086037
1030
+ Bound result 7213
1031
+ Bound result 9900000000472615341875
1032
+ Bound result 100000000000000000000
1033
+ Bound result 12
1034
+ Bound result 386
1035
+ Bound result 6910482070740511657835
1036
+ Bound result 926474208373401
1037
+ Bound result 3784905736
1038
+ Bound result 273
1158
1039
 
1159
1040
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1160
1041
 
1161
1042
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1162
1043
  | Contract | Selector | Calls | Reverts | Discards |
1163
1044
  +======================================================================================+
1164
- | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
1045
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1165
1046
  |-----------------------------------+---------------------+-------+---------+----------|
1166
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
1047
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
1167
1048
  |-----------------------------------+---------------------+-------+---------+----------|
1168
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
1169
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1170
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1171
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1172
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
1173
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1174
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1175
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1176
- | RateLimiterRBACUpgradeableHandler | warp | 519 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1177
1058
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1178
1059
 
1179
1060
  Logs:
1180
- Bound result 9667
1181
- Bound result 860608793
1182
- Bound result 1653
1183
- Bound result 276
1184
- Bound result 9900000000000000010212
1185
- Bound result 9900000000000000001736
1186
- Bound result 369
1187
- Bound result 3846
1188
- Bound result 9900000000000000129669
1189
- Bound result 9900000000000000003092
1190
- Bound result 9919
1191
- Bound result 4490
1192
- Bound result 1805
1193
- Bound result 7875432685558415750508
1194
- Bound result 16777215
1195
- Bound result 619
1196
- Bound result 9900000074168517208916
1197
- Bound result 6914264337593535947488
1198
- Bound result 49
1199
- Bound result 1997
1061
+ Bound result 701890289711260201711
1062
+ Bound result 1186147559442617851
1063
+ Bound result 0
1064
+ Bound result 281922350508106522508
1065
+ Bound result 547957215824771097118
1066
+ Bound result 542
1067
+ Bound result 785083316885472513592
1068
+ Bound result 2162
1069
+ Bound result 0
1070
+ Bound result 296
1071
+ Bound result 9900000000000000003452
1072
+ Bound result 9900000000000000001024
1073
+ Bound result 4006
1074
+ Bound result 5404
1075
+ Bound result 108
1076
+ Bound result 72661
1077
+ Bound result 1
1078
+ Bound result 38
1079
+ Bound result 4100
1080
+ Bound result 1
1081
+ Bound result 37191354387988
1082
+ Bound result 9250
1200
1083
 
1201
1084
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1202
1085
 
1203
1086
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1204
1087
  | Contract | Selector | Calls | Reverts | Discards |
1205
1088
  +======================================================================================+
1206
- | RateLimiterRBACUpgradeableHandler | inflow | 581 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
1207
1090
  |-----------------------------------+---------------------+-------+---------+----------|
1208
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
1209
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1210
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
1211
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1212
- | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | setState | 496 | 0 | 0 |
1213
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1214
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
1215
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1216
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
1217
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1218
- | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
1219
1102
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1220
1103
 
1221
1104
  Logs:
1222
- Bound result 1360
1223
- Bound result 2
1224
- Bound result 9900000000000000001657
1225
- Bound result 9900000000000000010335
1226
- Bound result 2734
1227
- Bound result 1697
1228
- Bound result 756
1229
- Bound result 72
1230
- Bound result 4709194599468776040
1231
- Bound result 496
1232
- Bound result 3
1233
- Bound result 535239862624
1234
- Bound result 9900000000000000009704
1235
- Bound result 9900000000000000006504
1236
- Bound result 9700
1237
- Bound result 9251
1105
+ Bound result 9900000000000000000315
1106
+ Bound result 9900000000000350261690
1107
+ Bound result 1184
1108
+ Bound result 875
1109
+ Bound result 563
1110
+ Bound result 379464935
1111
+ Bound result 1220
1112
+ Bound result 70134191897255966
1113
+ Bound result 943296018625218
1114
+ Bound result 25
1115
+ Bound result 10436
1116
+ Bound result 8781
1117
+ Bound result 1177
1118
+ Bound result 34873815193244
1119
+ Bound result 20054
1120
+ Bound result 195
1121
+ Bound result 3159546914506194453
1122
+ Bound result 6914261534503879703972
1123
+ Bound result 5709
1124
+ Bound result 17281321223794782312761
1125
+ Bound result 613063844
1126
+ Bound result 903
1127
+
1128
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.22s (7.91s CPU time)
1129
+
1130
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1131
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1132
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1133
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1134
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1135
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1136
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1137
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1138
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1139
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1140
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1141
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1142
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1143
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1144
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1145
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1146
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1147
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1148
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1149
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1150
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1151
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1152
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1153
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1154
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1155
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1156
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1157
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1158
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1159
+ [PASS] test_storageHash() (gas: 3458)
1160
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 13.71s (325.95ms CPU time)
1238
1161
 
1239
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.94s (18.63s CPU time)
1162
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1163
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1164
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1165
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1166
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1167
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1168
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1169
+ [PASS] test_isPaused_Default() (gas: 44698)
1170
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1171
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1172
+ [PASS] test_isPaused_Override() (gas: 69381)
1173
+ [PASS] test_isPaused_Specific() (gas: 46709)
1174
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1175
+ [PASS] test_pauseConfig() (gas: 45626)
1176
+ [PASS] test_setDefaultPaused() (gas: 39667)
1177
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28714, ~: 39918)
1178
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1179
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1180
+ [PASS] test_setPaused() (gas: 43060)
1181
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1182
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 37960, ~: 43373)
1183
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1184
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1185
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1186
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58592, ~: 69608)
1187
+ [PASS] test_storageHash() (gas: 3480)
1188
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1189
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1190
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1191
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1192
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1193
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1194
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 13.71s (249.06ms CPU time)
1240
1195
 
1241
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1242
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1243
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1244
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1245
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1246
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1247
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1248
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1249
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1250
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1251
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1252
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1253
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1254
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1255
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1256
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1257
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1258
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1259
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1260
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1261
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1262
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1263
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1264
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1265
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1266
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1267
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1268
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1269
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1270
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1271
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1272
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1273
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1274
- [PASS] test_storageHash() (gas: 3380)
1275
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 17.86s (761.14ms CPU time)
1196
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1197
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1198
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1199
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1200
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1201
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1202
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1203
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1204
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1205
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1206
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1207
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1208
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1209
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1210
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1211
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1212
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1213
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1214
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1215
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1216
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1217
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1218
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1219
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1220
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1221
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1222
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1223
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1224
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1225
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1226
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1227
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1228
+ [PASS] test_storageHash() (gas: 3480)
1229
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 13.71s (496.61ms CPU time)
1276
1230
 
1277
1231
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1278
1232
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1279
1233
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1280
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 748646, ~: 178739)
1234
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 746949, ~: 51234)
1281
1235
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1282
1236
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1283
1237
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1290,12 +1244,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1290
1244
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1291
1245
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1292
1246
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1293
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178005, ~: 10483940)
1247
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11174209, ~: 10522504)
1294
1248
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1295
1249
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1296
1250
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1297
1251
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1298
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 668106, ~: 69650)
1252
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 820298, ~: 306455)
1299
1253
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1300
1254
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1301
1255
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1308,10 +1262,38 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1308
1262
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1309
1263
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1310
1264
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1311
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11075599, ~: 10359838)
1265
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11127056, ~: 10349027)
1312
1266
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1313
1267
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1314
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.86s (41.39s CPU time)
1268
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 13.71s (30.98s CPU time)
1269
+
1270
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1271
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1272
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1273
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44483, ~: 46317)
1274
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1275
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1276
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1277
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1278
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1279
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1280
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1281
+ [PASS] test_getFee_Default() (gas: 40577)
1282
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43065, ~: 44486)
1283
+ [PASS] test_getFee_Rounding() (gas: 42835)
1284
+ [PASS] test_getFee_Specific() (gas: 63968)
1285
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1286
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
1287
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32489, ~: 39667)
1288
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1289
+ [PASS] test_setFeeBps() (gas: 73871)
1290
+ Logs:
1291
+ Bound result 500
1292
+
1293
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65975, ~: 74224)
1294
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1295
+ [PASS] test_storageHash() (gas: 3426)
1296
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 13.72s (404.86ms CPU time)
1315
1297
 
1316
- Ran 17 test suites in 17.89s (56.62s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1317
- ⏳ forge test: 39.376s
1298
+ Ran 17 test suites in 13.77s (74.04s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1299
+ ⏳ forge test: 28.788s