@layerzerolabs/utils-upgradeable-evm-contracts 0.2.112 → 0.2.113

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 +693 -715
  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: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.
8
+ (node:148197) [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.48s
16
+ Solc 0.8.22 finished in 11.72s
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,16 @@ 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 46.95ms (45.02ms CPU time)
175
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 23.62ms (21.14ms CPU time)
176
+
177
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
178
+ [PASS] test_feeDeposit() (gas: 17638)
179
+ [PASS] test_setFeeDeposit() (gas: 27596)
180
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
181
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
182
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
183
+ [PASS] test_storageHash() (gas: 3315)
184
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 50.51ms (49.80ms CPU time)
176
185
 
177
186
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
178
187
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -215,91 +224,42 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
215
224
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
216
225
  [PASS] test_storageHash() (gas: 3392)
217
226
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
218
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 27.86ms (34.52ms CPU time)
219
-
220
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
221
- [PASS] test_feeDeposit() (gas: 17638)
222
- [PASS] test_setFeeDeposit() (gas: 27596)
223
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
224
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
225
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
226
- [PASS] test_storageHash() (gas: 3315)
227
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 77.02ms (76.35ms CPU time)
228
-
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)
227
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 131.98ms (18.75ms CPU time)
236
228
 
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)
229
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
230
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
231
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
232
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
233
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
234
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
235
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
236
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
237
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
238
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
239
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
240
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 97.00ms (96.81ms CPU time)
268
241
 
269
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
270
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
271
- [PASS] test_constructor_InitialMode() (gas: 15778)
272
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
273
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
274
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
275
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115141, ~: 115161)
276
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
277
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
278
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
279
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
280
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
281
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
282
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
283
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
284
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
285
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
286
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
287
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
288
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
289
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
290
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
291
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
292
- [PASS] test_setMode_Blacklist() (gas: 42605)
293
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
294
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
295
- [PASS] test_setMode_Whitelist() (gas: 42714)
296
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
297
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
298
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
299
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
300
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
301
- [PASS] test_storageHash() (gas: 3480)
302
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 319.71ms (641.24ms CPU time)
242
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
243
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25854, ~: 38584)
244
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
245
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
246
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
247
+ [PASS] test_isPaused_InitialState() (gas: 15595)
248
+ [PASS] test_pause() (gas: 39592)
249
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27543, ~: 16219)
250
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
251
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
252
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
253
+ [PASS] test_storageHash() (gas: 3414)
254
+ [PASS] test_unpause() (gas: 31115)
255
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40370, ~: 38893)
256
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
257
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
258
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
259
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
260
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
261
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
262
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 152.73ms (149.10ms CPU time)
303
263
 
304
264
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
305
265
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -316,16 +276,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
316
276
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
317
277
  [PASS] test_pauseConfig() (gas: 45626)
318
278
  [PASS] test_setDefaultPaused() (gas: 39667)
319
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27983, ~: 16332)
279
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28148, ~: 39918)
320
280
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
321
281
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
322
282
  [PASS] test_setPaused() (gas: 43060)
323
283
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
324
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38915, ~: 43373)
284
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38398, ~: 43373)
325
285
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
326
286
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
327
287
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
328
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58366, ~: 69608)
288
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58683, ~: 69608)
329
289
  [PASS] test_storageHash() (gas: 3480)
330
290
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
331
291
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -333,23 +293,54 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
333
293
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
334
294
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
335
295
  [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)
296
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 271.69ms (495.97ms CPU time)
337
297
 
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)
298
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
299
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
300
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
301
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
302
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
303
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
304
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
305
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
306
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46807, ~: 46847)
307
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
308
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
309
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
310
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
311
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
312
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
313
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
314
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
315
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
316
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
317
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
318
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
319
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
320
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
321
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
322
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
323
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
324
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
325
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
326
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
327
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
328
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
329
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
330
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
331
+ [PASS] test_storageHash() (gas: 3380)
332
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 306.11ms (489.41ms CPU time)
333
+
334
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
335
+ [PASS] test_feeDeposit() (gas: 17576)
336
+ [PASS] test_setFeeDeposit() (gas: 24995)
337
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21448, ~: 21454)
338
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
339
+ [PASS] test_storageHash() (gas: 3337)
340
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 1.04s (44.85ms CPU time)
350
341
 
351
342
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
352
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26626, ~: 12786)
343
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27390, ~: 41090)
353
344
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
354
345
  [PASS] test_assertNotPaused_Success() (gas: 12539)
355
346
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -360,7 +351,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
360
351
  [PASS] test_pause() (gas: 42109)
361
352
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
362
353
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
363
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30637, ~: 42378)
354
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30023, ~: 18756)
364
355
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
365
356
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
366
357
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -369,812 +360,815 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
369
360
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
370
361
  [PASS] test_storageHash() (gas: 3414)
371
362
  [PASS] test_unpause() (gas: 35177)
372
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41647, ~: 38860)
363
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41804, ~: 44479)
373
364
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
374
365
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
375
366
  [PASS] test_whenNotPaused_Success() (gas: 38800)
