@layerzerolabs/utils-upgradeable-evm-contracts 0.2.109 → 0.2.111

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 +665 -672
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,7 +5,7 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:148009) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
8
+ (node:174325) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
@@ -13,7 +13,7 @@ To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-in
13
13
  👤 Running container as UID:GID 1001:1001
14
14
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
15
15
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 12.28s
16
+ Solc 0.8.22 finished in 12.48s
17
17
  Compiler run successful with warnings:
18
18
  Warning (2018): Function state mutability can be restricted to view
19
19
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -172,7 +172,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
172
172
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
173
173
  [PASS] test_storageHash() (gas: 3414)
174
174
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
175
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 16.18ms (11.87ms CPU time)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 46.95ms (45.02ms CPU time)
176
176
 
177
177
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
178
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -215,15 +215,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
215
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
216
  [PASS] test_storageHash() (gas: 3392)
217
217
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 21.94ms (16.04ms CPU time)
219
-
220
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
221
- [PASS] test_feeDeposit() (gas: 17576)
222
- [PASS] test_setFeeDeposit() (gas: 24995)
223
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
224
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
225
- [PASS] test_storageHash() (gas: 3337)
226
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 43.07ms (42.57ms CPU time)
218
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 27.86ms (34.52ms CPU time)
227
219
 
228
220
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
229
221
  [PASS] test_feeDeposit() (gas: 17638)
@@ -232,106 +224,47 @@ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTe
232
224
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
233
225
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
234
226
  [PASS] test_storageHash() (gas: 3315)
235
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 48.23ms (47.53ms CPU time)
236
-
237
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
238
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
239
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
240
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
241
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
242
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
243
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
244
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
245
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
246
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
247
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
248
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 130.44ms (130.22ms CPU time)
227
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 77.02ms (76.35ms CPU time)
249
228
 
250
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
251
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
252
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
253
- [PASS] test_assertNotPaused_Success() (gas: 14934)
254
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
255
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
256
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
257
- [PASS] test_isPaused_Default() (gas: 44698)
258
- [PASS] test_isPaused_InitialState() (gas: 22070)
259
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
260
- [PASS] test_isPaused_Override() (gas: 69381)
261
- [PASS] test_isPaused_Specific() (gas: 46709)
262
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
263
- [PASS] test_pauseConfig() (gas: 45626)
264
- [PASS] test_setDefaultPaused() (gas: 39667)
265
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27936, ~: 16332)
266
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
267
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
268
- [PASS] test_setPaused() (gas: 43060)
269
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
270
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38059, ~: 43373)
271
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
272
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
273
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
274
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57936, ~: 46989)
275
- [PASS] test_storageHash() (gas: 3480)
276
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
277
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
278
- [PASS] test_whenNotPaused_Success() (gas: 41297)
279
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
280
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
281
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
282
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 376.07ms (594.69ms CPU time)
283
-
284
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
285
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25828, ~: 38584)
286
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
287
- [PASS] test_assertNotPaused_Success() (gas: 12516)
288
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
289
- [PASS] test_isPaused_InitialState() (gas: 15595)
290
- [PASS] test_pause() (gas: 39592)
291
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28016, ~: 16219)
292
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
293
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
294
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
295
- [PASS] test_storageHash() (gas: 3414)
296
- [PASS] test_unpause() (gas: 31115)
297
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40439, ~: 38893)
298
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
299
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
300
- [PASS] test_whenNotPaused_Success() (gas: 38744)
301
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
302
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
303
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
304
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.50s (339.64ms CPU time)
305
-
306
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
307
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
308
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
309
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47092, ~: 48966)
310
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
311
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
312
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
313
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
314
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
315
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
316
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
317
- [PASS] test_getFee_Default() (gas: 43108)
318
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45855, ~: 47017)
319
- [PASS] test_getFee_Rounding() (gas: 45449)
320
- [PASS] test_getFee_Specific() (gas: 66985)
321
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
322
- [PASS] test_setDefaultFeeBps() (gas: 42199)
323
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35673, ~: 42268)
324
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
325
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
326
- [PASS] test_setFeeBps() (gas: 77237)
327
- Logs:
328
- Bound result 500
229
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
230
+ [PASS] test_feeDeposit() (gas: 17576)
231
+ [PASS] test_setFeeDeposit() (gas: 24995)
232
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21448, ~: 21454)
233
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
234
+ [PASS] test_storageHash() (gas: 3337)
235
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 93.65ms (93.26ms CPU time)
329
236
 
330
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68831, ~: 77570)
331
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
332
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
333
- [PASS] test_storageHash() (gas: 3436)
334
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.63s (929.52ms CPU time)
237
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
238
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
239
+ [PASS] test_constructor_InitialMode() (gas: 15578)
240
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
241
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
242
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
243
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
244
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
245
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
246
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
247
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
248
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
249
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
250
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
251
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
252
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
253
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
254
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
255
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
256
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
257
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
258
+ [PASS] test_setMode_Blacklist() (gas: 40021)
259
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
260
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
261
+ [PASS] test_setMode_Whitelist() (gas: 40108)
262
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
263
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
264
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
265
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
266
+ [PASS] test_storageHash() (gas: 3458)
267
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 294.32ms (575.57ms CPU time)
335
268
 
336
269
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
337
270
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -339,7 +272,7 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
339
272
  [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
340
273
  [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
341
274
  [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
342
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
275
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115141, ~: 115161)
343
276
  [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
344
277
  [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
345
278
  [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
@@ -366,7 +299,84 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
366
299
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
367
300
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
368
301
  [PASS] test_storageHash() (gas: 3480)
369
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.80s (788.17ms CPU time)
302
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 319.71ms (641.24ms CPU time)
303
+
304
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
305
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
306
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
307
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
308
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
309
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
310
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
311
+ [PASS] test_isPaused_Default() (gas: 44698)
312
+ [PASS] test_isPaused_InitialState() (gas: 22070)
313
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
314
+ [PASS] test_isPaused_Override() (gas: 69381)
315
+ [PASS] test_isPaused_Specific() (gas: 46709)
316
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
317
+ [PASS] test_pauseConfig() (gas: 45626)
318
+ [PASS] test_setDefaultPaused() (gas: 39667)
319
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27983, ~: 16332)
320
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
321
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
322
+ [PASS] test_setPaused() (gas: 43060)
323
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
324
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38915, ~: 43373)
325
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
326
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
327
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
328
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
329
+ [PASS] test_storageHash() (gas: 3480)
330
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
331
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
332
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
333
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
334
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
335
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
336
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 603.96ms (482.39ms CPU time)
337
+
338
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
339
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
340
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
341
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
342
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
343
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
344
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
345
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
346
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
347
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
348
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
349
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 960.88ms (153.17ms CPU time)
350
+
351
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
352
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
353
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
354
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
355
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
356
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
357
+ [PASS] test_isPaused_InitialState() (gas: 15629)
358
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
359
+ [PASS] test_multipleRoleGrants() (gas: 394130)
360
+ [PASS] test_pause() (gas: 42109)
361
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
362
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
363
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30637, ~: 42378)
364
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
365
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
366
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
367
+ [PASS] test_setPaused_Success() (gas: 40691)
368
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
369
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
370
+ [PASS] test_storageHash() (gas: 3414)
371
+ [PASS] test_unpause() (gas: 35177)
372
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41647, ~: 38860)
373
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
374
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
375
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
376
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
377
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
378
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
379
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.36s (398.27ms CPU time)
370
380
 
371
381
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
372
382
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -384,7 +394,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
384
394
  [PASS] test_pauseConfig() (gas: 51028)
385
395
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
386
396
  [PASS] test_setDefaultPaused() (gas: 42196)
387
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
397
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30919, ~: 42446)
388
398
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
389
399
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
390
400
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -393,8 +403,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
393
403
  [PASS] test_setPaused_DormantData() (gas: 295234)
