@layerzerolabs/utils-upgradeable-evm-contracts 0.2.97 → 0.2.99

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 +340 -1
  2. package/.turbo/turbo-test.log +748 -751
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,7 +5,7 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
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:152469) [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.
8
+ (node:133620) [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)
@@ -13,7 +13,7 @@ To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-in
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 19.03s
16
+ Solc 0.8.22 finished in 16.40s
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,6 +136,44 @@ 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 11.37ms (8.32ms CPU time)
176
+
139
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
140
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
141
179
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -177,53 +215,126 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
177
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
178
216
  [PASS] test_storageHash() (gas: 3392)
179
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
180
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 51.27ms (31.16ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 29.15ms (21.18ms CPU time)
219
+
220
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
+ [PASS] test_feeDeposit() (gas: 17576)
222
+ [PASS] test_setFeeDeposit() (gas: 24995)
223
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
224
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
+ [PASS] test_storageHash() (gas: 3337)
226
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 43.09ms (42.48ms CPU time)
227
+
228
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
229
+ [PASS] test_feeDeposit() (gas: 17638)
230
+ [PASS] test_setFeeDeposit() (gas: 27596)
231
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
232
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
233
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
234
+ [PASS] test_storageHash() (gas: 3315)
235
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 96.46ms (95.37ms CPU time)
181
236
 
182
237
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
183
238
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
184
239
  [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
185
240
  [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
186
241
  [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
187
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
242
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
188
243
  [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
189
244
  [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
190
245
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
191
246
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
192
247
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
193
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 294.40ms (294.18ms CPU time)
248
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 139.12ms (138.93ms CPU time)
194
249
 
195
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
196
- [PASS] test_feeDeposit() (gas: 17576)
197
- [PASS] test_setFeeDeposit() (gas: 24995)
198
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
199
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
200
- [PASS] test_storageHash() (gas: 3337)
201
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 400.04ms (147.00ms CPU time)
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, μ: 104265, ~: 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, μ: 46827, ~: 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 288.60ms (350.96ms CPU time)
202
285
 
203
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
204
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26009, ~: 38584)
205
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
206
- [PASS] test_assertNotPaused_Success() (gas: 12516)
207
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
208
- [PASS] test_isPaused_InitialState() (gas: 15595)
209
- [PASS] test_pause() (gas: 39592)
210
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28489, ~: 39861)
211
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
212
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
213
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
214
- [PASS] test_storageHash() (gas: 3414)
215
- [PASS] test_unpause() (gas: 31115)
216
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40382, ~: 38893)
217
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
218
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
219
- [PASS] test_whenNotPaused_Success() (gas: 38744)
220
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
221
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
222
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
223
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 432.95ms (562.30ms CPU time)
286
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
287
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
288
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
289
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
290
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
291
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
292
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
293
+ [PASS] test_isPaused_Default() (gas: 47316)
294
+ [PASS] test_isPaused_InitialState() (gas: 22172)
295
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
296
+ [PASS] test_isPaused_Override() (gas: 75171)
297
+ [PASS] test_isPaused_Specific() (gas: 50105)
298
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
299
+ [PASS] test_pauseConfig() (gas: 51028)
300
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
301
+ [PASS] test_setDefaultPaused() (gas: 42196)
302
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30612, ~: 18826)
303
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
304
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
305
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
306
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
307
+ [PASS] test_setPaused() (gas: 48361)
308
+ [PASS] test_setPaused_DormantData() (gas: 295234)
309
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
310
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
311
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43446, ~: 48696)
312
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222911, ~: 216804)
313
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
314
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
315
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
316
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
317
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
318
+ [PASS] test_setPaused_Success() (gas: 45897)
319
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
320
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
321
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
322
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
323
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
324
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
325
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
326
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62832, ~: 73465)
327
+ [PASS] test_storageHash() (gas: 3392)
328
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
329
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
330
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
331
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
332
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
333
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
334
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 362.80ms (805.95ms CPU time)
224
335
 
225
336
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
226
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26683, ~: 12786)
337
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27079, ~: 41090)
227
338
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
228
339
  [PASS] test_assertNotPaused_Success() (gas: 12539)
229
340
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -234,7 +345,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
234
345
  [PASS] test_pause() (gas: 42109)
235
346
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
236
347
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
237
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30590, ~: 42378)
348
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
238
349
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
239
350
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
240
351
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -243,981 +354,867 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
243
354
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
244
355
  [PASS] test_storageHash() (gas: 3414)
245
356
  [PASS] test_unpause() (gas: 35177)
246
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41585, ~: 38860)
357
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
247
358
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
248
359
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
249
360
  [PASS] test_whenNotPaused_Success() (gas: 38800)
250
361
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
251
362
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
252
363
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
253
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 456.62ms (634.50ms CPU time)
364
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 935.18ms (231.93ms CPU time)
254
365
 
255
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
256
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
257
- [PASS] test_constructor_InitialMode() (gas: 15578)
258
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
259
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
260
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
261
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
262
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
263
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
264
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
265
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
266
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
267
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
268
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
269
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
270
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
271
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
272
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
273
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
274
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
275
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
276
- [PASS] test_setMode_Blacklist() (gas: 40021)
277
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
278
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
279
- [PASS] test_setMode_Whitelist() (gas: 40108)
280
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
281
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
282
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
283
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
284
- [PASS] test_storageHash() (gas: 3458)
285
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 3.71s (1.13s CPU time)
366
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
367
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
368
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
369
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45007, ~: 46317)
370
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
371
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
372
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
373
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
374
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
375
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
376
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
377
+ [PASS] test_getFee_Default() (gas: 40577)
378
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42800, ~: 44486)
379
+ [PASS] test_getFee_Rounding() (gas: 42835)
380
+ [PASS] test_getFee_Specific() (gas: 63968)
381
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
382
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
383
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32486, ~: 39667)
384
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
385
+ [PASS] test_setFeeBps() (gas: 73871)
386
+ Logs:
387
+ Bound result 500
286
388
 