376
367
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
377
368
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
378
369
  [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
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.10s (198.82ms CPU time)
380
371
 
381
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
382
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
383
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
384
- [PASS] test_assertNotPaused_Success() (gas: 14891)
385
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
386
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
387
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
388
- [PASS] test_isPaused_Default() (gas: 47316)
389
- [PASS] test_isPaused_InitialState() (gas: 22172)
390
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
391
- [PASS] test_isPaused_Override() (gas: 75171)
392
- [PASS] test_isPaused_Specific() (gas: 50105)
393
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
394
- [PASS] test_pauseConfig() (gas: 51028)
395
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
396
- [PASS] test_setDefaultPaused() (gas: 42196)
397
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30919, ~: 42446)
398
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
399
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
400
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
401
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
402
- [PASS] test_setPaused() (gas: 48361)
403
- [PASS] test_setPaused_DormantData() (gas: 295234)
404
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
405
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
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)
408
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
409
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
410
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
411
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
412
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
413
- [PASS] test_setPaused_Success() (gas: 45897)
414
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
415
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
416
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
417
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
418
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
419
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
420
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
421
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62442, ~: 73465)
422
- [PASS] test_storageHash() (gas: 3392)
423
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
424
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
425
- [PASS] test_whenNotPaused_Success() (gas: 41299)
426
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
427
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
428
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
429
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.49s (923.17ms CPU time)
372
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
373
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
374
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
375
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44983, ~: 46317)
376
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
377
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
378
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
379
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
380
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
381
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
382
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
383
+ [PASS] test_getFee_Default() (gas: 40577)
384
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43238, ~: 44486)
385
+ [PASS] test_getFee_Rounding() (gas: 42835)
386
+ [PASS] test_getFee_Specific() (gas: 63968)
387
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
388
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
389
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32617, ~: 39667)
390
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
391
+ [PASS] test_setFeeBps() (gas: 73871)
392
+ Logs:
393
+ Bound result 500
430
394
 
431
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
395
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65983, ~: 74224)
396
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
397
+ [PASS] test_storageHash() (gas: 3426)
398
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.16s (484.35ms CPU time)
399
+
400
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
401
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
402
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
403
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47605, ~: 48966)
404
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
405
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
406
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
407
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
408
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
409
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
410
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
411
+ [PASS] test_getFee_Default() (gas: 43108)
412
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45465, ~: 47017)
413
+ [PASS] test_getFee_Rounding() (gas: 45449)
414
+ [PASS] test_getFee_Specific() (gas: 66985)
415
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
416
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
417
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34968, ~: 42268)
418
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
419
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
420
+ [PASS] test_setFeeBps() (gas: 77237)
421
+ Logs:
422
+ Bound result 500
423
+
424
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69517, ~: 77570)
425
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
426
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
427
+ [PASS] test_storageHash() (gas: 3436)
428
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.47s (403.56ms CPU time)
429
+
430
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
432
431
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
433
432
 
434
433
  ╭-----------------------------------+---------------------+-------+---------+----------╮
435
434
  | Contract | Selector | Calls | Reverts | Discards |
436
435
  +======================================================================================+
437
- | RateLimiterRBACUpgradeableHandler | inflow | 589 | 0 | 0 |
436
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
438
437
  |-----------------------------------+---------------------+-------+---------+----------|
439
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
438
+ | RateLimiterRBACUpgradeableHandler | outflow | 599 | 0 | 0 |
440
439
  |-----------------------------------+---------------------+-------+---------+----------|
441
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
440
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
442
441
  |-----------------------------------+---------------------+-------+---------+----------|
443
- | RateLimiterRBACUpgradeableHandler | setState | 528 | 0 | 0 |
442
+ | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
444
443
  |-----------------------------------+---------------------+-------+---------+----------|
445
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 525 | 0 | 0 |
444
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 559 | 0 | 0 |
446
445
  |-----------------------------------+---------------------+-------+---------+----------|
447
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
446
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 492 | 0 | 0 |
448
447
  |-----------------------------------+---------------------+-------+---------+----------|
449
- | RateLimiterRBACUpgradeableHandler | warp | 521 | 0 | 0 |
448
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
450
449
  ╰-----------------------------------+---------------------+-------+---------+----------╯
451
450
 
452
451
  Logs:
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
452
+ Bound result 1174
453
+ Bound result 956756988273171517550
454
+ Bound result 5077
455
+ Bound result 429368963063925513165
456
+ Bound result 174
457
+ Bound result 115
458
+ Bound result 8596
459
+ Bound result 123916427372422
460
+ Bound result 757144917611662785142
461
+ Bound result 235
462
+ Bound result 9900000000000000005078
463
+ Bound result 9900000000000000001134
464
+ Bound result 2978
465
+ Bound result 6932
466
+ Bound result 2
467
+ Bound result 6914264337593535947490
468
+ Bound result 100000000000000000003
469
+ Bound result 73
470
+ Bound result 46
471
+ Bound result 100000000000000000003
472
+ Bound result 9907543920710646861976
473
+ Bound result 8647
474
+ Bound result 8312
477
475
 
478
476
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
479
477
 
480
478
  ╭-----------------------------------+---------------------+-------+---------+----------╮
481
479
  | Contract | Selector | Calls | Reverts | Discards |
482
480
  +======================================================================================+
483
- | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
481
+ | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
484
482
  |-----------------------------------+---------------------+-------+---------+----------|
485
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
483
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
486
484
  |-----------------------------------+---------------------+-------+---------+----------|
487
- | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
485
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
488
486
  |-----------------------------------+---------------------+-------+---------+----------|