394
404
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
395
405
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
396
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43647, ~: 48696)
397
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223131, ~: 216804)
406
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43363, ~: 48533)
407
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223815, ~: 219722)
398
408
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
399
409
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
400
410
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -408,7 +418,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
408
418
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
409
419
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
410
420
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
411
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62469, ~: 73465)
421
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62442, ~: 73465)
412
422
  [PASS] test_storageHash() (gas: 3392)
413
423
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
414
424
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -416,778 +426,705 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
416
426
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
417
427
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
418
428
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
419
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 2.25s (1.47s CPU time)
429
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.49s (923.17ms CPU time)
420
430
 
421
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
431
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
422
432
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
423
433
 
424
434
  ╭-----------------------------------+---------------------+-------+---------+----------╮
425
435
  | Contract | Selector | Calls | Reverts | Discards |
426
436
  +======================================================================================+
427
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
437
+ | RateLimiterRBACUpgradeableHandler | inflow | 589 | 0 | 0 |
428
438
  |-----------------------------------+---------------------+-------+---------+----------|
429
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
439
+ | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
430
440
  |-----------------------------------+---------------------+-------+---------+----------|
431
- | RateLimiterRBACUpgradeableHandler | setConfig | 586 | 0 | 0 |
441
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
432
442
  |-----------------------------------+---------------------+-------+---------+----------|
433
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
443
+ | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
434
444
  |-----------------------------------+---------------------+-------+---------+----------|
435
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
445
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 525 | 0 | 0 |
436
446
  |-----------------------------------+---------------------+-------+---------+----------|
437
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 529 | 0 | 0 |
447
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
438
448
  |-----------------------------------+---------------------+-------+---------+----------|
439
- | RateLimiterRBACUpgradeableHandler | warp | 571 | 0 | 0 |
449
+ | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
440
450
  ╰-----------------------------------+---------------------+-------+---------+----------╯
441
451
 
442
452
  Logs:
443
- Bound result 562417256436728490684
444
- Bound result 3
445
- Bound result 1747509149589001734
446
- Bound result 403492399065
447
- Bound result 0
448
- Bound result 523001
449
- Bound result 5818
450
- Bound result 5638
451
- Bound result 0
452
- Bound result 3
453
- Bound result 15325959122739312889
454
- Bound result 1508357
455
- Bound result 514264337593504336253
456
- Bound result 0
457
- Bound result 1431001806761610251604
458
- Bound result 9900000000000000003932
459
- Bound result 9900000000000000005864
460
- Bound result 9522
461
- Bound result 260
462
- Bound result 15
463
- Bound result 322960284402175559713
453
+ Bound result 9900000000000000004657
454
+ Bound result 9900000000000000010265
455
+ Bound result 3799
456
+ Bound result 40
457
+ Bound result 471076847998242
458
+ Bound result 9900000000585318166505
459
+ Bound result 9900000000000461215546
460
+ Bound result 3936
461
+ Bound result 56
462
+ Bound result 367187
463
+ Bound result 482856262021570
464
+ Bound result 1
465
+ Bound result 41625467
466
+ Bound result 4724
467
+ Bound result 933
468
+ Bound result 2951
469
+ Bound result 67
470
+ Bound result 9900000000000000000288
471
+ Bound result 9900000000000000000147
472
+ Bound result 3580
473
+ Bound result 6950
474
+ Bound result 281628
475
+ Bound result 55000295991327
476
+ Bound result 7872
464
477
 
465
478
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
466
479
 
467
480
  ╭-----------------------------------+---------------------+-------+---------+----------╮
468
481
  | Contract | Selector | Calls | Reverts | Discards |
469
482
  +======================================================================================+
470
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
483
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
471
484
  |-----------------------------------+---------------------+-------+---------+----------|
472
- | RateLimiterRBACUpgradeableHandler | outflow | 560 | 0 | 0 |
485
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
473
486
  |-----------------------------------+---------------------+-------+---------+----------|
474
- | RateLimiterRBACUpgradeableHandler | setConfig | 510 | 0 | 0 |
487
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
475
488
  |-----------------------------------+---------------------+-------+---------+----------|
476
- | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
489
+ | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
477
490
  |-----------------------------------+---------------------+-------+---------+----------|
478
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
491
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 525 | 0 | 0 |
479
492
  |-----------------------------------+---------------------+-------+---------+----------|
480
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
493
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
481
494
  |-----------------------------------+---------------------+-------+---------+----------|
482
- | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
495
+ | RateLimiterRBACUpgradeableHandler | warp | 508 | 0 | 0 |
483
496
  ╰-----------------------------------+---------------------+-------+---------+----------╯
484
497
 
485
498
  Logs:
486
- Bound result 2
487
- Bound result 5837988
488
- Bound result 993
489
- Bound result 2036718347
490
- Bound result 8717
491
- Bound result 19472566203
492
- Bound result 415
493
- Bound result 23
494
- Bound result 1777488296135387154394
495
- Bound result 1821
496
- Bound result 564
497
- Bound result 10244
498
- Bound result 647
499
- Bound result 1685
499
+ Bound result 892266825002218564463
500
+ Bound result 24943
501
+ Bound result 48080973958642
502
+ Bound result 1
503
+ Bound result 1
504
+ Bound result 6331
505
+ Bound result 7282222402
506
+ Bound result 0
507
+ Bound result 114
508
+ Bound result 311
509
+ Bound result 7909
510
+ Bound result 486
511
+ Bound result 3480
512
+ Bound result 63
513
+ Bound result 1581
514
+ Bound result 991855308653467622174
515
+ Bound result 335
516
+ Bound result 1632
517
+ Bound result 2630
500
518
 