287
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
288
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
289
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
290
- [PASS] test_assertNotPaused_Success() (gas: 14934)
291
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
292
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
293
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
294
- [PASS] test_isPaused_Default() (gas: 44698)
295
- [PASS] test_isPaused_InitialState() (gas: 22070)
296
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
297
- [PASS] test_isPaused_Override() (gas: 69381)
298
- [PASS] test_isPaused_Specific() (gas: 46709)
299
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
300
- [PASS] test_pauseConfig() (gas: 45626)
301
- [PASS] test_setDefaultPaused() (gas: 39667)
302
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
303
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
304
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
305
- [PASS] test_setPaused() (gas: 43060)
306
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
307
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38835, ~: 43373)
308
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
309
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
310
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
311
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58434, ~: 69608)
312
- [PASS] test_storageHash() (gas: 3480)
313
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
314
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
315
- [PASS] test_whenNotPaused_Success() (gas: 41297)
316
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
317
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
318
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
319
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.67s (1.26s CPU time)
389
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65919, ~: 74224)
390
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
391
+ [PASS] test_storageHash() (gas: 3426)
392
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 988.05ms (472.24ms CPU time)
320
393
 
321
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
394
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
395
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
396
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
397
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47408, ~: 48966)
398
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
399
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
400
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
401
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
402
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
403
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
404
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
405
+ [PASS] test_getFee_Default() (gas: 43108)
406
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45868, ~: 47017)
407
+ [PASS] test_getFee_Rounding() (gas: 45449)
408
+ [PASS] test_getFee_Specific() (gas: 66985)
409
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
410
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
411
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34575, ~: 42268)
412
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
413
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
414
+ [PASS] test_setFeeBps() (gas: 77237)
415
+ Logs:
416
+ Bound result 500
417
+
418
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67989, ~: 77570)
419
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
420
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
421
+ [PASS] test_storageHash() (gas: 3436)
422
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.16s (474.50ms CPU time)
423
+
424
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
322
425
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
323
426
 
324
427
  ╭-----------------------------------+---------------------+-------+---------+----------╮
325
428
  | Contract | Selector | Calls | Reverts | Discards |
326
429
  +======================================================================================+
327
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
430
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
328
431
  |-----------------------------------+---------------------+-------+---------+----------|
329
- | RateLimiterRBACUpgradeableHandler | outflow | 586 | 0 | 0 |
432
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
330
433
  |-----------------------------------+---------------------+-------+---------+----------|
331
- | RateLimiterRBACUpgradeableHandler | setConfig | 512 | 0 | 0 |
434
+ | RateLimiterRBACUpgradeableHandler | setConfig | 597 | 0 | 0 |
332
435
  |-----------------------------------+---------------------+-------+---------+----------|
333
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
436
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
334
437
  |-----------------------------------+---------------------+-------+---------+----------|
335
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
438
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 499 | 0 | 0 |
336
439
  |-----------------------------------+---------------------+-------+---------+----------|
337
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
338
441
  |-----------------------------------+---------------------+-------+---------+----------|
339
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
340
443
  ╰-----------------------------------+---------------------+-------+---------+----------╯
341
444
 
342
445
  Logs:
343
- Bound result 9917
344
- Bound result 514264337593504336252
345
- Bound result 14329
346
- Bound result 1
347
- Bound result 96353
348
- Bound result 169206340647467504
349
- Bound result 4412799199719995
446
+ Bound result 7960779857492496
447
+ Bound result 3603596333731031
350
448
  Bound result 0
351
- Bound result 6682
352
- Bound result 1699956277687849762335
353
449
  Bound result 514264337593504336253
354
- Bound result 0
355
- Bound result 17
356
- Bound result 1999752063114406744155
357
- Bound result 100360533218250
358
- Bound result 15
450
+ Bound result 4
451
+ Bound result 1
452
+ Bound result 1894
453
+ Bound result 7514
454
+ Bound result 1
455
+ Bound result 8848
456
+ Bound result 1799740830
457
+ Bound result 121
458
+ Bound result 257
459
+ Bound result 640
460
+ Bound result 65
359
461
 
360
462
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
361
463
 
362
464
  ╭-----------------------------------+---------------------+-------+---------+----------╮
363
465
  | Contract | Selector | Calls | Reverts | Discards |
364
466
  +======================================================================================+
365
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
467
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
366
468
  |-----------------------------------+---------------------+-------+---------+----------|
367
- | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
469
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
368
470
  |-----------------------------------+---------------------+-------+---------+----------|
369
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
471
+ | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
370
472
  |-----------------------------------+---------------------+-------+---------+----------|
371
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
473
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
372
474
  |-----------------------------------+---------------------+-------+---------+----------|
373
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
475
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
374
476
  |-----------------------------------+---------------------+-------+---------+----------|
375
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
477
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
376
478
  |-----------------------------------+---------------------+-------+---------+----------|
377
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
479
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
378
480
  ╰-----------------------------------+---------------------+-------+---------+----------╯
379
481
 
380
482
  Logs:
381
- Bound result 2417021052
382
- Bound result 6411
383
- Bound result 118271272
384
- Bound result 26572996
385
- Bound result 546590668860510745941
386
- Bound result 6906
387
- Bound result 9900000000000000008320
388
- Bound result 9900000000000000005999
389
- Bound result 7868
390
- Bound result 168
391
- Bound result 48244
483
+ Bound result 366
484
+ Bound result 5377
485
+ Bound result 3847
486
+ Bound result 1862695855040328015179
487
+ Bound result 115196192712768864
488
+ Bound result 0
489
+ Bound result 9900000028879014709142
490
+ Bound result 9900000000000031372597
491
+ Bound result 6239
492
+ Bound result 59
493
+ Bound result 19039966295916352934033
494
+ Bound result 10945
495
+ Bound result 0
496
+ Bound result 1
497
+ Bound result 9900000000000000010420
498
+ Bound result 9900000000000000003822
499
+ Bound result 175
500
+ Bound result 6640
501
+ Bound result 4633037697181195250888
502
+ Bound result 6029
503
+ Bound result 18333317841
392
504
 
393
505
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
394
506
 
395
507
  ╭-----------------------------------+---------------------+-------+---------+----------╮
396
508
  | Contract | Selector | Calls | Reverts | Discards |
397
509
  +======================================================================================+
398
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
510
+ | RateLimiterRBACUpgradeableHandler | inflow | 510 | 0 | 0 |
399
511
  |-----------------------------------+---------------------+-------+---------+----------|
400
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
512
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
401
513
  |-----------------------------------+---------------------+-------+---------+----------|
402
514
  | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
403
515
  |-----------------------------------+---------------------+-------+---------+----------|
404
- | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
516
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
405
517
  |-----------------------------------+---------------------+-------+---------+----------|
