@layerzerolabs/utils-upgradeable-evm-contracts 0.2.100 → 0.2.102

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/.turbo/turbo-lint.log +1 -340
  2. package/.turbo/turbo-test.log +711 -679
  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: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.
8
+ (node:151028) [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 16.40s
16
+ Solc 0.8.22 finished in 14.36s
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:
@@ -172,7 +172,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
172
172
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
173
  [PASS] test_storageHash() (gas: 3414)
174
174
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 11.37ms (8.32ms CPU time)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 22.57ms (17.79ms CPU time)
176
176
 
177
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -215,73 +215,93 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
216
  [PASS] test_storageHash() (gas: 3392)
217
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 29.15ms (21.18ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 70.04ms (54.52ms CPU time)
219
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)
220
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
221
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26371, ~: 12786)
222
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
223
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
224
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
225
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
226
+ [PASS] test_isPaused_InitialState() (gas: 15629)
227
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
228
+ [PASS] test_multipleRoleGrants() (gas: 394130)
229
+ [PASS] test_pause() (gas: 42109)
230
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
231
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
232
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30212, ~: 18756)
233
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
234
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
235
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
236
+ [PASS] test_setPaused_Success() (gas: 40691)
237
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
238
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
239
+ [PASS] test_storageHash() (gas: 3414)
240
+ [PASS] test_unpause() (gas: 35177)
241
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41590, ~: 38860)
242
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
243
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
244
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
245
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
246
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
247
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
248
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 233.53ms (462.25ms CPU time)
236
249
 
237
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
239
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
240
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
241
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
242
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
243
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
244
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
245
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
246
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
247
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
248
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 139.12ms (138.93ms CPU time)
250
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
251
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25647, ~: 12763)
252
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
253
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
254
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
255
+ [PASS] test_isPaused_InitialState() (gas: 15595)
256
+ [PASS] test_pause() (gas: 39592)
257
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27945, ~: 16219)
258
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
259
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
260
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
261
+ [PASS] test_storageHash() (gas: 3414)
262
+ [PASS] test_unpause() (gas: 31115)
263
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40442, ~: 38893)
264
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
265
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
266
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
267
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
268
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
269
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
270
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 507.93ms (800.77ms CPU time)
249
271
 
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)
272
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
273
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
274
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
275
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
276
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
277
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
278
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
279
+ [PASS] test_isPaused_Default() (gas: 44698)
280
+ [PASS] test_isPaused_InitialState() (gas: 22070)
281
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
282
+ [PASS] test_isPaused_Override() (gas: 69381)
283
+ [PASS] test_isPaused_Specific() (gas: 46709)
284
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
285
+ [PASS] test_pauseConfig() (gas: 45626)
286
+ [PASS] test_setDefaultPaused() (gas: 39667)
287
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27205, ~: 16332)
288
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
289
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
290
+ [PASS] test_setPaused() (gas: 43060)
291
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
292
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38358, ~: 43373)
293
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
294
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
295
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
296
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57913, ~: 46989)
297
+ [PASS] test_storageHash() (gas: 3480)
298
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
299
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
300
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
301
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
302
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
303
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
304
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 654.35ms (1.37s CPU time)
285
305
 
286
306
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
287
307
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -299,7 +319,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
299
319
  [PASS] test_pauseConfig() (gas: 51028)
300
320
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
301
321
  [PASS] test_setDefaultPaused() (gas: 42196)
302
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30612, ~: 18826)
322
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29714, ~: 18826)
303
323
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
304
324
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
305
325
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -308,8 +328,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
308
328
  [PASS] test_setPaused_DormantData() (gas: 295234)
309
329
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
310
330
  [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)
331
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43967, ~: 48696)
332
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223502, ~: 219722)
313
333
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
314
334
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
315
335
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -323,7 +343,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
323
343
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
324
344
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
325
345
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
326
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62832, ~: 73465)
346
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62102, ~: 50341)
327
347
  [PASS] test_storageHash() (gas: 3392)
328
348
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
329
349
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -331,42 +351,56 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
331
351
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
332
352
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
333
353
  [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)
354
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 713.88ms (1.03s CPU time)
335
355
 