501
519
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
502
520
 
503
521
  ╭-----------------------------------+---------------------+-------+---------+----------╮
504
522
  | Contract | Selector | Calls | Reverts | Discards |
505
523
  +======================================================================================+
506
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
524
+ | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
507
525
  |-----------------------------------+---------------------+-------+---------+----------|
508
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
509
527
  |-----------------------------------+---------------------+-------+---------+----------|
510
- | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | setConfig | 590 | 0 | 0 |
511
529
  |-----------------------------------+---------------------+-------+---------+----------|
512
- | RateLimiterRBACUpgradeableHandler | setState | 591 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | setState | 586 | 0 | 0 |
513
531
  |-----------------------------------+---------------------+-------+---------+----------|
514
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
515
533
  |-----------------------------------+---------------------+-------+---------+----------|
516
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
517
535
  |-----------------------------------+---------------------+-------+---------+----------|
518
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
519
537
  ╰-----------------------------------+---------------------+-------+---------+----------╯
520
538
 
521
539
  Logs:
522
- Bound result 238
540
+ Bound result 924
541
+ Bound result 9900000000000113687947
542
+ Bound result 3026855100912800275225
543
+ Bound result 10
544
+ Bound result 1102
545
+ Bound result 1327428229
546
+ Bound result 1667
547
+ Bound result 1763
548
+ Bound result 8360
549
+ Bound result 940
550
+ Bound result 19205746598204807676
551
+ Bound result 5165424778684176305164
552
+ Bound result 597
553
+ Bound result 3826595713139935830483
554
+ Bound result 9900000000667527740198
555
+ Bound result 9900000000000012413229
556
+ Bound result 6242
557
+ Bound result 2966
558
+ Bound result 7041109067069941
559
+ Bound result 6825
523
560
  Bound result 1
524
- Bound result 3093
525
- Bound result 9123
526
- Bound result 118
527
- Bound result 2829
528
- Bound result 1965
529
- Bound result 135
530
- Bound result 35312882
531
- Bound result 7215962476931970819042
532
- Bound result 100000000000000000001
533
- Bound result 1665
534
- Bound result 13
535
- Bound result 1853
536
- Bound result 436521447320
537
- Bound result 219
538
- Bound result 7780
539
561
 
540
562
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
541
563
 
542
564
  ╭-----------------------------------+---------------------+-------+---------+----------╮
543
565
  | Contract | Selector | Calls | Reverts | Discards |
544
566
  +======================================================================================+
545
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
567
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
546
568
  |-----------------------------------+---------------------+-------+---------+----------|
547
- | RateLimiterRBACUpgradeableHandler | outflow | 599 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
548
570
  |-----------------------------------+---------------------+-------+---------+----------|
549
- | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
550
572
  |-----------------------------------+---------------------+-------+---------+----------|
551
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
552
574
  |-----------------------------------+---------------------+-------+---------+----------|
553
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
554
576
  |-----------------------------------+---------------------+-------+---------+----------|
555
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
556
578
  |-----------------------------------+---------------------+-------+---------+----------|
557
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
558
580
  ╰-----------------------------------+---------------------+-------+---------+----------╯
559
581
 
560
582
  Logs:
561
- Bound result 514264337593543950333
562
- Bound result 9900000000000000007296
563
- Bound result 9900000000000000005712
564
- Bound result 3120
565
- Bound result 8925
566
- Bound result 9900000018409613425705
567
- Bound result 9900000000000003760949
568
- Bound result 3244
569
- Bound result 8326
570
- Bound result 1719639407
571
- Bound result 137960119379971900224
572
- Bound result 61
573
- Bound result 9151
574
- Bound result 6914264337593535947489
575
- Bound result 100000000000000000003
576
- Bound result 3463
577
- Bound result 13
578
- Bound result 9900000000000000004098
579
- Bound result 9900000000000000009178
580
- Bound result 3257
581
- Bound result 6934
582
- Bound result 878539050821214604862
583
- Bound result 9900000000000000012057
584
- Bound result 5286
585
- Bound result 2499
583
+ Bound result 477375498967
584
+ Bound result 8034233101975790764
585
+ Bound result 3582
586
+ Bound result 308
587
+ Bound result 2439649221
588
+ Bound result 687042986395345435819
589
+ Bound result 60652407780537240373
590
+ Bound result 543
591
+ Bound result 359
592
+ Bound result 10416
593
+ Bound result 70
586
594
 
587
595
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
588
596
 
589
597
  ╭-----------------------------------+---------------------+-------+---------+----------╮
590
598
  | Contract | Selector | Calls | Reverts | Discards |
591
599
  +======================================================================================+
592
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
600
+ | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
593
601
  |-----------------------------------+---------------------+-------+---------+----------|
594
- | RateLimiterRBACUpgradeableHandler | outflow | 582 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
595
603
  |-----------------------------------+---------------------+-------+---------+----------|
596
- | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
597
605
  |-----------------------------------+---------------------+-------+---------+----------|
598
- | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
606
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
599
607
  |-----------------------------------+---------------------+-------+---------+----------|
600
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
601
609
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
603
611
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
605
613
  ╰-----------------------------------+---------------------+-------+---------+----------╯
606
614
 
607
615
  Logs:
608
- Bound result 10353
609
- Bound result 8006
610
- Bound result 0
611
- Bound result 100000000000000000003
612
- Bound result 9900665155684867885512
613
- Bound result 5149
614
- Bound result 5426
615
- Bound result 43974889236555442740
616
- Bound result 4222199812989106648569
617
- Bound result 388
618
- Bound result 9900000000000000001163
619
- Bound result 10000000000000000000000
620
- Bound result 7274
621
- Bound result 2073
622
- Bound result 4162
623
- Bound result 10618
624
- Bound result 82563405843581
625
- Bound result 4361696838195353740
626
- Bound result 4010815
627
- Bound result 9900000000000000000468
628
- Bound result 6914264337593535947490
629
- Bound result 163
630
- Bound result 813
616
+ Bound result 9
617
+ Bound result 7
618
+ Bound result 9900000000000000000272
619
+ Bound result 100000000000000000001
620
+ Bound result 4016
621
+ Bound result 11
622
+ Bound result 9900000000000000002862
623
+ Bound result 9900000000000000007402
624
+ Bound result 2685
625
+ Bound result 8529
626
+ Bound result 76062294
627
+ Bound result 9900000281474976710656
628
+ Bound result 9900000000000000000278
629
+ Bound result 3469
630
+ Bound result 6136
631
+ Bound result 4100
632
+ Bound result 217889148595
633
+ Bound result 7224316987524
634
+ Bound result 4
635
+ Bound result 9900000000000000001558
636
+ Bound result 9900000000000000000868
637
+ Bound result 2327
638
+ Bound result 1653
639
+ Bound result 454
631
640
 
