@layerzerolabs/utils-upgradeable-evm-contracts 1.2.7 → 1.2.9

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 (2) hide show
  1. package/.turbo/turbo-test.log +755 -739
  2. package/package.json +4 -4
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-JjjP8i
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-UbGqPS
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:199178) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:251633) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-JjjP8i:/workspace
15
+ -v /tmp/lz-scoped-workspace-UbGqPS:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
19
  ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
20
20
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-JjjP8i:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-UbGqPS:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
22
22
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 12.27s
23
+ Solc 0.8.22 finished in 8.41s
24
24
  Compiler run successful with warnings:
25
25
  Warning (2018): Function state mutability can be restricted to view
26
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -179,7 +179,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
179
179
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
180
180
  [PASS] test_storageHash() (gas: 3414)
181
181
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
182
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 42.86ms (40.18ms CPU time)
182
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 18.83ms (17.07ms CPU time)
183
183
 
184
184
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
185
185
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -222,7 +222,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
222
222
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
223
223
  [PASS] test_storageHash() (gas: 3392)
224
224
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
225
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 41.52ms (32.34ms CPU time)
225
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 17.16ms (15.05ms CPU time)
226
226
 
227
227
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
228
228
  [PASS] test_feeDeposit() (gas: 17576)
@@ -230,227 +230,84 @@ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTe
230
230
  [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
231
231
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
232
232
  [PASS] test_storageHash() (gas: 3337)
233
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 57.61ms (57.08ms CPU time)
234
-
235
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
236
- [PASS] test_feeDeposit() (gas: 17638)
237
- [PASS] test_setFeeDeposit() (gas: 27596)
238
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
239
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
240
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
241
- [PASS] test_storageHash() (gas: 3315)
242
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 48.22ms (47.65ms CPU time)
233
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 59.74ms (59.35ms CPU time)
243
234
 
244
235
  Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
245
236
  [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
246
237
  [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
247
238
  [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
248
239
  [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
249
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
240
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
250
241
  [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
251
242
  [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
252
243
  [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
253
244
  [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
254
245
  [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
255
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 134.83ms (49.60ms CPU time)
246
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 31.11ms (30.97ms CPU time)
256
247
 
257
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
258
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
259
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
260
- [PASS] test_assertNotPaused_Success() (gas: 12516)
261
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
262
- [PASS] test_isPaused_InitialState() (gas: 15595)
263
- [PASS] test_pause() (gas: 39592)
264
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28370, ~: 39861)
265
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
266
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
267
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
248
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
249
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26202, ~: 12786)
250
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
251
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
252
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
253
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
254
+ [PASS] test_isPaused_InitialState() (gas: 15629)
255
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
256
+ [PASS] test_multipleRoleGrants() (gas: 394130)
257
+ [PASS] test_pause() (gas: 42109)
258
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
259
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
260
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31275, ~: 42378)
261
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
262
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
263
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
264
+ [PASS] test_setPaused_Success() (gas: 40691)
265
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
266
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
268
267
  [PASS] test_storageHash() (gas: 3414)
269
- [PASS] test_unpause() (gas: 31115)
270
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40388, ~: 38893)
271
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
272
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
273
- [PASS] test_whenNotPaused_Success() (gas: 38744)
274
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
275
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
276
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
277
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 163.43ms (306.26ms CPU time)
278
-
279
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
280
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
281
- [PASS] test_constructor_InitialMode() (gas: 15578)
282
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
283
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
284
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
285
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
286
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
287
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
288
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
289
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
290
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
291
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
292
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
293
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
294
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
295
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
296
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
297
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
298
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
299
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
300
- [PASS] test_setMode_Blacklist() (gas: 40021)
301
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
302
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
303
- [PASS] test_setMode_Whitelist() (gas: 40108)
304
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
305
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
306
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
307
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
308
- [PASS] test_storageHash() (gas: 3458)
309
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 229.11ms (424.65ms CPU time)
310
-
311
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
312
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
313
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
314
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
315
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
316
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
317
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
318
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
319
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
320
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
321
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
322
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
323
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
324
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
325
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
326
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
327
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
328
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
329
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
330
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
331
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
332
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
333
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
334
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
335
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
336
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
337
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
338
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
339
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
340
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
341
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
342
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
343
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
344
- [PASS] test_storageHash() (gas: 3380)
345
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 313.57ms (379.08ms CPU time)
346
-
347
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
348
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
349
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
350
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47538, ~: 48966)
351
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
352
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
353
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
354
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
355
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
356
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
357
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
358
- [PASS] test_getFee_Default() (gas: 43108)
359
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45715, ~: 47017)
360
- [PASS] test_getFee_Rounding() (gas: 45449)
361
- [PASS] test_getFee_Specific() (gas: 66985)
362
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
363
- [PASS] test_setDefaultFeeBps() (gas: 42199)
364
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35268, ~: 42268)
365
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
366
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
367
- [PASS] test_setFeeBps() (gas: 77237)
368
- Logs:
369
- Bound result 500
370
-
371
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68954, ~: 77570)
372
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
373
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
374
- [PASS] test_storageHash() (gas: 3436)
375
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 501.41ms (601.29ms CPU time)
376
-
377
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
378
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
379
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
380
- [PASS] test_assertNotPaused_Success() (gas: 14891)
381
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
382
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
383
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
384
- [PASS] test_isPaused_Default() (gas: 47316)
385
- [PASS] test_isPaused_InitialState() (gas: 22172)
386
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
387
- [PASS] test_isPaused_Override() (gas: 75171)
388
- [PASS] test_isPaused_Specific() (gas: 50105)
389
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
390
- [PASS] test_pauseConfig() (gas: 51028)
391
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
392
- [PASS] test_setDefaultPaused() (gas: 42196)
393
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
394
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
395
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
396
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
397
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
398
- [PASS] test_setPaused() (gas: 48361)
399
- [PASS] test_setPaused_DormantData() (gas: 295234)
400
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
401
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
402
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43765, ~: 48696)
403
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222875, ~: 216804)
404
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
405
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
406
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
407
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
408
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
409
- [PASS] test_setPaused_Success() (gas: 45897)
410
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
411
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
412
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
413
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
414
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
415
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
416
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
417
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62067, ~: 50341)
418
- [PASS] test_storageHash() (gas: 3392)
419
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
420
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
421
- [PASS] test_whenNotPaused_Success() (gas: 41299)
422
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
423
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
424
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
425
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.22s (801.43ms CPU time)
426
-
427
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
428
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
429
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
430
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45007, ~: 46317)
431
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
432
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
433
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
434
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
435
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
436
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
437
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
438
- [PASS] test_getFee_Default() (gas: 40577)
439
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43049, ~: 44486)
440
- [PASS] test_getFee_Rounding() (gas: 42835)
441
- [PASS] test_getFee_Specific() (gas: 63968)
442
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
443
- [PASS] test_setDefaultFeeBps() (gas: 39576)
444
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31906, ~: 39667)
445
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
446
- [PASS] test_setFeeBps() (gas: 73871)
447
- Logs:
448
- Bound result 500
268
+ [PASS] test_unpause() (gas: 35177)
269
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41809, ~: 44479)
270
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
271
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
272
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
273
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
274
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
275
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
276
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 164.53ms (249.79ms CPU time)
449
277
 