336
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
337
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27079, ~: 41090)
338
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
339
- [PASS] test_assertNotPaused_Success() (gas: 12539)
340
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
341
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
342
- [PASS] test_isPaused_InitialState() (gas: 15629)
343
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
344
- [PASS] test_multipleRoleGrants() (gas: 394130)
345
- [PASS] test_pause() (gas: 42109)
346
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
347
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
348
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30614, ~: 42378)
349
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
350
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
351
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
352
- [PASS] test_setPaused_Success() (gas: 40691)
353
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
354
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
355
- [PASS] test_storageHash() (gas: 3414)
356
- [PASS] test_unpause() (gas: 35177)
357
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41793, ~: 44479)
358
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
359
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
360
- [PASS] test_whenNotPaused_Success() (gas: 38800)
361
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
362
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
363
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
364
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 935.18ms (231.93ms CPU time)
356
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
357
+ [PASS] test_feeDeposit() (gas: 17576)
358
+ [PASS] test_setFeeDeposit() (gas: 24995)
359
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
360
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
361
+ [PASS] test_storageHash() (gas: 3337)
362
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 727.79ms (341.93ms CPU time)
363
+
364
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
365
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
366
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
367
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
368
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
369
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
370
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
371
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
372
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
373
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
374
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
375
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
376
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
377
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
378
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
379
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
380
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
381
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
382
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
383
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
384
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
385
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
386
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
387
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
388
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
389
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
390
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
391
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
392
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
393
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
394
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
395
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
396
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
397
+ [PASS] test_storageHash() (gas: 3380)
398
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 920.61ms (1.14s CPU time)
365
399
 
366
400
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
367
401
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
368
402
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
369
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45007, ~: 46317)
403
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45050, ~: 46317)
370
404
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
371
405
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
372
406
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -375,846 +409,782 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
375
409
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
376
410
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
377
411
  [PASS] test_getFee_Default() (gas: 40577)
378
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42800, ~: 44486)
412
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43363, ~: 44486)
379
413
  [PASS] test_getFee_Rounding() (gas: 42835)
380
414
  [PASS] test_getFee_Specific() (gas: 63968)
381
415
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
382
416
  [PASS] test_setDefaultFeeBps() (gas: 39576)
383
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32486, ~: 39667)
417
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32276, ~: 39667)
384
418
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
385
419
  [PASS] test_setFeeBps() (gas: 73871)
386
420
  Logs:
387
421
  Bound result 500
388
422
 
389
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65919, ~: 74224)
423
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65836, ~: 74224)
390
424
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
391
425
  [PASS] test_storageHash() (gas: 3426)
392
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 988.05ms (472.24ms CPU time)
426
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.96s (1.01s CPU time)
393
427
 
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)
428
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
429
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
430
+ [PASS] test_constructor_InitialMode() (gas: 15778)
431
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
432
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
433
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
434
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
435
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
436
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
437
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
438
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
439
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
440
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
441
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
442
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
443
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
444
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
445
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
446
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
447
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
448
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
449
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
450
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
451
+ [PASS] test_setMode_Blacklist() (gas: 42605)
452
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
453
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
454
+ [PASS] test_setMode_Whitelist() (gas: 42714)
455
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
456
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
457
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
458
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
459
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
460
+ [PASS] test_storageHash() (gas: 3480)
461
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 2.07s (1.04s CPU time)
423
462
 
424
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
463
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
425
464
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
426
465
 
427
466
  ╭-----------------------------------+---------------------+-------+---------+----------╮
428
467
  | Contract | Selector | Calls | Reverts | Discards |
429
468
  +======================================================================================+
430
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
469
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
431
470
  |-----------------------------------+---------------------+-------+---------+----------|
432
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
471
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
433
472
  |-----------------------------------+---------------------+-------+---------+----------|
434
- | RateLimiterRBACUpgradeableHandler | setConfig | 597 | 0 | 0 |
473
+ | RateLimiterRBACUpgradeableHandler | setConfig | 598 | 0 | 0 |
435
474
  |-----------------------------------+---------------------+-------+---------+----------|
436
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
475
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
437
476
  |-----------------------------------+---------------------+-------+---------+----------|
438
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 499 | 0 | 0 |
477
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
439
478
  |-----------------------------------+---------------------+-------+---------+----------|
440
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
479
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 491 | 0 | 0 |
441
480
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
481
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
443
482
  ╰-----------------------------------+---------------------+-------+---------+----------╯
444
483
 
445
484
  Logs:
446
- Bound result 7960779857492496
447
- Bound result 3603596333731031
448
- Bound result 0
449
- Bound result 514264337593504336253
450
- Bound result 4
485
+ Bound result 25854307922
486
+ Bound result 1011120115219896660928
451
487
  Bound result 1
452
- Bound result 1894
453
- Bound result 7514
488
+ Bound result 4294967296
489
+ Bound result 3901
490
+ Bound result 8191
454
491
  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
492
+ Bound result 9900000000000000004653
493
+ Bound result 9900000000000000000831
494
+ Bound result 1788
495
+ Bound result 7553
496
+ Bound result 1275
497
+ Bound result 794
498
+ Bound result 564305330298
499
+ Bound result 5
500
+ Bound result 177274135444381751000
501
+ Bound result 100000000000000000000
502
+ Bound result 6914264337593535947488
503
+ Bound result 10
504
+ Bound result 2507
505
+ Bound result 115
506
+ Bound result 925000269
507
+ Bound result 128526922
508
+ Bound result 5462
509
+ Bound result 3035
461
510
 