632
641
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
633
642
 
634
643
  ╭-----------------------------------+---------------------+-------+---------+----------╮
635
644
  | Contract | Selector | Calls | Reverts | Discards |
636
645
  +======================================================================================+
637
- | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
646
+ | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
638
647
  |-----------------------------------+---------------------+-------+---------+----------|
639
- | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
648
+ | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
640
649
  |-----------------------------------+---------------------+-------+---------+----------|
641
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
650
+ | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
642
651
  |-----------------------------------+---------------------+-------+---------+----------|
643
- | RateLimiterRBACUpgradeableHandler | setState | 574 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
644
653
  |-----------------------------------+---------------------+-------+---------+----------|
645
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 519 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
646
655
  |-----------------------------------+---------------------+-------+---------+----------|
647
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
648
657
  |-----------------------------------+---------------------+-------+---------+----------|
649
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
650
659
  ╰-----------------------------------+---------------------+-------+---------+----------╯
651
660
 
652
661
  Logs:
653
- Bound result 1901074598
662
+ Bound result 362911365804212580631
663
+ Bound result 6
654
664
  Bound result 1
655
- Bound result 9900000007030027833809
656
- Bound result 9900000000000771255871
657
- Bound result 11
658
- Bound result 7242
659
- Bound result 289212125371176374388
660
- Bound result 12263497294612306003
661
- Bound result 2328
662
- Bound result 901
663
- Bound result 8193
665
+ Bound result 1
666
+ Bound result 9900000000000000005825
667
+ Bound result 9900000000000000004383
668
+ Bound result 969
669
+ Bound result 2155
670
+ Bound result 3691
671
+ Bound result 2982
672
+ Bound result 30547813668661959513
673
+ Bound result 1828023034
674
+ Bound result 0
675
+ Bound result 3
676
+ Bound result 667
664
677
  Bound result 0
665
- Bound result 13026
666
- Bound result 3689055020
667
- Bound result 9113
668
- Bound result 5688
669
- Bound result 7681
670
- Bound result 18110867159828790974867
671
- Bound result 11520394931
672
- Bound result 1117
678
+ Bound result 9900000000000079305694
679
+ Bound result 9900000000000000000330
680
+ Bound result 2764
681
+ Bound result 8438
682
+ Bound result 3788300595
683
+ Bound result 1
684
+ Bound result 100000000000000000000
685
+ Bound result 370984217352248303910
686
+ Bound result 14
687
+ Bound result 563
688
+ Bound result 589
689
+ Bound result 42
673
690
 
674
691
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
675
692
 
676
693
  ╭-----------------------------------+---------------------+-------+---------+----------╮
677
694
  | Contract | Selector | Calls | Reverts | Discards |
678
695
  +======================================================================================+
679
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
696
+ | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
680
697
  |-----------------------------------+---------------------+-------+---------+----------|
681
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
682
699
  |-----------------------------------+---------------------+-------+---------+----------|
683
- | RateLimiterRBACUpgradeableHandler | setConfig | 524 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
684
701
  |-----------------------------------+---------------------+-------+---------+----------|
685
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
686
703
  |-----------------------------------+---------------------+-------+---------+----------|
687
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
704
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
688
705
  |-----------------------------------+---------------------+-------+---------+----------|
689
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
706
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
690
707
  |-----------------------------------+---------------------+-------+---------+----------|
691
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | warp | 580 | 0 | 0 |
692
709
  ╰-----------------------------------+---------------------+-------+---------+----------╯
693
710
 
694
711
  Logs:
695
- Bound result 9900000000000000000173
696
- Bound result 9900000000000000000292
697
- Bound result 4945
698
- Bound result 6448
699
- Bound result 3305
700
- Bound result 37462
701
- Bound result 1
702
- Bound result 9900000296811831319548
703
- Bound result 9900044247044902675614
704
- Bound result 5213
705
- Bound result 9848
706
- Bound result 3
707
- Bound result 8194
708
- Bound result 10334
709
- Bound result 74486635
710
- Bound result 96
711
- Bound result 0
712
- Bound result 3021
713
- Bound result 1661814751489
714
- Bound result 891
712
+ Bound result 1005676547704627388
713
+ Bound result 878
715
714
  Bound result 2
715
+ Bound result 174460798333056844691
716
+ Bound result 73
717
+ Bound result 210003
718
+ Bound result 8423
719
+ Bound result 42709623706940832
720
+ Bound result 166769
721
+ Bound result 25
722
+ Bound result 614
723
+ Bound result 902
724
+ Bound result 9900000000000000008027
725
+ Bound result 9900000280375465082881
726
+ Bound result 5610
727
+ Bound result 3954
728
+ Bound result 7347219028862
716
729
 
717
730
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
718
731
 
719
732
  ╭-----------------------------------+---------------------+-------+---------+----------╮
720
733
  | Contract | Selector | Calls | Reverts | Discards |
721
734
  +======================================================================================+
722
- | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
735
+ | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
723
736
  |-----------------------------------+---------------------+-------+---------+----------|
724
- | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
737
+ | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
725
738
  |-----------------------------------+---------------------+-------+---------+----------|
726
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
739
+ | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
727
740
  |-----------------------------------+---------------------+-------+---------+----------|
728
- | RateLimiterRBACUpgradeableHandler | setState | 514 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
729
742
  |-----------------------------------+---------------------+-------+---------+----------|
730
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
731
744
  |-----------------------------------+---------------------+-------+---------+----------|
732
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
733
746
  |-----------------------------------+---------------------+-------+---------+----------|
734
- | RateLimiterRBACUpgradeableHandler | warp | 610 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
735
748
  ╰-----------------------------------+---------------------+-------+---------+----------╯
736
749
 
737
750
  Logs:
738
- Bound result 2003
739
- Bound result 5260
740
- Bound result 0
741
- Bound result 1971
742
- Bound result 9900001683717770178909
743
- Bound result 5483586113142377423868
744
- Bound result 6839
745
- Bound result 5962
746
- Bound result 625761767
747
- Bound result 1336
748
- Bound result 1905
749
- Bound result 10384
750
- Bound result 9900000000002719481311
751
- Bound result 9900000000000000000066
752
- Bound result 225
753
- Bound result 357
754
- Bound result 6914242574008847100428
755
- Bound result 12683377261443231943131
756
- Bound result 84
757
- Bound result 1636857237
758
- Bound result 2
759
- Bound result 926162862576
751
+ Bound result 6265
752
+ Bound result 9900000000000000012601
753
+ Bound result 9900000006707446286716
754
+ Bound result 7643
755
+ Bound result 4947
756
+ Bound result 3084
757
+ Bound result 9900000000000000002388
758
+ Bound result 9900000000000000000063
759
+ Bound result 3451
760
+ Bound result 211
761
+ Bound result 393
762
+ Bound result 9900000151078970926803
763
+ Bound result 9900000000000000010135
764
+ Bound result 1633
765
+ Bound result 9767
760
766
  Bound result 1
761
- Bound result 7735
762
-
763
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.29s (13.93s CPU time)
767
+ Bound result 9900000000030646054246
768
+ Bound result 4497770625481295901431
769
+ Bound result 4145
770
+ Bound result 4546
771
+ Bound result 4283
772
+ Bound result 46494
773
+ Bound result 158
774
+ Bound result 4055
775
+ Bound result 650042587866924992543
776
+ Bound result 1766
777
+ Bound result 3337
778
+
779
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.63s (9.45s CPU time)
764
780
 
765
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
781
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
766
782
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
767
783
 
768
784
  ╭-----------------------------------+---------------------+-------+---------+----------╮
769
785
  | Contract | Selector | Calls | Reverts | Discards |
770
786
  +======================================================================================+
771
- | RateLimiterRBACUpgradeableHandler | inflow | 583 | 0 | 0 |
787
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
772
788
  |-----------------------------------+---------------------+-------+---------+----------|
773
789
  | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
774
790
  |-----------------------------------+---------------------+-------+---------+----------|
775
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
776
792
  |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
778
794
  |-----------------------------------+---------------------+-------+---------+----------|
779
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
780
796
  |-----------------------------------+---------------------+-------+---------+----------|
781
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
782
798
  |-----------------------------------+---------------------+-------+---------+----------|
783
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
784
800
  ╰-----------------------------------+---------------------+-------+---------+----------╯
785
801
 
786
802
  Logs:
787
- Bound result 783
788
- Bound result 195
789
- Bound result 203
803
+ Bound result 9469
804
+ Bound result 9900000000000000000009
805
+ Bound result 9900000001783843494217
806
+ Bound result 71
807
+ Bound result 9218
808
+ Bound result 2496
809
+ Bound result 8244
810
+ Bound result 2215456450
811
+ Bound result 1
812
+ Bound result 6196709533045
813
+ Bound result 18
790
814
  Bound result 0
791
- Bound result 1994644501767398662071
815
+ Bound result 6914264337593471924739
816
+ Bound result 5087254751999
817
+ Bound result 16129
818
+ Bound result 6176
819
+ Bound result 21947
792
820
  Bound result 3
793
- Bound result 673457221373671040657
794
- Bound result 9900000000000443667070
795
- Bound result 13
796
- Bound result 1100
797
- Bound result 17988966586564557984889
798
- Bound result 12254506644172159810
799
- Bound result 2951
800
- Bound result 2
801
- Bound result 2003
821
+ Bound result 1
802
822
 
803
823
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
804
824
 
805
825
  ╭-----------------------------------+---------------------+-------+---------+----------╮
806
826
  | Contract | Selector | Calls | Reverts | Discards |
807
827
  +======================================================================================+
808
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
828
+ | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
809
829
  |-----------------------------------+---------------------+-------+---------+----------|
810
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
811
831
  |-----------------------------------+---------------------+-------+---------+----------|
812
- | RateLimiterRBACUpgradeableHandler | setConfig | 484 | 0 | 0 |
832
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
813
833
  |-----------------------------------+---------------------+-------+---------+----------|
814
- | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | setState | 505 | 0 | 0 |
815
835
  |-----------------------------------+---------------------+-------+---------+----------|
816
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 604 | 0 | 0 |
817
837
  |-----------------------------------+---------------------+-------+---------+----------|
818
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
838
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
819
839
  |-----------------------------------+---------------------+-------+---------+----------|
820
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
840
+ | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
821
841
  ╰-----------------------------------+---------------------+-------+---------+----------╯
822
842
 
823
843
  Logs:
824
- Bound result 1425644632
825
- Bound result 9900000000000000001561
826
- Bound result 9900000000000000002556
827
- Bound result 639
828
- Bound result 3958
829
- Bound result 226
830
- Bound result 270
831
- Bound result 9900000000002107269098
832
- Bound result 9900000000000000000308
833
- Bound result 5114
834
- Bound result 7533
835
- Bound result 1
836
- Bound result 1918268964956616974
837
- Bound result 0
838
- Bound result 7
839
- Bound result 428793910
840
- Bound result 39
841
- Bound result 5180
842
- Bound result 809
843
- Bound result 767887698455
844
- Bound result 10425
845
- Bound result 4670
846
- Bound result 262
847
- Bound result 25355
844
+ Bound result 261
845
+ Bound result 1997
846
+ Bound result 8304442763200991463207
847
+ Bound result 9900000000000000005688
848
+ Bound result 3106
849
+ Bound result 2315
850
+ Bound result 29
851
+ Bound result 6123
852
+ Bound result 3779139093168459358016
853
+ Bound result 8781
854
+ Bound result 126
855
+ Bound result 256
856
+ Bound result 9567237898383377834282
857
+ Bound result 3669067167703244401485
858
+ Bound result 399
859
+ Bound result 15956269416814346076398
860
+ Bound result 4078495893759451048
861
+ Bound result 8581
848
862
 
849
863
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
850
864
 
851
865
  ╭-----------------------------------+---------------------+-------+---------+----------╮
852
866
  | Contract | Selector | Calls | Reverts | Discards |
853
867
  +======================================================================================+
854
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
868
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
855
869
  |-----------------------------------+---------------------+-------+---------+----------|
856
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
870
+ | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
857
871
  |-----------------------------------+---------------------+-------+---------+----------|
858
- | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
872
+ | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
859
873
  |-----------------------------------+---------------------+-------+---------+----------|
860
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
874
+ | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
861
875
  |-----------------------------------+---------------------+-------+---------+----------|
862
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 518 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
863
877
  |-----------------------------------+---------------------+-------+---------+----------|