406
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
407
519
  |-----------------------------------+---------------------+-------+---------+----------|
408
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 585 | 0 | 0 |
520
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
409
521
  |-----------------------------------+---------------------+-------+---------+----------|
410
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
522
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
411
523
  ╰-----------------------------------+---------------------+-------+---------+----------╯
412
524
 
413
525
  Logs:
414
- Bound result 890
415
- Bound result 9493
416
- Bound result 6027
417
- Bound result 1244
418
- Bound result 55678474028
419
- Bound result 113295205378231431004
420
- Bound result 603
421
- Bound result 3057
422
- Bound result 1244
423
- Bound result 1
424
- Bound result 1259158851
425
- Bound result 37463
426
- Bound result 15599707876
427
- Bound result 727317950233
428
- Bound result 728
429
- Bound result 779
430
- Bound result 74596
431
- Bound result 8183
526
+ Bound result 6
527
+ Bound result 1267
528
+ Bound result 5128199855086
529
+ Bound result 1105
530
+ Bound result 9900007479682382490269
531
+ Bound result 9900156975457631111771
532
+ Bound result 4969
533
+ Bound result 9997
534
+ Bound result 13054316863859326129469
535
+ Bound result 333
536
+ Bound result 3031
537
+ Bound result 2851
538
+ Bound result 15012919058900666181050
539
+ Bound result 8983971490887623423063
540
+ Bound result 5386542460808352263196
541
+ Bound result 9996
542
+ Bound result 8949
543
+ Bound result 5669
544
+ Bound result 10313877831701988195960
432
545
 
433
546
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
434
547
 
435
548
  ╭-----------------------------------+---------------------+-------+---------+----------╮
436
549
  | Contract | Selector | Calls | Reverts | Discards |
437
550
  +======================================================================================+
438
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
551
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
439
552
  |-----------------------------------+---------------------+-------+---------+----------|
440
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
553
+ | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
441
554
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
555
+ | RateLimiterRBACUpgradeableHandler | setConfig | 602 | 0 | 0 |
443
556
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
557
+ | RateLimiterRBACUpgradeableHandler | setState | 509 | 0 | 0 |
445
558
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
559
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
447
560
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
561
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
449
562
  |-----------------------------------+---------------------+-------+---------+----------|
450
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
451
564
  ╰-----------------------------------+---------------------+-------+---------+----------╯
452
565
 
453
566
  Logs:
454
- Bound result 1289721589334596598671
455
- Bound result 9900000000000000003902
456
- Bound result 9900000000000000002158
457
- Bound result 8301
458
- Bound result 6529
459
- Bound result 6951122139389
460
- Bound result 1025833891334
461
- Bound result 861317724
462
- Bound result 0
463
- Bound result 3041954474
464
- Bound result 1151
465
- Bound result 1302
466
- Bound result 9216
467
- Bound result 9900000000000000000047
468
- Bound result 100000000000000000000
469
- Bound result 10
470
- Bound result 8287
471
- Bound result 1149717005859711966
567
+ Bound result 26
568
+ Bound result 2
569
+ Bound result 9008
570
+ Bound result 9900000000309057451152
571
+ Bound result 9900000000000004543553
572
+ Bound result 258
573
+ Bound result 7715
574
+ Bound result 6651
575
+ Bound result 2548544996695524539977
576
+ Bound result 5
577
+ Bound result 45
578
+ Bound result 24440092832084699
579
+ Bound result 7031
580
+ Bound result 4692
581
+ Bound result 15904060
582
+ Bound result 2227787277924931
583
+ Bound result 822
472
584
 
473
585
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
474
586
 
475
587
  ╭-----------------------------------+---------------------+-------+---------+----------╮
476
588
  | Contract | Selector | Calls | Reverts | Discards |
477
589
  +======================================================================================+
478
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
590
+ | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
479
591
  |-----------------------------------+---------------------+-------+---------+----------|
480
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
592
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
481
593
  |-----------------------------------+---------------------+-------+---------+----------|
482
- | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
594
+ | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
483
595
  |-----------------------------------+---------------------+-------+---------+----------|
484
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
596
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
485
597
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
487
599
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 579 | 0 | 0 |
489
601
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
491
603
  ╰-----------------------------------+---------------------+-------+---------+----------╯
492
604
 
493
605
  Logs:
494
- Bound result 1293
495
- Bound result 53
496
- Bound result 99645839873234
606
+ Bound result 230
607
+ Bound result 1703690006580855740955
608
+ Bound result 236598426716663867335
497
609
  Bound result 0
498
- Bound result 748
499
- Bound result 534896957
500
- Bound result 428
501
- Bound result 9900000000000907087676
502
- Bound result 6914264337593535947490
503
- Bound result 6596
504
- Bound result 395
505
- Bound result 9
506
- Bound result 10
610
+ Bound result 50
611
+ Bound result 226482114847958198
612
+ Bound result 1
613
+ Bound result 33732903213615463223
614
+ Bound result 6508
615
+ Bound result 1147
616
+ Bound result 1
617
+ Bound result 9900000000000000001288
618
+ Bound result 9900000000000000001236
619
+ Bound result 8869
620
+ Bound result 8386
621
+ Bound result 85
622
+ Bound result 6249958362683792
623
+ Bound result 0
624
+ Bound result 9008
625
+ Bound result 9900000000000000001560
626
+ Bound result 9900000000000000009767
627
+ Bound result 1291
628
+ Bound result 7902
507
629
 
508
630
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
509
631
 
510
632
  ╭-----------------------------------+---------------------+-------+---------+----------╮
511
633
  | Contract | Selector | Calls | Reverts | Discards |
512
634
  +======================================================================================+
513
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
635
+ | RateLimiterRBACUpgradeableHandler | inflow | 596 | 0 | 0 |
514
636
  |-----------------------------------+---------------------+-------+---------+----------|
515
- | RateLimiterRBACUpgradeableHandler | outflow | 525 | 0 | 0 |
637
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
516
638
  |-----------------------------------+---------------------+-------+---------+----------|
517
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
639
+ | RateLimiterRBACUpgradeableHandler | setConfig | 519 | 0 | 0 |
518
640
  |-----------------------------------+---------------------+-------+---------+----------|
519
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
641
+ | RateLimiterRBACUpgradeableHandler | setState | 492 | 0 | 0 |
520
642
  |-----------------------------------+---------------------+-------+---------+----------|