462
511
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
463
512
 
464
513
  ╭-----------------------------------+---------------------+-------+---------+----------╮
465
514
  | Contract | Selector | Calls | Reverts | Discards |
466
515
  +======================================================================================+
467
- | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
516
+ | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
468
517
  |-----------------------------------+---------------------+-------+---------+----------|
469
- | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
518
+ | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
470
519
  |-----------------------------------+---------------------+-------+---------+----------|
471
- | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
520
+ | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
472
521
  |-----------------------------------+---------------------+-------+---------+----------|
473
- | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
522
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
474
523
  |-----------------------------------+---------------------+-------+---------+----------|
475
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 575 | 0 | 0 |
524
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 514 | 0 | 0 |
476
525
  |-----------------------------------+---------------------+-------+---------+----------|
477
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
478
527
  |-----------------------------------+---------------------+-------+---------+----------|
479
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
480
529
  ╰-----------------------------------+---------------------+-------+---------+----------╯
481
530
 
482
531
  Logs:
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
532
+ Bound result 9900000000110154335655
533
+ Bound result 9519368427399890867031
534
+ Bound result 52
535
+ Bound result 1003
536
+ Bound result 9900000000000000009571
537
+ Bound result 9900000000000000008553
538
+ Bound result 8106
539
+ Bound result 768
540
+ Bound result 809
541
+ Bound result 21
542
+ Bound result 3542
543
+ Bound result 6286
544
+ Bound result 9900000000000000001226
545
+ Bound result 9900000000000000009852
546
+ Bound result 6164
547
+ Bound result 1548
548
+ Bound result 233
549
+ Bound result 110154335654
504
550
 
505
551
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
506
552
 
507
553
  ╭-----------------------------------+---------------------+-------+---------+----------╮
508
554
  | Contract | Selector | Calls | Reverts | Discards |
509
555
  +======================================================================================+
510
- | RateLimiterRBACUpgradeableHandler | inflow | 510 | 0 | 0 |
556
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
511
557
  |-----------------------------------+---------------------+-------+---------+----------|
512
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
558
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
513
559
  |-----------------------------------+---------------------+-------+---------+----------|
514
- | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
560
+ | RateLimiterRBACUpgradeableHandler | setConfig | 598 | 0 | 0 |
515
561
  |-----------------------------------+---------------------+-------+---------+----------|
516
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
562
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
517
563
  |-----------------------------------+---------------------+-------+---------+----------|
518
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
564
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 493 | 0 | 0 |
519
565
  |-----------------------------------+---------------------+-------+---------+----------|
520
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
566
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
521
567
  |-----------------------------------+---------------------+-------+---------+----------|
522
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
523
569
  ╰-----------------------------------+---------------------+-------+---------+----------╯
524
570
 
525
571
  Logs:
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
572
+ Bound result 736
573
+ Bound result 8762
574
+ Bound result 876
575
+ Bound result 9900000000000046239992
576
+ Bound result 9900000006884037727950
577
+ Bound result 288
578
+ Bound result 10
579
+ Bound result 179
580
+ Bound result 252
581
+ Bound result 1867266791098309323
582
+ Bound result 2
583
+ Bound result 201
584
+ Bound result 4108079509
585
+ Bound result 1
586
+ Bound result 23
587
+ Bound result 3
545
588
 
546
589
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
547
590
 
548
591
  ╭-----------------------------------+---------------------+-------+---------+----------╮
549
592
  | Contract | Selector | Calls | Reverts | Discards |
550
593
  +======================================================================================+
551
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
594
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
552
595
  |-----------------------------------+---------------------+-------+---------+----------|
553
- | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
596
+ | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
554
597
  |-----------------------------------+---------------------+-------+---------+----------|
555
- | RateLimiterRBACUpgradeableHandler | setConfig | 602 | 0 | 0 |
598
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
556
599
  |-----------------------------------+---------------------+-------+---------+----------|
557
- | RateLimiterRBACUpgradeableHandler | setState | 509 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | setState | 507 | 0 | 0 |
558
601
  |-----------------------------------+---------------------+-------+---------+----------|
559
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
560
603
  |-----------------------------------+---------------------+-------+---------+----------|
561
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
562
605
  |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
606
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
564
607
  ╰-----------------------------------+---------------------+-------+---------+----------╯
565
608
 