864
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
865
879
  |-----------------------------------+---------------------+-------+---------+----------|
866
- | RateLimiterRBACUpgradeableHandler | warp | 592 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
867
881
  ╰-----------------------------------+---------------------+-------+---------+----------╯
868
882
 
869
883
  Logs:
870
- Bound result 1982
871
- Bound result 9900000000000113079115
872
- Bound result 9900000000252016789936
873
- Bound result 2552
874
- Bound result 4887
875
- Bound result 19755399358918588214978
876
- Bound result 144
877
- Bound result 6101
878
- Bound result 9900000000000000010360
879
- Bound result 9900000000000000007778
880
- Bound result 8272
881
- Bound result 415
882
- Bound result 1
883
- Bound result 6
884
- Bound result 9900000000000000000518
885
- Bound result 9900000000000000007777
884
+ Bound result 9901415285830799406079
885
+ Bound result 100000000000000000001
886
+ Bound result 8801
886
887
  Bound result 10
887
- Bound result 8041
888
- Bound result 855
889
- Bound result 9697
890
- Bound result 9408
891
- Bound result 2195
888
+ Bound result 3931
889
+ Bound result 762669523
890
+ Bound result 629
891
+ Bound result 4116
892
+ Bound result 252
893
+ Bound result 8119542849359252503
894
+ Bound result 428
895
+ Bound result 710638805515675876514
896
+ Bound result 2429228249877084500344
897
+ Bound result 10
898
+ Bound result 6241
899
+ Bound result 1256691028207
900
+ Bound result 7701
892
901
 
893
902
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
894
903
 
895
904
  ╭-----------------------------------+---------------------+-------+---------+----------╮
896
905
  | Contract | Selector | Calls | Reverts | Discards |
897
906
  +======================================================================================+
898
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
907
+ | RateLimiterRBACUpgradeableHandler | inflow | 598 | 0 | 0 |
899
908
  |-----------------------------------+---------------------+-------+---------+----------|
900
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
909
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
901
910
  |-----------------------------------+---------------------+-------+---------+----------|
902
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
911
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
903
912
  |-----------------------------------+---------------------+-------+---------+----------|
904
- | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
913
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
905
914
  |-----------------------------------+---------------------+-------+---------+----------|
906
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
915
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
907
916
  |-----------------------------------+---------------------+-------+---------+----------|
908
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
917
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
909
918
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
919
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
911
920
  ╰-----------------------------------+---------------------+-------+---------+----------╯
912
921
 
913
922
  Logs:
914
- Bound result 241144642395531809
915
- Bound result 37486
916
- Bound result 9900000000000000009115
917
- Bound result 9900000000000000001526
918
- Bound result 7748
919
- Bound result 5640
920
- Bound result 46196183689457459
921
- Bound result 1650
922
- Bound result 6914264337520598027275
923
- Bound result 47565210
924
- Bound result 356
923
+ Bound result 6934901070
924
+ Bound result 9900000000000000007260
925
+ Bound result 9900000000000000007716
926
+ Bound result 5460
927
+ Bound result 4090
928
+ Bound result 7203529
929
+ Bound result 9900000000000000000030
930
+ Bound result 6914264337593535947491
931
+ Bound result 531
932
+ Bound result 99
933
+ Bound result 60691547
934
+ Bound result 46
935
+ Bound result 1
936
+ Bound result 14415059311325869375184
937
+ Bound result 9900000000000000007259
938
+ Bound result 193830430
939
+ Bound result 3013121952
925
940
  Bound result 0
926
- Bound result 6914264337593535947490
927
- Bound result 9901654476905711499976
928
- Bound result 1323
929
- Bound result 1628
930
- Bound result 858
931
- Bound result 9900000000000000000012
932
- Bound result 9900000000000444194506
933
- Bound result 9884
934
- Bound result 7011
935
- Bound result 2828310427307851488153
941
+ Bound result 883
942
+ Bound result 613063844
943
+ Bound result 743
944
+ Bound result 4257
936
945
 
937
946
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
938
947
 
939
948
  ╭-----------------------------------+---------------------+-------+---------+----------╮
940
949
  | Contract | Selector | Calls | Reverts | Discards |
941
950
  +======================================================================================+
942
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
951
+ | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
943
952
  |-----------------------------------+---------------------+-------+---------+----------|
944
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
953
+ | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
945
954
  |-----------------------------------+---------------------+-------+---------+----------|
946
- | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
947
956
  |-----------------------------------+---------------------+-------+---------+----------|
948
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
949
958
  |-----------------------------------+---------------------+-------+---------+----------|
950
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
959
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
951
960
  |-----------------------------------+---------------------+-------+---------+----------|
952
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
961
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
953
962
  |-----------------------------------+---------------------+-------+---------+----------|
954
- | RateLimiterRBACUpgradeableHandler | warp | 504 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
955
964
  ╰-----------------------------------+---------------------+-------+---------+----------╯
956
965
 
957
966
  Logs:
958
- Bound result 3016663574
959
- Bound result 6868
960
- Bound result 2386
961
- Bound result 0
962
- Bound result 1439
963
- Bound result 1470
964
- Bound result 9900000000000000001118
965
- Bound result 9900000000000000005520
966
- Bound result 9212
967
- Bound result 1084
968
- Bound result 7128908485049496027700
969
- Bound result 9900000000000800627396
970
- Bound result 8246
971
- Bound result 1763
972
- Bound result 1807
973
- Bound result 355842498
974
- Bound result 100000000000000000003
975
- Bound result 5361296984933132523389
976
- Bound result 6932
977
- Bound result 6241
978
- Bound result 9007
979
- Bound result 67336
980
- Bound result 770495236
981
- Bound result 362
967
+ Bound result 46
968
+ Bound result 9900000000000000002369
969
+ Bound result 4239385251221453127401
970
+ Bound result 1132
971
+ Bound result 424
972
+ Bound result 3147968560
973
+ Bound result 6169774683735581708984
974
+ Bound result 1
975
+ Bound result 303
976
+ Bound result 9900000000000000015257
977
+ Bound result 9900000000000000000012
978
+ Bound result 7778
979
+ Bound result 801
980
+ Bound result 805
981
+ Bound result 3254208513255015249982
982
+ Bound result 48208432554046866818
983
+ Bound result 12222
984
+ Bound result 211
985
+ Bound result 15366
986
+ Bound result 4449139783884736787653
982
987
 
983
988
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
984
989
 
985
990
  ╭-----------------------------------+---------------------+-------+---------+----------╮
986
991
  | Contract | Selector | Calls | Reverts | Discards |