450
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65491, ~: 74224)
451
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
452
- [PASS] test_storageHash() (gas: 3426)
453
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.29s (414.05ms CPU time)
278
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
279
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
280
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
281
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
282
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
283
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
284
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
285
+ [PASS] test_isPaused_Default() (gas: 44698)
286
+ [PASS] test_isPaused_InitialState() (gas: 22070)
287
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
288
+ [PASS] test_isPaused_Override() (gas: 69381)
289
+ [PASS] test_isPaused_Specific() (gas: 46709)
290
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
291
+ [PASS] test_pauseConfig() (gas: 45626)
292
+ [PASS] test_setDefaultPaused() (gas: 39667)
293
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28125, ~: 28125)
294
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
295
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
296
+ [PASS] test_setPaused() (gas: 43060)
297
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
298
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38875, ~: 43373)
299
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
300
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
301
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
302
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58140, ~: 46989)
303
+ [PASS] test_storageHash() (gas: 3480)
304
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
305
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
306
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
307
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
308
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
309
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
310
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 172.22ms (319.77ms CPU time)
454
311
 
455
312
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
456
313
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -485,783 +342,942 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
485
342
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
486
343
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
487
344
  [PASS] test_storageHash() (gas: 3480)
488
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.39s (522.81ms CPU time)
345
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 470.14ms (335.18ms CPU time)
489
346
 
490
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
491
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27221, ~: 41090)
492
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
493
- [PASS] test_assertNotPaused_Success() (gas: 12539)
494
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
495
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
496
- [PASS] test_isPaused_InitialState() (gas: 15629)
497
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
498
- [PASS] test_multipleRoleGrants() (gas: 394130)
499
- [PASS] test_pause() (gas: 42109)
500
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
501
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
502
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30897, ~: 42378)
503
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
504
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
505
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
506
- [PASS] test_setPaused_Success() (gas: 40691)
507
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
508
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
347
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
348
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
349
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
350
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45248, ~: 46317)
351
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
352
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
353
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
354
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
355
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
356
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
357
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
358
+ [PASS] test_getFee_Default() (gas: 40577)
359
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43405, ~: 44486)
360
+ [PASS] test_getFee_Rounding() (gas: 42835)
361
+ [PASS] test_getFee_Specific() (gas: 63968)
362
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
363
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
364
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32171, ~: 39667)
365
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
366
+ [PASS] test_setFeeBps() (gas: 73871)
367
+ Logs:
368
+ Bound result 500
369
+
370
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65759, ~: 74224)
371
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
372
+ [PASS] test_storageHash() (gas: 3426)
373
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 686.32ms (347.42ms CPU time)
374
+
375
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
376
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
377
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
378
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47544, ~: 48966)
379
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
380
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
381
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
382
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
383
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
384
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
385
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
386
+ [PASS] test_getFee_Default() (gas: 43108)
387
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45607, ~: 47017)
388
+ [PASS] test_getFee_Rounding() (gas: 45449)
389
+ [PASS] test_getFee_Specific() (gas: 66985)
390
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
391
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
392
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34578, ~: 42268)
393
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
394
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
395
+ [PASS] test_setFeeBps() (gas: 77237)
396
+ Logs:
397
+ Bound result 500
398
+
399
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68586, ~: 77570)
400
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
401
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
402
+ [PASS] test_storageHash() (gas: 3436)
403
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 728.06ms (509.91ms CPU time)
404
+
405
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
406
+ [PASS] test_feeDeposit() (gas: 17638)
407
+ [PASS] test_setFeeDeposit() (gas: 27596)
408
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
409
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
410
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
411
+ [PASS] test_storageHash() (gas: 3315)
412
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 901.29ms (85.84ms CPU time)
413
+
414
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
415
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25053, ~: 12763)
416
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
417
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
418
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
419
+ [PASS] test_isPaused_InitialState() (gas: 15595)
420
+ [PASS] test_pause() (gas: 39592)
421
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27874, ~: 16219)
422
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
423
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
424
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
509
425
  [PASS] test_storageHash() (gas: 3414)
510
- [PASS] test_unpause() (gas: 35177)
511
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41686, ~: 44479)
512
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
513
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
514
- [PASS] test_whenNotPaused_Success() (gas: 38800)
515
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
516
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
517
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
518
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.39s (277.21ms CPU time)
426
+ [PASS] test_unpause() (gas: 31115)
427
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40439, ~: 38893)
428
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
429
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
430
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
431
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
432
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
433
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
434
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.00s (221.73ms CPU time)
435
+
436
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
437
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
438
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
439
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
440
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
441
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
442
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
443
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
444
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
445
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
446
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
447
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
448
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
449
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
450
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
451
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
452
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
453
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
454
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
455
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
456
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
457
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
458
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
459
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
460
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
461
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
462
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
463
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
464
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
465
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
466
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
467
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
468
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
469
+ [PASS] test_storageHash() (gas: 3380)
470
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 1.06s (496.77ms CPU time)
519
471
 
520
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
472
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
521
473
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
522
474
 
523
475
  ╭-----------------------------------+---------------------+-------+---------+----------╮
524
476
  | Contract | Selector | Calls | Reverts | Discards |
525
477
  +======================================================================================+
526
- | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
478
+ | RateLimiterRBACUpgradeableHandler | inflow | 533 | 0 | 0 |
527
479
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
480
+ | RateLimiterRBACUpgradeableHandler | outflow | 589 | 0 | 0 |
529
481
  |-----------------------------------+---------------------+-------+---------+----------|
530
- | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
482
+ | RateLimiterRBACUpgradeableHandler | setConfig | 524 | 0 | 0 |
531
483
  |-----------------------------------+---------------------+-------+---------+----------|
532
- | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
484
+ | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
533
485
  |-----------------------------------+---------------------+-------+---------+----------|
534
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
486
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
535
487
  |-----------------------------------+---------------------+-------+---------+----------|
536
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
488
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
537
489
  |-----------------------------------+---------------------+-------+---------+----------|
538
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
490
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
539
491
  ╰-----------------------------------+---------------------+-------+---------+----------╯
540
492
 
541
493
  Logs:
542
- Bound result 452
543
- Bound result 9900000000023720904299
544
- Bound result 9900000037601110189097
545
- Bound result 1620
546
- Bound result 6687
547
- Bound result 9900000000000411029180
548
- Bound result 6914264337593535947489
549
- Bound result 3123
550
- Bound result 1378
551
- Bound result 46
552
- Bound result 26859
553
- Bound result 3352
554
- Bound result 3
555
- Bound result 1229
556
- Bound result 8307
557
- Bound result 4812421941287723879844
558
- Bound result 5575
559
- Bound result 9900000000000000005818
560
- Bound result 9900000000000000001147
561
- Bound result 6052
562
- Bound result 7448
494
+ Bound result 249401334
495
+ Bound result 9900000967009981754853
496
+ Bound result 135331867862359706384
497
+ Bound result 5091
498
+ Bound result 248
499
+ Bound result 4604
500
+ Bound result 2
501
+ Bound result 1
502
+ Bound result 1
503
+ Bound result 830885669
504
+ Bound result 6236
505
+ Bound result 2179643790316
506
+ Bound result 1025
507
+ Bound result 49466527
508
+ Bound result 9900000000295940043683
509
+ Bound result 100000000000000000002
510
+ Bound result 2901
511
+ Bound result 12
512
+ Bound result 657
563
513
 
564
514
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
565
515
 
566
516
  ╭-----------------------------------+---------------------+-------+---------+----------╮
567
517
  | Contract | Selector | Calls | Reverts | Discards |
568
518
  +======================================================================================+
569
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
519
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
570
520
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
521
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
572
522
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
523
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
574
524
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
525
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
576
526
  |-----------------------------------+---------------------+-------+---------+----------|
577
527
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
578
528
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
529
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 508 | 0 | 0 |
580
530
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
582
532
  ╰-----------------------------------+---------------------+-------+---------+----------╯
583
533
 
584
534
  Logs:
585
- Bound result 1548580883601478649517
586
- Bound result 4479867
535
+ Bound result 5123
536
+ Bound result 8923
537
+ Bound result 4730
587
538
  Bound result 1
588
- Bound result 275326166901063307525
589
- Bound result 514264337593504336253
590
- Bound result 216734224410546591882
591
- Bound result 0
592
- Bound result 1874863407976662570135
593
- Bound result 714458837924287871680
594
- Bound result 9900000000000508542456
595
- Bound result 9900000000000000000407
596
- Bound result 8995
597
- Bound result 7820
598
- Bound result 4602884991323874048850
599
- Bound result 9900027881197501094996
600
- Bound result 377
601
- Bound result 31
602
- Bound result 144
603
- Bound result 73213732616918306116
604
- Bound result 9900000000000000005621
605
- Bound result 9991855308653467102964
606
- Bound result 3463
607
- Bound result 687
608
- Bound result 775
609
- Bound result 1348
539
+ Bound result 3844438871423435
540
+ Bound result 2
541
+ Bound result 104
542
+ Bound result 9900000000000033540519
543
+ Bound result 9900000000000000005092
544
+ Bound result 7533
545
+ Bound result 1219
546
+ Bound result 9900000000003788300596
547
+ Bound result 9900000000000000000573
548
+ Bound result 3864
549
+ Bound result 156
550
+ Bound result 266
551
+ Bound result 1303
552
+ Bound result 470760
553
+ Bound result 4
554
+ Bound result 14
555
+ Bound result 4
556
+ Bound result 152244
557
+ Bound result 73
610
558
 
611
559
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
612
560
 
613
561
  ╭-----------------------------------+---------------------+-------+---------+----------╮
614
562
  | Contract | Selector | Calls | Reverts | Discards |
615
563
  +======================================================================================+
616
- | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
564
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
617
565
  |-----------------------------------+---------------------+-------+---------+----------|
618
- | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
566
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
619
567
  |-----------------------------------+---------------------+-------+---------+----------|
620
- | RateLimiterRBACUpgradeableHandler | setConfig | 599 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
621
569
  |-----------------------------------+---------------------+-------+---------+----------|
622
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
623
571
  |-----------------------------------+---------------------+-------+---------+----------|
624
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 518 | 0 | 0 |
625
573
  |-----------------------------------+---------------------+-------+---------+----------|
626
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 585 | 0 | 0 |
627
575
  |-----------------------------------+---------------------+-------+---------+----------|
628
- | RateLimiterRBACUpgradeableHandler | warp | 519 | 0 | 0 |
576
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
629
577
  ╰-----------------------------------+---------------------+-------+---------+----------╯
630
578
 
631
579
  Logs:
632
- Bound result 1736814038240406134510
633
- Bound result 1058
634
- Bound result 718
635
- Bound result 6554
636
- Bound result 113
637
- Bound result 255
638
- Bound result 1481
639
- Bound result 9449
640
- Bound result 990
641
- Bound result 943
642
- Bound result 29737036263899241466
643
- Bound result 1177839823627468095543
644
- Bound result 3073559828434448285249
645
- Bound result 4612
646
- Bound result 2682
647
- Bound result 12934
648
- Bound result 9900000000029706865942
649
- Bound result 9660994027430679475617
650
- Bound result 3015
651
- Bound result 96
652
- Bound result 9900000000000000003047
653
- Bound result 9900000000000000001172
654
- Bound result 2335
655
- Bound result 72
580
+ Bound result 2139
581
+ Bound result 8824734014500567170091
582
+ Bound result 9900000000005170027665
583
+ Bound result 10
584
+ Bound result 197
585
+ Bound result 3013121951
586
+ Bound result 8049
587
+ Bound result 100000000000000000000
588
+ Bound result 9900781438957450629900
589
+ Bound result 10
590
+ Bound result 110
591
+ Bound result 27
592
+ Bound result 850
593
+ Bound result 9900000000067236026615
594
+ Bound result 8647130675055789711591
595
+ Bound result 26
596
+ Bound result 9573
597
+ Bound result 349
656
598
 
657
599
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
658
600
 
659
601
  ╭-----------------------------------+---------------------+-------+---------+----------╮
660
602
  | Contract | Selector | Calls | Reverts | Discards |
661
603
  +======================================================================================+
662
- | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
663
605
  |-----------------------------------+---------------------+-------+---------+----------|
664
- | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
606
+ | RateLimiterRBACUpgradeableHandler | outflow | 552 | 0 | 0 |
665
607
  |-----------------------------------+---------------------+-------+---------+----------|
666
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
667
609
  |-----------------------------------+---------------------+-------+---------+----------|
668
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
669
611
  |-----------------------------------+---------------------+-------+---------+----------|
670
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
671
613
  |-----------------------------------+---------------------+-------+---------+----------|
672
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
673
615
  |-----------------------------------+---------------------+-------+---------+----------|
674
- | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
675
617
  ╰-----------------------------------+---------------------+-------+---------+----------╯
676
618
 
677
619
  Logs:
678
- Bound result 1931
679
- Bound result 815
680
- Bound result 1
681
- Bound result 68
682
- Bound result 155444206180294169609
683
- Bound result 283342707
684
- Bound result 116977713357590587
685
- Bound result 720
686
- Bound result 9900000000126678020215
687
- Bound result 100000000000000000003
688
- Bound result 4558
689
- Bound result 3417
690
- Bound result 14255
691
- Bound result 11
692
- Bound result 1435
620
+ Bound result 24
621
+ Bound result 2
622
+ Bound result 9900000000000000003319
623
+ Bound result 9900000000000000003954
624
+ Bound result 682
625
+ Bound result 6744
626
+ Bound result 8703317570394093476212
627
+ Bound result 118661522788
628
+ Bound result 2
629
+ Bound result 8363
630
+ Bound result 9904105280027130256543
631
+ Bound result 9907716075315507157728
632
+ Bound result 3957
633
+ Bound result 6894
634
+ Bound result 18919249064488153895393
635
+ Bound result 23
636
+ Bound result 9900000000000000004896
637
+ Bound result 9900000000000000009552
638
+ Bound result 2072
639
+ Bound result 4237
693
640
 
694
641
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
695
642
 
696
643
  ╭-----------------------------------+---------------------+-------+---------+----------╮
697
644
  | Contract | Selector | Calls | Reverts | Discards |
698
645
  +======================================================================================+
699
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
646
+ | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
700
647
  |-----------------------------------+---------------------+-------+---------+----------|
701
648
  | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
702
649
  |-----------------------------------+---------------------+-------+---------+----------|
703
- | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
650
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
704
651
  |-----------------------------------+---------------------+-------+---------+----------|
705
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
706
653
  |-----------------------------------+---------------------+-------+---------+----------|
707
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
708
655
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
710
657
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
712
659
  ╰-----------------------------------+---------------------+-------+---------+----------╯
713
660
 
714
661
  Logs:
715
- Bound result 811
716
- Bound result 582
717
- Bound result 8397
718
- Bound result 1399
719
- Bound result 9351
720
- Bound result 9900000000000027395763
721
- Bound result 100000000000000000002
722
- Bound result 3187
723
- Bound result 9341
724
- Bound result 2416
725
- Bound result 791671132
726
- Bound result 561
727
- Bound result 6
728
- Bound result 35449142038
729
- Bound result 750100
730
- Bound result 22
731
- Bound result 2419
732
- Bound result 9900000000000000000232
733
- Bound result 9900000000004294967296
734
- Bound result 2461
735
- Bound result 2096
662
+ Bound result 331
663
+ Bound result 9900000000000000010077
664
+ Bound result 9900000000000000009176
665
+ Bound result 437
666
+ Bound result 681
667
+ Bound result 1
668
+ Bound result 59
669
+ Bound result 204
670
+ Bound result 9900000000000000001521
671
+ Bound result 9900000000000000002236
672
+ Bound result 416
673
+ Bound result 1024
674
+ Bound result 6980
675
+ Bound result 5608
676
+ Bound result 9900000000002670455648
677
+ Bound result 9995669728503188202574
678
+ Bound result 13
679
+ Bound result 7336
680
+ Bound result 6397
681
+ Bound result 378
682
+ Bound result 40
683
+ Bound result 11829
736
684
 
737
685
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
738
686
 
739
687
  ╭-----------------------------------+---------------------+-------+---------+----------╮
740
688
  | Contract | Selector | Calls | Reverts | Discards |
741
689
  +======================================================================================+
742
- | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
690
+ | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
743
691
  |-----------------------------------+---------------------+-------+---------+----------|
744
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
692
+ | RateLimiterRBACUpgradeableHandler | outflow | 550 | 0 | 0 |
745
693
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
694
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
747
695
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | setState | 508 | 0 | 0 |
696
+ | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
749
697
  |-----------------------------------+---------------------+-------+---------+----------|
750
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 585 | 0 | 0 |
751
699
  |-----------------------------------+---------------------+-------+---------+----------|
752
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
753
701
  |-----------------------------------+---------------------+-------+---------+----------|
754
- | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
755
703
  ╰-----------------------------------+---------------------+-------+---------+----------╯
756
704
 
757
705
  Logs:
758
- Bound result 616
759
- Bound result 2165
760
- Bound result 21
761
- Bound result 3043
762
- Bound result 359
763
- Bound result 7393
764
- Bound result 459
765
- Bound result 2
766
- Bound result 15349333446
767
- Bound result 19
768
- Bound result 2
769
- Bound result 72120
770
- Bound result 45
771
- Bound result 1
772
- Bound result 206113159719234512
773
- Bound result 631894822407
774
- Bound result 30
775
- Bound result 1740
776
- Bound result 9900000000000000001675
777
- Bound result 7998996683314043846436
778
- Bound result 1041
779
- Bound result 3450
706
+ Bound result 703
707
+ Bound result 457455047
708
+ Bound result 239387
709
+ Bound result 140
710
+ Bound result 2519872883731242448268
711
+ Bound result 9900000000000000442526
712
+ Bound result 27
713
+ Bound result 6240
714
+ Bound result 9667
715
+ Bound result 9900000410049171399429
716
+ Bound result 9900000000000006967500
717
+ Bound result 5622
718
+ Bound result 3100
719
+ Bound result 33540518
720
+ Bound result 800627396
721
+ Bound result 425
722
+ Bound result 9900000002765127274623
723
+ Bound result 9900000000000199754392
724
+ Bound result 10
725
+ Bound result 3649
726
+ Bound result 9900000000000000918192
727
+ Bound result 6914264337593535947489
728
+ Bound result 5141
729
+ Bound result 10
730
+ Bound result 9900000000000000000007
731
+ Bound result 7345066543504128490412
732
+ Bound result 5498
733
+ Bound result 12
734
+ Bound result 100000000000000000000
735
+ Bound result 9900000000000000066416
736
+ Bound result 13
737
+ Bound result 4845
738
+ Bound result 6914264337593535947488
739
+ Bound result 9198622265605461154065
740
+ Bound result 10
741
+ Bound result 395
742
+ Bound result 9900000000000000008460
743
+ Bound result 9900000000000000000853
744
+ Bound result 3686
745
+ Bound result 221
780
746
 
781
747
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
782
748
 
783
749
  ╭-----------------------------------+---------------------+-------+---------+----------╮
784
750
  | Contract | Selector | Calls | Reverts | Discards |
785
751
  +======================================================================================+
786
- | RateLimiterRBACUpgradeableHandler | inflow | 497 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | inflow | 506 | 0 | 0 |
787
753
  |-----------------------------------+---------------------+-------+---------+----------|
788
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | outflow | 591 | 0 | 0 |
789
755
  |-----------------------------------+---------------------+-------+---------+----------|
790
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
756
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
791
757
  |-----------------------------------+---------------------+-------+---------+----------|
792
- | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
758
+ | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
793
759
  |-----------------------------------+---------------------+-------+---------+----------|
794
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
760
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 605 | 0 | 0 |
795
761
  |-----------------------------------+---------------------+-------+---------+----------|
796
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 604 | 0 | 0 |
762
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
797
763
  |-----------------------------------+---------------------+-------+---------+----------|