489
- | RateLimiterRBACUpgradeableHandler | setState | 571 | 0 | 0 |
487
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
490
488
  |-----------------------------------+---------------------+-------+---------+----------|
491
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 525 | 0 | 0 |
489
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
492
490
  |-----------------------------------+---------------------+-------+---------+----------|
493
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
491
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
494
492
  |-----------------------------------+---------------------+-------+---------+----------|
495
- | RateLimiterRBACUpgradeableHandler | warp | 508 | 0 | 0 |
493
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
496
494
  ╰-----------------------------------+---------------------+-------+---------+----------╯
497
495
 
498
496
  Logs:
499
- Bound result 892266825002218564463
500
- Bound result 24943
501
- Bound result 48080973958642
497
+ Bound result 2837791799142
498
+ Bound result 71787229397983758894
502
499
  Bound result 1
500
+ Bound result 417
501
+ Bound result 421
502
+ Bound result 356269416823958546126
503
+ Bound result 1532
504
+ Bound result 9900000018798998042006
505
+ Bound result 9900000000000000156524
506
+ Bound result 12
507
+ Bound result 743
503
508
  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
509
+ Bound result 7859488647699511543887
510
+ Bound result 9900000000000000007812
511
+ Bound result 9900000000000000003274
512
+ Bound result 8151
513
+ Bound result 9194
514
+ Bound result 4088
518
515
 
519
516
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
520
517
 
521
518
  ╭-----------------------------------+---------------------+-------+---------+----------╮
522
519
  | Contract | Selector | Calls | Reverts | Discards |
523
520
  +======================================================================================+
524
- | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
521
+ | RateLimiterRBACUpgradeableHandler | inflow | 589 | 0 | 0 |
525
522
  |-----------------------------------+---------------------+-------+---------+----------|
526
- | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
523
+ | RateLimiterRBACUpgradeableHandler | outflow | 572 | 0 | 0 |
527
524
  |-----------------------------------+---------------------+-------+---------+----------|
528
- | RateLimiterRBACUpgradeableHandler | setConfig | 590 | 0 | 0 |
525
+ | RateLimiterRBACUpgradeableHandler | setConfig | 509 | 0 | 0 |
529
526
  |-----------------------------------+---------------------+-------+---------+----------|
530
- | RateLimiterRBACUpgradeableHandler | setState | 586 | 0 | 0 |
527
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
531
528
  |-----------------------------------+---------------------+-------+---------+----------|
532
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
529
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
533
530
  |-----------------------------------+---------------------+-------+---------+----------|
534
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 573 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
535
532
  |-----------------------------------+---------------------+-------+---------+----------|
536
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | warp | 517 | 0 | 0 |
537
534
  ╰-----------------------------------+---------------------+-------+---------+----------╯
538
535
 
539
536
  Logs:
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
537
+ Bound result 980
538
+ Bound result 5197
539
+ Bound result 44908
540
+ Bound result 5602
541
+ Bound result 6914264337593535947488
542
+ Bound result 6814954090016535965612
543
+ Bound result 25
544
+ Bound result 13
560
545
  Bound result 1
546
+ Bound result 2
547
+ Bound result 8256
561
548
 
562
549
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
563
550
 
564
551
  ╭-----------------------------------+---------------------+-------+---------+----------╮
565
552
  | Contract | Selector | Calls | Reverts | Discards |
566
553
  +======================================================================================+
567
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
554
+ | RateLimiterRBACUpgradeableHandler | inflow | 493 | 0 | 0 |
568
555
  |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
556
+ | RateLimiterRBACUpgradeableHandler | outflow | 586 | 0 | 0 |
570
557
  |-----------------------------------+---------------------+-------+---------+----------|
571
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
558
+ | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
572
559
  |-----------------------------------+---------------------+-------+---------+----------|
573
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
560
+ | RateLimiterRBACUpgradeableHandler | setState | 591 | 0 | 0 |
574
561
  |-----------------------------------+---------------------+-------+---------+----------|
575
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
562
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
576
563
  |-----------------------------------+---------------------+-------+---------+----------|
577
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
564
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 586 | 0 | 0 |
578
565
  |-----------------------------------+---------------------+-------+---------+----------|
579
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
566
+ | RateLimiterRBACUpgradeableHandler | warp | 502 | 0 | 0 |
580
567
  ╰-----------------------------------+---------------------+-------+---------+----------╯
581
568
 
582
569
  Logs:
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
570
+ Bound result 7884
571
+ Bound result 8031
572
+ Bound result 1
573
+ Bound result 9834
574
+ Bound result 9130
575
+ Bound result 1
576
+ Bound result 819
577
+ Bound result 124004064
578
+ Bound result 1400109821926
579
+ Bound result 7182
580
+ Bound result 1230
581
+ Bound result 0
582
+ Bound result 95180423451429
583
+ Bound result 856
584
+ Bound result 705
585
+ Bound result 4833
586
+ Bound result 337
594
587
 
595
588
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
596
589
 
597
590
  ╭-----------------------------------+---------------------+-------+---------+----------╮
598
591
  | Contract | Selector | Calls | Reverts | Discards |
599
592
  +======================================================================================+
600
- | RateLimiterRBACUpgradeableHandler | inflow | 512 | 0 | 0 |
593
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
601
594
  |-----------------------------------+---------------------+-------+---------+----------|