566
609
  Logs:
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
610
+ Bound result 6066
611
+ Bound result 3695152416
612
+ Bound result 1
613
+ Bound result 9902050393616625157908
614
+ Bound result 9900024430280268662551
615
+ Bound result 2691
616
+ Bound result 4082
617
+ Bound result 3644407702
618
+ Bound result 7149
619
+ Bound result 0
620
+ Bound result 485
621
+ Bound result 1219
622
+ Bound result 7773
623
+ Bound result 163
624
+ Bound result 644
625
+ Bound result 6447
626
+ Bound result 1739
627
+ Bound result 1309
628
+ Bound result 116
584
629
 
585
630
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
586
631
 
587
632
  ╭-----------------------------------+---------------------+-------+---------+----------╮
588
633
  | Contract | Selector | Calls | Reverts | Discards |
589
634
  +======================================================================================+
590
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
635
+ | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
591
636
  |-----------------------------------+---------------------+-------+---------+----------|
592
- | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
637
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
593
638
  |-----------------------------------+---------------------+-------+---------+----------|
594
- | RateLimiterRBACUpgradeableHandler | setConfig | 513 | 0 | 0 |
639
+ | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
595
640
  |-----------------------------------+---------------------+-------+---------+----------|
596
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
641
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
597
642
  |-----------------------------------+---------------------+-------+---------+----------|
598
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
643
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
599
644
  |-----------------------------------+---------------------+-------+---------+----------|
600
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 579 | 0 | 0 |
645
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
601
646
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
647
+ | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
603
648
  ╰-----------------------------------+---------------------+-------+---------+----------╯
604
649
 
605
650
  Logs:
606
- Bound result 230
607
- Bound result 1703690006580855740955
608
- Bound result 236598426716663867335
609
- Bound result 0
610
- Bound result 50
611
- Bound result 226482114847958198
651
+ Bound result 1929
652
+ Bound result 6698
653
+ Bound result 1045257268331
654
+ Bound result 951
655
+ Bound result 3480154040
656
+ Bound result 7955908407129541763297
657
+ Bound result 117723212065499800358
658
+ Bound result 1090
659
+ Bound result 685
660
+ Bound result 9900000000000000007701
661
+ Bound result 9900000000000000005349
662
+ Bound result 6754
663
+ Bound result 813
664
+ Bound result 9900000000000000006720
665
+ Bound result 9900000000000000000138
666
+ Bound result 240
667
+ Bound result 6888
668
+ Bound result 4577
669
+ Bound result 183098759
670
+ Bound result 7339031774015
612
671
  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
672
+ Bound result 5882
673
+ Bound result 4116
629
674
 
630
675
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
631
676
 
632
677
  ╭-----------------------------------+---------------------+-------+---------+----------╮
633
678
  | Contract | Selector | Calls | Reverts | Discards |
634
679
  +======================================================================================+
635
- | RateLimiterRBACUpgradeableHandler | inflow | 596 | 0 | 0 |
680
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
636
681
  |-----------------------------------+---------------------+-------+---------+----------|
637
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
682
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
638
683
  |-----------------------------------+---------------------+-------+---------+----------|
639
- | RateLimiterRBACUpgradeableHandler | setConfig | 519 | 0 | 0 |
684
+ | RateLimiterRBACUpgradeableHandler | setConfig | 584 | 0 | 0 |
640
685
  |-----------------------------------+---------------------+-------+---------+----------|
641
- | RateLimiterRBACUpgradeableHandler | setState | 492 | 0 | 0 |
686
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
642
687
  |-----------------------------------+---------------------+-------+---------+----------|
643
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 586 | 0 | 0 |
688
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
644
689
  |-----------------------------------+---------------------+-------+---------+----------|
645
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
690
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
646
691
  |-----------------------------------+---------------------+-------+---------+----------|
647
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
692
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
648
693
  ╰-----------------------------------+---------------------+-------+---------+----------╯
649
694
 
650
695
  Logs:
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
696
+ Bound result 9900000000000000010072
697
+ Bound result 9900000000000000004029
698
+ Bound result 9027
699
+ Bound result 76
700
+ Bound result 351284
701
+ Bound result 9900000000002428830012
702
+ Bound result 9900000000000000001098
703
+ Bound result 7235
704
+ Bound result 3611
705
+ Bound result 17098402267958918497086
706
+ Bound result 142
707
+ Bound result 6914244900045851394784
708
+ Bound result 6914264337584752826201
709
+ Bound result 0
710
+ Bound result 1757735783
711
+ Bound result 527982668307
712
+ Bound result 1
713
+ Bound result 579
714
+ Bound result 9900000000000361223077
715
+ Bound result 9900100177283773245438
716
+ Bound result 1512
717
+ Bound result 50
718
+ Bound result 2752
719
+ Bound result 9900000000030142581423
720
+ Bound result 9900000018437243034767
721
+ Bound result 9246
722
+ Bound result 498
723
+ Bound result 8175
724
+ Bound result 1813
725
+ Bound result 5824
726
+ Bound result 1137
663
727
 