798
- | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
764
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
799
765
  ╰-----------------------------------+---------------------+-------+---------+----------╯
800
766
 
801
767
  Logs:
802
- Bound result 1485
803
- Bound result 21
804
- Bound result 979
805
- Bound result 2277
806
- Bound result 9900000000098948848864
807
- Bound result 100000000000000000001
808
- Bound result 7310
809
- Bound result 74
810
- Bound result 9481167181146085100979
811
- Bound result 2074
812
- Bound result 1320
813
- Bound result 2004
814
- Bound result 36148380071
815
- Bound result 2719922
816
- Bound result 1908
817
- Bound result 247671704908
818
- Bound result 3793250972595378243
819
- Bound result 688
820
- Bound result 2
821
- Bound result 100000000000000000000
822
- Bound result 6914264337593535947491
768
+ Bound result 1961229132548949
769
+ Bound result 9900000000000000000081
770
+ Bound result 9900000000000000000756
771
+ Bound result 2034
772
+ Bound result 5404
773
+ Bound result 9900000000000119774529
774
+ Bound result 1232538659258885977784
775
+ Bound result 11
776
+ Bound result 15
777
+ Bound result 4425838632303874730446
778
+ Bound result 12
779
+ Bound result 106722676
780
+ Bound result 0
781
+ Bound result 2293517444
782
+ Bound result 6720
783
+ Bound result 1
784
+ Bound result 1199
785
+ Bound result 6389
786
+ Bound result 625761769
787
+ Bound result 0
823
788
  Bound result 29
824
- Bound result 1661
789
+ Bound result 9900000000000000006349
790
+ Bound result 9900000000000000009844
791
+ Bound result 258
792
+ Bound result 733
825
793
 
826
794
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
827
795
 
828
796
  ╭-----------------------------------+---------------------+-------+---------+----------╮
829
797
  | Contract | Selector | Calls | Reverts | Discards |
830
798
  +======================================================================================+
831
- | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
832
800
  |-----------------------------------+---------------------+-------+---------+----------|
833
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
834
802
  |-----------------------------------+---------------------+-------+---------+----------|
835
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
803
+ | RateLimiterRBACUpgradeableHandler | setConfig | 516 | 0 | 0 |
836
804
  |-----------------------------------+---------------------+-------+---------+----------|
837
- | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
805
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
838
806
  |-----------------------------------+---------------------+-------+---------+----------|
839
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
807
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 600 | 0 | 0 |
840
808
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
809
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 546 | 0 | 0 |
842
810
  |-----------------------------------+---------------------+-------+---------+----------|
843
- | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
811
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
844
812
  ╰-----------------------------------+---------------------+-------+---------+----------╯
845
813
 
846
814
  Logs:
847
- Bound result 10606647823578181610
848
- Bound result 9900000000000000178684
849
- Bound result 100000000000000000000
850
- Bound result 9998
851
- Bound result 9300
852
- Bound result 9388
853
- Bound result 2544
854
- Bound result 0
855
- Bound result 9900000002147620972234
856
- Bound result 9900000000000000000417
857
- Bound result 6241
858
- Bound result 1309
859
- Bound result 542
860
- Bound result 18870501204219449971006
861
- Bound result 225569
815
+ Bound result 3157992578248926462
816
+ Bound result 4731
862
817
  Bound result 3
818
+ Bound result 9900000000000000003483
819
+ Bound result 9900000000000000000418
820
+ Bound result 5632
821
+ Bound result 7551
822
+ Bound result 15699894110165045297865
823
+ Bound result 2179129468859501004481
824
+ Bound result 2642311176727772131649
825
+ Bound result 288
826
+ Bound result 9996
863
827
  Bound result 1
864
- Bound result 3551326
865
- Bound result 1352666287025906513
866
- Bound result 9858
828
+ Bound result 537
829
+ Bound result 7713648161366203881373
830
+ Bound result 9900296591568597210262
831
+ Bound result 1847
832
+ Bound result 1402
833
+ Bound result 9900000000000000005594
834
+ Bound result 9900000000000000000235
835
+ Bound result 532
836
+ Bound result 3094
837
+
838
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.04s (6.03s CPU time)
867
839
 
868
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.42s (9.01s CPU time)
869
-
870
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
840
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
871
841
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
872
842
 
873
843
  ╭-----------------------------------+---------------------+-------+---------+----------╮
874
844
  | Contract | Selector | Calls | Reverts | Discards |
875
845
  +======================================================================================+
876
- | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
846
+ | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
877
847
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
848
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
879
849
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | setConfig | 589 | 0 | 0 |
850
+ | RateLimiterRBACUpgradeableHandler | setConfig | 525 | 0 | 0 |
881
851
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
852
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
883
853
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
854
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
885
855
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
856
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
887
857
  |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
858
+ | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
889
859
  ╰-----------------------------------+---------------------+-------+---------+----------╯
890
860
 
891
861
  Logs:
892
- Bound result 100328
893
- Bound result 1663988164610123696057
894
- Bound result 475785
895
- Bound result 1
896
- Bound result 319
897
- Bound result 784
898
- Bound result 0
899
- Bound result 392173355372290913730
900
- Bound result 441
901
- Bound result 537174172434044694112
902
- Bound result 6282
903
- Bound result 678
904
- Bound result 9456905736582705805
905
- Bound result 13591879461
906
- Bound result 1115511093974316443714
907
- Bound result 489
908
- Bound result 9900007096987149084627
909
- Bound result 9900000000001032493803
910
- Bound result 497
911
- Bound result 30
912
- Bound result 7431
913
- Bound result 3482
914
- Bound result 63
915
- Bound result 14033297352986617913003
916
- Bound result 77326629676205
862
+ Bound result 27
863
+ Bound result 9734
864
+ Bound result 714
865
+ Bound result 11
866
+ Bound result 4236
867
+ Bound result 6979
868
+ Bound result 105
869
+ Bound result 102
870
+ Bound result 9900003245595099148928
871
+ Bound result 9900000000000013133329
872
+ Bound result 27
873
+ Bound result 465
917
874
 
918
875
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
919
876
 
920
877
  ╭-----------------------------------+---------------------+-------+---------+----------╮
921
878
  | Contract | Selector | Calls | Reverts | Discards |
922
879
  +======================================================================================+
923
- | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | inflow | 591 | 0 | 0 |
924
881
  |-----------------------------------+---------------------+-------+---------+----------|
925
- | RateLimiterRBACUpgradeableHandler | outflow | 584 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
926
883
  |-----------------------------------+---------------------+-------+---------+----------|
927
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
928
885
  |-----------------------------------+---------------------+-------+---------+----------|
929
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
886
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
930
887
  |-----------------------------------+---------------------+-------+---------+----------|
931
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
932
889
  |-----------------------------------+---------------------+-------+---------+----------|
933
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 505 | 0 | 0 |
890
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
934
891
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
892
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
936
893
  ╰-----------------------------------+---------------------+-------+---------+----------╯