987
992
  +======================================================================================+
988
- | RateLimiterRBACUpgradeableHandler | inflow | 578 | 0 | 0 |
993
+ | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
989
994
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
995
+ | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
991
996
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
997
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
993
998
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | setState | 515 | 0 | 0 |
999
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
995
1000
  |-----------------------------------+---------------------+-------+---------+----------|
996
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1001
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
997
1002
  |-----------------------------------+---------------------+-------+---------+----------|
998
1003
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
999
1004
  |-----------------------------------+---------------------+-------+---------+----------|
1000
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
1005
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1001
1006
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1002
1007
 
1003
1008
  Logs:
1004
- Bound result 9900000000000000010623
1005
- Bound result 9900223461546599293263
1006
- Bound result 6240
1007
- Bound result 6606
1008
- Bound result 9900000000000000005610
1009
- Bound result 9900000000000000006770
1010
- Bound result 363
1011
- Bound result 2073
1012
- Bound result 50
1013
- Bound result 8039
1014
- Bound result 811
1015
- Bound result 6914264337548643994071
1016
- Bound result 7307508424089329185134
1009
+ Bound result 9952659835512678595327
1010
+ Bound result 9900000035637338670839
1011
+ Bound result 6168
1012
+ Bound result 3064
1013
+ Bound result 7390394828254763335
1014
+ Bound result 6443386816184699701132
1015
+ Bound result 9900000000000058699792
1016
+ Bound result 144393250314336244819
1017
+ Bound result 1967
1018
+ Bound result 35
1019
+ Bound result 74
1020
+ Bound result 435989
1021
+ Bound result 1294
1022
+ Bound result 16777214
1017
1023
  Bound result 1
1018
- Bound result 404940470923219243964
1019
- Bound result 5948
1020
- Bound result 100000000000000000001
1021
- Bound result 9900000000004091302216
1022
- Bound result 5511
1023
- Bound result 6242
1024
- Bound result 4087
1025
- Bound result 113
1024
+ Bound result 17904204769802992211826
1025
+ Bound result 73748292
1026
+ Bound result 1
1027
+ Bound result 48
1028
+ Bound result 67817132818912067001
1029
+ Bound result 0
1030
+ Bound result 3
1031
+ Bound result 9602171
1032
+ Bound result 107508871725865425239
1033
+ Bound result 1
1034
+ Bound result 7070
1035
+ Bound result 85
1036
+ Bound result 0
1037
+ Bound result 9900000000010015064986
1038
+ Bound result 9901036360965938407809
1039
+ Bound result 1104
1040
+ Bound result 10
1041
+ Bound result 18
1042
+ Bound result 2697
1026
1043
 
1027
1044
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1028
1045
 
1029
1046
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1030
1047
  | Contract | Selector | Calls | Reverts | Discards |
1031
1048
  +======================================================================================+
1032
- | RateLimiterRBACUpgradeableHandler | inflow | 559 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1033
1050
  |-----------------------------------+---------------------+-------+---------+----------|
1034
- | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
1035
1052
  |-----------------------------------+---------------------+-------+---------+----------|
1036
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
1037
1054
  |-----------------------------------+---------------------+-------+---------+----------|
1038
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
1039
1056
  |-----------------------------------+---------------------+-------+---------+----------|
1040
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1041
1058
  |-----------------------------------+---------------------+-------+---------+----------|
1042
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1043
1060
  |-----------------------------------+---------------------+-------+---------+----------|
1044
- | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
1045
1062
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1046
1063
 
1047
1064
  Logs:
1048
- Bound result 156355900
1049
- Bound result 99613255106487290653
1050
- Bound result 0
1051
- Bound result 97328
1052
- Bound result 1762974233847594
1053
- Bound result 140896971871695424881
1054
- Bound result 1
1055
- Bound result 100000000000000000002
1056
- Bound result 9900610048624866734695
1057
- Bound result 8994
1058
- Bound result 2189
1059
- Bound result 100000000000000000003
1060
- Bound result 100000000000000000000
1061
- Bound result 1505
1062
- Bound result 27
1063
- Bound result 1983
1064
- Bound result 1717
1065
- Bound result 0
1066
- Bound result 10877
1067
- Bound result 2020
1068
- Bound result 1
1069
- Bound result 23721711
1070
- Bound result 333325805842039
1071
- Bound result 0
1072
- Bound result 1230
1073
- Bound result 5210768383685803879
1074
- Bound result 8293
1075
- Bound result 100610048624866734646
1076
- Bound result 926
1077
- Bound result 5476
1078
- Bound result 114264337590770964650
1079
- Bound result 2665555
1065
+ Bound result 9900000000000000001245
1066
+ Bound result 9900000000000000003043
1067
+ Bound result 6078
1068
+ Bound result 7361
1069
+ Bound result 9900000000000002188897
1070
+ Bound result 9910944422408647684879
1071
+ Bound result 166
1072
+ Bound result 2088
1073
+ Bound result 3765
1080
1074
  Bound result 1
1075
+ Bound result 17
1076
+ Bound result 5242999441846676366739
1077
+ Bound result 603720149
1078
+ Bound result 116
1079
+ Bound result 2676
1080
+ Bound result 1674898048722826326045
1081
+ Bound result 2466
1082
+ Bound result 4577
1081
1083
 
1082
1084
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1083
1085
 
1084
1086
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1085
1087
  | Contract | Selector | Calls | Reverts | Discards |
1086
1088
  +======================================================================================+
1087
- | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
1089
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1088
1090
  |-----------------------------------+---------------------+-------+---------+----------|
1089
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
1091
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1090
1092
  |-----------------------------------+---------------------+-------+---------+----------|
1091
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1092
1094
  |-----------------------------------+---------------------+-------+---------+----------|
1093
- | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
1094
1096
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1096
1098
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
1098
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1100
1102
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1101
1103
 
1102
1104
  Logs:
1103
- Bound result 9900000000000000003086
1104
- Bound result 9900000000000000001004
1105
- Bound result 8967
1106
- Bound result 575
1107
- Bound result 126386159695935
1108
- Bound result 275
1109
- Bound result 7957927024938
1110
- Bound result 6741419
1111
- Bound result 439440033
1112
- Bound result 0
1113
- Bound result 5267
1114
- Bound result 7208
1115
- Bound result 13540960380
1116
- Bound result 6091
1117
- Bound result 4017
1118
-
1119
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.73s (14.07s CPU time)
1105
+ Bound result 485
1106
+ Bound result 798227
1107
+ Bound result 1719
1108
+ Bound result 1113933
1109
+ Bound result 10235059220501686269
1110
+ Bound result 718
1111
+ Bound result 376269980898323
1112
+ Bound result 7
1113
+ Bound result 3279977373066762779130
1114
+ Bound result 9900000000035163696283
1115
+ Bound result 953
1116
+ Bound result 12
1117
+ Bound result 883776954
1118
+ Bound result 707
1119
+ Bound result 2
1120
+ Bound result 630
1120
1121
 