521
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
643
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 586 | 0 | 0 |
522
644
  |-----------------------------------+---------------------+-------+---------+----------|
523
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
645
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
524
646
  |-----------------------------------+---------------------+-------+---------+----------|
525
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
647
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
526
648
  ╰-----------------------------------+---------------------+-------+---------+----------╯
527
649
 
528
650
  Logs:
529
- Bound result 9900000000000000003676
530
- Bound result 9900000000000000008131
531
- Bound result 9898
532
- Bound result 9139
533
- Bound result 3350
534
- Bound result 1099511627778
535
- Bound result 0
536
- Bound result 16458776968849275742358
537
- Bound result 961060772265
538
- Bound result 0
539
- Bound result 11684
540
- Bound result 7064186584550165822817
541
- Bound result 30981
542
- Bound result 6684801627
543
- Bound result 10779857273809
544
- Bound result 1
545
- Bound result 8919
546
- Bound result 1
547
- Bound result 9900000000000058750637
548
- Bound result 9900002063759687105302
549
- Bound result 12
550
- Bound result 13
651
+ Bound result 339922882
652
+ Bound result 1664
653
+ Bound result 10721
654
+ Bound result 203005799
655
+ Bound result 1340
656
+ Bound result 1734
657
+ Bound result 4399
658
+ Bound result 8613
659
+ Bound result 2140
660
+ Bound result 629
661
+ Bound result 637
662
+ Bound result 10884469313600183
551
663
 
552
664
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
553
665
 
554
666
  ╭-----------------------------------+---------------------+-------+---------+----------╮
555
667
  | Contract | Selector | Calls | Reverts | Discards |
556
668
  +======================================================================================+
557
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
669
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
558
670
  |-----------------------------------+---------------------+-------+---------+----------|
559
- | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
671
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
560
672
  |-----------------------------------+---------------------+-------+---------+----------|
561
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
562
674
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
564
676
  |-----------------------------------+---------------------+-------+---------+----------|
565
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
566
678
  |-----------------------------------+---------------------+-------+---------+----------|
567
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
568
680
  |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | warp | 577 | 0 | 0 |
570
682
  ╰-----------------------------------+---------------------+-------+---------+----------╯
571
683
 
572
684
  Logs:
573
- Bound result 9900000000000000247167
574
- Bound result 9900000000000000000765
575
- Bound result 2787
576
- Bound result 10
577
- Bound result 9900000000000000006143
578
- Bound result 9900000000000000001231
579
- Bound result 7064
580
- Bound result 279
581
- Bound result 732
582
- Bound result 7108
583
- Bound result 9975
584
- Bound result 1310238
585
- Bound result 84
586
- Bound result 9900000000000033540520
587
- Bound result 9900000000000000005785
588
- Bound result 2928
589
- Bound result 1201
590
- Bound result 9424362193353174422707
591
- Bound result 9955
592
- Bound result 720
593
- Bound result 2162
594
- Bound result 9900000028142141643098
595
- Bound result 9900000000000000001137
596
- Bound result 6878
597
- Bound result 9551
598
- Bound result 2828
685
+ Bound result 63756776458711004278
686
+ Bound result 1413942588369422995547
687
+ Bound result 1047
688
+ Bound result 8821
689
+ Bound result 8625
690
+ Bound result 100000000000000000002
691
+ Bound result 9911252481384437365410
692
+ Bound result 2517
693
+ Bound result 797
694
+ Bound result 10322949130393321653620
695
+ Bound result 995
696
+ Bound result 257634185088284458722
697
+ Bound result 7
698
+ Bound result 6469720
699
+ Bound result 5553
700
+ Bound result 495
701
+ Bound result 1267
599
702
 
600
703
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
601
704
 
602
705
  ╭-----------------------------------+---------------------+-------+---------+----------╮
603
706
  | Contract | Selector | Calls | Reverts | Discards |
604
707
  +======================================================================================+
605
- | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
606
709
  |-----------------------------------+---------------------+-------+---------+----------|
607
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
710
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
608
711
  |-----------------------------------+---------------------+-------+---------+----------|
609
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
712
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
610
713
  |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
714
+ | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
612
715
  |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
716
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
614
717
  |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
718
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
616
719
  |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
720
+ | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
618
721
  ╰-----------------------------------+---------------------+-------+---------+----------╯
619
722
 
620
723
  Logs:
621
- Bound result 169
622
- Bound result 28
623
- Bound result 4241465416
624
- Bound result 9900000000000113355671
625
- Bound result 100000000000000000003
626
- Bound result 106
627
- Bound result 7712
628
- Bound result 5739
629
-
630
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.90s (25.46s CPU time)
631
-
632
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
633
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
634
- [PASS] test_constructor_InitialMode() (gas: 15778)
635
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
636
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
637
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
638
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
639
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
640
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
641
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
642
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
643
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
644
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
645
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
646
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
647
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
648
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
649
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
650
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
651
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
652
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
653
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
654
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
655
- [PASS] test_setMode_Blacklist() (gas: 42605)
656
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
657
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
658
- [PASS] test_setMode_Whitelist() (gas: 42714)
659
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
660
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
661
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
662
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
663
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
664
- [PASS] test_storageHash() (gas: 3480)
665
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 3.91s (1.54s CPU time)
724
+ Bound result 1596
725
+ Bound result 1545360160839082499329
726
+ Bound result 1293
727
+ Bound result 7056
728
+ Bound result 0
729
+ Bound result 185620631378999482448
730
+ Bound result 71776119061217280
731
+ Bound result 8226
732
+ Bound result 1
733
+ Bound result 1706
734
+ Bound result 1393385963794453214122
735
+ Bound result 726020907710655058735
736
+ Bound result 159
737
+ Bound result 891453513463382423985
738
+ Bound result 1668
739
+ Bound result 10144
740
+ Bound result 323
666
741
 
667
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
668
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
669
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
670
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
671
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
672
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
673
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
674
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
675
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
676
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
677
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
678
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
679
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
680
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
681
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
682
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
683
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
684
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
685
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
686
- [PASS] test_initial_state_closed() (gas: 2034659)
687
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
688
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
689
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
690
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
691
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
692
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
693
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
694
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
695
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
696
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
697
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
698
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
699
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
700
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
701
- [PASS] test_storageHash() (gas: 3414)
702
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
703
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 3.99s (33.09ms CPU time)
742
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.11s CPU time)
704
743
 
705
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
744
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
706
745
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
707
746
 