937
894
 
938
895
  Logs:
939
- Bound result 3573
940
- Bound result 934805284
941
- Bound result 344526421
896
+ Bound result 65280
897
+ Bound result 9900000000000120126173
898
+ Bound result 9900000000000000001171
899
+ Bound result 2960
900
+ Bound result 4426
901
+ Bound result 270312519555443886110
902
+ Bound result 3807
903
+ Bound result 100000000000000000001
904
+ Bound result 9900000000000763600052
905
+ Bound result 7469
906
+ Bound result 411
907
+ Bound result 121462477567911657780
908
+ Bound result 9900000000000000000088
909
+ Bound result 10000
910
+ Bound result 7248
942
911
  Bound result 1
943
- Bound result 46020171
944
- Bound result 514264337593543950332
945
- Bound result 158610279475200
946
- Bound result 1661571
947
- Bound result 514264337593504336254
912
+ Bound result 5094812242021750
913
+ Bound result 2103086232
914
+ Bound result 185140673550199688892
915
+ Bound result 23301205766463
948
916
  Bound result 0
949
- Bound result 8463055308
950
- Bound result 9
951
- Bound result 9900000507845587545131
952
- Bound result 824030058523604428037
953
- Bound result 2716
954
- Bound result 6241
955
- Bound result 9900024795862163276820
956
- Bound result 9920505445588318811298
957
- Bound result 8247
958
- Bound result 12
917
+ Bound result 9900000000012734545336
918
+ Bound result 100000000000000000003
919
+ Bound result 815
920
+ Bound result 805
921
+ Bound result 56931251788476
922
+ Bound result 114264337590770964648
923
+ Bound result 1
924
+ Bound result 3695152416
959
925
 
960
926
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
961
927
 
962
928
  ╭-----------------------------------+---------------------+-------+---------+----------╮
963
929
  | Contract | Selector | Calls | Reverts | Discards |
964
930
  +======================================================================================+
965
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
966
932
  |-----------------------------------+---------------------+-------+---------+----------|
967
- | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
968
934
  |-----------------------------------+---------------------+-------+---------+----------|
969
- | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
970
936
  |-----------------------------------+---------------------+-------+---------+----------|
971
- | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
937
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
972
938
  |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
939
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
974
940
  |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
941
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
976
942
  |-----------------------------------+---------------------+-------+---------+----------|
977
- | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
943
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
978
944
  ╰-----------------------------------+---------------------+-------+---------+----------╯
979
945
 
980
946
  Logs:
981
- Bound result 645482110905166912324
982
- Bound result 1831908794040158325432
983
- Bound result 401472089959490854185
984
- Bound result 5
985
- Bound result 0
986
- Bound result 927356862852934536829
987
- Bound result 815
988
- Bound result 329
989
- Bound result 225725077
990
- Bound result 514264337593504336253
991
- Bound result 0
992
- Bound result 3976321243
993
- Bound result 3973
994
- Bound result 0
995
- Bound result 3
996
- Bound result 9900000000000000007740
997
- Bound result 9900000000000000000025
998
- Bound result 3955
999
- Bound result 578
1000
- Bound result 4866
1001
- Bound result 9904316375016999611120
1002
- Bound result 1972430923601754067877
1003
- Bound result 10
1004
- Bound result 6001
947
+ Bound result 17285014442880500
948
+ Bound result 3964
949
+ Bound result 1958
950
+ Bound result 9388
951
+ Bound result 5881
952
+ Bound result 418
953
+ Bound result 9900000000000000001577
954
+ Bound result 9900000000000000003663
955
+ Bound result 4175
956
+ Bound result 5679
957
+ Bound result 100000000000000000002
958
+ Bound result 9900000000000000011643
959
+ Bound result 13
960
+ Bound result 7295
961
+ Bound result 12578
962
+ Bound result 4256
963
+ Bound result 1376
964
+ Bound result 9900000020740148075182
965
+ Bound result 9900000000000000002125
966
+ Bound result 6400
967
+ Bound result 848
1005
968
 
1006
969
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1007
970
 
1008
971
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1009
972
  | Contract | Selector | Calls | Reverts | Discards |
1010
973
  +======================================================================================+
1011
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
974
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1012
975
  |-----------------------------------+---------------------+-------+---------+----------|
1013
- | RateLimiterRBACUpgradeableHandler | outflow | 575 | 0 | 0 |
976
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
1014
977
  |-----------------------------------+---------------------+-------+---------+----------|
1015
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
978
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
1016
979
  |-----------------------------------+---------------------+-------+---------+----------|
1017
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
980
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1018
981
  |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
982
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
1020
983
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
984
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
1022
985
  |-----------------------------------+---------------------+-------+---------+----------|
1023
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1024
987
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1025
988
 
1026
989
  Logs:
1027
- Bound result 44200218074
1028
- Bound result 9900000000045495692240
1029
- Bound result 9900000006284542095551
1030
- Bound result 6241
1031
- Bound result 4341
1032
- Bound result 19700965608594406092633
1033
- Bound result 2950134782757049742087
1034
- Bound result 1
1035
- Bound result 2233625730
1036
- Bound result 5320756347662
1037
- Bound result 12834414562989669087410
1038
- Bound result 8204
1039
- Bound result 0
1040
- Bound result 9900000000000001976518
1041
- Bound result 4561742027891098280905
1042
- Bound result 147
1043
- Bound result 6241
1044
- Bound result 2590
1045
- Bound result 452777887
1046
- Bound result 1
1047
- Bound result 1
1048
- Bound result 3362395015160
1049
- Bound result 887609337669933140682
1050
- Bound result 1
1051
- Bound result 320048802512520584725
1052
- Bound result 9900027880653097152688
1053
- Bound result 9900016822727333249033
1054
- Bound result 8996
1055
- Bound result 6239
990
+ Bound result 9900000000000000000926
991
+ Bound result 9953286136514201383853
992
+ Bound result 19
993
+ Bound result 11
994
+ Bound result 5806
995
+ Bound result 9900004343286786227703
996
+ Bound result 9900000000000000000235
997
+ Bound result 11
998
+ Bound result 9662
999
+ Bound result 3614
1000
+ Bound result 6494
1001
+ Bound result 7940
1002
+ Bound result 9900000000000000006805
1003
+ Bound result 9900000000000000004113
1004
+ Bound result 908
1005
+ Bound result 9471
1056
1006
 
1057
1007
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1058
1008
 
1059
1009
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1060
1010
  | Contract | Selector | Calls | Reverts | Discards |
1061
1011
  +======================================================================================+
1062
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1012
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1063
1013
  |-----------------------------------+---------------------+-------+---------+----------|
1064
- | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1014
+ | RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
1065
1015
  |-----------------------------------+---------------------+-------+---------+----------|
1066
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
1016
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
1067
1017
  |-----------------------------------+---------------------+-------+---------+----------|