664
728
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
665
729
 
666
730
  ╭-----------------------------------+---------------------+-------+---------+----------╮
667
731
  | Contract | Selector | Calls | Reverts | Discards |
668
732
  +======================================================================================+
669
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
733
+ | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
670
734
  |-----------------------------------+---------------------+-------+---------+----------|
671
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
735
+ | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
672
736
  |-----------------------------------+---------------------+-------+---------+----------|
673
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
737
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
674
738
  |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
739
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
676
740
  |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
678
742
  |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
680
744
  |-----------------------------------+---------------------+-------+---------+----------|
681
- | RateLimiterRBACUpgradeableHandler | warp | 577 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
682
746
  ╰-----------------------------------+---------------------+-------+---------+----------╯
683
747
 
684
748
  Logs:
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
749
+ Bound result 324
750
+ Bound result 3947098527901128629967
751
+ Bound result 9900000003188723033361
752
+ Bound result 4451
753
+ Bound result 44
754
+ Bound result 35637
755
+ Bound result 12201265198995
756
+ Bound result 166
757
+ Bound result 4511182155471172690422
758
+ Bound result 1005657631310235123487
759
+ Bound result 1263
760
+ Bound result 9009
761
+ Bound result 6655373247
762
+ Bound result 14416468496
763
+ Bound result 84
764
+ Bound result 4099
765
+ Bound result 9900000000000000000060
766
+ Bound result 9900000044117063110263
767
+ Bound result 11
768
+ Bound result 89
769
+ Bound result 46020173
770
+ Bound result 741
771
+ Bound result 36
772
+ Bound result 94673
773
+ Bound result 468407830315
774
+ Bound result 67
775
+ Bound result 16
776
+ Bound result 9900000000000000000010
777
+ Bound result 9900000000000000003767
778
+ Bound result 113
779
+ Bound result 409
780
+ Bound result 0
781
+ Bound result 21579831077718
782
+ Bound result 0
702
783
 
703
784
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
704
785
 
705
786
  ╭-----------------------------------+---------------------+-------+---------+----------╮
706
787
  | Contract | Selector | Calls | Reverts | Discards |
707
788
  +======================================================================================+
708
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
709
790
  |-----------------------------------+---------------------+-------+---------+----------|
710
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
711
792
  |-----------------------------------+---------------------+-------+---------+----------|
712
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
713
794
  |-----------------------------------+---------------------+-------+---------+----------|
714
- | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
715
796
  |-----------------------------------+---------------------+-------+---------+----------|
716
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
717
798
  |-----------------------------------+---------------------+-------+---------+----------|
718
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
719
800
  |-----------------------------------+---------------------+-------+---------+----------|
720
- | RateLimiterRBACUpgradeableHandler | warp | 572 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
721
802
  ╰-----------------------------------+---------------------+-------+---------+----------╯
722
803
 
723
804
  Logs:
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
805
+ Bound result 9900000000000000009450
806
+ Bound result 9900000000000000000853
807
+ Bound result 5745
808
+ Bound result 7474
809
+ Bound result 9227
810
+ Bound result 8992
811
+ Bound result 1
812
+ Bound result 1
813
+ Bound result 1254
814
+ Bound result 16912640959859898436182
815
+ Bound result 18904447
816
+ Bound result 2
817
+ Bound result 2
818
+ Bound result 16713709997872360132435
819
+ Bound result 1
820
+ Bound result 2033784626905503698269
821
+ Bound result 1
822
+ Bound result 2945
823
+ Bound result 1576
732
824
  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
741
825
 
742
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.28s (8.11s CPU time)
826
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.50s (16.70s CPU time)
743
827
 
744
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
828
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
745
829
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
746
830
 
747
831
  ╭-----------------------------------+---------------------+-------+---------+----------╮
748
832
  | Contract | Selector | Calls | Reverts | Discards |
749
833
  +======================================================================================+
750
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
751
835
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
753
837
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | setConfig | 591 | 0 | 0 |
755
839
  |-----------------------------------+---------------------+-------+---------+----------|
756
- | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
757
841
  |-----------------------------------+---------------------+-------+---------+----------|
758
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
842
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
759
843
  |-----------------------------------+---------------------+-------+---------+----------|
760
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
844
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
761
845
  |-----------------------------------+---------------------+-------+---------+----------|
762
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
763
847
  ╰-----------------------------------+---------------------+-------+---------+----------╯
764
848
 
