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

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/.turbo/turbo-lint.log +340 -1
  2. package/.turbo/turbo-test.log +658 -627
  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: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.
8
+ (node:133175) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
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 14.36s
16
+ Solc 0.8.22 finished in 18.26s
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 22.57ms (17.79ms CPU time)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 40.75ms (31.13ms CPU time)
176
176
 
177
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -215,10 +215,49 @@ 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 70.04ms (54.52ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 55.06ms (35.48ms CPU time)
219
+
220
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
+ [PASS] test_feeDeposit() (gas: 17576)
222
+ [PASS] test_setFeeDeposit() (gas: 24995)
223
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
224
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
+ [PASS] test_storageHash() (gas: 3337)
226
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 65.96ms (65.40ms 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 295.24ms (290.36ms CPU time)
236
+
237
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
238
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25157, ~: 12763)
239
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
240
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
241
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
242
+ [PASS] test_isPaused_InitialState() (gas: 15595)
243
+ [PASS] test_pause() (gas: 39592)
244
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27969, ~: 16219)
245
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
246
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
247
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
248
+ [PASS] test_storageHash() (gas: 3414)
249
+ [PASS] test_unpause() (gas: 31115)
250
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40486, ~: 42029)
251
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
252
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
253
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
254
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
255
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
256
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
257
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 446.97ms (457.09ms CPU time)
219
258
 
220
259
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
221
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26371, ~: 12786)
260
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27164, ~: 41090)
222
261
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
223
262
  [PASS] test_assertNotPaused_Success() (gas: 12539)
224
263
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -229,7 +268,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
229
268
  [PASS] test_pause() (gas: 42109)
230
269
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
231
270
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
232
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30212, ~: 18756)
271
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30259, ~: 18756)
233
272
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
234
273
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
235
274
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -238,36 +277,14 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
238
277
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
239
278
  [PASS] test_storageHash() (gas: 3414)
240
279
  [PASS] test_unpause() (gas: 35177)
241
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41590, ~: 38860)
280
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41568, ~: 38860)
242
281
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
243
282
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
244
283
  [PASS] test_whenNotPaused_Success() (gas: 38800)
245
284
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
246
285
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
247
286
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
248
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 233.53ms (462.25ms CPU time)
249
-
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)
287
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 617.54ms (574.26ms CPU time)
271
288
 
272
289
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
273
290
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -284,16 +301,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
284
301
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
285
302
  [PASS] test_pauseConfig() (gas: 45626)
286
303
  [PASS] test_setDefaultPaused() (gas: 39667)
287
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27205, ~: 16332)
304
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27771, ~: 16332)
288
305
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
289
306
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
290
307
  [PASS] test_setPaused() (gas: 43060)
291
308
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
292
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38358, ~: 43373)
309
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38417, ~: 43373)
293
310
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
294
311
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
295
312
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
296
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57913, ~: 46989)
313
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57755, ~: 46989)
297
314
  [PASS] test_storageHash() (gas: 3480)
298
315
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
299
316
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -301,7 +318,20 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
301
318
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
302
319
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
303
320
  [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)
321
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 520.69ms (596.50ms CPU time)
322
+
323
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
324
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
325
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
326
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
327
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
328
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
329
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
330
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
331
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
332
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
333
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
334
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.56s (180.89ms CPU time)
305
335
 
306
336
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
307
337
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -319,7 +349,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
319
349
  [PASS] test_pauseConfig() (gas: 51028)
320
350
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
321
351
  [PASS] test_setDefaultPaused() (gas: 42196)
322
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 29714, ~: 18826)
352
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30447, ~: 18826)
323
353
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
324
354
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
325
355
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -328,8 +358,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
328
358
  [PASS] test_setPaused_DormantData() (gas: 295234)
329
359
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
330
360
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
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)
361
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43467, ~: 48696)
362
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222629, ~: 216804)
333
363
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
334
364
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
335
365
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -343,7 +373,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
343
373
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
344
374
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
345
375
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
346
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62102, ~: 50341)
376
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62411, ~: 61903)
347
377
  [PASS] test_storageHash() (gas: 3392)
348
378
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
349
379
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -351,56 +381,12 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
351
381
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
352
382
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
353
383
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
354
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 713.88ms (1.03s CPU time)
355
-
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)
384
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.56s (2.09s CPU time)
399
385
 
400
386
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
401
387
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
402
388
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
403
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45050, ~: 46317)
389
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44991, ~: 46317)
404
390
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
405
391
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
406
392
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -409,21 +395,21 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
409
395
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
410
396
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
411
397
  [PASS] test_getFee_Default() (gas: 40577)
412
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43363, ~: 44486)
398
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43317, ~: 44486)
413
399
  [PASS] test_getFee_Rounding() (gas: 42835)
414
400
  [PASS] test_getFee_Specific() (gas: 63968)