602
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
595
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
603
596
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
597
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
605
598
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
599
+ | RateLimiterRBACUpgradeableHandler | setState | 568 | 0 | 0 |
607
600
  |-----------------------------------+---------------------+-------+---------+----------|
608
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
601
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
609
602
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
603
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
611
604
  |-----------------------------------+---------------------+-------+---------+----------|
612
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
605
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
613
606
  ╰-----------------------------------+---------------------+-------+---------+----------╯
614
607
 
615
608
  Logs:
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
609
+ Bound result 514264337593543950333
610
+ Bound result 636
611
+ Bound result 424
612
+ Bound result 362845
613
+ Bound result 509
614
+ Bound result 520
615
+ Bound result 83652191072893913974
616
+ Bound result 1010
617
+ Bound result 7100
618
+ Bound result 303
619
+ Bound result 235031450925721546915
620
+ Bound result 908
621
+ Bound result 782
640
622
 
641
623
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
642
624
 
643
625
  ╭-----------------------------------+---------------------+-------+---------+----------╮
644
626
  | Contract | Selector | Calls | Reverts | Discards |
645
627
  +======================================================================================+
646
- | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
647
629
  |-----------------------------------+---------------------+-------+---------+----------|
648
- | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
630
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
649
631
  |-----------------------------------+---------------------+-------+---------+----------|
650
- | RateLimiterRBACUpgradeableHandler | setConfig | 521 | 0 | 0 |
632
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
651
633
  |-----------------------------------+---------------------+-------+---------+----------|
652
- | RateLimiterRBACUpgradeableHandler | setState | 572 | 0 | 0 |
634
+ | RateLimiterRBACUpgradeableHandler | setState | 566 | 0 | 0 |
653
635
  |-----------------------------------+---------------------+-------+---------+----------|
654
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
636
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
655
637
  |-----------------------------------+---------------------+-------+---------+----------|
656
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
638
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
657
639
  |-----------------------------------+---------------------+-------+---------+----------|
658
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
640
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
659
641
  ╰-----------------------------------+---------------------+-------+---------+----------╯
660
642
 
661
643
  Logs:
662
- Bound result 362911365804212580631
663
- Bound result 6
664
- Bound result 1
644
+ Bound result 151426664
645
+ Bound result 5247
665
646
  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
647
+ Bound result 514264337593543950334
648
+ Bound result 5956
649
+ Bound result 9900000000142369777386
650
+ Bound result 9900000000000000100231
651
+ Bound result 254
652
+ Bound result 83
653
+ Bound result 72210
654
+ Bound result 57876452476
674
655
  Bound result 0
675
- Bound result 3
676
- Bound result 667
677
- Bound result 0
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
656
+ Bound result 6804
657
+ Bound result 23845775326792
658
+ Bound result 58
659
+ Bound result 15
660
+ Bound result 9900000000000882433518
661
+ Bound result 9900067476609444437231
662
+ Bound result 11
663
+ Bound result 526
664
+ Bound result 18430893409895340290061
665
+ Bound result 9900000000000000010384
666
+ Bound result 9900000000000000002031
667
+ Bound result 6555
668
+ Bound result 6822
669
+ Bound result 2162086043892071
690
670
 
691
671
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
692
672
 
693
673
  ╭-----------------------------------+---------------------+-------+---------+----------╮
694
674
  | Contract | Selector | Calls | Reverts | Discards |
695
675
  +======================================================================================+
696
- | RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
676
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
697
677
  |-----------------------------------+---------------------+-------+---------+----------|
698
- | RateLimiterRBACUpgradeableHandler | outflow | 557 | 0 | 0 |
678
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
699
679
  |-----------------------------------+---------------------+-------+---------+----------|
700
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
680
+ | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
701
681
  |-----------------------------------+---------------------+-------+---------+----------|
702
- | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
682
+ | RateLimiterRBACUpgradeableHandler | setState | 575 | 0 | 0 |
703
683
  |-----------------------------------+---------------------+-------+---------+----------|
704
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
684
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
705
685
  |-----------------------------------+---------------------+-------+---------+----------|
706
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
686
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
707
687
  |-----------------------------------+---------------------+-------+---------+----------|
708
- | RateLimiterRBACUpgradeableHandler | warp | 580 | 0 | 0 |
688
+ | RateLimiterRBACUpgradeableHandler | warp | 516 | 0 | 0 |
709
689
  ╰-----------------------------------+---------------------+-------+---------+----------╯
710
690
 
711
691
  Logs:
712
- Bound result 1005676547704627388
713
- Bound result 878
692
+ Bound result 1077
693
+ Bound result 9425
694
+ Bound result 2783
695
+ Bound result 604
696
+ Bound result 28
714
697
  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
698
+ Bound result 2215456450
699
+ Bound result 1483
700
+ Bound result 4280
701
+ Bound result 3751
702
+ Bound result 100000000000000000000
703
+ Bound result 9901036488761237091927
704
+ Bound result 11
705
+ Bound result 7682
706
+ Bound result 9900000000000000010547
707
+ Bound result 9900000000000000008923
708
+ Bound result 477
709
+ Bound result 7702
729
710
 
730
711
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
731
712
 
732
713
  ╭-----------------------------------+---------------------+-------+---------+----------╮