1121
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1122
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27051, ~: 41090)
1123
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1124
- [PASS] test_assertNotPaused_Success() (gas: 12539)
1125
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1126
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1127
- [PASS] test_isPaused_InitialState() (gas: 15629)
1128
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1129
- [PASS] test_multipleRoleGrants() (gas: 394130)
1130
- [PASS] test_pause() (gas: 42109)
1131
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1132
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1133
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30543, ~: 18756)
1134
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1135
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1136
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1137
- [PASS] test_setPaused_Success() (gas: 40691)
1138
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1139
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1140
- [PASS] test_storageHash() (gas: 3414)
1141
- [PASS] test_unpause() (gas: 35177)
1142
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41618, ~: 38860)
1143
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1144
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1145
- [PASS] test_whenNotPaused_Success() (gas: 38800)
1146
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1147
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1148
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1149
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 16.76s (290.40ms CPU time)
1150
-
1151
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1152
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1153
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1154
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1155
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1156
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1157
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1158
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1159
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46827, ~: 46847)
1160
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1161
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1162
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1163
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1164
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1165
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1166
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1167
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1168
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1169
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1170
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1171
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1172
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1173
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1174
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1175
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1176
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1177
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1178
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1179
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1180
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1181
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1182
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1183
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1184
- [PASS] test_storageHash() (gas: 3380)
1185
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 16.76s (653.28ms CPU time)
1122
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.62s (9.59s CPU time)
1186
1123
 
1187
1124
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1188
1125
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1189
1126
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1190
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45227, ~: 46317)
1127
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44845, ~: 46317)
1191
1128
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1192
1129
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1193
1130
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -1196,58 +1133,48 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
1196
1133
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1197
1134
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1198
1135
  [PASS] test_getFee_Default() (gas: 40577)
1199
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43422, ~: 44486)
1136
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43118, ~: 44486)
1200
1137
  [PASS] test_getFee_Rounding() (gas: 42835)
1201
1138
  [PASS] test_getFee_Specific() (gas: 63968)
1202
1139
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1203
1140
  [PASS] test_setDefaultFeeBps() (gas: 39576)
1204
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 33038, ~: 39667)
1141
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32782, ~: 39667)
1205
1142
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1206
1143
  [PASS] test_setFeeBps() (gas: 73871)
1207
1144
  Logs:
1208
1145
  Bound result 500
1209
1146
 
1210
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65585, ~: 74224)
1147
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65556, ~: 74224)
1211
1148
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1212
1149
  [PASS] test_storageHash() (gas: 3426)
1213
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 16.83s (934.59ms CPU time)
1150
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.87s (679.10ms CPU time)
1214
1151
 
1215
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1216
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1217
- [PASS] test_constructor_InitialMode() (gas: 15578)
1218
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1219
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1220
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1221
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1222
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1223
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1224
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1225
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1226
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1227
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1228
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1229
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1230
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1231
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1232
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1233
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1234
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1235
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1236
- [PASS] test_setMode_Blacklist() (gas: 40021)
1237
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1238
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1239
- [PASS] test_setMode_Whitelist() (gas: 40108)
1240
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1241
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1242
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1243
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1244
- [PASS] test_storageHash() (gas: 3458)
1245
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 16.84s (1.03s CPU time)
1152
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
1153
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26112, ~: 38584)
1154
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
1155
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
1156
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
1157
+ [PASS] test_isPaused_InitialState() (gas: 15595)
1158
+ [PASS] test_pause() (gas: 39592)
1159
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28016, ~: 16219)
1160
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
1161
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
1162
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
1163
+ [PASS] test_storageHash() (gas: 3414)
1164
+ [PASS] test_unpause() (gas: 31115)
1165
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40486, ~: 42029)
1166
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
1167
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
1168
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
1169
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
1170
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
1171
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
1172
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 11.02s (119.24ms CPU time)
1246
1173
 
1247
1174
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1248
1175
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1249
1176
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1250
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 771901, ~: 173491)
1177
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 773494, ~: 240875)
1251
1178
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1252
1179
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1253
1180
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1260,12 +1187,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1260
1187
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1261
1188
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1262
1189
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1263
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11213144, ~: 10398665)
1190
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11092248, ~: 10383900)
1264
1191
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1265
1192
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1266
1193
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1267
1194
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1268
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 743782, ~: 127616)
1195
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 772402, ~: 202070)
1269
1196
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1270
1197
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1271
1198
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1278,10 +1205,76 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1278
1205
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1279
1206
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1280
1207
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1281
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11157431, ~: 10359916)
1208
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11189645, ~: 10497750)
1282
1209
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1283
1210
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1284
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 16.83s (39.50s CPU time)
1211
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.02s (26.10s CPU time)
1212
+
1213
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1214
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1215
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1216
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47487, ~: 48966)
1217
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1218
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1219
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1220
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1221
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1222
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1223
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1224
+ [PASS] test_getFee_Default() (gas: 43108)
1225
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45579, ~: 47017)
1226
+ [PASS] test_getFee_Rounding() (gas: 45449)
1227
+ [PASS] test_getFee_Specific() (gas: 66985)
1228
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1229
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1230
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35801, ~: 42268)
1231
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1232
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1233
+ [PASS] test_setFeeBps() (gas: 77237)
1234
+ Logs:
1235
+ Bound result 500
1236
+
1237
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69201, ~: 77570)
1238
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1239
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1240
+ [PASS] test_storageHash() (gas: 3436)
1241
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 11.02s (675.54ms CPU time)
1242
+
1243
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1244
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1245
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1246
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1247
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1248
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1249
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1250
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1251
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1252
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1253
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1254
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1255
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1256
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1257
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1258
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1259
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1260
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1261
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1262
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1263
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1264
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1265
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1266
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1267
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1268
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1269
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1270
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1271
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1272
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1273
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1274
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1275
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1276
+ [PASS] test_storageHash() (gas: 3380)
1277
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 11.02s (660.68ms CPU time)
1285
1278
 
1286
- Ran 17 test suites in 16.86s (96.86s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1287
- ⏳ forge test: 31.356s
1279
+ Ran 17 test suites in 11.07s (63.47s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1280
+ ⏳ forge test: 25.805s