765
849
  Logs:
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
850
+ Bound result 514264337593543950333
851
+ Bound result 1343307045077008820858
852
+ Bound result 18442566625829568271
853
+ Bound result 1173
854
+ Bound result 435
855
+ Bound result 8246
856
+ Bound result 5071
857
+ Bound result 8213
858
+ Bound result 183
859
+ Bound result 314
860
+ Bound result 7213
861
+ Bound result 220
862
+ Bound result 9900000000000000008795
863
+ Bound result 9900000000000000010312
864
+ Bound result 1125
865
+ Bound result 2095
866
+ Bound result 3443
787
867
 
788
868
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
789
869
 
790
870
  ╭-----------------------------------+---------------------+-------+---------+----------╮
791
871
  | Contract | Selector | Calls | Reverts | Discards |
792
872
  +======================================================================================+
793
- | RateLimiterRBACUpgradeableHandler | inflow | 603 | 0 | 0 |
873
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
794
874
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | outflow | 490 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
796
876
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
798
878
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
800
880
  |-----------------------------------+---------------------+-------+---------+----------|
801
881
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
802
882
  |-----------------------------------+---------------------+-------+---------+----------|
803
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
804
884
  |-----------------------------------+---------------------+-------+---------+----------|
805
- | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
806
886
  ╰-----------------------------------+---------------------+-------+---------+----------╯
807
887
 
808
888
  Logs:
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
889
+ Bound result 57
890
+ Bound result 818700137695332151855
891
+ Bound result 253582569896100309868
892
+ Bound result 264268671412228627672
893
+ Bound result 1482
894
+ Bound result 87
895
+ Bound result 324929719185229462450
896
+ Bound result 5460
897
+ Bound result 10285
898
+ Bound result 0
899
+ Bound result 879
900
+ Bound result 1705161674597
901
+ Bound result 3795222
902
+ Bound result 159
903
+ Bound result 7109
904
+ Bound result 719206527
905
+ Bound result 1013
906
+ Bound result 36202037
907
+ Bound result 160544108768466995235
908
+ Bound result 169
909
+ Bound result 357094980
910
+ Bound result 2446411861
911
+ Bound result 192
823
912
 
824
913
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
825
914
 
826
915
  ╭-----------------------------------+---------------------+-------+---------+----------╮
827
916
  | Contract | Selector | Calls | Reverts | Discards |
828
917
  +======================================================================================+
829
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
830
919
  |-----------------------------------+---------------------+-------+---------+----------|
831
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
832
921
  |-----------------------------------+---------------------+-------+---------+----------|
833
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
834
923
  |-----------------------------------+---------------------+-------+---------+----------|
835
- | RateLimiterRBACUpgradeableHandler | setState | 561 | 0 | 0 |
924
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
836
925
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
838
927
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 582 | 0 | 0 |
840
929
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
930
+ | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
842
931
  ╰-----------------------------------+---------------------+-------+---------+----------╯
843
932
 
844
933
  Logs:
845
- Bound result 1004690934450
846
- Bound result 1
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
934
+ Bound result 9900000000000000001446
935
+ Bound result 9900000000000000003044
936
+ Bound result 112
937
+ Bound result 9332
938
+ Bound result 9311
939
+ Bound result 8118
940
+ Bound result 4411
941
+ Bound result 9900000000000000005848
942
+ Bound result 7978772063789439179937
943
+ Bound result 5028
944
+ Bound result 348
945
+ Bound result 8847068691134763499179
946
+ Bound result 9900000000354532836572
947
+ Bound result 6878
948
+ Bound result 130
949
+ Bound result 10732
950
+ Bound result 8944
951
+ Bound result 13628128592854918215524
952
+ Bound result 13693984874038692
953
+ Bound result 4774966
954
+ Bound result 3845
856
955
  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
870
956
 
871
957
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
872
958
 
873
959
  ╭-----------------------------------+---------------------+-------+---------+----------╮
874
960
  | Contract | Selector | Calls | Reverts | Discards |
875
961
  +======================================================================================+
876
- | RateLimiterRBACUpgradeableHandler | inflow | 570 | 0 | 0 |
962
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
877
963
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
879
965
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | setConfig | 585 | 0 | 0 |
881
967
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
968
+ | RateLimiterRBACUpgradeableHandler | setState | 596 | 0 | 0 |
883
969
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
970
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
885
971
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
972
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
887
973
  |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | warp | 554 | 0 | 0 |
974
+ | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
889
975
  ╰-----------------------------------+---------------------+-------+---------+----------╯
890
976
 
891
977
  Logs:
892
- Bound result 87831617738623274005
893
- Bound result 9900000000000000008340
894
- Bound result 9900000000003689055019
895
- Bound result 1849
896
- Bound result 100
897
- Bound result 4
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
978
+ Bound result 8203
979
+ Bound result 9163302198
980
+ Bound result 1127
981
+ Bound result 9900001692113556334556
982
+ Bound result 6914264337593535947489
983
+ Bound result 5057
984
+ Bound result 9534
985
+ Bound result 8993
986
+ Bound result 1016
987
+ Bound result 663714116
988
+ Bound result 10990
989
+ Bound result 4479
990
+ Bound result 1026
917
991
 
918
992
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
919
993
 
920
994
  ╭-----------------------------------+---------------------+-------+---------+----------╮
921
995
  | Contract | Selector | Calls | Reverts | Discards |
922
996
  +======================================================================================+
923
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
997
+ | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
924
998
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
999
+ | RateLimiterRBACUpgradeableHandler | outflow | 590 | 0 | 0 |
926
1000
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
1001
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
928
1002
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
1003
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
930
1004
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
1005
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 494 | 0 | 0 |
932
1006
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
1007
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
934
1008
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
1009
+ | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
936
1010
  ╰-----------------------------------+---------------------+-------+---------+----------╯
937
1011
 
938
1012
  Logs:
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
1013
+ Bound result 107477463
1014
+ Bound result 378485637550124095914
1015
+ Bound result 9900000046688051965424
1016
+ Bound result 9900130977931491291422
1017
+ Bound result 7973
1018
+ Bound result 7616
1019
+ Bound result 12
1020
+ Bound result 521585152
1021
+ Bound result 10403131
1022
+ Bound result 10
1023
+ Bound result 1070
1024
+ Bound result 15461117877153570
1025
+ Bound result 1
1026
+ Bound result 78
1027
+ Bound result 3257
1028
+ Bound result 5339
1029
+ Bound result 12
1030
+ Bound result 9900000000022634991134
1031
+ Bound result 9989155055394226516231
1032
+ Bound result 51
1033
+ Bound result 4121
1034
+ Bound result 9900000001099511627776
1035
+ Bound result 9900000000000000037668
1036
+ Bound result 7080
1037
+ Bound result 7243
1038
+ Bound result 9900000000000000000446
1039
+ Bound result 9900000000000000006424
1040
+ Bound result 9342
1041
+ Bound result 1341
950
1042
 
951
1043
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
952
1044
 
953
1045
  ╭-----------------------------------+---------------------+-------+---------+----------╮
954
1046
  | Contract | Selector | Calls | Reverts | Discards |
955
1047
  +======================================================================================+
956
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
1048
+ | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
957
1049
  |-----------------------------------+---------------------+-------+---------+----------|
958
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
1050
+ | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
959
1051
  |-----------------------------------+---------------------+-------+---------+----------|
960
1052
  | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
961
1053
  |-----------------------------------+---------------------+-------+---------+----------|
962
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
1054
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
963
1055
  |-----------------------------------+---------------------+-------+---------+----------|
964
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
1056
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
965
1057
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
1058
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
967
1059
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1060
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
969
1061
  ╰-----------------------------------+---------------------+-------+---------+----------╯
970
1062
 
971
1063
  Logs:
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
1064
+ Bound result 297
1065
+ Bound result 179897964312449248741
1066
+ Bound result 663
1067
+ Bound result 58
1068
+ Bound result 9609
1069
+ Bound result 9900000000000000004951
1070
+ Bound result 9900000000000000000596
1071
+ Bound result 5390
1072
+ Bound result 3572
1073
+ Bound result 2976
1074
+ Bound result 54
1075
+ Bound result 9900000000001419208252
1076
+ Bound result 100000000000000000000
1077
+ Bound result 3790
1078
+ Bound result 1225
1079
+ Bound result 186938903630203543435
1080
+ Bound result 9900000000000003266459
1081
+ Bound result 100000000000000000000
1082
+ Bound result 3842
1083
+ Bound result 13
1084
+ Bound result 17
1000
1085
 
1001
1086
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1002
1087
 
1003
1088
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1004
1089
  | Contract | Selector | Calls | Reverts | Discards |
1005
1090
  +======================================================================================+
1006
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
1007
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1008
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
1009
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1010
- | RateLimiterRBACUpgradeableHandler | setConfig | 574 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
1011
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1012
- | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
1013
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1014
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
1015
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1016
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 563 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
1017
1102
  |-----------------------------------+---------------------+-------+---------+----------|
1018
- | RateLimiterRBACUpgradeableHandler | warp | 578 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1019
1104
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1020
1105
 
1021
1106
  Logs:
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
1107
+ Bound result 1327641767302477
1108
+ Bound result 2911986124
1109
+ Bound result 6553
1041
1110
  Bound result 1