733
714
  | Contract | Selector | Calls | Reverts | Discards |
734
715
  +======================================================================================+
735
- | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
716
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
736
717
  |-----------------------------------+---------------------+-------+---------+----------|
737
- | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
718
+ | RateLimiterRBACUpgradeableHandler | outflow | 521 | 0 | 0 |
738
719
  |-----------------------------------+---------------------+-------+---------+----------|
739
- | RateLimiterRBACUpgradeableHandler | setConfig | 536 | 0 | 0 |
720
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
740
721
  |-----------------------------------+---------------------+-------+---------+----------|
741
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
722
+ | RateLimiterRBACUpgradeableHandler | setState | 593 | 0 | 0 |
742
723
  |-----------------------------------+---------------------+-------+---------+----------|
743
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 546 | 0 | 0 |
724
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
744
725
  |-----------------------------------+---------------------+-------+---------+----------|
745
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
726
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
746
727
  |-----------------------------------+---------------------+-------+---------+----------|
747
- | RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
728
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
748
729
  ╰-----------------------------------+---------------------+-------+---------+----------╯
749
730
 
750
731
  Logs:
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
766
- Bound result 1
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
732
+ Bound result 513505
733
+ Bound result 909
734
+ Bound result 9042
735
+ Bound result 11225
736
+ Bound result 118
737
+ Bound result 67
738
+ Bound result 3107
739
+ Bound result 884579470757181802874
740
+ Bound result 1719639408
741
+ Bound result 2580
742
+ Bound result 411
743
+ Bound result 84
778
744
 
779
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.63s (9.45s CPU time)
745
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.43s (8.69s CPU time)
780
746
 
781
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
747
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
782
748
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
783
749
 
784
750
  ╭-----------------------------------+---------------------+-------+---------+----------╮
785
751
  | Contract | Selector | Calls | Reverts | Discards |
786
752
  +======================================================================================+
787
- | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
753
+ | RateLimiterRBACUpgradeableHandler | inflow | 583 | 0 | 0 |
788
754
  |-----------------------------------+---------------------+-------+---------+----------|
789
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
755
+ | RateLimiterRBACUpgradeableHandler | outflow | 505 | 0 | 0 |
790
756
  |-----------------------------------+---------------------+-------+---------+----------|
791
- | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
757
+ | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
792
758
  |-----------------------------------+---------------------+-------+---------+----------|
793
- | RateLimiterRBACUpgradeableHandler | setState | 558 | 0 | 0 |
759
+ | RateLimiterRBACUpgradeableHandler | setState | 509 | 0 | 0 |
794
760
  |-----------------------------------+---------------------+-------+---------+----------|
795
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
761
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
796
762
  |-----------------------------------+---------------------+-------+---------+----------|
797
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
763
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
798
764
  |-----------------------------------+---------------------+-------+---------+----------|
799
- | RateLimiterRBACUpgradeableHandler | warp | 518 | 0 | 0 |
765
+ | RateLimiterRBACUpgradeableHandler | warp | 607 | 0 | 0 |
800
766
  ╰-----------------------------------+---------------------+-------+---------+----------╯
801
767
 
802
768
  Logs:
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
814
- Bound result 0
815
- Bound result 6914264337593471924739
816
- Bound result 5087254751999
817
- Bound result 16129
818
- Bound result 6176
819
- Bound result 21947
820
- Bound result 3
821
- Bound result 1
769
+ Bound result 1332666115320
770
+ Bound result 186099735756247996187
771
+ Bound result 10177
772
+ Bound result 9900000000000000000617
773
+ Bound result 9900000000039457703553
774
+ Bound result 12
775
+ Bound result 1495
776
+ Bound result 2630
777
+ Bound result 2084
778
+ Bound result 9900000000000000000058
779
+ Bound result 9914976633997111661542
780
+ Bound result 3053
781
+ Bound result 3632
782
+ Bound result 1235
783
+ Bound result 155
784
+ Bound result 9143416529252884983506
785
+ Bound result 920
786
+ Bound result 232
822
787
 
823
788
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
824
789
 
825
790
  ╭-----------------------------------+---------------------+-------+---------+----------╮
826
791
  | Contract | Selector | Calls | Reverts | Discards |
827
792
  +======================================================================================+
828
- | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | inflow | 514 | 0 | 0 |
829
794
  |-----------------------------------+---------------------+-------+---------+----------|
830
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
831
796
  |-----------------------------------+---------------------+-------+---------+----------|
832
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
833
798
  |-----------------------------------+---------------------+-------+---------+----------|
834
- | RateLimiterRBACUpgradeableHandler | setState | 505 | 0 | 0 |
799
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
835
800
  |-----------------------------------+---------------------+-------+---------+----------|
836
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 604 | 0 | 0 |
801
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 581 | 0 | 0 |
837
802
  |-----------------------------------+---------------------+-------+---------+----------|
838
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
803
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
839
804
  |-----------------------------------+---------------------+-------+---------+----------|
840
- | RateLimiterRBACUpgradeableHandler | warp | 575 | 0 | 0 |
805
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
841
806
  ╰-----------------------------------+---------------------+-------+---------+----------╯
842
807
 