708
747
  ╭-----------------------------------+---------------------+-------+---------+----------╮
709
748
  | Contract | Selector | Calls | Reverts | Discards |
710
749
  +======================================================================================+
711
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
712
751
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
714
753
  |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
716
755
  |-----------------------------------+---------------------+-------+---------+----------|
717
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
756
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
718
757
  |-----------------------------------+---------------------+-------+---------+----------|
719
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
758
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
720
759
  |-----------------------------------+---------------------+-------+---------+----------|
721
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
760
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
722
761
  |-----------------------------------+---------------------+-------+---------+----------|
723
- | RateLimiterRBACUpgradeableHandler | warp | 508 | 0 | 0 |
762
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
724
763
  ╰-----------------------------------+---------------------+-------+---------+----------╯
725
764
 
726
765
  Logs:
727
- Bound result 28560136984746684
728
- Bound result 1852
729
- Bound result 1174695778571793399243
730
- Bound result 1905552603337303239921
731
- Bound result 491
732
- Bound result 2791547140
733
- Bound result 3536083551419386972980
734
- Bound result 9900000000000061476902
735
- Bound result 126
736
- Bound result 692
737
- Bound result 5937987443
738
- Bound result 9805552603337303240948
739
- Bound result 786873402991262449642
740
- Bound result 6242
741
- Bound result 2263
742
- Bound result 9900007694803512936441
743
- Bound result 9900001539671550473285
744
- Bound result 5123
745
- Bound result 2223
746
- Bound result 2246998951
747
- Bound result 8030
766
+ Bound result 9900000000000000005641
767
+ Bound result 9900000000002072215439
768
+ Bound result 7626
769
+ Bound result 3189
770
+ Bound result 4483527790391844799426
771
+ Bound result 11
772
+ Bound result 0
773
+ Bound result 419
774
+ Bound result 1126
775
+ Bound result 1
776
+ Bound result 1
777
+ Bound result 523
778
+ Bound result 2
779
+ Bound result 13251985344214860365721
780
+ Bound result 342534859
781
+ Bound result 38460521150941612342
782
+ Bound result 38
783
+ Bound result 861645592364745178020
784
+ Bound result 1065
785
+ Bound result 28
786
+ Bound result 3071
748
787
 
749
788
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
750
789
 
751
790
  ╭-----------------------------------+---------------------+-------+---------+----------╮
752
791
  | Contract | Selector | Calls | Reverts | Discards |
753
792
  +======================================================================================+
754
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | inflow | 603 | 0 | 0 |
755
794
  |-----------------------------------+---------------------+-------+---------+----------|
756
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | outflow | 490 | 0 | 0 |
757
796
  |-----------------------------------+---------------------+-------+---------+----------|
758
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
759
798
  |-----------------------------------+---------------------+-------+---------+----------|
760
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
761
800
  |-----------------------------------+---------------------+-------+---------+----------|
762
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
763
802
  |-----------------------------------+---------------------+-------+---------+----------|
764
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
803
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
765
804
  |-----------------------------------+---------------------+-------+---------+----------|
766
- | RateLimiterRBACUpgradeableHandler | warp | 593 | 0 | 0 |
805
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
767
806
  ╰-----------------------------------+---------------------+-------+---------+----------╯
768
807
 
769
808
  Logs:
770
- Bound result 2079
771
- Bound result 7803
772
- Bound result 222340153466628
773
- Bound result 3094529715993077139
774
- Bound result 1
775
- Bound result 110
776
- Bound result 4202047188
777
- Bound result 36
778
- Bound result 107
779
- Bound result 3414
780
- Bound result 9900001252822882376279
781
- Bound result 9900000000000000000196
782
- Bound result 852
783
- Bound result 11
784
- Bound result 17002720153760777531126
785
- Bound result 12627045534973773425873
786
- Bound result 50
787
- Bound result 9893094692
788
- Bound result 14450844883773801234274
789
- Bound result 25
790
- Bound result 14450844883773801248043
791
- Bound result 28139
792
- Bound result 1703202149
793
- Bound result 29
809
+ Bound result 9900000000000000001085
810
+ Bound result 9900000000000000001788
811
+ Bound result 7505
812
+ Bound result 916
813
+ Bound result 3602752116
814
+ Bound result 202
815
+ Bound result 97
816
+ Bound result 7182
817
+ Bound result 9900000000000000000565
818
+ Bound result 9900000000000000001247
819
+ Bound result 9633
820
+ Bound result 1234
821
+ Bound result 10277
822
+ Bound result 2360567736083194263427
794
823
 
795
824
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
796
825
 
797
826
  ╭-----------------------------------+---------------------+-------+---------+----------╮
798
827
  | Contract | Selector | Calls | Reverts | Discards |
799
828
  +======================================================================================+
800
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
829
+ | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
801
830
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
803
832
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | setConfig | 524 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
805
834
  |-----------------------------------+---------------------+-------+---------+----------|
806
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
807
836
  |-----------------------------------+---------------------+-------+---------+----------|
808
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
809
838
  |-----------------------------------+---------------------+-------+---------+----------|
810
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
811
840
  |-----------------------------------+---------------------+-------+---------+----------|
812
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
813
842
  ╰-----------------------------------+---------------------+-------+---------+----------╯
814
843
 
815
844
  Logs:
816
- Bound result 233
817
- Bound result 3520
818
- Bound result 0
819
- Bound result 9900000000000031117557
820
- Bound result 9900000000000000010811
821
- Bound result 1340
822
- Bound result 2437
845
+ Bound result 1004690934450
823
846
  Bound result 1
824
- Bound result 9900000000000000002315
825
- Bound result 9900000000000000002334
826
- Bound result 2980
827
- Bound result 372
828
- Bound result 1031
829
- Bound result 357094978
830
- Bound result 16275783827679738
831
- Bound result 29059407191
832
- Bound result 5359547517205941317792
833
- Bound result 0
834
- Bound result 18
835
- Bound result 6946150086066
836
- Bound result 143
837
- Bound result 1058274727988249
838
- Bound result 9900000000000000061560
839
- Bound result 9900000000000000000008
840
- Bound result 9975
841
- Bound result 7813
842
- Bound result 1104
843
- Bound result 4192
847
+ Bound result 1
848
+ Bound result 86
849
+ Bound result 401
850
+ Bound result 9900000000000000106716
851
+ Bound result 100000000000000000000
852
+ Bound result 9934
853
+ Bound result 10000
854
+ Bound result 3023
855
+ Bound result 3803
856
+ Bound result 1
857
+ Bound result 9900000000003371243721
858
+ Bound result 100000000000000000001
859
+ Bound result 5105
860
+ Bound result 6167
861
+ Bound result 100000000000000000000
862
+ Bound result 8704725520118303809278
863
+ Bound result 285
864
+ Bound result 2310
865
+ Bound result 80
866
+ Bound result 2417021053
867
+ Bound result 7491
868
+ Bound result 4116
869
+ Bound result 2324
844
870
 