1042
- Bound result 6079629382307150917579
1043
- Bound result 9900000000000133869906
1044
- Bound result 9900000000000000000005
1045
- Bound result 140
1046
- Bound result 10
1111
+ Bound result 8901
1112
+ Bound result 1
1113
+ Bound result 9900000000000000275077
1114
+ Bound result 9900000000000000084894
1115
+ Bound result 3804
1116
+ Bound result 448
1117
+ Bound result 4668
1118
+ Bound result 2578
1119
+ Bound result 0
1120
+ Bound result 529199148698166472
1121
+ Bound result 9900000000000000001434
1122
+ Bound result 9900000000000000005400
1123
+ Bound result 9765
1124
+ Bound result 624
1047
1125
 
1048
1126
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1049
1127
 
1050
1128
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1051
1129
  | Contract | Selector | Calls | Reverts | Discards |
1052
1130
  +======================================================================================+
1053
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
1131
+ | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
1054
1132
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
1133
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1056
1134
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1135
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1058
1136
  |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | setState | 507 | 0 | 0 |
1137
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
1060
1138
  |-----------------------------------+---------------------+-------+---------+----------|
1061
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1139
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
1062
1140
  |-----------------------------------+---------------------+-------+---------+----------|
1063
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1141
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
1064
1142
  |-----------------------------------+---------------------+-------+---------+----------|
1065
- | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
1143
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1066
1144
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1067
1145
 
1068
1146
  Logs:
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
1147
+ Bound result 14908121264390939124
1148
+ Bound result 1534
1149
+ Bound result 5399
1150
+ Bound result 3472626730
1151
+ Bound result 546616467334371222926
1152
+ Bound result 5702954783253
1087
1153
  Bound result 0
1154
+ Bound result 1120888250246456638334
1155
+ Bound result 3996
1156
+ Bound result 222
1157
+ Bound result 983
1158
+ Bound result 10557
1088
1159
 
1089
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.12s CPU time)
1090
-
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)
1124
-
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)
1160
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.68s (15.32s CPU time)
1159
1161
 
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)
1162
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1163
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1164
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1165
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1166
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1167
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
1168
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1169
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1170
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1171
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1172
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1173
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 16.51s (104.41ms CPU time)
1191
1174
 
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)
1175
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1176
+ [PASS] test_feeDeposit() (gas: 17638)
1177
+ [PASS] test_setFeeDeposit() (gas: 27596)
1178
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
1179
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1180
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1181
+ [PASS] test_storageHash() (gas: 3315)
1182
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 16.60s (102.44ms CPU time)
1213
1183
 
1214
1184
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1215
1185
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1216
1186
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1217
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 837402, ~: 309211)
1187
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 804763, ~: 231064)
1218
1188
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1219
1189
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1220
1190
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1227,12 +1197,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1227
1197
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1228
1198
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1229
1199
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1230
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11241068, ~: 10510326)
1200
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11244835, ~: 10540345)
1231
1201
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1232
1202
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1233
1203
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1234
1204
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1235
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 762885, ~: 169505)
1205
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 750552, ~: 167927)
1236
1206
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1237
1207
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1238
1208
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1245,10 +1215,72 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1245
1215
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1246
1216
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1247
1217
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1248
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11186011, ~: 10497398)
1218
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11201669, ~: 10506032)
1249
1219
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1250
1220
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1251
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.77s (38.23s CPU time)
1221
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.59s (40.62s CPU time)
1222
+
1223
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1224
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1225
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1226
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47466, ~: 48966)
1227
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1228
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1229
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1230
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1231
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1232
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1233
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1234
+ [PASS] test_getFee_Default() (gas: 43108)
1235
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45954, ~: 47017)
1236
+ [PASS] test_getFee_Rounding() (gas: 45449)
1237
+ [PASS] test_getFee_Specific() (gas: 66985)
1238
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1239
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1240
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34972, ~: 42268)
1241
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1242
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1243
+ [PASS] test_setFeeBps() (gas: 77237)
1244
+ Logs:
1245
+ Bound result 500
1246
+
1247
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68071, ~: 77570)
1248
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1249
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1250
+ [PASS] test_storageHash() (gas: 3436)
1251
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 16.60s (663.98ms CPU time)
1252
+
1253
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1254
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1255
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1256
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1257
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1258
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1259
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1260
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1261
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1262
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1263
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1264
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1265
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1266
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1267
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1268
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1269
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1270
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1271
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1272
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1273
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1274
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1275
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1276
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1277
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1278
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1279
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1280
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1281
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1282
+ [PASS] test_storageHash() (gas: 3458)
1283
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.60s (503.37ms CPU time)
1252
1284
 
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
1285
+ Ran 17 test suites in 16.63s (95.94s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1286
+ ⏳ forge test: 34.156s