415
401
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
416
402
  [PASS] test_setDefaultFeeBps() (gas: 39576)
417
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32276, ~: 39667)
403
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32643, ~: 39667)
418
404
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
419
405
  [PASS] test_setFeeBps() (gas: 73871)
420
406
  Logs:
421
407
  Bound result 500
422
408
 
423
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65836, ~: 74224)
409
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65881, ~: 74224)
424
410
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
425
411
  [PASS] test_storageHash() (gas: 3426)
426
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.96s (1.01s CPU time)
412
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 2.32s (862.07ms CPU time)
427
413
 
428
414
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
429
415
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -435,7 +421,7 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
435
421
  [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
436
422
  [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
437
423
  [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
438
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
424
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 115159)
439
425
  [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
440
426
  [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
441
427
  [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
@@ -458,733 +444,840 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
458
444
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
459
445
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
460
446
  [PASS] test_storageHash() (gas: 3480)
461
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 2.07s (1.04s CPU time)
447
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 2.48s (1.30s CPU time)
462
448
 
463
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
449
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
464
450
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
465
451
 
466
452
  ╭-----------------------------------+---------------------+-------+---------+----------╮
467
453
  | Contract | Selector | Calls | Reverts | Discards |
468
454
  +======================================================================================+
469
- | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
455
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
470
456
  |-----------------------------------+---------------------+-------+---------+----------|
471
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
457
+ | RateLimiterRBACUpgradeableHandler | outflow | 586 | 0 | 0 |
472
458
  |-----------------------------------+---------------------+-------+---------+----------|
473
- | RateLimiterRBACUpgradeableHandler | setConfig | 598 | 0 | 0 |
459
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
474
460
  |-----------------------------------+---------------------+-------+---------+----------|
475
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
461
+ | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
476
462
  |-----------------------------------+---------------------+-------+---------+----------|
477
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
463
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
478
464
  |-----------------------------------+---------------------+-------+---------+----------|
479
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 491 | 0 | 0 |
465
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
480
466
  |-----------------------------------+---------------------+-------+---------+----------|
481
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
467
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
482
468
  ╰-----------------------------------+---------------------+-------+---------+----------╯
483
469
 
484
470
  Logs:
485
- Bound result 25854307922
486
- Bound result 1011120115219896660928
487
- Bound result 1
488
- Bound result 4294967296
489
- Bound result 3901
490
- Bound result 8191
471
+ Bound result 902
472
+ Bound result 685
491
473
  Bound result 1
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
474
+ Bound result 1993829766640702932991
475
+ Bound result 514264337593504336252
476
+ Bound result 0
477
+ Bound result 6244
478
+ Bound result 435
479
+ Bound result 9900000000000001398861
480
+ Bound result 4650650788710569461868
481
+ Bound result 9998
482
+ Bound result 6240
483
+ Bound result 6448
484
+ Bound result 256
485
+ Bound result 1228
486
+ Bound result 4424
487
+ Bound result 2959
488
+ Bound result 3966
489
+ Bound result 2968090538
490
+ Bound result 307145695237
491
+ Bound result 508
492
+ Bound result 1226
493
+ Bound result 21
494
+ Bound result 2484092411487021
495
+ Bound result 4324
496
+ Bound result 3112
497
+ Bound result 9900000000000000000007
498
+ Bound result 9900000000000000000830
499
+ Bound result 9593
500
+ Bound result 1157
510
501
 
511
502
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
512
503
 
513
504
  ╭-----------------------------------+---------------------+-------+---------+----------╮
514
505
  | Contract | Selector | Calls | Reverts | Discards |
515
506
  +======================================================================================+
516
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
507
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
517
508
  |-----------------------------------+---------------------+-------+---------+----------|
518
- | RateLimiterRBACUpgradeableHandler | outflow | 567 | 0 | 0 |
509
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
519
510
  |-----------------------------------+---------------------+-------+---------+----------|
520
- | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
511
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
521
512
  |-----------------------------------+---------------------+-------+---------+----------|
522
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
513
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
523
514
  |-----------------------------------+---------------------+-------+---------+----------|
524
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 514 | 0 | 0 |
515
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
525
516
  |-----------------------------------+---------------------+-------+---------+----------|
526
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
517
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
527
518
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
519
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
529
520
  ╰-----------------------------------+---------------------+-------+---------+----------╯
530
521
 
531
522
  Logs:
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
523
+ Bound result 2514413316333439
524
+ Bound result 34308488797081468
525
+ Bound result 1
526
+ Bound result 514264337593543950335
527
+ Bound result 9900000000000000000048
528
+ Bound result 3923095078537840834416
529
+ Bound result 9888
530
+ Bound result 6425
531
+ Bound result 4287
532
+ Bound result 6447
533
+ Bound result 1
534
+ Bound result 18411231528243787366941
535
+ Bound result 228188
536
+ Bound result 1
537
+ Bound result 4463857318899576669960
538
+ Bound result 9900000000000000000094
539
+ Bound result 10
540
+ Bound result 3895
541
+ Bound result 2
542
+ Bound result 784
543
+ Bound result 4477
544
+ Bound result 3
545
+ Bound result 9900000000000000003738
546
+ Bound result 9900000000000000001023
547
+ Bound result 2310
548
+ Bound result 1107
549
+ Bound result 595576677
550
+ Bound result 334
551
+ Bound result 3208
552
+ Bound result 6914264337563625318041
553
+ Bound result 13710360562504241264152
554
+ Bound result 308
550
555
 
551
556
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
552
557
 
553
558
  ╭-----------------------------------+---------------------+-------+---------+----------╮
554
559
  | Contract | Selector | Calls | Reverts | Discards |
555
560
  +======================================================================================+
556
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
561
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
557
562
  |-----------------------------------+---------------------+-------+---------+----------|
558
- | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
563
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
559
564
  |-----------------------------------+---------------------+-------+---------+----------|
560
- | RateLimiterRBACUpgradeableHandler | setConfig | 598 | 0 | 0 |
565
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
561
566
  |-----------------------------------+---------------------+-------+---------+----------|
562
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
567
+ | RateLimiterRBACUpgradeableHandler | setState | 592 | 0 | 0 |
563
568
  |-----------------------------------+---------------------+-------+---------+----------|
564
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 493 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 591 | 0 | 0 |
565
570
  |-----------------------------------+---------------------+-------+---------+----------|
566
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
567
572
  |-----------------------------------+---------------------+-------+---------+----------|
568
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | warp | 488 | 0 | 0 |
569
574
  ╰-----------------------------------+---------------------+-------+---------+----------╯
570
575
 
571
576
  Logs:
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
577
+ Bound result 9900000000000000008317
578
+ Bound result 9900000000000000006803
579
+ Bound result 8984
580
+ Bound result 52
581
+ Bound result 9900000000002439649223
582
+ Bound result 9900000000000000001597
583
+ Bound result 577
584
+ Bound result 680
585
+ Bound result 15839676270259107116917
586
+ Bound result 9025743614168
587
+ Bound result 5986059567873956391465
585
588
  Bound result 1
586
- Bound result 23
587
- Bound result 3
589
+ Bound result 556
590
+ Bound result 1614
591
+ Bound result 0
592
+ Bound result 968
593
+ Bound result 1
594
+ Bound result 3622430462
595
+ Bound result 340
596
+ Bound result 1
597
+ Bound result 9900000000000000000052
598
+ Bound result 9900000000534102457469
599
+ Bound result 6463
600
+ Bound result 2083
601
+ Bound result 2576
588
602
 
589
603
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
590
604
 
591
605
  ╭-----------------------------------+---------------------+-------+---------+----------╮
592
606
  | Contract | Selector | Calls | Reverts | Discards |
593
607
  +======================================================================================+
594
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | inflow | 520 | 0 | 0 |
595
609
  |-----------------------------------+---------------------+-------+---------+----------|
596
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
597
611
  |-----------------------------------+---------------------+-------+---------+----------|
598
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | setConfig | 582 | 0 | 0 |
599
613
  |-----------------------------------+---------------------+-------+---------+----------|
600
- | RateLimiterRBACUpgradeableHandler | setState | 507 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
601
615
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
603
617
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 577 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
605
619
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
607
621
  ╰-----------------------------------+---------------------+-------+---------+----------╯
608
622
 
609
623
  Logs:
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
624
+ Bound result 864
625
+ Bound result 2274328328188
626
+ Bound result 966
627
+ Bound result 2145540283781325357919
628
+ Bound result 4936455900224259777125
629
+ Bound result 12
630
+ Bound result 10
631
+ Bound result 613
632
+ Bound result 6528
619
633
  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
634
+ Bound result 782488460624181916807
635
+ Bound result 90
636
+ Bound result 10511886
637
+ Bound result 51736862140783666714
638
+ Bound result 87687
639
+ Bound result 229
640
+ Bound result 11
629
641
 
630
642
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
631
643
 
632
644
  ╭-----------------------------------+---------------------+-------+---------+----------╮
633
645
  | Contract | Selector | Calls | Reverts | Discards |
634
646
  +======================================================================================+
635
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
647
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
636
648
  |-----------------------------------+---------------------+-------+---------+----------|
637
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
649
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
638
650
  |-----------------------------------+---------------------+-------+---------+----------|
639
- | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
651
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
640
652
  |-----------------------------------+---------------------+-------+---------+----------|
641
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
653
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
642
654
  |-----------------------------------+---------------------+-------+---------+----------|
643
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
655
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
644
656
  |-----------------------------------+---------------------+-------+---------+----------|
645
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
657
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
646
658
  |-----------------------------------+---------------------+-------+---------+----------|
647
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
659
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
648
660
  ╰-----------------------------------+---------------------+-------+---------+----------╯
649
661
 
650
662
  Logs:
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
671
663
  Bound result 1
672
- Bound result 5882
673
- Bound result 4116
664
+ Bound result 1
665
+ Bound result 1520171704904023229189
666
+ Bound result 590
667
+ Bound result 491
668
+ Bound result 0
669
+ Bound result 27007074
670
+ Bound result 9975
671
+ Bound result 8973
672
+ Bound result 0
673
+ Bound result 1117
674
+ Bound result 5620
675
+ Bound result 100000000000000000002
676
+ Bound result 9958881059700397796153
677
+ Bound result 11
678
+ Bound result 10
679
+ Bound result 16
680
+ Bound result 1951603771273411908
681
+ Bound result 7
682
+ Bound result 632
683
+ Bound result 7
684
+ Bound result 2
685
+ Bound result 154568155066900626793
686
+ Bound result 131720137211249338550
674
687
 
675
688
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
676
689
 
677
690
  ╭-----------------------------------+---------------------+-------+---------+----------╮
678
691
  | Contract | Selector | Calls | Reverts | Discards |
679
692
  +======================================================================================+
680
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
693
+ | RateLimiterRBACUpgradeableHandler | inflow | 497 | 0 | 0 |
681
694
  |-----------------------------------+---------------------+-------+---------+----------|
682
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
695
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
683
696
  |-----------------------------------+---------------------+-------+---------+----------|
684
- | RateLimiterRBACUpgradeableHandler | setConfig | 584 | 0 | 0 |
697
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
685
698
  |-----------------------------------+---------------------+-------+---------+----------|
686
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | setState | 529 | 0 | 0 |
687
700
  |-----------------------------------+---------------------+-------+---------+----------|
688
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 526 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 614 | 0 | 0 |
689
702
  |-----------------------------------+---------------------+-------+---------+----------|
690
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
691
704
  |-----------------------------------+---------------------+-------+---------+----------|
692
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
693
706
  ╰-----------------------------------+---------------------+-------+---------+----------╯
694
707
 
695
708
  Logs:
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
709
  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
710
+ Bound result 29014494422
711
+ Bound result 285263470
712
+ Bound result 1
713
+ Bound result 505699166784849907396
714
+ Bound result 9530
715
+ Bound result 15379124231004707
716
+ Bound result 1
717
+ Bound result 935039221419403583290
718
+ Bound result 27017
719
+ Bound result 1250249
720
+ Bound result 727273755755933
721
+ Bound result 1
727
722
 
728
723
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
729
724
 
730
725
  ╭-----------------------------------+---------------------+-------+---------+----------╮
731
726
  | Contract | Selector | Calls | Reverts | Discards |
732
727
  +======================================================================================+
733
- | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
734
729
  |-----------------------------------+---------------------+-------+---------+----------|
735
- | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
730
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
736
731
  |-----------------------------------+---------------------+-------+---------+----------|
737
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
732
+ | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
738
733
  |-----------------------------------+---------------------+-------+---------+----------|
739
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
734
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
740
735
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
736
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
742
737
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
738
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 506 | 0 | 0 |
744
739
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
740
+ | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
746
741
  ╰-----------------------------------+---------------------+-------+---------+----------╯
747
742
 
748
743
  Logs:
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
744
+ Bound result 256264432264715
745
+ Bound result 139171
746
+ Bound result 1
747
+ Bound result 1514
748
+ Bound result 644438035561212867127
749
+ Bound result 1
750
+ Bound result 882
751
+ Bound result 862
752
+ Bound result 9900000000000000000288
753
+ Bound result 9900000000000000010104
754
+ Bound result 4698
755
+ Bound result 137
756
+ Bound result 7743
757
+ Bound result 384
758
+ Bound result 9900000000000268763184
759
+ Bound result 6914264337593535947491
760
+ Bound result 6242
761
+ Bound result 8659
762
+ Bound result 9900000000068582171447
763
+ Bound result 8784238431644025048879
764
+ Bound result 4783
765
+ Bound result 292
766
+ Bound result 23261963
783
767
 
784
768
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
785
769
 
786
770
  ╭-----------------------------------+---------------------+-------+---------+----------╮
787
771
  | Contract | Selector | Calls | Reverts | Discards |
788
772
  +======================================================================================+
789
- | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
790
774
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
792
776
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
794
778
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
796
780
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
781
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 520 | 0 | 0 |
798
782
  |-----------------------------------+---------------------+-------+---------+----------|
799
783
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
800
784
  |-----------------------------------+---------------------+-------+---------+----------|
801
- | RateLimiterRBACUpgradeableHandler | warp | 562 | 0 | 0 |
785
+ | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
802
786
  ╰-----------------------------------+---------------------+-------+---------+----------╯
803
787
 
804
788
  Logs:
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
789
+ Bound result 3094
790
+ Bound result 1382
791
+ Bound result 0
792
+ Bound result 273714613012060438182
793
+ Bound result 92827679366300488
824
794
  Bound result 1
795
+ Bound result 9900000000000000000484
796
+ Bound result 3439448184466023600723
797
+ Bound result 3662
798
+ Bound result 3068
799
+ Bound result 7162
800
+ Bound result 2054381685252168462851
801
+ Bound result 135550065643760141511
802
+ Bound result 12
803
+ Bound result 10
804
+ Bound result 192244812436824979354
805
+ Bound result 20638212
806
+ Bound result 513938
807
+ Bound result 117
808
+ Bound result 44870148077675419
809
+ Bound result 8
810
+ Bound result 130176012
811
+ Bound result 36560442093861486
812
+ Bound result 5
813
+ Bound result 10677492632925
814
+ Bound result 52626821
815
+ Bound result 3
816
+ Bound result 20
825
817
 
826
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.50s (16.70s CPU time)
818
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.60s (15.07s CPU time)
827
819
 
828
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
820
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
821
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
822
+ [PASS] test_constructor_InitialMode() (gas: 15578)
823
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
824
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
825
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
826
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
827
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
828
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
829
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
830
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
831
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
832
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
833
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
834
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
835
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
836
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
837
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
838
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
839
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
840
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
841
+ [PASS] test_setMode_Blacklist() (gas: 40021)
842
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
843
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
844
+ [PASS] test_setMode_Whitelist() (gas: 40108)
845
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
846
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
847
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
848
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
849
+ [PASS] test_storageHash() (gas: 3458)
850
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 2.62s (913.96ms CPU time)
851
+
852
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
853
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
854
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
855
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47651, ~: 48966)
856
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
857
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
858
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
859
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
860
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
861
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
862
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
863
+ [PASS] test_getFee_Default() (gas: 43108)
864
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45306, ~: 47017)
865
+ [PASS] test_getFee_Rounding() (gas: 45449)
866
+ [PASS] test_getFee_Specific() (gas: 66985)
867
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
868
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
869
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35411, ~: 42268)
870
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
871
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
872
+ [PASS] test_setFeeBps() (gas: 77237)
873
+ Logs:
874
+ Bound result 500
875
+
876
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67793, ~: 77570)
877
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
878
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
879
+ [PASS] test_storageHash() (gas: 3436)
880
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 2.80s (860.01ms CPU time)
881
+
882
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
829
883
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
830
884
 
831
885
  ╭-----------------------------------+---------------------+-------+---------+----------╮
832
886
  | Contract | Selector | Calls | Reverts | Discards |
833
887
  +======================================================================================+
834
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
835
889
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
890
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
837
891
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | setConfig | 591 | 0 | 0 |
892
+ | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
839
893
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
894
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
841
895
  |-----------------------------------+---------------------+-------+---------+----------|
842
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
896
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
843
897
  |-----------------------------------+---------------------+-------+---------+----------|
844
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
898
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
845
899
  |-----------------------------------+---------------------+-------+---------+----------|
846
- | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
900
+ | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
847
901
  ╰-----------------------------------+---------------------+-------+---------+----------╯
848
902
 
849
903
  Logs:
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
904
+ Bound result 690253291412027744995
905
+ Bound result 339
906
+ Bound result 1
907
+ Bound result 8528338131535341781219
908
+ Bound result 9900000000000300053408
909
+ Bound result 9877
910
+ Bound result 9777
911
+ Bound result 9900000000000000003044
912
+ Bound result 9900000000000000005246
913
+ Bound result 32
914
+ Bound result 2033
915
+ Bound result 15404406917850254962540
916
+ Bound result 4595791210273405769801
917
+ Bound result 1
918
+ Bound result 80
919
+ Bound result 981624469
920
+ Bound result 4509
921
+ Bound result 1511
922
+ Bound result 19
923
+ Bound result 2217
924
+ Bound result 1065
925
+ Bound result 8361
867
926
 
868
927
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
869
928
 
870
929
  ╭-----------------------------------+---------------------+-------+---------+----------╮
871
930
  | Contract | Selector | Calls | Reverts | Discards |
872
931
  +======================================================================================+
873
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
932
+ | RateLimiterRBACUpgradeableHandler | inflow | 598 | 0 | 0 |
874
933
  |-----------------------------------+---------------------+-------+---------+----------|
875
- | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
934
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
876
935
  |-----------------------------------+---------------------+-------+---------+----------|
877
- | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
936
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
878
937
  |-----------------------------------+---------------------+-------+---------+----------|
879
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
938
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
880
939
  |-----------------------------------+---------------------+-------+---------+----------|
881
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
940
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
882
941
  |-----------------------------------+---------------------+-------+---------+----------|
883
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
942
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
884
943
  |-----------------------------------+---------------------+-------+---------+----------|
885
- | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
944
+ | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
886
945
  ╰-----------------------------------+---------------------+-------+---------+----------╯
887
946
 
888
947
  Logs:
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
948
+ Bound result 54
949
+ Bound result 1
950
+ Bound result 9900127695616079748365
951
+ Bound result 9900000054705500175562
952
+ Bound result 33
953
+ Bound result 9500
954
+ Bound result 15364093062378823238076
955
+ Bound result 10337919920928565
956
+ Bound result 52
957
+ Bound result 9900000000000000001951
958
+ Bound result 9699989023405977856845
959
+ Bound result 165
960
+ Bound result 498
961
+ Bound result 5185
962
+ Bound result 779
963
+ Bound result 2807
964
+ Bound result 140
965
+ Bound result 895596
966
+ Bound result 764875740843115
967
+ Bound result 217
968
+ Bound result 9900000000000000000732
969
+ Bound result 4659501308891148509876
970
+ Bound result 9377
971
+ Bound result 3641
912
972
 
913
973
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
914
974
 
915
975
  ╭-----------------------------------+---------------------+-------+---------+----------╮
916
976
  | Contract | Selector | Calls | Reverts | Discards |
917
977
  +======================================================================================+
918
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
978
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
919
979
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
980
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
921
981
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
982
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
923
983
  |-----------------------------------+---------------------+-------+---------+----------|
924
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
984
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
925
985
  |-----------------------------------+---------------------+-------+---------+----------|
926
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
927
987
  |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 582 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
929
989
  |-----------------------------------+---------------------+-------+---------+----------|
930
- | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | warp | 585 | 0 | 0 |
931
991
  ╰-----------------------------------+---------------------+-------+---------+----------╯
932
992
 
933
993
  Logs:
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
955
- Bound result 1
994
+ Bound result 8896916050396190185930
995
+ Bound result 9900012796992675688095
996
+ Bound result 8810
997
+ Bound result 74
998
+ Bound result 6609
999
+ Bound result 6664908683699902194533
1000
+ Bound result 102012088877566
1001
+ Bound result 220
1002
+ Bound result 15862966570931227
1003
+ Bound result 5960142
1004
+ Bound result 15062544624639126491772
1005
+ Bound result 12379431764417116272007
1006
+ Bound result 4668
1007
+ Bound result 727
1008
+ Bound result 2316
1009
+ Bound result 520
1010
+ Bound result 2463
1011
+ Bound result 697553
1012
+ Bound result 1394
1013
+ Bound result 1370854708743643380276
1014
+ Bound result 9900000000140041368527
1015
+ Bound result 254
1016
+ Bound result 7740
1017
+ Bound result 90452748897306334
1018
+ Bound result 7537
1019
+ Bound result 8533
1020
+ Bound result 2777
956
1021
 
957
1022
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
958
1023
 
959
1024
  ╭-----------------------------------+---------------------+-------+---------+----------╮
960
1025
  | Contract | Selector | Calls | Reverts | Discards |
961
1026
  +======================================================================================+
962
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
1027
+ | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
963
1028
  |-----------------------------------+---------------------+-------+---------+----------|
964
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
1029
+ | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
965
1030
  |-----------------------------------+---------------------+-------+---------+----------|
966
- | RateLimiterRBACUpgradeableHandler | setConfig | 585 | 0 | 0 |
1031
+ | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
967
1032
  |-----------------------------------+---------------------+-------+---------+----------|
968
- | RateLimiterRBACUpgradeableHandler | setState | 596 | 0 | 0 |
1033
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
969
1034
  |-----------------------------------+---------------------+-------+---------+----------|
970
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
1035
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
971
1036
  |-----------------------------------+---------------------+-------+---------+----------|
972
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
1037
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
973
1038
  |-----------------------------------+---------------------+-------+---------+----------|
974
- | RateLimiterRBACUpgradeableHandler | warp | 501 | 0 | 0 |
1039
+ | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
975
1040
  ╰-----------------------------------+---------------------+-------+---------+----------╯
976
1041
 
977
1042
  Logs:
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
1043
+ Bound result 3324751703364603
1044
+ Bound result 365759158712819599
1045
+ Bound result 2
1046
+ Bound result 1
1047
+ Bound result 8385
1048
+ Bound result 5589
1049
+ Bound result 1113
1050
+ Bound result 2
1051
+ Bound result 16864084034994442
1052
+ Bound result 617
1053
+ Bound result 97148
1054
+ Bound result 951655476243222483841
1055
+ Bound result 21
1056
+ Bound result 2429
1057
+ Bound result 2982
1058
+ Bound result 627
1059
+ Bound result 1129319116757
1060
+ Bound result 145277804
1061
+ Bound result 288
1062
+ Bound result 1400
1063
+ Bound result 1323
1064
+ Bound result 7464
1065
+ Bound result 979
1066
+ Bound result 607
1067
+ Bound result 476635536694435215471
991
1068
 
992
1069
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
993
1070
 
994
1071
  ╭-----------------------------------+---------------------+-------+---------+----------╮
995
1072
  | Contract | Selector | Calls | Reverts | Discards |
996
1073
  +======================================================================================+
997
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
1074
+ | RateLimiterRBACUpgradeableHandler | inflow | 505 | 0 | 0 |
998
1075
  |-----------------------------------+---------------------+-------+---------+----------|
999
- | RateLimiterRBACUpgradeableHandler | outflow | 590 | 0 | 0 |
1076
+ | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
1000
1077
  |-----------------------------------+---------------------+-------+---------+----------|
1001
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
1078
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
1002
1079
  |-----------------------------------+---------------------+-------+---------+----------|
1003
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
1080
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1004
1081
  |-----------------------------------+---------------------+-------+---------+----------|
1005
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 494 | 0 | 0 |
1082
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 493 | 0 | 0 |
1006
1083
  |-----------------------------------+---------------------+-------+---------+----------|
1007
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1084
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596 | 0 | 0 |
1008
1085
  |-----------------------------------+---------------------+-------+---------+----------|
1009
- | RateLimiterRBACUpgradeableHandler | warp | 555 | 0 | 0 |
1086
+ | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
1010
1087
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1011
1088
 
1012
1089
  Logs:
1013
- Bound result 107477463
1014
- Bound result 378485637550124095914
1015
- Bound result 9900000046688051965424
1016
- Bound result 9900130977931491291422
1017
- Bound result 7973
1018
- Bound result 7616
1090
+ Bound result 10458
1091
+ Bound result 4540
1092
+ Bound result 9900000000000000008050
1093
+ Bound result 9900000000000000009449
1094
+ Bound result 1103
1095
+ Bound result 1219
1096
+ Bound result 2829
1097
+ Bound result 9900000000000000002274
1098
+ Bound result 9900000000000000010126
1099
+ Bound result 3303
1100
+ Bound result 8392
1101
+ Bound result 9900000000000000010403
1102
+ Bound result 9900000000000000007912
1103
+ Bound result 6282
1104
+ Bound result 5185
1105
+ Bound result 7444465398650514837
1106
+ Bound result 6914264337593535947489
1107
+ Bound result 9911790466223620714116
1019
1108
  Bound result 12
1020
- Bound result 521585152
1021
- Bound result 10403131
1109
+ Bound result 1601
1110
+ Bound result 753466
1111
+ Bound result 8762
1112
+ Bound result 247
1113
+ Bound result 0
1114
+ Bound result 9900048190022849459191
1115
+ Bound result 9906796510414913349503
1022
1116
  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
1117
+ Bound result 10
1118
+ Bound result 8
1119
+ Bound result 6297522
1120
+ Bound result 3
1042
1121
 
1043
1122
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1044
1123
 
1045
1124
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1046
1125
  | Contract | Selector | Calls | Reverts | Discards |
1047
1126
  +======================================================================================+
1048
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
1127
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
1049
1128
  |-----------------------------------+---------------------+-------+---------+----------|
1050
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
1129
+ | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
1051
1130
  |-----------------------------------+---------------------+-------+---------+----------|
1052
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1131
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
1053
1132
  |-----------------------------------+---------------------+-------+---------+----------|
1054
- | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1133
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
1055
1134
  |-----------------------------------+---------------------+-------+---------+----------|
1056
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
1135
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
1057
1136
  |-----------------------------------+---------------------+-------+---------+----------|
1058
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 561 | 0 | 0 |
1137
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
1059
1138
  |-----------------------------------+---------------------+-------+---------+----------|
1060
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
1139
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
1061
1140
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1062
1141
 
1063
1142
  Logs:
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
1143
+ Bound result 571
1144
+ Bound result 1315578464083
1145
+ Bound result 1
1146
+ Bound result 1140
1147
+ Bound result 7196
1148
+ Bound result 1347749767645823912072
1149
+ Bound result 152267103630199
1150
+ Bound result 110
1151
+ Bound result 1397463465594410439927
1081
1152
  Bound result 100000000000000000000
1082
- Bound result 3842
1083
- Bound result 13
1084
- Bound result 17
1153
+ Bound result 447
1154
+ Bound result 101
1155
+ Bound result 259
1156
+ Bound result 1
1157
+ Bound result 3862017086037
1085
1158
 
1086
1159
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1087
1160
 
1088
1161
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1089
1162
  | Contract | Selector | Calls | Reverts | Discards |
1090
1163
  +======================================================================================+
1091
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
1164
+ | RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
1092
1165
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
1166
+ | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
1094
1167
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
1168
+ | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
1096
1169
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
1170
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1098
1171
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
1172
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
1100
1173
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
1174
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
1102
1175
  |-----------------------------------+---------------------+-------+---------+----------|
1103
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
1176
+ | RateLimiterRBACUpgradeableHandler | warp | 519 | 0 | 0 |
1104
1177
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1105
1178
 
1106
1179
  Logs:
1107
- Bound result 1327641767302477
1108
- Bound result 2911986124
1109
- Bound result 6553
1110
- Bound result 1
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
1180
+ Bound result 9667
1181
+ Bound result 860608793
1182
+ Bound result 1653
1183
+ Bound result 276
1184
+ Bound result 9900000000000000010212
1185
+ Bound result 9900000000000000001736
1186
+ Bound result 369
1187
+ Bound result 3846
1188
+ Bound result 9900000000000000129669
1189
+ Bound result 9900000000000000003092
1190
+ Bound result 9919
1191
+ Bound result 4490
1192
+ Bound result 1805
1193
+ Bound result 7875432685558415750508
1194
+ Bound result 16777215
1195
+ Bound result 619
1196
+ Bound result 9900000074168517208916
1197
+ Bound result 6914264337593535947488
1198
+ Bound result 49
1199
+ Bound result 1997
1125
1200
 
1126
1201
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1127
1202
 
1128
1203
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1129
1204
  | Contract | Selector | Calls | Reverts | Discards |
1130
1205
  +======================================================================================+
1131
- | RateLimiterRBACUpgradeableHandler | inflow | 576 | 0 | 0 |
1206
+ | RateLimiterRBACUpgradeableHandler | inflow | 581 | 0 | 0 |
1132
1207
  |-----------------------------------+---------------------+-------+---------+----------|
1133
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
1208
+ | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
1134
1209
  |-----------------------------------+---------------------+-------+---------+----------|
1135
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
1210
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
1136
1211
  |-----------------------------------+---------------------+-------+---------+----------|
1137
- | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
1212
+ | RateLimiterRBACUpgradeableHandler | setState | 541 | 0 | 0 |
1138
1213
  |-----------------------------------+---------------------+-------+---------+----------|
1139
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
1214
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
1140
1215
  |-----------------------------------+---------------------+-------+---------+----------|
1141
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
1216
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
1142
1217
  |-----------------------------------+---------------------+-------+---------+----------|
1143
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1218
+ | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
1144
1219
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1145
1220
 
1146
1221
  Logs:
1147
- Bound result 14908121264390939124
1148
- Bound result 1534
1149
- Bound result 5399
1150
- Bound result 3472626730
1151
- Bound result 546616467334371222926
1152
- Bound result 5702954783253
1153
- Bound result 0
1154
- Bound result 1120888250246456638334
1155
- Bound result 3996
1156
- Bound result 222
1157
- Bound result 983
1158
- Bound result 10557
1222
+ Bound result 1360
1223
+ Bound result 2
1224
+ Bound result 9900000000000000001657
1225
+ Bound result 9900000000000000010335
1226
+ Bound result 2734
1227
+ Bound result 1697
1228
+ Bound result 756
1229
+ Bound result 72
1230
+ Bound result 4709194599468776040
1231
+ Bound result 496
1232
+ Bound result 3
1233
+ Bound result 535239862624
1234
+ Bound result 9900000000000000009704
1235
+ Bound result 9900000000000000006504
1236
+ Bound result 9700
1237
+ Bound result 9251
1159
1238
 
1160
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.68s (15.32s CPU time)
1239
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.94s (18.63s CPU time)
1161
1240
 
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)
1174
-
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)
1241
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1242
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1243
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1244
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1245
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1246
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1247
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1248
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1249
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1250
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1251
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1252
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1253
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1254
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1255
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1256
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1257
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1258
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1259
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1260
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1261
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1262
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1263
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1264
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1265
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1266
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1267
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1268
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1269
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1270
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1271
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1272
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1273
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1274
+ [PASS] test_storageHash() (gas: 3380)
1275
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 17.86s (761.14ms CPU time)
1183
1276
 
1184
1277
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1185
1278
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1186
1279
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1187
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 804763, ~: 231064)
1280
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 748646, ~: 178739)
1188
1281
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1189
1282
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1190
1283
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1197,12 +1290,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1197
1290
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1198
1291
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1199
1292
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1200
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11244835, ~: 10540345)
1293
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11178005, ~: 10483940)
1201
1294
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1202
1295
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1203
1296
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1204
1297
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1205
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 750552, ~: 167927)
1298
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 668106, ~: 69650)
1206
1299
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1207
1300
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1208
1301
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1215,72 +1308,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1215
1308
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1216
1309
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1217
1310
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1218
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11201669, ~: 10506032)
1311
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11075599, ~: 10359838)
1219
1312
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1220
1313
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
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)
1314
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 17.86s (41.39s CPU time)
1284
1315
 
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
1316
+ Ran 17 test suites in 17.89s (56.62s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1317
+ ⏳ forge test: 39.376s