845
871
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
846
872
 
847
873
  ╭-----------------------------------+---------------------+-------+---------+----------╮
848
874
  | Contract | Selector | Calls | Reverts | Discards |
849
875
  +======================================================================================+
850
- | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
851
877
  |-----------------------------------+---------------------+-------+---------+----------|
852
- | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
853
879
  |-----------------------------------+---------------------+-------+---------+----------|
854
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
855
881
  |-----------------------------------+---------------------+-------+---------+----------|
856
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
857
883
  |-----------------------------------+---------------------+-------+---------+----------|
858
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
859
885
  |-----------------------------------+---------------------+-------+---------+----------|
860
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
886
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
861
887
  |-----------------------------------+---------------------+-------+---------+----------|
862
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
863
889
  ╰-----------------------------------+---------------------+-------+---------+----------╯
864
890
 
865
891
  Logs:
866
- Bound result 1529607345874726805801
867
- Bound result 281689380042
868
- Bound result 1
869
- Bound result 2038094189372
870
- Bound result 1145227586244587372880
871
- Bound result 11483975856814236798
872
- Bound result 1
873
- Bound result 9900000000012117851112
874
- Bound result 9900000010561282953280
875
- Bound result 8727
876
- Bound result 5325
877
- Bound result 7411
878
- Bound result 3352
879
- Bound result 0
880
- Bound result 8609167568293329509
881
- Bound result 2015
882
- Bound result 1600246865463284
883
- Bound result 6914167360321475386385
884
- Bound result 18776955064345741961484
892
+ Bound result 87831617738623274005
893
+ Bound result 9900000000000000008340
894
+ Bound result 9900000000003689055019
895
+ Bound result 1849
896
+ Bound result 100
885
897
  Bound result 4
886
- Bound result 9900000000000000009151
887
- Bound result 9900000000000000000437
888
- Bound result 1003
889
- Bound result 9682
890
- Bound result 1676
898
+ Bound result 0
899
+ Bound result 0
900
+ Bound result 2135636935420509
901
+ Bound result 32100998459320292
902
+ Bound result 1
903
+ Bound result 971334
904
+ Bound result 564
905
+ Bound result 3124842405
906
+ Bound result 10707
907
+ Bound result 58
908
+ Bound result 281273876
909
+ Bound result 392401227
910
+ Bound result 3154640557
911
+ Bound result 386
912
+ Bound result 9072
913
+ Bound result 9176
914
+ Bound result 274
915
+ Bound result 29
916
+ Bound result 6914234814661719476299
891
917
 
892
918
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
893
919
 
894
920
  ╭-----------------------------------+---------------------+-------+---------+----------╮
895
921
  | Contract | Selector | Calls | Reverts | Discards |
896
922
  +======================================================================================+
897
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
898
924
  |-----------------------------------+---------------------+-------+---------+----------|
899
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
900
926
  |-----------------------------------+---------------------+-------+---------+----------|
901
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
902
928
  |-----------------------------------+---------------------+-------+---------+----------|
903
- | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
904
930
  |-----------------------------------+---------------------+-------+---------+----------|
905
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
906
932
  |-----------------------------------+---------------------+-------+---------+----------|
907
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
908
934
  |-----------------------------------+---------------------+-------+---------+----------|
909
- | RateLimiterRBACUpgradeableHandler | warp | 598 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
910
936
  ╰-----------------------------------+---------------------+-------+---------+----------╯
911
937
 
912
938
  Logs:
913
- Bound result 56587054574224038380
914
- Bound result 112295
915
- Bound result 1
916
- Bound result 954
917
- Bound result 219
918
- Bound result 8793
919
- Bound result 52
920
- Bound result 1911
921
- Bound result 5615067107645317276
922
- Bound result 1091433953130072290602
923
- Bound result 30
924
- Bound result 632
925
- Bound result 4113
926
- Bound result 157
939
+ Bound result 3805
940
+ Bound result 2
941
+ Bound result 34
942
+ Bound result 9900000000000000006934
943
+ Bound result 9900000000000000037508
944
+ Bound result 6889
945
+ Bound result 2945
946
+ Bound result 7283865150137950151152
947
+ Bound result 20847412073672691410
948
+ Bound result 1613
949
+ Bound result 2578
927
950
 
928
951
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
929
952
 
930
953
  ╭-----------------------------------+---------------------+-------+---------+----------╮
931
954
  | Contract | Selector | Calls | Reverts | Discards |
932
955
  +======================================================================================+
933
- | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
956
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
934
957
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | outflow | 516 | 0 | 0 |
958
+ | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
936
959
  |-----------------------------------+---------------------+-------+---------+----------|
937
- | RateLimiterRBACUpgradeableHandler | setConfig | 606 | 0 | 0 |
960
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
938
961
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | setState | 517 | 0 | 0 |
962
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
940
963
  |-----------------------------------+---------------------+-------+---------+----------|
941
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
942
965
  |-----------------------------------+---------------------+-------+---------+----------|
943
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
944
967
  |-----------------------------------+---------------------+-------+---------+----------|
945
968
  | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
946
969
  ╰-----------------------------------+---------------------+-------+---------+----------╯
947
970
 
948
971
  Logs:
949
- Bound result 118551139
950
- Bound result 50
951
- Bound result 744
952
- Bound result 6914264337593535947490
953
- Bound result 7883777728127644451700
954
- Bound result 1798
955
- Bound result 6242
956
- Bound result 9900000000000000004657
957
- Bound result 9900000000000000000784
958
- Bound result 1806
959
- Bound result 2960
960
- Bound result 3954
961
- Bound result 3996
962
- Bound result 775
963
- Bound result 100000000000000000000
964
- Bound result 9901619135953819967293
965
- Bound result 9441
966
- Bound result 5258
967
- Bound result 910532549166378892957
968
- Bound result 2523068423147604035088
969
- Bound result 130
970
- Bound result 13
971
- Bound result 1234
972
- Bound result 706
973
- Bound result 8942
974
- Bound result 101
975
- Bound result 4617347904583577432887
972
+ Bound result 14
973
+ Bound result 1099511627774
974
+ Bound result 1000
975
+ Bound result 9900000000000177362149
976
+ Bound result 9900000000000000001500
977
+ Bound result 6597
978
+ Bound result 3150
979
+ Bound result 9900000000000000001267
980
+ Bound result 7128908485049496027700
981
+ Bound result 229
982
+ Bound result 759
983
+ Bound result 6843097594229253763904
984
+ Bound result 333
985
+ Bound result 171
986
+ Bound result 11502844916362272011532
987
+ Bound result 6359
988
+ Bound result 9900000000000000006868
989
+ Bound result 9900000000000000002950
990
+ Bound result 6658
991
+ Bound result 4016
992
+ Bound result 2929
993
+ Bound result 6284
994
+ Bound result 340
995
+ Bound result 11864368352939284175179
996
+ Bound result 5202
997
+ Bound result 6933
998
+ Bound result 4617
999
+ Bound result 1748
976
1000
 
977
1001
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
978
1002
 
979
1003
  ╭-----------------------------------+---------------------+-------+---------+----------╮
980
1004
  | Contract | Selector | Calls | Reverts | Discards |
981
1005
  +======================================================================================+
982
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1006
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
983
1007
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
1008
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
985
1009
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
1010
+ | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
987
1011
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
989
1013
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
991
1015
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
993
1017
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1018
+ | RateLimiterRBACUpgradeableHandler | warp | 578 | 0 | 0 |
995
1019
  ╰-----------------------------------+---------------------+-------+---------+----------╯
996
1020
 
997
1021
  Logs:
998
- Bound result 640
999
- Bound result 1297
1000
- Bound result 940007554129970160690
1001
- Bound result 9900000000000000000014
1002
- Bound result 5324517840806910671458
1003
- Bound result 1203
1004
- Bound result 2485
1005
- Bound result 3711
1006
- Bound result 9556354957201953382913
1007
- Bound result 9900000001180442916417
1008
- Bound result 9785
1009
- Bound result 21
1010
- Bound result 9328
1011
- Bound result 17317111715800699352597
1012
- Bound result 8105
1013
- Bound result 6904817437082553660385
1014
- Bound result 16205714336120734538111
1015
- Bound result 43356425354532
1022
+ Bound result 514
1023
+ Bound result 3119
1024
+ Bound result 3857
1025
+ Bound result 17
1026
+ Bound result 956535519286121316
1027
+ Bound result 514264337593543950333
1028
+ Bound result 568
1029
+ Bound result 764
1030
+ Bound result 514264337593504336251
1031
+ Bound result 3369
1032
+ Bound result 477
1033
+ Bound result 9947149124518798147273
1034
+ Bound result 5867842060202378203358
1035
+ Bound result 10
1036
+ Bound result 1467
1037
+ Bound result 9900000000000000001219
1038
+ Bound result 9900000000000000000032
1039
+ Bound result 1286
1040
+ Bound result 1008
1041
+ Bound result 1
1042
+ Bound result 6079629382307150917579
1043
+ Bound result 9900000000000133869906
1044
+ Bound result 9900000000000000000005
1045
+ Bound result 140
1046
+ Bound result 10
1016
1047
 
1017
1048
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1018
1049
 
1019
1050
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1020
1051
  | Contract | Selector | Calls | Reverts | Discards |
1021
1052
  +======================================================================================+
1022
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
1023
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1024
- | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1025
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1026
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1027
1058
  |-----------------------------------+---------------------+-------+---------+----------|
1028
- | RateLimiterRBACUpgradeableHandler | setState | 582 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | setState | 507 | 0 | 0 |
1029
1060
  |-----------------------------------+---------------------+-------+---------+----------|
1030
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1031
1062
  |-----------------------------------+---------------------+-------+---------+----------|
1032
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1063
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1033
1064
  |-----------------------------------+---------------------+-------+---------+----------|
1034
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
1035
1066
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1036
1067
 
1037
1068
  Logs:
1038
- Bound result 1
1039
- Bound result 9900000000000000037486
1040
- Bound result 9900000000000000010558
1041
- Bound result 3775
1042
- Bound result 2788
1043
- Bound result 8
1044
- Bound result 33787
1045
- Bound result 9900000000000000000022
1046
- Bound result 9900000000001799740832
1047
- Bound result 8338
1048
- Bound result 752
1049
- Bound result 76122626670415699186
1050
- Bound result 9900000062872391356745
1051
- Bound result 6870471228488779837948
1052
- Bound result 6240
1053
- Bound result 3254
1054
- Bound result 10285
1055
- Bound result 28
1056
- Bound result 375843440572353
1057
- Bound result 1
1058
- Bound result 1917
1059
- Bound result 40589534639
1060
- Bound result 1
1061
-
1062
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.99s (21.35s CPU time)
1063
-
1064
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1065
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1066
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1067
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1068
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1069
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1070
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1071
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1072
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1073
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1074
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1075
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1076
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1077
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1078
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1079
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1080
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1081
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1082
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1083
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1084
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1085
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1086
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1087
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1088
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1089
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1090
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1091
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1092
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1093
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1094
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1095
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1096
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1097
- [PASS] test_storageHash() (gas: 3380)
1098
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 4.00s (1.17s CPU time)
1099
-
1100
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1101
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1102
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1103
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1104
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1105
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1106
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1107
- [PASS] test_isPaused_Default() (gas: 47316)
1108
- [PASS] test_isPaused_InitialState() (gas: 22172)
1109
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1110
- [PASS] test_isPaused_Override() (gas: 75171)
1111
- [PASS] test_isPaused_Specific() (gas: 50105)
1112
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1113
- [PASS] test_pauseConfig() (gas: 51028)
1114
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1115
- [PASS] test_setDefaultPaused() (gas: 42196)
1116
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30777, ~: 42446)
1117
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1118
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1119
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1120
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1121
- [PASS] test_setPaused() (gas: 48361)
1122
- [PASS] test_setPaused_DormantData() (gas: 295234)
1123
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1124
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1125
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43803, ~: 48533)
1126
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223487, ~: 216804)
1127
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1128
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1129
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1130
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1131
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1132
- [PASS] test_setPaused_Success() (gas: 45897)
1133
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1134
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1135
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1136
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1137
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1138
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1139
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1140
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61965, ~: 50341)
1141
- [PASS] test_storageHash() (gas: 3392)
1142
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1143
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1144
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1145
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1146
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1147
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1148
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 18.46s (2.39s CPU time)
1069
+ Bound result 328908485049502411708
1070
+ Bound result 100000000000000000001
1071
+ Bound result 1286743236518153167516
1072
+ Bound result 11
1073
+ Bound result 4499
1074
+ Bound result 651
1075
+ Bound result 3547597611071929
1076
+ Bound result 2891
1077
+ Bound result 483846257
1078
+ Bound result 9900000000000000008525
1079
+ Bound result 9900000000000000000536
1080
+ Bound result 4872
1081
+ Bound result 5404
1082
+ Bound result 2330546047620950
1083
+ Bound result 2987582011
1084
+ Bound result 10796
1085
+ Bound result 7848056753358785224662
1086
+ Bound result 6324530368159110528920
1087
+ Bound result 0
1149
1088
 