1068
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
1018
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
1069
1019
  |-----------------------------------+---------------------+-------+---------+----------|
1070
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1020
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
1071
1021
  |-----------------------------------+---------------------+-------+---------+----------|
1072
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
1022
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1073
1023
  |-----------------------------------+---------------------+-------+---------+----------|
1074
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1024
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
1075
1025
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1076
1026
 
1077
1027
  Logs:
1078
- Bound result 1340
1079
- Bound result 1572
1080
- Bound result 1971
1081
- Bound result 4
1082
- Bound result 9900000000000000000173
1083
- Bound result 9900000000000000000486
1084
- Bound result 6211
1085
- Bound result 5574
1086
- Bound result 1496637379279141786121
1087
- Bound result 4390
1088
- Bound result 4202047188
1089
- Bound result 8679
1090
- Bound result 4376
1028
+ Bound result 8031
1029
+ Bound result 177453533256140836264
1030
+ Bound result 2
1031
+ Bound result 1
1032
+ Bound result 9900000000000000000133
1033
+ Bound result 9900000000000000010911
1034
+ Bound result 6115
1035
+ Bound result 881
1036
+ Bound result 289
1037
+ Bound result 15992557683573110829912
1038
+ Bound result 1789660162463978503
1039
+ Bound result 357094980
1040
+ Bound result 1478
1041
+ Bound result 0
1042
+ Bound result 951749114430530716242
1043
+ Bound result 525434489160389738734
1044
+ Bound result 13
1045
+ Bound result 11
1091
1046
  Bound result 1
1047
+ Bound result 6
1092
1048
 
1093
1049
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1094
1050
 
1095
1051
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1096
1052
  | Contract | Selector | Calls | Reverts | Discards |
1097
1053
  +======================================================================================+
1098
- | RateLimiterRBACUpgradeableHandler | inflow | 501 | 0 | 0 |
1054
+ | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
1099
1055
  |-----------------------------------+---------------------+-------+---------+----------|
1100
- | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
1056
+ | RateLimiterRBACUpgradeableHandler | outflow | 488 | 0 | 0 |
1101
1057
  |-----------------------------------+---------------------+-------+---------+----------|
1102
- | RateLimiterRBACUpgradeableHandler | setConfig | 561 | 0 | 0 |
1058
+ | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
1103
1059
  |-----------------------------------+---------------------+-------+---------+----------|
1104
- | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
1060
+ | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
1105
1061
  |-----------------------------------+---------------------+-------+---------+----------|
1106
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
1107
1063
  |-----------------------------------+---------------------+-------+---------+----------|
1108
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
1064
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
1109
1065
  |-----------------------------------+---------------------+-------+---------+----------|
1110
- | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
1066
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1111
1067
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1112
1068
 
1113
1069
  Logs:
1114
- Bound result 7082
1115
- Bound result 186099735756211201328
1070
+ Bound result 514264337593504336252
1071
+ Bound result 481052639417998575726
1072
+ Bound result 1
1073
+ Bound result 514264337593504336251
1074
+ Bound result 373117577947864591893
1116
1075
  Bound result 1
1117
- Bound result 2130107514633010
1118
- Bound result 3902
1119
- Bound result 1246
1120
- Bound result 514264337593543950333
1121
- Bound result 3021
1122
- Bound result 45534840732951
1123
- Bound result 6914264337593535947490
1124
- Bound result 9900000046358333908879
1125
- Bound result 4034
1126
- Bound result 6817
1127
- Bound result 16
1128
- Bound result 6127
1129
- Bound result 9900000000000000000334
1130
- Bound result 6914264337593535947490
1131
- Bound result 1030
1132
- Bound result 2906
1133
- Bound result 7029
1076
+ Bound result 1497
1077
+ Bound result 2080
1078
+ Bound result 0
1079
+ Bound result 8194
1080
+ Bound result 8244
1081
+ Bound result 0
1082
+ Bound result 411
1083
+ Bound result 5223
1084
+ Bound result 2957397981
1085
+ Bound result 0
1086
+ Bound result 17
1087
+ Bound result 9900000000000000001326
1088
+ Bound result 9900000000000000008302
1089
+ Bound result 3027
1090
+ Bound result 1545
1091
+ Bound result 2664
1092
+ Bound result 13851300968658145989971
1093
+ Bound result 9900000000000000000561
1094
+ Bound result 9900000000000008287629
1095
+ Bound result 12
1096
+ Bound result 6048
1134
1097
 
1135
1098
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1136
1099
 
1137
1100
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1138
1101
  | Contract | Selector | Calls | Reverts | Discards |
1139
1102
  +======================================================================================+
1140
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
1141
1104
  |-----------------------------------+---------------------+-------+---------+----------|
1142
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
1143
1106
  |-----------------------------------+---------------------+-------+---------+----------|
1144
- | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
1145
1108
  |-----------------------------------+---------------------+-------+---------+----------|
1146
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
1109
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1147
1110
  |-----------------------------------+---------------------+-------+---------+----------|
1148
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
1111
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 572 | 0 | 0 |
1149
1112
  |-----------------------------------+---------------------+-------+---------+----------|
1150
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
1113
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
1151
1114
  |-----------------------------------+---------------------+-------+---------+----------|
1152
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1115
+ | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
1153
1116
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1154
1117
 
1155
1118
  Logs:
1156
- Bound result 9900000000000026403862
1157
- Bound result 177610587240003021062
1158
- Bound result 3016
1159
- Bound result 7503
1160
- Bound result 9900000000000000006853
1161
- Bound result 9900000000000000009378
1162
- Bound result 3350
1163
- Bound result 6028
1164
- Bound result 10220
1165
- Bound result 6509
1166
- Bound result 8911
1167
- Bound result 780
1168
- Bound result 4375
1169
- Bound result 4581
1170
- Bound result 649010003639538861676
1171
- Bound result 100000000000000000003
1172
- Bound result 257
1173
- Bound result 6006
1174
- Bound result 712
1175
- Bound result 37287
1176
- Bound result 5186
1177
- Bound result 222
1178
- Bound result 2
1179
- Bound result 1966
1180
- Bound result 398
1181
- Bound result 2408
1119
+ Bound result 254967
1120
+ Bound result 6608878579253505647
1121
+ Bound result 0
1122
+ Bound result 1884
1123
+ Bound result 7910
1124
+ Bound result 4201
1125
+ Bound result 8943
1126
+ Bound result 555
1127
+ Bound result 408
1128
+ Bound result 784
1129
+ Bound result 851
1130
+ Bound result 46456375252667235
1131
+ Bound result 508
1132
+ Bound result 9900000000000000008591
1133
+ Bound result 9900000000000350726091
1134
+ Bound result 1201
1135
+ Bound result 916
1136
+ Bound result 336
1137
+ Bound result 9827
1138
+ Bound result 626
1139
+ Bound result 528
1140
+ Bound result 8418
1141
+ Bound result 18873567282814835862184
1142
+ Bound result 1077
1143
+ Bound result 9900000016980404243728
1144
+ Bound result 100000000000000000001
1145
+ Bound result 12
1146
+ Bound result 6689
1182
1147
 