843
808
  Logs:
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
809
+ Bound result 234963544675837599849
810
+ Bound result 9900000002107889338654
811
+ Bound result 6242
812
+ Bound result 1682
813
+ Bound result 2315954095519858318
814
+ Bound result 4065
815
+ Bound result 49
816
+ Bound result 1
817
+ Bound result 3339
818
+ Bound result 1413015605061915790789
819
+ Bound result 630255853896128591
820
+ Bound result 1140
821
+ Bound result 9384
822
+ Bound result 9806
862
823
 
863
824
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
864
825
 
865
826
  ╭-----------------------------------+---------------------+-------+---------+----------╮
866
827
  | Contract | Selector | Calls | Reverts | Discards |
867
828
  +======================================================================================+
868
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
829
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
869
830
  |-----------------------------------+---------------------+-------+---------+----------|
870
- | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
871
832
  |-----------------------------------+---------------------+-------+---------+----------|
872
- | RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
873
834
  |-----------------------------------+---------------------+-------+---------+----------|
874
- | RateLimiterRBACUpgradeableHandler | setState | 555 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setState | 538 | 0 | 0 |
875
836
  |-----------------------------------+---------------------+-------+---------+----------|
876
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
877
838
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
879
840
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | warp | 588 | 0 | 0 |
881
842
  ╰-----------------------------------+---------------------+-------+---------+----------╯
882
843
 
883
844
  Logs:
884
- Bound result 9901415285830799406079
845
+ Bound result 1614
846
+ Bound result 9900001346105942793842
885
847
  Bound result 100000000000000000001
886
- Bound result 8801
887
- Bound result 10
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
848
+ Bound result 251
849
+ Bound result 8800
850
+ Bound result 10328
851
+ Bound result 9483
852
+ Bound result 1
853
+ Bound result 13524842105125135376014
854
+ Bound result 9900000000000000000308
855
+ Bound result 9900000000000000007834
856
+ Bound result 9806
857
+ Bound result 6772
858
+ Bound result 9900000000046243566915
859
+ Bound result 6948038747814931236122
860
+ Bound result 68
861
+ Bound result 7519
862
+ Bound result 9900152243041920509808
863
+ Bound result 9165012808649342383033
864
+ Bound result 4838
865
+ Bound result 2460
866
+ Bound result 706272336150637
867
+ Bound result 1
868
+ Bound result 9572
901
869
 
902
870
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
903
871
 
904
872
  ╭-----------------------------------+---------------------+-------+---------+----------╮
905
873
  | Contract | Selector | Calls | Reverts | Discards |
906
874
  +======================================================================================+
907
- | RateLimiterRBACUpgradeableHandler | inflow | 598 | 0 | 0 |
875
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
908
876
  |-----------------------------------+---------------------+-------+---------+----------|
909
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
877
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
910
878
  |-----------------------------------+---------------------+-------+---------+----------|
911
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
879
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
912
880
  |-----------------------------------+---------------------+-------+---------+----------|
913
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
881
+ | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
914
882
  |-----------------------------------+---------------------+-------+---------+----------|
915
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
883
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 557 | 0 | 0 |
916
884
  |-----------------------------------+---------------------+-------+---------+----------|
917
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
885
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 512 | 0 | 0 |
918
886
  |-----------------------------------+---------------------+-------+---------+----------|
919
- | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
887
+ | RateLimiterRBACUpgradeableHandler | warp | 548 | 0 | 0 |
920
888
  ╰-----------------------------------+---------------------+-------+---------+----------╯
921
889
 
922
890
  Logs:
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
891
+ Bound result 2910548691
892
+ Bound result 641159038827918
935
893
  Bound result 1
936
- Bound result 14415059311325869375184
937
- Bound result 9900000000000000007259
938
- Bound result 193830430
939
- Bound result 3013121952
940
- Bound result 0
941
- Bound result 883
942
- Bound result 613063844
943
- Bound result 743
944
- Bound result 4257
894
+ Bound result 990
895
+ Bound result 5287736777250184682951
896
+ Bound result 5660244690154666727340
897
+ Bound result 3250
898
+ Bound result 3185
899
+ Bound result 622003680818133290920
900
+ Bound result 2121033201976921529948
901
+ Bound result 9900000000027152759187
902
+ Bound result 9900000000000006976340
903
+ Bound result 158
904
+ Bound result 3659
905
+ Bound result 9622
906
+ Bound result 479584828
907
+ Bound result 3138397461264196616301
908
+ Bound result 1
909
+ Bound result 18681524968952285028289
945
910
 
946
911
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
947
912
 
948
913
  ╭-----------------------------------+---------------------+-------+---------+----------╮
949
914
  | Contract | Selector | Calls | Reverts | Discards |
950
915
  +======================================================================================+
951
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
952
917
  |-----------------------------------+---------------------+-------+---------+----------|
953
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
954
919
  |-----------------------------------+---------------------+-------+---------+----------|
955
- | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | setConfig | 559 | 0 | 0 |
956
921
  |-----------------------------------+---------------------+-------+---------+----------|
957
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | setState | 521 | 0 | 0 |
958
923
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
924
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
960
925
  |-----------------------------------+---------------------+-------+---------+----------|
961
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
962
927
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
964
929
  ╰-----------------------------------+---------------------+-------+---------+----------╯
965
930
 