1150
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1151
- [PASS] test_feeDeposit() (gas: 17638)
1152
- [PASS] test_setFeeDeposit() (gas: 27596)
1153
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
1154
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1155
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1156
- [PASS] test_storageHash() (gas: 3315)
1157
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 18.47s (225.24ms CPU time)
1089
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.12s CPU time)
1158
1090
 
1159
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1160
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1161
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1162
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44607, ~: 46317)
1163
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1164
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1165
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1166
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1167
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1168
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1169
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1170
- [PASS] test_getFee_Default() (gas: 40577)
1171
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43129, ~: 44486)
1172
- [PASS] test_getFee_Rounding() (gas: 42835)
1173
- [PASS] test_getFee_Specific() (gas: 63968)
1174
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1175
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1176
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32748, ~: 39667)
1177
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1178
- [PASS] test_setFeeBps() (gas: 73871)
1179
- Logs:
1180
- Bound result 500
1091
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1092
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1093
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1094
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1095
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1096
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1097
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1098
+ [PASS] test_isPaused_Default() (gas: 44698)
1099
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1100
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1101
+ [PASS] test_isPaused_Override() (gas: 69381)
1102
+ [PASS] test_isPaused_Specific() (gas: 46709)
1103
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1104
+ [PASS] test_pauseConfig() (gas: 45626)
1105
+ [PASS] test_setDefaultPaused() (gas: 39667)
1106
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27417, ~: 16332)
1107
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1108
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1109
+ [PASS] test_setPaused() (gas: 43060)
1110
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1111
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38537, ~: 43373)
1112
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1113
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1114
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1115
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58411, ~: 69608)
1116
+ [PASS] test_storageHash() (gas: 3480)
1117
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1118
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1119
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1120
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1121
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1122
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1123
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 16.76s (296.05ms CPU time)
1181
1124
 
1182
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65149, ~: 74224)
1183
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1184
- [PASS] test_storageHash() (gas: 3426)
1185
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 18.47s (1.26s CPU time)
1125
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1126
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1127
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1128
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1129
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1130
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1131
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1132
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1133
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1134
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1135
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
1136
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1137
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1138
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1139
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1140
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1141
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1142
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1143
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1144
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1145
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1146
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1147
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1148
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1149
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1150
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1151
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1152
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1153
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1154
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1155
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1156
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1157
+ [PASS] test_storageHash() (gas: 3480)
1158
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 16.76s (540.20ms CPU time)
1186
1159
 
1187
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1188
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1189
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1190
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47786, ~: 48966)
1191
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1192
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1193
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1194
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1195
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1196
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1197
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1198
- [PASS] test_getFee_Default() (gas: 43108)
1199
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45520, ~: 47017)
1200
- [PASS] test_getFee_Rounding() (gas: 45449)
1201
- [PASS] test_getFee_Specific() (gas: 66985)
1202
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1203
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1204
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35268, ~: 42268)
1205
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1206
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1207
- [PASS] test_setFeeBps() (gas: 77237)
1208
- Logs:
1209
- Bound result 500
1160
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1161
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1162
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1163
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1164
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1165
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1166
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1167
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1168
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1169
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1170
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1171
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1172
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1173
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1174
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1175
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1176
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1177
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1178
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1179
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1180
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1181
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1182
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1183
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1184
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1185
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1186
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1187
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1188
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1189
+ [PASS] test_storageHash() (gas: 3458)
1190
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.76s (631.70ms CPU time)
1210
1191
 
1211
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69286, ~: 77570)
1212
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1213
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1214
- [PASS] test_storageHash() (gas: 3436)
1215
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 18.47s (1.04s CPU time)
1192
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1193
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26267, ~: 38584)
1194
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1195
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
1196
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1197
+ [PASS] test_isPaused_InitialState() (gas: 15595)
1198
+ [PASS] test_pause() (gas: 39592)
1199
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28110, ~: 39861)
1200
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1201
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1202
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1203
+ [PASS] test_storageHash() (gas: 3414)
1204
+ [PASS] test_unpause() (gas: 31115)
1205
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40473, ~: 42029)
1206
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1207
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1208
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
1209
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1210
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1211
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1212
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 16.77s (181.39ms CPU time)
1216
1213
 
1217
1214
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1218
1215
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1219
1216
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1220
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 810546, ~: 219651)
1217
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 837402, ~: 309211)
1221
1218
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1222
1219
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1223
1220
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1230,12 +1227,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1230
1227
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1231
1228
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1232
1229
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1233
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11216422, ~: 10531129)
1230
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11241068, ~: 10510326)
1234
1231
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1235
1232
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1236
1233
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1237
1234
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1238
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 709584, ~: 141774)
1235
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 762885, ~: 169505)
1239
1236
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1240
1237
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1241
1238
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1248,10 +1245,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1248
1245
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1249
1246
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1250
1247
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1251
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11163137, ~: 10452137)
1248
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11186011, ~: 10497398)
1252
1249
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1253
1250
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1254
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 18.62s (46.83s CPU time)
1251
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.77s (38.23s CPU time)
1255
1252
 
1256
- Ran 17 test suites in 18.65s (121.28s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1257
- ⏳ forge test: 40.712s
1253
+ Ran 17 test suites in 16.83s (90.44s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1254
+ ⏳ forge test: 35.999s