1183
1148
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1184
1149
 
1185
1150
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1186
1151
  | Contract | Selector | Calls | Reverts | Discards |
1187
1152
  +======================================================================================+
1188
- | RateLimiterRBACUpgradeableHandler | inflow | 511 | 0 | 0 |
1153
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1189
1154
  |-----------------------------------+---------------------+-------+---------+----------|
1190
- | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
1155
+ | RateLimiterRBACUpgradeableHandler | outflow | 577 | 0 | 0 |
1191
1156
  |-----------------------------------+---------------------+-------+---------+----------|
1192
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1157
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1193
1158
  |-----------------------------------+---------------------+-------+---------+----------|
1194
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
1159
+ | RateLimiterRBACUpgradeableHandler | setState | 540 | 0 | 0 |
1195
1160
  |-----------------------------------+---------------------+-------+---------+----------|
1196
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1161
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
1197
1162
  |-----------------------------------+---------------------+-------+---------+----------|
1198
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
1163
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
1199
1164
  |-----------------------------------+---------------------+-------+---------+----------|
1200
- | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1165
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
1201
1166
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1202
1167
 
1203
1168
  Logs:
1204
- Bound result 3930
1205
- Bound result 34006092189551
1206
- Bound result 1
1207
- Bound result 481
1208
- Bound result 719607800208086776264
1209
- Bound result 12573549
1210
- Bound result 1
1211
- Bound result 36137
1169
+ Bound result 1389
1170
+ Bound result 9270579923892996857576
1171
+ Bound result 9900000000000000011079
1172
+ Bound result 7521
1173
+ Bound result 7600
1174
+ Bound result 5093313890
1175
+ Bound result 13149595474
1176
+ Bound result 371610
1177
+ Bound result 984
1178
+ Bound result 8809417495435341343876
1179
+ Bound result 9806
1212
1180
  Bound result 100000000000000000000
1213
- Bound result 9900000008575257226795
1214
- Bound result 38
1215
- Bound result 8644
1216
- Bound result 7012358804670667576069
1217
- Bound result 9925571929403418548527
1218
- Bound result 214
1219
- Bound result 9888
1220
- Bound result 3868681460500477848343
1221
- Bound result 5405615708763147333619
1222
- Bound result 4126
1223
- Bound result 672
1224
-
1225
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.74s (10.31s CPU time)
1181
+ Bound result 6914264337593535947488
1182
+ Bound result 3776
1183
+ Bound result 1876
1184
+ Bound result 1936
1185
+ Bound result 43960581054121
1186
+ Bound result 13633769491721782954832
1187
+ Bound result 135
1188
+ Bound result 1967
1189
+ Bound result 5213
1190
+ Bound result 1394
1191
+ Bound result 7394
1192
+
1193
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.15s (6.56s CPU time)
1226
1194
 
1227
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1228
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1229
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1230
- [PASS] test_assertNotPaused_Success() (gas: 14934)
1231
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1232
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
1233
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1234
- [PASS] test_isPaused_Default() (gas: 44698)
1235
- [PASS] test_isPaused_InitialState() (gas: 22070)
1236
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1237
- [PASS] test_isPaused_Override() (gas: 69381)
1238
- [PASS] test_isPaused_Specific() (gas: 46709)
1239
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1240
- [PASS] test_pauseConfig() (gas: 45626)
1241
- [PASS] test_setDefaultPaused() (gas: 39667)
1242
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28007, ~: 16332)
1243
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1244
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1245
- [PASS] test_setPaused() (gas: 43060)
1246
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
1247
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38019, ~: 43373)
1248
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1249
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1250
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1251
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58208, ~: 46989)
1252
- [PASS] test_storageHash() (gas: 3480)
1253
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1254
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1255
- [PASS] test_whenNotPaused_Success() (gas: 41297)
1256
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1257
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1258
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1259
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 12.13s (599.88ms CPU time)
1195
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1196
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1197
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1198
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
1199
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1200
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
1201
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1202
+ [PASS] test_isPaused_Default() (gas: 47316)
1203
+ [PASS] test_isPaused_InitialState() (gas: 22172)
1204
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1205
+ [PASS] test_isPaused_Override() (gas: 75171)
1206
+ [PASS] test_isPaused_Specific() (gas: 50105)
1207
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1208
+ [PASS] test_pauseConfig() (gas: 51028)
1209
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1210
+ [PASS] test_setDefaultPaused() (gas: 42196)
1211
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
1212
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1213
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1214
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1215
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
1216
+ [PASS] test_setPaused() (gas: 48361)
1217
+ [PASS] test_setPaused_DormantData() (gas: 295234)
1218
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
1219
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1220
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 44087, ~: 48696)
1221
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223100, ~: 216804)
1222
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1223
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1224
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1225
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1226
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1227
+ [PASS] test_setPaused_Success() (gas: 45897)
1228
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
1229
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1230
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1231
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1232
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1233
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1234
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1235
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62591, ~: 73465)
1236
+ [PASS] test_storageHash() (gas: 3392)
1237
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1238
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1239
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
1240
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1241
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1242
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1243
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.15s (657.70ms CPU time)
1244
+
1245
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1246
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1247
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1248
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1249
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1250
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1251
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1252
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1253
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1254
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1255
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1256
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1257
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1258
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1259
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1260
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1261
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1262
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1263
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1264
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1265
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1266
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1267
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1268
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1269
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1270
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1271
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1272
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1273
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1274
+ [PASS] test_storageHash() (gas: 3458)
1275
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 5.71s (406.94ms CPU time)
1260
1276
 
1261
1277
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1262
1278
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1263
1279
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1264
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 756737, ~: 166984)
1280
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 819253, ~: 270308)
1265
1281
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1266
1282
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1267
1283
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1274,12 +1290,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1274
1290
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1275
1291
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1276
1292
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1277
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11167123, ~: 10448372)
1293
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11145806, ~: 10355998)
1278
1294
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1279
1295
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1280
1296
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1281
1297
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1282
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 804253, ~: 311256)
1298
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 733362, ~: 171458)
1283
1299
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1284
1300
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1285
1301
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1292,10 +1308,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1292
1308
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1293
1309
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1294
1310
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1295
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11123793, ~: 10359874)
1311
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11184806, ~: 10478726)
1296
1312
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1297
1313
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1298
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.13s (28.65s CPU time)
1314
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 5.73s (14.76s CPU time)
1299
1315
 
1300
- Ran 17 test suites in 12.15s (34.26s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1301
- ⏳ forge test: 26.799s
1316
+ Ran 17 test suites in 5.75s (20.11s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1317
+ ⏳ forge test: 16.064s