966
931
  Logs:
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
932
+ Bound result 1163
933
+ Bound result 408
934
+ Bound result 100000000000000000002
935
+ Bound result 918423218664049958940
936
+ Bound result 71
937
+ Bound result 6079
938
+ Bound result 9900000000000000007394
939
+ Bound result 9900000000000000010822
940
+ Bound result 9638
941
+ Bound result 4604
942
+ Bound result 14889838503684833117050
943
+ Bound result 580188558
944
+ Bound result 15386593941624821898309
945
+ Bound result 605
946
+ Bound result 9900000001231370963636
947
+ Bound result 1089233485286039107505
948
+ Bound result 1752
949
+ Bound result 71
950
+ Bound result 9900000000000000002562
951
+ Bound result 9900008376262450868654
952
+ Bound result 4088
953
+ Bound result 2570
987
954
 
988
955
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
989
956
 
990
957
  ╭-----------------------------------+---------------------+-------+---------+----------╮
991
958
  | Contract | Selector | Calls | Reverts | Discards |
992
959
  +======================================================================================+
993
- | RateLimiterRBACUpgradeableHandler | inflow | 515 | 0 | 0 |
960
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
994
961
  |-----------------------------------+---------------------+-------+---------+----------|
995
- | RateLimiterRBACUpgradeableHandler | outflow | 568 | 0 | 0 |
962
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
996
963
  |-----------------------------------+---------------------+-------+---------+----------|
997
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
998
965
  |-----------------------------------+---------------------+-------+---------+----------|
999
- | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
1000
967
  |-----------------------------------+---------------------+-------+---------+----------|
1001
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
968
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1002
969
  |-----------------------------------+---------------------+-------+---------+----------|
1003
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
970
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 535 | 0 | 0 |
1004
971
  |-----------------------------------+---------------------+-------+---------+----------|
1005
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
972
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1006
973
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1007
974
 
1008
975
  Logs:
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
1023
- Bound result 1
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
976
+ Bound result 5
977
+ Bound result 474547843
978
+ Bound result 1138801098604678868845
1036
979
  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
980
+ Bound result 2551
981
+ Bound result 2984221616188034759519
982
+ Bound result 9900000000000000197658
983
+ Bound result 9703
984
+ Bound result 28
985
+ Bound result 9900000000000000001734
986
+ Bound result 9900000000000000002983
987
+ Bound result 2025
988
+ Bound result 8061
989
+ Bound result 9593201840322532425275
990
+ Bound result 5550498116818171804245
991
+ Bound result 6914264337593535947488
992
+ Bound result 12
993
+ Bound result 6869
994
+ Bound result 3106
995
+ Bound result 837
996
+ Bound result 4
997
+ Bound result 8037465513140403968355
998
+ Bound result 100000000000000000001
999
+ Bound result 4126
1000
+ Bound result 6673
1001
+ Bound result 10614
1002
+ Bound result 11406
1003
+ Bound result 197173
1004
+ Bound result 2260
1043
1005
 
1044
1006
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1045
1007
 
1046
1008
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1047
1009
  | Contract | Selector | Calls | Reverts | Discards |
1048
1010
  +======================================================================================+
1049
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1011
+ | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
1050
1012
  |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
1013
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1052
1014
  |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
1015
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
1054
1016
  |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
1017
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1056
1018
  |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 510 | 0 | 0 |
1058
1020
  |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1021
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 598 | 0 | 0 |
1060
1022
  |-----------------------------------+---------------------+-------+---------+----------|
1061
- | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
1023
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
1062
1024
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1063
1025
 
1064
1026
  Logs:
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
1027
+ Bound result 4
1028
+ Bound result 9900000000000378436876
1029
+ Bound result 100000000000000000002
1030
+ Bound result 24
1031
+ Bound result 7996
1032
+ Bound result 62
1033
+ Bound result 7377
1034
+ Bound result 1
1035
+ Bound result 5294
1036
+ Bound result 100000000000000000000
1037
+ Bound result 9900000000419589830570
1038
+ Bound result 25
1039
+ Bound result 8102
1040
+ Bound result 9900000000000000000631
1041
+ Bound result 9900000000000000000702
1042
+ Bound result 1548
1043
+ Bound result 4064
1044
+ Bound result 12763308665619
1045
+ Bound result 9900000000000007036307
1046
+ Bound result 6914264337593535947491
1047
+ Bound result 6121
1048
+ Bound result 6241
1074
1049
  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
1050
+ Bound result 3571
1051
+ Bound result 379
1052
+ Bound result 9522
1053
+ Bound result 336
1083
1054
 
1084
1055
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1085
1056
 
1086
1057
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1087
1058
  | Contract | Selector | Calls | Reverts | Discards |
1088
1059
  +======================================================================================+
1089
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
1060
+ | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
1090
1061
  |-----------------------------------+---------------------+-------+---------+----------|
1091
- | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
1092
1063
  |-----------------------------------+---------------------+-------+---------+----------|
1093
1064
  | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1094
1065
  |-----------------------------------+---------------------+-------+---------+----------|
1095
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
1066
+ | RateLimiterRBACUpgradeableHandler | setState | 575 | 0 | 0 |
1096
1067
  |-----------------------------------+---------------------+-------+---------+----------|
1097
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1068
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1098
1069
  |-----------------------------------+---------------------+-------+---------+----------|
1099
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
1070
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 564 | 0 | 0 |
1100
1071
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1072
+ | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
1102
1073
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1103
1074
 
1104
1075
  Logs:
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
1121
-
1122
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.62s (9.59s CPU time)
1076
+ Bound result 1066
1077
+ Bound result 9900000000000002567488
1078
+ Bound result 1970949095303915719778
1079
+ Bound result 15
1080
+ Bound result 10
1081
+ Bound result 6914264317046334013040
1082
+ Bound result 55171873
1083
+ Bound result 11
1084
+ Bound result 9900000000000000010821
1085
+ Bound result 9900000000000000007152
1086
+ Bound result 7920
1087
+ Bound result 5197
1088
+ Bound result 152
1089
+ Bound result 5544951853017827190405
1090
+ Bound result 3373714622146601937356
1091
+ Bound result 350726090
1092
+ Bound result 7740603020432861591540
1093
+ Bound result 9900158597386987838769
1094
+ Bound result 6392
1095
+ Bound result 11
1096
+ Bound result 2949
1097
+ Bound result 2444
1123
1098
 
1124
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1125
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1126
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1127
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44845, ~: 46317)
1128
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1129
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1130
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1131
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1132
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1133
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1134
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1135
- [PASS] test_getFee_Default() (gas: 40577)
1136
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43118, ~: 44486)
1137
- [PASS] test_getFee_Rounding() (gas: 42835)
1138
- [PASS] test_getFee_Specific() (gas: 63968)
1139
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1140
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1141
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32782, ~: 39667)
1142
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1143
- [PASS] test_setFeeBps() (gas: 73871)
1144
- Logs:
1145
- Bound result 500
1099
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.58s (9.46s CPU time)
1146
1100
 
1147
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65556, ~: 74224)
1148
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1149
- [PASS] test_storageHash() (gas: 3426)
1150
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.87s (679.10ms CPU time)
1101
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1102
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1103
+ [PASS] test_constructor_InitialMode() (gas: 15778)
1104
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1105
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1106
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1107
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1108
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1109
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1110
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1111
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 115159)
1112
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1113
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1114
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1115
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1116
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1117
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1118
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1119
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1120
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1121
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1122
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1123
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1124
+ [PASS] test_setMode_Blacklist() (gas: 42605)
1125
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
1126
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
1127
+ [PASS] test_setMode_Whitelist() (gas: 42714)
1128
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1129
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1130
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1131
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1132
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1133
+ [PASS] test_storageHash() (gas: 3480)
1134
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.56s (764.47ms CPU time)
1151
1135
 
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)
1136
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1137
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1138
+ [PASS] test_constructor_InitialMode() (gas: 15578)
1139
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1140
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1141
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1142
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1143
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1144
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1145
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1146
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1147
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1148
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1149
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1150
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1151
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1152
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1153
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1154
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1155
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1156
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1157
+ [PASS] test_setMode_Blacklist() (gas: 40021)
1158
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
1159
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
1160
+ [PASS] test_setMode_Whitelist() (gas: 40108)
1161
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1162
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1163
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1164
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1165
+ [PASS] test_storageHash() (gas: 3458)
1166
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.82s (560.59ms CPU time)
1173
1167
 
1174
1168
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1175
1169
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1176
1170
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1177
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 773494, ~: 240875)
1171
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 816672, ~: 294869)
1178
1172
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1179
1173
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1180
1174
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1187,12 +1181,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1187
1181
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1188
1182
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1189
1183
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1190
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11092248, ~: 10383900)
1184
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11211351, ~: 10577158)
1191
1185
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1192
1186
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1193
1187
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1194
1188
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1195
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 772402, ~: 202070)
1189
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 746265, ~: 202939)
1196
1190
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1197
1191
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1198
1192
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1205,76 +1199,60 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1205
1199
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1206
1200
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1207
1201
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1208
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11189645, ~: 10497750)
1202
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11118716, ~: 10352359)
1209
1203
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1210
1204
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
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)
1205
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 11.82s (28.22s CPU time)
1242
1206
 
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)
1207
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1208
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1209
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1210
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
1211
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1212
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
1213
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1214
+ [PASS] test_isPaused_Default() (gas: 47316)
1215
+ [PASS] test_isPaused_InitialState() (gas: 22172)
1216
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1217
+ [PASS] test_isPaused_Override() (gas: 75171)
1218
+ [PASS] test_isPaused_Specific() (gas: 50105)
1219
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1220
+ [PASS] test_pauseConfig() (gas: 51028)
1221
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1222
+ [PASS] test_setDefaultPaused() (gas: 42196)
1223
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30234, ~: 18826)
1224
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1225
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1226
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1227
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
1228
+ [PASS] test_setPaused() (gas: 48361)
1229
+ [PASS] test_setPaused_DormantData() (gas: 295234)
1230
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
1231
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1232
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43404, ~: 48533)
1233
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223763, ~: 219722)
1234
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1235
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1236
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1237
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1238
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1239
+ [PASS] test_setPaused_Success() (gas: 45897)
1240
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
1241
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1242
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1243
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1244
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1245
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1246
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1247
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62000, ~: 50341)
1248
+ [PASS] test_storageHash() (gas: 3392)
1249
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1250
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1251
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
1252
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1253
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1254
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1255
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 11.82s (562.18ms CPU time)
1278
1256
 
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
1257
+ Ran 17 test suites in 11.85s (55.82s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1258
+ ⏳ forge test: 25.657s