@layerzerolabs/utils-upgradeable-evm-contracts 0.2.129 → 0.2.131

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 +698 -664
  2. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-eFidOV
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-FyMwVy
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:194730) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:237905) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-eFidOV:/workspace
15
+ -v /tmp/lz-scoped-workspace-FyMwVy:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
19
  ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
20
20
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-eFidOV:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-FyMwVy:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
22
22
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 13.27s
23
+ Solc 0.8.22 finished in 10.56s
24
24
  Compiler run successful with warnings:
25
25
  Warning (2018): Function state mutability can be restricted to view
26
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -184,82 +184,7 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
184
184
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
185
185
  [PASS] test_storageHash() (gas: 3392)
186
186
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
187
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 30.02ms (19.42ms CPU time)
188
-
189
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
190
- [PASS] test_feeDeposit() (gas: 17576)
191
- [PASS] test_setFeeDeposit() (gas: 24995)
192
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
193
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
194
- [PASS] test_storageHash() (gas: 3337)
195
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 52.17ms (51.68ms CPU time)
196
-
197
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
198
- [PASS] test_feeDeposit() (gas: 17638)
199
- [PASS] test_setFeeDeposit() (gas: 27596)
200
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
201
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
202
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
203
- [PASS] test_storageHash() (gas: 3315)
204
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 65.67ms (64.94ms CPU time)
205
-
206
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
207
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25570, ~: 12763)
208
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
209
- [PASS] test_assertNotPaused_Success() (gas: 12516)
210
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
211
- [PASS] test_isPaused_InitialState() (gas: 15595)
212
- [PASS] test_pause() (gas: 39592)
213
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27803, ~: 16219)
214
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
215
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
216
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
217
- [PASS] test_storageHash() (gas: 3414)
218
- [PASS] test_unpause() (gas: 31115)
219
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40448, ~: 38893)
220
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
221
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
222
- [PASS] test_whenNotPaused_Success() (gas: 38744)
223
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
224
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
225
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
226
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 161.57ms (213.12ms CPU time)
227
-
228
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
229
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
230
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
231
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
232
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
233
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
234
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
235
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
236
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
237
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
238
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
239
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
240
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
241
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
242
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
243
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
244
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
245
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
246
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
247
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
248
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
249
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
250
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
251
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
252
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
253
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
254
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
255
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
256
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
257
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
258
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
259
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
260
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
261
- [PASS] test_storageHash() (gas: 3380)
262
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 216.06ms (305.03ms CPU time)
187
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 14.11ms (11.66ms CPU time)
263
188
 
264
189
  Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
265
190
  [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
@@ -297,7 +222,37 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
297
222
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
298
223
  [PASS] test_storageHash() (gas: 3414)
299
224
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
300
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 452.86ms (23.85ms CPU time)
225
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 15.94ms (13.74ms CPU time)
226
+
227
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
228
+ [PASS] test_feeDeposit() (gas: 17576)
229
+ [PASS] test_setFeeDeposit() (gas: 24995)
230
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
231
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
232
+ [PASS] test_storageHash() (gas: 3337)
233
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 33.07ms (32.67ms CPU time)
234
+
235
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
236
+ [PASS] test_feeDeposit() (gas: 17638)
237
+ [PASS] test_setFeeDeposit() (gas: 27596)
238
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
239
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
240
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
241
+ [PASS] test_storageHash() (gas: 3315)
242
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 69.96ms (69.37ms CPU time)
243
+
244
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
245
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
246
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
247
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
248
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
249
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
250
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
251
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
252
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
253
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
254
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
255
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 112.13ms (67.16ms CPU time)
301
256
 
302
257
  Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
303
258
  [PASS] test_SwitchModes_PreservesState() (gas: 195548)
@@ -332,12 +287,132 @@ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTes
332
287
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
333
288
  [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
334
289
  [PASS] test_storageHash() (gas: 3480)
335
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.10s (566.24ms CPU time)
290
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 119.08ms (340.89ms CPU time)
291
+
292
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
293
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
294
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
295
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
296
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
297
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
298
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
299
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
300
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
301
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
302
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
303
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
304
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
305
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
306
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
307
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
308
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
309
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
310
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
311
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
312
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
313
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
314
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
315
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
316
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
317
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
318
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
319
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
320
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
321
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
322
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
323
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
324
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
325
+ [PASS] test_storageHash() (gas: 3380)
326
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 325.62ms (373.63ms CPU time)
327
+
328
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
329
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
330
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
331
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
332
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
333
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
334
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
335
+ [PASS] test_isPaused_Default() (gas: 44698)
336
+ [PASS] test_isPaused_InitialState() (gas: 22070)
337
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
338
+ [PASS] test_isPaused_Override() (gas: 69381)
339
+ [PASS] test_isPaused_Specific() (gas: 46709)
340
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
341
+ [PASS] test_pauseConfig() (gas: 45626)
342
+ [PASS] test_setDefaultPaused() (gas: 39667)
343
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27865, ~: 16332)
344
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
345
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
346
+ [PASS] test_setPaused() (gas: 43060)
347
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
348
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38716, ~: 43373)
349
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
350
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
351
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
352
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 59338, ~: 69608)
353
+ [PASS] test_storageHash() (gas: 3480)
354
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
355
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
356
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
357
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
358
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
359
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
360
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 375.45ms (292.25ms CPU time)
361
+
362
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
363
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
364
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
365
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
366
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
367
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
368
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
369
+ [PASS] test_isPaused_Default() (gas: 47316)
370
+ [PASS] test_isPaused_InitialState() (gas: 22172)
371
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
372
+ [PASS] test_isPaused_Override() (gas: 75171)
373
+ [PASS] test_isPaused_Specific() (gas: 50105)
374
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
375
+ [PASS] test_pauseConfig() (gas: 51028)
376
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
377
+ [PASS] test_setDefaultPaused() (gas: 42196)
378
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30801, ~: 42446)
379
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
380
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
381
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
382
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
383
+ [PASS] test_setPaused() (gas: 48361)
384
+ [PASS] test_setPaused_DormantData() (gas: 295234)
385
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
386
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
387
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43604, ~: 48533)
388
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222586, ~: 216804)
389
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
390
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
391
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
392
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
393
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
394
+ [PASS] test_setPaused_Success() (gas: 45897)
395
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
396
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
397
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
398
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
399
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
400
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
401
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
402
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62317, ~: 50341)
403
+ [PASS] test_storageHash() (gas: 3392)
404
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
405
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
406
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
407
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
408
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
409
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
410
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 804.89ms (504.09ms CPU time)
336
411
 
337
412
  Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
338
413
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
339
414
  [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
340
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44650, ~: 46317)
415
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44963, ~: 46317)
341
416
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
342
417
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
343
418
  [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
@@ -346,24 +421,24 @@ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTes
346
421
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
347
422
  [PASS] test_getFee_BoundaryConditions() (gas: 71791)
348
423
  [PASS] test_getFee_Default() (gas: 40577)
349
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43399, ~: 44486)
424
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43080, ~: 44486)
350
425
  [PASS] test_getFee_Rounding() (gas: 42835)
351
426
  [PASS] test_getFee_Specific() (gas: 63968)
352
427
  [PASS] test_getFee_SpecificDisabled() (gas: 63920)
353
428
  [PASS] test_setDefaultFeeBps() (gas: 39576)
354
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32725, ~: 39667)
429
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32648, ~: 39667)
355
430
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
356
431
  [PASS] test_setFeeBps() (gas: 73871)
357
432
  Logs:
358
433
  Bound result 500
359
434
 
360
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64905, ~: 74224)
435
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65151, ~: 74224)
361
436
  [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
362
437
  [PASS] test_storageHash() (gas: 3426)
363
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.23s (394.06ms CPU time)
438
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 921.22ms (270.54ms CPU time)
364
439
 
365
440
  Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
366
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26711, ~: 12786)
441
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26173, ~: 12786)
367
442
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
368
443
  [PASS] test_assertNotPaused_Success() (gas: 12539)
369
444
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
@@ -374,7 +449,7 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
374
449
  [PASS] test_pause() (gas: 42109)
375
450
  [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
376
451
  [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
377
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30378, ~: 18756)
452
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30307, ~: 18756)
378
453
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
379
454
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
380
455
  [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
@@ -383,193 +458,208 @@ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
383
458
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
384
459
  [PASS] test_storageHash() (gas: 3414)
385
460
  [PASS] test_unpause() (gas: 35177)
386
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41849, ~: 44479)
461
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41652, ~: 38860)
387
462
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
388
463
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
389
464
  [PASS] test_whenNotPaused_Success() (gas: 38800)
390
465
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
391
466
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
392
467
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
393
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.26s (334.11ms CPU time)
468
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 978.96ms (176.14ms CPU time)
394
469
 
395
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
396
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
397
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
398
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
399
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
400
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
401
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
402
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
403
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
404
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
405
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
406
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.32s (131.16ms CPU time)
470
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
471
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
472
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
473
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
474
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
475
+ [PASS] test_isPaused_InitialState() (gas: 15595)
476
+ [PASS] test_pause() (gas: 39592)
477
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28441, ~: 39861)
478
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
479
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
480
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
481
+ [PASS] test_storageHash() (gas: 3414)
482
+ [PASS] test_unpause() (gas: 31115)
483
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40511, ~: 42029)
484
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
485
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
486
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
487
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
488
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
489
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
490
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 979.15ms (128.12ms CPU time)
407
491
 
408
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
492
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
409
493
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
410
494
 
411
495
  ╭-----------------------------------+---------------------+-------+---------+----------╮
412
496
  | Contract | Selector | Calls | Reverts | Discards |
413
497
  +======================================================================================+
414
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
498
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
415
499
  |-----------------------------------+---------------------+-------+---------+----------|
416
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
500
+ | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
417
501
  |-----------------------------------+---------------------+-------+---------+----------|
418
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
502
+ | RateLimiterRBACUpgradeableHandler | setConfig | 503 | 0 | 0 |
419
503
  |-----------------------------------+---------------------+-------+---------+----------|
420
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
504
+ | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
421
505
  |-----------------------------------+---------------------+-------+---------+----------|
422
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
506
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 582 | 0 | 0 |
423
507
  |-----------------------------------+---------------------+-------+---------+----------|
424
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
508
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
425
509
  |-----------------------------------+---------------------+-------+---------+----------|
426
- | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
510
+ | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
427
511
  ╰-----------------------------------+---------------------+-------+---------+----------╯
428
512
 
429
513
  Logs:
430
- Bound result 9900000000000000000032
431
- Bound result 6152659741175058141241
432
- Bound result 13
433
- Bound result 4996
434
- Bound result 14
435
- Bound result 8129
436
- Bound result 107477463
437
- Bound result 1
438
- Bound result 404258970453636923
439
- Bound result 100000000000000000001
440
- Bound result 6914264337593535947490
441
- Bound result 5427
442
- Bound result 47
514
+ Bound result 1651
515
+ Bound result 1649
516
+ Bound result 2177186476880514
517
+ Bound result 1825831375
518
+ Bound result 765
519
+ Bound result 54
520
+ Bound result 3846
521
+ Bound result 7589
522
+ Bound result 218
523
+ Bound result 489
524
+ Bound result 1630644677666471893535
525
+ Bound result 1605734830987354204289
526
+ Bound result 535
527
+ Bound result 1040
528
+ Bound result 2792863504
443
529
 
444
530
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
445
531
 
446
532
  ╭-----------------------------------+---------------------+-------+---------+----------╮
447
533
  | Contract | Selector | Calls | Reverts | Discards |
448
534
  +======================================================================================+
449
- | RateLimiterRBACUpgradeableHandler | inflow | 524 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
450
536
  |-----------------------------------+---------------------+-------+---------+----------|
451
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
452
538
  |-----------------------------------+---------------------+-------+---------+----------|
453
- | RateLimiterRBACUpgradeableHandler | setConfig | 576 | 0 | 0 |
539
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
454
540
  |-----------------------------------+---------------------+-------+---------+----------|
455
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
541
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
456
542
  |-----------------------------------+---------------------+-------+---------+----------|
457
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
543
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
458
544
  |-----------------------------------+---------------------+-------+---------+----------|
459
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
545
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
460
546
  |-----------------------------------+---------------------+-------+---------+----------|
461
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
547
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
462
548
  ╰-----------------------------------+---------------------+-------+---------+----------╯
463
549
 
464
550
  Logs:
465
- Bound result 514264337593543950335
466
- Bound result 6894
467
- Bound result 4544891545677033143777
468
- Bound result 568848131158352220412
469
- Bound result 10
470
- Bound result 2039
471
- Bound result 675
472
- Bound result 2955255767708481759083
473
- Bound result 822
551
+ Bound result 9900000000000000009829
552
+ Bound result 9900000000000000004680
553
+ Bound result 4063
554
+ Bound result 8801
555
+ Bound result 9900036479591639151631
556
+ Bound result 9900000000016481733313
557
+ Bound result 11
558
+ Bound result 22
559
+ Bound result 161159256756
560
+ Bound result 495898
561
+ Bound result 26809
562
+ Bound result 15419622852340900364
563
+ Bound result 0
564
+ Bound result 786873402991262449642
565
+ Bound result 9900000000000000001479
566
+ Bound result 6916
567
+ Bound result 8726
568
+ Bound result 1348986071660156
569
+ Bound result 5239411395537
570
+ Bound result 0
571
+ Bound result 1131
572
+ Bound result 7995
573
+ Bound result 0
574
+ Bound result 8161
575
+ Bound result 7718
474
576
  Bound result 1
475
- Bound result 9900000114424054739285
476
- Bound result 9900000371398045911607
477
- Bound result 7934
478
- Bound result 6803
479
- Bound result 1280
480
- Bound result 4578
481
- Bound result 9900000000000000001523
482
- Bound result 9900000000000000010828
483
- Bound result 8691
484
- Bound result 272
485
- Bound result 1115890507838550736620
486
- Bound result 100000000000000000002
487
- Bound result 13
488
- Bound result 10
489
- Bound result 2840615562
490
577
 
491
578
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
492
579
 
493
580
  ╭-----------------------------------+---------------------+-------+---------+----------╮
494
581
  | Contract | Selector | Calls | Reverts | Discards |
495
582
  +======================================================================================+
496
- | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
583
+ | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
497
584
  |-----------------------------------+---------------------+-------+---------+----------|
498
- | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
585
+ | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
499
586
  |-----------------------------------+---------------------+-------+---------+----------|
500
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
587
+ | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
501
588
  |-----------------------------------+---------------------+-------+---------+----------|
502
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
589
+ | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
503
590
  |-----------------------------------+---------------------+-------+---------+----------|
504
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
591
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
505
592
  |-----------------------------------+---------------------+-------+---------+----------|
506
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
593
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
507
594
  |-----------------------------------+---------------------+-------+---------+----------|
508
- | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
595
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
509
596
  ╰-----------------------------------+---------------------+-------+---------+----------╯
510
597
 
511
598
  Logs:
512
- Bound result 3
513
- Bound result 0
514
- Bound result 1389441246553973382963
515
- Bound result 0
516
- Bound result 1755
599
+ Bound result 1720358582150454157961
600
+ Bound result 9900000000000000000656
601
+ Bound result 3154
602
+ Bound result 2024
603
+ Bound result 1470937699
604
+ Bound result 148652141527985156411
605
+ Bound result 12069745255
606
+ Bound result 4057
607
+ Bound result 2607
608
+ Bound result 9900000000290578305437
609
+ Bound result 272121989076247067751
610
+ Bound result 10
611
+ Bound result 5590
612
+ Bound result 2594
613
+ Bound result 373586645566028579963
614
+ Bound result 8112183245272758809010
615
+ Bound result 40
616
+ Bound result 393
617
+ Bound result 3888365
517
618
  Bound result 1
518
- Bound result 27426211841509
519
- Bound result 3430771180911250604
520
- Bound result 413
521
- Bound result 1381
522
- Bound result 122
523
- Bound result 233977173416
524
- Bound result 145807664072218
525
- Bound result 633
526
- Bound result 336855336215
527
- Bound result 157
528
- Bound result 2
529
- Bound result 9900000000000000000438
530
- Bound result 9900000000000000009114
531
- Bound result 9895
532
- Bound result 8728
533
- Bound result 6914264337520606030117
534
619
 
535
620
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
536
621
 
537
622
  ╭-----------------------------------+---------------------+-------+---------+----------╮
538
623
  | Contract | Selector | Calls | Reverts | Discards |
539
624
  +======================================================================================+
540
- | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
625
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
541
626
  |-----------------------------------+---------------------+-------+---------+----------|
542
- | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
627
+ | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
543
628
  |-----------------------------------+---------------------+-------+---------+----------|
544
- | RateLimiterRBACUpgradeableHandler | setConfig | 578 | 0 | 0 |
629
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
545
630
  |-----------------------------------+---------------------+-------+---------+----------|
546
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
631
+ | RateLimiterRBACUpgradeableHandler | setState | 590 | 0 | 0 |
547
632
  |-----------------------------------+---------------------+-------+---------+----------|
548
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
633
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
549
634
  |-----------------------------------+---------------------+-------+---------+----------|
550
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
635
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
551
636
  |-----------------------------------+---------------------+-------+---------+----------|
552
- | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
637
+ | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
553
638
  ╰-----------------------------------+---------------------+-------+---------+----------╯
554
639
 
555
640
  Logs:
556
- Bound result 623
557
- Bound result 227525079721
558
- Bound result 229979982
559
- Bound result 367
560
- Bound result 9900000001423649728223
561
- Bound result 6914264337593535947490
562
- Bound result 48
563
- Bound result 35
564
- Bound result 4205
565
- Bound result 1
566
- Bound result 1
567
- Bound result 6787215556589138999874
568
- Bound result 67
569
- Bound result 8978
570
- Bound result 6839
571
- Bound result 3023
572
- Bound result 29
641
+ Bound result 2
642
+ Bound result 33184
643
+ Bound result 7072
644
+ Bound result 100000000000000000003
645
+ Bound result 9900000000000000210174
646
+ Bound result 233
647
+ Bound result 10
648
+ Bound result 5196
649
+ Bound result 9900000000000000010180
650
+ Bound result 9900000000000000009451
651
+ Bound result 8764
652
+ Bound result 383
653
+ Bound result 316
654
+ Bound result 198512580
655
+ Bound result 9900000014991372019696
656
+ Bound result 454473536626606827753
657
+ Bound result 2333
658
+ Bound result 357
659
+ Bound result 17333873666794089
660
+ Bound result 407797109073
661
+ Bound result 0
662
+ Bound result 3
573
663
 
574
664
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
575
665
 
@@ -578,550 +668,548 @@ Logs:
578
668
  +======================================================================================+
579
669
  | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
580
670
  |-----------------------------------+---------------------+-------+---------+----------|
581
- | RateLimiterRBACUpgradeableHandler | outflow | 594 | 0 | 0 |
671
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
582
672
  |-----------------------------------+---------------------+-------+---------+----------|
583
- | RateLimiterRBACUpgradeableHandler | setConfig | 507 | 0 | 0 |
673
+ | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
584
674
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
675
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
586
676
  |-----------------------------------+---------------------+-------+---------+----------|
587
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
677
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
588
678
  |-----------------------------------+---------------------+-------+---------+----------|
589
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
679
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
590
680
  |-----------------------------------+---------------------+-------+---------+----------|
591
- | RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
592
682
  ╰-----------------------------------+---------------------+-------+---------+----------╯
593
683
 
594
684
  Logs:
595
- Bound result 6304
596
- Bound result 1998590773695889617350
597
- Bound result 1
598
- Bound result 9900000000000000004163
599
- Bound result 9900000000000000004540
600
- Bound result 9006
601
- Bound result 1512
602
- Bound result 9900044040728595002406
603
- Bound result 4402051093557965446487
604
- Bound result 200
605
- Bound result 3891
606
- Bound result 245572572
607
- Bound result 9900000000300929630432
608
- Bound result 9933212711412282915064
609
- Bound result 9180
610
- Bound result 6241
611
- Bound result 434
612
- Bound result 1734
613
- Bound result 9900932633413691997719
614
- Bound result 9900000000000000000005
615
- Bound result 1791
616
- Bound result 5674
617
- Bound result 9011
618
- Bound result 9900000000000000000053
619
- Bound result 9900000000064666131788
620
- Bound result 3230
685
+ Bound result 1324
686
+ Bound result 1934498091
687
+ Bound result 1190898718653977334085
688
+ Bound result 3722863
689
+ Bound result 14
690
+ Bound result 2419
691
+ Bound result 9
692
+ Bound result 804
693
+ Bound result 9900000000000000000048
694
+ Bound result 9900000000000000003498
695
+ Bound result 5180
696
+ Bound result 490
697
+ Bound result 35726372
698
+ Bound result 9900000000000000008020
699
+ Bound result 9900000000000000002328
700
+ Bound result 7891
701
+ Bound result 8109
702
+ Bound result 69148976633768440625
621
703
  Bound result 13
622
- Bound result 9900000000000000006305
623
- Bound result 9900000000000000000015
624
- Bound result 256
625
- Bound result 8653
626
704
 
627
705
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
628
706
 
629
707
  ╭-----------------------------------+---------------------+-------+---------+----------╮
630
708
  | Contract | Selector | Calls | Reverts | Discards |
631
709
  +======================================================================================+
632
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
710
+ | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
633
711
  |-----------------------------------+---------------------+-------+---------+----------|
634
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
712
+ | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
635
713
  |-----------------------------------+---------------------+-------+---------+----------|
636
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
714
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
637
715
  |-----------------------------------+---------------------+-------+---------+----------|
638
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
716
+ | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
639
717
  |-----------------------------------+---------------------+-------+---------+----------|
640
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
718
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
641
719
  |-----------------------------------+---------------------+-------+---------+----------|
642
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 522 | 0 | 0 |
720
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
643
721
  |-----------------------------------+---------------------+-------+---------+----------|
644
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
722
+ | RateLimiterRBACUpgradeableHandler | warp | 587 | 0 | 0 |
645
723
  ╰-----------------------------------+---------------------+-------+---------+----------╯
646
724
 
647
725
  Logs:
648
- Bound result 9900000000000000077087
649
- Bound result 9900000000000000047817
650
- Bound result 13
651
- Bound result 2374
726
+ Bound result 9908113026368318122579
727
+ Bound result 9936242216715233865557
728
+ Bound result 79
729
+ Bound result 2615
730
+ Bound result 414623240959887
731
+ Bound result 6125619476204441385152
652
732
  Bound result 1
653
- Bound result 1057382307652627
654
- Bound result 6914264336976628714907
655
- Bound result 1029231
656
- Bound result 1142
657
- Bound result 28
658
- Bound result 142
659
- Bound result 7305001364
660
- Bound result 9900000000000108785672
661
- Bound result 9900000000000000040908
733
+ Bound result 6914264337593535947488
734
+ Bound result 9900000000000141617015
735
+ Bound result 310
736
+ Bound result 1370
737
+ Bound result 9900000000006464291803
738
+ Bound result 9900000000000000001353
739
+ Bound result 950
740
+ Bound result 7514
741
+ Bound result 58187
742
+ Bound result 9828
743
+ Bound result 6914264337593535947491
744
+ Bound result 9900000000000000000913
662
745
  Bound result 11
663
- Bound result 10
664
- Bound result 8981377939667852301102
665
- Bound result 10034783534873699709
666
- Bound result 19657549925366750633
746
+ Bound result 64
747
+ Bound result 36
748
+ Bound result 358957228658098
749
+ Bound result 4896
750
+ Bound result 14794357908203140881309
751
+ Bound result 32
752
+ Bound result 1
753
+ Bound result 4412707081309408
754
+ Bound result 2
755
+ Bound result 9900000000000000004897
756
+ Bound result 9900000000000000002946
757
+ Bound result 5224
758
+ Bound result 194
667
759
 
668
760
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
669
761
 
670
762
  ╭-----------------------------------+---------------------+-------+---------+----------╮
671
763
  | Contract | Selector | Calls | Reverts | Discards |
672
764
  +======================================================================================+
673
- | RateLimiterRBACUpgradeableHandler | inflow | 554 | 0 | 0 |
765
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
674
766
  |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | outflow | 511 | 0 | 0 |
767
+ | RateLimiterRBACUpgradeableHandler | outflow | 504 | 0 | 0 |
676
768
  |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | setConfig | 518 | 0 | 0 |
769
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
678
770
  |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
771
+ | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
680
772
  |-----------------------------------+---------------------+-------+---------+----------|
681
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 576 | 0 | 0 |
773
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
682
774
  |-----------------------------------+---------------------+-------+---------+----------|
683
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 592 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
684
776
  |-----------------------------------+---------------------+-------+---------+----------|
685
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
686
778
  ╰-----------------------------------+---------------------+-------+---------+----------╯
687
779
 
688
780
  Logs:
689
- Bound result 1010746357377180826223
690
- Bound result 0
691
- Bound result 0
692
- Bound result 1039
693
- Bound result 3481610262
694
- Bound result 1343
695
- Bound result 1
696
- Bound result 254
697
- Bound result 432341817
698
- Bound result 1008199224035551650870
699
- Bound result 790
700
- Bound result 1630
781
+ Bound result 162473040
782
+ Bound result 74661018294594698
783
+ Bound result 100000000000000000002
784
+ Bound result 9900000027464730937238
785
+ Bound result 3409
786
+ Bound result 17
787
+ Bound result 8395
788
+ Bound result 370
789
+ Bound result 192384727016371900360
790
+ Bound result 935737
791
+ Bound result 110
792
+ Bound result 2456276928367539854232
793
+ Bound result 9901433512489437579189
794
+ Bound result 537
795
+ Bound result 7754
796
+ Bound result 3415727804658564286584
797
+ Bound result 24987884966
798
+ Bound result 49
799
+ Bound result 1015170248979259455100
800
+ Bound result 5646599020773900999626
801
+ Bound result 2
701
802
 
702
803
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
703
804
 
704
805
  ╭-----------------------------------+---------------------+-------+---------+----------╮
705
806
  | Contract | Selector | Calls | Reverts | Discards |
706
807
  +======================================================================================+
707
- | RateLimiterRBACUpgradeableHandler | inflow | 568 | 0 | 0 |
808
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
708
809
  |-----------------------------------+---------------------+-------+---------+----------|
709
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
810
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
710
811
  |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
812
+ | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
712
813
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
814
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
714
815
  |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
816
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
716
817
  |-----------------------------------+---------------------+-------+---------+----------|
717
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
818
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 512 | 0 | 0 |
718
819
  |-----------------------------------+---------------------+-------+---------+----------|
719
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
820
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
720
821
  ╰-----------------------------------+---------------------+-------+---------+----------╯
721
822
 
722
823
  Logs:
723
- Bound result 320
724
- Bound result 2693
725
- Bound result 10284
824
+ Bound result 8008
825
+ Bound result 1800
826
+ Bound result 1651482124244328425914
827
+ Bound result 1268257560132316953923
828
+ Bound result 5990023113200114192398
829
+ Bound result 5237277847370017847795
830
+ Bound result 38
831
+ Bound result 4045
832
+ Bound result 7289034382703032760467
833
+ Bound result 1869421681176210951578
834
+ Bound result 12
835
+ Bound result 28
836
+ Bound result 9900000000000000003523
837
+ Bound result 9900000000000000003273
838
+ Bound result 2843
839
+ Bound result 9252
840
+ Bound result 9900000000000000002209
841
+ Bound result 9900000000000000009333
842
+ Bound result 6546
843
+ Bound result 8265
844
+ Bound result 807
845
+ Bound result 33540518
846
+ Bound result 7552
847
+ Bound result 187
726
848
  Bound result 1
727
- Bound result 9266
728
- Bound result 4805
729
- Bound result 0
730
- Bound result 23111
731
- Bound result 584
732
- Bound result 108
733
- Bound result 4866
734
- Bound result 1765462939343134762540
735
- Bound result 0
736
- Bound result 1608
737
- Bound result 514
738
- Bound result 6914264337593535947490
739
- Bound result 100000000000000000000
740
- Bound result 4250
741
- Bound result 1048
742
- Bound result 8469
743
- Bound result 32759414927337791
744
- Bound result 9900000000000000002595
745
- Bound result 9900000000000000010674
746
- Bound result 8469
747
- Bound result 5054
748
-
749
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.32s (9.17s CPU time)
849
+ Bound result 14451
850
+ Bound result 185606753317438162
851
+ Bound result 1815
750
852
 
751
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
853
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.03s (6.43s CPU time)
854
+
855
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
752
856
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
753
857
 
754
858
  ╭-----------------------------------+---------------------+-------+---------+----------╮
755
859
  | Contract | Selector | Calls | Reverts | Discards |
756
860
  +======================================================================================+
757
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
861
+ | RateLimiterRBACUpgradeableHandler | inflow | 513 | 0 | 0 |
758
862
  |-----------------------------------+---------------------+-------+---------+----------|
759
- | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
863
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
760
864
  |-----------------------------------+---------------------+-------+---------+----------|
761
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
865
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
762
866
  |-----------------------------------+---------------------+-------+---------+----------|
763
- | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
867
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
764
868
  |-----------------------------------+---------------------+-------+---------+----------|
765
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
869
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 593 | 0 | 0 |
766
870
  |-----------------------------------+---------------------+-------+---------+----------|
767
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
871
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
768
872
  |-----------------------------------+---------------------+-------+---------+----------|
769
- | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
873
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
770
874
  ╰-----------------------------------+---------------------+-------+---------+----------╯
771
875
 
772
876
  Logs:
773
- Bound result 1305
774
- Bound result 21
775
- Bound result 237663629453057115007
776
- Bound result 9900000000000000000015
777
- Bound result 11
778
- Bound result 672
779
- Bound result 12333789036046909392257
780
- Bound result 9930254625417718506833
781
- Bound result 6914264337593535947490
782
- Bound result 119
783
- Bound result 8322
784
- Bound result 3870795448652971760604
785
- Bound result 6627141453074797942157
786
- Bound result 2718
787
- Bound result 5971
788
- Bound result 3756
789
- Bound result 7449
790
- Bound result 1490
791
- Bound result 1
792
- Bound result 9716
793
- Bound result 6
794
- Bound result 59667498753718
795
- Bound result 9599994547351733029933
796
- Bound result 2756
877
+ Bound result 2557
878
+ Bound result 2527
879
+ Bound result 0
880
+ Bound result 4978357149506662642309
881
+ Bound result 9605578275025333593160
882
+ Bound result 10
883
+ Bound result 9997
884
+ Bound result 6665
885
+ Bound result 5553
886
+ Bound result 9900000000000000004494
887
+ Bound result 9900000000000000000723
888
+ Bound result 2545
889
+ Bound result 711
890
+ Bound result 6914264337587757894120
891
+ Bound result 4831
892
+ Bound result 236164383790267926783
893
+ Bound result 255938715378
894
+ Bound result 6914264337587753892698
895
+ Bound result 230
896
+ Bound result 6914264337557575167977
897
+ Bound result 15692607307700007666547
898
+ Bound result 2512
899
+ Bound result 2
900
+ Bound result 11035748648267059480199
901
+ Bound result 159
797
902
 
798
903
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
799
904
 
800
905
  ╭-----------------------------------+---------------------+-------+---------+----------╮
801
906
  | Contract | Selector | Calls | Reverts | Discards |
802
907
  +======================================================================================+
803
- | RateLimiterRBACUpgradeableHandler | inflow | 590 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
804
909
  |-----------------------------------+---------------------+-------+---------+----------|
805
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
806
911
  |-----------------------------------+---------------------+-------+---------+----------|
807
- | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
912
+ | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
808
913
  |-----------------------------------+---------------------+-------+---------+----------|
809
- | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
914
+ | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
810
915
  |-----------------------------------+---------------------+-------+---------+----------|
811
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
916
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
812
917
  |-----------------------------------+---------------------+-------+---------+----------|
813
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
814
919
  |-----------------------------------+---------------------+-------+---------+----------|
815
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
816
921
  ╰-----------------------------------+---------------------+-------+---------+----------╯
817
922
 
818
923
  Logs:
819
- Bound result 1
820
- Bound result 1244690616707179053312
821
- Bound result 260
822
- Bound result 385986455563593734921
823
- Bound result 1884151778216211042642
824
- Bound result 190
825
- Bound result 116776594293
826
- Bound result 74221776
827
- Bound result 157
828
- Bound result 654792306
829
- Bound result 9900000000000000002518
830
- Bound result 9900000000000000005130
831
- Bound result 2052
832
- Bound result 9696
924
+ Bound result 101
925
+ Bound result 105537236
926
+ Bound result 123
927
+ Bound result 9900000000000000000972
928
+ Bound result 9900000000000000001125
929
+ Bound result 594
930
+ Bound result 996
931
+ Bound result 1642
932
+ Bound result 9900000000000000008207
933
+ Bound result 9900000000000000002103
934
+ Bound result 5590
935
+ Bound result 1613
936
+ Bound result 6914264337527860608202
937
+ Bound result 6914264337576709967979
938
+ Bound result 138
939
+ Bound result 9900000011536684323273
940
+ Bound result 9900000000000000000177
941
+ Bound result 857
942
+ Bound result 9045
943
+ Bound result 17
944
+ Bound result 8458
833
945
 
834
946
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
835
947
 
836
948
  ╭-----------------------------------+---------------------+-------+---------+----------╮
837
949
  | Contract | Selector | Calls | Reverts | Discards |
838
950
  +======================================================================================+
839
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
951
+ | RateLimiterRBACUpgradeableHandler | inflow | 582 | 0 | 0 |
840
952
  |-----------------------------------+---------------------+-------+---------+----------|
841
- | RateLimiterRBACUpgradeableHandler | outflow | 500 | 0 | 0 |
953
+ | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
842
954
  |-----------------------------------+---------------------+-------+---------+----------|
843
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
955
+ | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
844
956
  |-----------------------------------+---------------------+-------+---------+----------|
845
- | RateLimiterRBACUpgradeableHandler | setState | 539 | 0 | 0 |
957
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
846
958
  |-----------------------------------+---------------------+-------+---------+----------|
847
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
959
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
848
960
  |-----------------------------------+---------------------+-------+---------+----------|
849
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
961
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
850
962
  |-----------------------------------+---------------------+-------+---------+----------|
851
- | RateLimiterRBACUpgradeableHandler | warp | 581 | 0 | 0 |
963
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
852
964
  ╰-----------------------------------+---------------------+-------+---------+----------╯
853
965
 
854
966
  Logs:
855
- Bound result 828
856
- Bound result 2063
857
- Bound result 285905
858
- Bound result 140
859
- Bound result 1850
860
- Bound result 336
861
- Bound result 9336615002315287902059
862
- Bound result 9901043485305775998109
863
- Bound result 3198
864
- Bound result 9997
865
- Bound result 1360
866
- Bound result 3747346255643297
967
+ Bound result 10516
968
+ Bound result 442400193499211653386
969
+ Bound result 488748047384393796712
970
+ Bound result 0
971
+ Bound result 5524209010963487862338
972
+ Bound result 6788213077142039764616
973
+ Bound result 3980
974
+ Bound result 9480
975
+ Bound result 45
976
+ Bound result 88884154932121776
867
977
  Bound result 0
978
+ Bound result 2495
979
+ Bound result 4420710039556013273504
980
+ Bound result 4260953636126790184720
981
+ Bound result 6914264337593535947490
982
+ Bound result 5983
983
+ Bound result 2384
984
+ Bound result 73
985
+ Bound result 1724211
868
986
 
869
987
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
870
988
 
871
989
  ╭-----------------------------------+---------------------+-------+---------+----------╮
872
990
  | Contract | Selector | Calls | Reverts | Discards |
873
991
  +======================================================================================+
874
- | RateLimiterRBACUpgradeableHandler | inflow | 560 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
875
993
  |-----------------------------------+---------------------+-------+---------+----------|
876
- | RateLimiterRBACUpgradeableHandler | outflow | 545 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
877
995
  |-----------------------------------+---------------------+-------+---------+----------|
878
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
996
+ | RateLimiterRBACUpgradeableHandler | setConfig | 604 | 0 | 0 |
879
997
  |-----------------------------------+---------------------+-------+---------+----------|
880
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
998
+ | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
881
999
  |-----------------------------------+---------------------+-------+---------+----------|
882
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 566 | 0 | 0 |
1000
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
883
1001
  |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
1002
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
885
1003
  |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | warp | 515 | 0 | 0 |
1004
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
887
1005
  ╰-----------------------------------+---------------------+-------+---------+----------╯
888
1006
 
889
1007
  Logs:
890
- Bound result 145
891
- Bound result 539648964138461371447
892
- Bound result 9900000000000000008977
893
- Bound result 101
894
- Bound result 223
895
- Bound result 873581630290373082058
896
- Bound result 10336
897
- Bound result 16777215
898
- Bound result 22625036
899
- Bound result 176775437041955647453
900
- Bound result 3028
901
- Bound result 80
902
- Bound result 9591
903
- Bound result 6864
904
- Bound result 79
905
- Bound result 15278497213861557791594
906
- Bound result 437
907
- Bound result 27
1008
+ Bound result 10384
1009
+ Bound result 1303486079
1010
+ Bound result 0
1011
+ Bound result 2716553223036437023076
1012
+ Bound result 7611336645876654784001
1013
+ Bound result 692
1014
+ Bound result 7689
1015
+ Bound result 7866718220607722265782
1016
+ Bound result 9804
1017
+ Bound result 651597525907305044410
1018
+ Bound result 3
1019
+ Bound result 0
1020
+ Bound result 9623
1021
+ Bound result 5980
1022
+ Bound result 7452
1023
+ Bound result 15091
1024
+ Bound result 57846971092458
1025
+ Bound result 10733
1026
+ Bound result 1415400260301564663048
1027
+ Bound result 102606151328000
1028
+ Bound result 1327
1029
+ Bound result 1643
1030
+ Bound result 443
1031
+ Bound result 5888
908
1032
 
909
1033
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
910
1034
 
911
1035
  ╭-----------------------------------+---------------------+-------+---------+----------╮
912
1036
  | Contract | Selector | Calls | Reverts | Discards |
913
1037
  +======================================================================================+
914
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
1038
+ | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
915
1039
  |-----------------------------------+---------------------+-------+---------+----------|
916
- | RateLimiterRBACUpgradeableHandler | outflow | 569 | 0 | 0 |
1040
+ | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
917
1041
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
1042
+ | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
919
1043
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
1044
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
921
1045
  |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
1046
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
923
1047
  |-----------------------------------+---------------------+-------+---------+----------|
924
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 511 | 0 | 0 |
1048
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
925
1049
  |-----------------------------------+---------------------+-------+---------+----------|
926
- | RateLimiterRBACUpgradeableHandler | warp | 565 | 0 | 0 |
1050
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
927
1051
  ╰-----------------------------------+---------------------+-------+---------+----------╯
928
1052
 
929
1053
  Logs:
930
- Bound result 336
931
- Bound result 1064
932
- Bound result 0
933
- Bound result 1935458550772293153522
934
- Bound result 9900000000000000000029
935
- Bound result 1190
936
- Bound result 5443
937
- Bound result 4641273283
938
- Bound result 24404545
939
- Bound result 9900000000002159037159
940
- Bound result 9900000000000000003961
941
- Bound result 7099
942
- Bound result 8427
943
- Bound result 501
944
- Bound result 198898780
945
- Bound result 37
946
- Bound result 1327428230
947
- Bound result 907
948
- Bound result 8622710622442200689422
949
- Bound result 47721
950
- Bound result 176
951
- Bound result 8319718253449922920495
952
- Bound result 9900000000000000000013
953
- Bound result 11
954
- Bound result 911
1054
+ Bound result 4745201879758015458770
1055
+ Bound result 100000000000000000001
1056
+ Bound result 1583
1057
+ Bound result 13
1058
+ Bound result 5334516197851111392408
1059
+ Bound result 6914264337593535947491
1060
+ Bound result 3609
1061
+ Bound result 4727
1062
+ Bound result 1342023
1063
+ Bound result 8151
1064
+ Bound result 9900000000000000006079
1065
+ Bound result 9900000000000000003521
1066
+ Bound result 864
1067
+ Bound result 8439
1068
+ Bound result 4688
1069
+ Bound result 27021
1070
+ Bound result 6914264337565361935187
1071
+ Bound result 3
1072
+ Bound result 5186
1073
+ Bound result 1599
955
1074
 
956
1075
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
957
1076
 
958
1077
  ╭-----------------------------------+---------------------+-------+---------+----------╮
959
1078
  | Contract | Selector | Calls | Reverts | Discards |
960
1079
  +======================================================================================+
961
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
1080
+ | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
962
1081
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
1082
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
964
1083
  |-----------------------------------+---------------------+-------+---------+----------|
965
- | RateLimiterRBACUpgradeableHandler | setConfig | 547 | 0 | 0 |
1084
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
966
1085
  |-----------------------------------+---------------------+-------+---------+----------|
967
- | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
1086
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
968
1087
  |-----------------------------------+---------------------+-------+---------+----------|
969
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1088
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
970
1089
  |-----------------------------------+---------------------+-------+---------+----------|
971
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 547 | 0 | 0 |
1090
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
972
1091
  |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
1092
+ | RateLimiterRBACUpgradeableHandler | warp | 486 | 0 | 0 |
974
1093
  ╰-----------------------------------+---------------------+-------+---------+----------╯
975
1094
 
976
1095
  Logs:
977
- Bound result 69028217865647149602
978
- Bound result 9900000000000000001521
979
- Bound result 9900000000000000005196
980
- Bound result 6977
981
- Bound result 6102
982
- Bound result 9900000231335903090109
983
- Bound result 9900000000000005986076
984
- Bound result 215
985
- Bound result 45
986
- Bound result 9900000003410744795189
987
- Bound result 9900000000000000024787
988
- Bound result 996
989
- Bound result 11
990
- Bound result 100000000000000000000
991
- Bound result 9900000000000000006091
992
- Bound result 10
993
- Bound result 3306
994
- Bound result 7998996683297473029517
995
- Bound result 100
996
- Bound result 5415
997
- Bound result 4003959
998
- Bound result 120129102796936542916
999
- Bound result 91657999552789
1000
- Bound result 1123
1001
- Bound result 178525300312251757242
1002
- Bound result 80856004115353498899
1003
- Bound result 2165
1004
- Bound result 350726088
1096
+ Bound result 989
1097
+ Bound result 9900000000032236582255
1098
+ Bound result 9900000000000000084467
1099
+ Bound result 1220
1100
+ Bound result 9998
1101
+ Bound result 3341
1102
+ Bound result 1225
1103
+ Bound result 1
1104
+ Bound result 6265
1105
+ Bound result 7940
1106
+ Bound result 1
1107
+ Bound result 9900000006825974991186
1108
+ Bound result 9900000000000000321107
1109
+ Bound result 2548
1110
+ Bound result 5267
1111
+ Bound result 1049228636711332296883
1112
+ Bound result 4133266345060000312615
1113
+ Bound result 130992286406668910
1114
+ Bound result 7
1115
+ Bound result 1
1116
+ Bound result 10153
1117
+ Bound result 661580606
1118
+ Bound result 99
1119
+ Bound result 0
1120
+ Bound result 11357370558486767590158
1121
+ Bound result 105
1122
+ Bound result 0
1123
+ Bound result 4058070502
1005
1124
 
1006
1125
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1007
1126
 
1008
1127
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1009
1128
  | Contract | Selector | Calls | Reverts | Discards |
1010
1129
  +======================================================================================+
1011
- | RateLimiterRBACUpgradeableHandler | inflow | 509 | 0 | 0 |
1130
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1012
1131
  |-----------------------------------+---------------------+-------+---------+----------|
1013
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
1132
+ | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1014
1133
  |-----------------------------------+---------------------+-------+---------+----------|
1015
- | RateLimiterRBACUpgradeableHandler | setConfig | 569 | 0 | 0 |
1134
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1016
1135
  |-----------------------------------+---------------------+-------+---------+----------|
1017
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
1136
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1018
1137
  |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1138
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
1020
1139
  |-----------------------------------+---------------------+-------+---------+----------|
1021
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1140
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
1022
1141
  |-----------------------------------+---------------------+-------+---------+----------|
1023
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
1142
+ | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1024
1143
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1025
1144
 
1026
1145
  Logs:
1027
- Bound result 2590
1028
- Bound result 6653
1029
- Bound result 0
1030
- Bound result 403
1031
- Bound result 514264337593543950333
1032
- Bound result 125836960269621082411
1033
- Bound result 61
1146
+ Bound result 41012473
1147
+ Bound result 3207988
1034
1148
  Bound result 1
1035
- Bound result 1116
1036
- Bound result 47651659
1037
- Bound result 100000000000000000000
1038
- Bound result 596493861614256768193
1039
- Bound result 3774
1040
- Bound result 28
1041
- Bound result 1027
1042
- Bound result 9900000000000000002115
1043
- Bound result 9900000000000000001241
1044
- Bound result 6025
1045
- Bound result 4082
1046
- Bound result 390149965635604798
1047
- Bound result 5031
1149
+ Bound result 861566632235817252104
1150
+ Bound result 9900000000000000003342
1151
+ Bound result 9900000000000000002799
1152
+ Bound result 5521
1153
+ Bound result 8428
1154
+ Bound result 243361090528
1155
+ Bound result 357937062914655056
1156
+ Bound result 0
1157
+ Bound result 1615
1158
+ Bound result 578961018
1159
+ Bound result 348
1160
+ Bound result 3575
1161
+ Bound result 520663427717375230597
1162
+ Bound result 9900000000000000248196
1163
+ Bound result 9900000081667917793013
1164
+ Bound result 9995
1165
+ Bound result 12
1166
+ Bound result 97739540530312552
1167
+ Bound result 1269195969
1168
+ Bound result 1137
1048
1169
 
1049
1170
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1050
1171
 
1051
1172
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1052
1173
  | Contract | Selector | Calls | Reverts | Discards |
1053
1174
  +======================================================================================+
1054
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
1175
+ | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
1055
1176
  |-----------------------------------+---------------------+-------+---------+----------|
1056
- | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
1177
+ | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1057
1178
  |-----------------------------------+---------------------+-------+---------+----------|
1058
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
1179
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
1059
1180
  |-----------------------------------+---------------------+-------+---------+----------|
1060
- | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
1181
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
1061
1182
  |-----------------------------------+---------------------+-------+---------+----------|
1062
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
1183
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 488 | 0 | 0 |
1063
1184
  |-----------------------------------+---------------------+-------+---------+----------|
1064
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
1185
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
1065
1186
  |-----------------------------------+---------------------+-------+---------+----------|
1066
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
1187
+ | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
1067
1188
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1068
1189
 
1069
1190
  Logs:
1070
- Bound result 1190
1071
- Bound result 1347
1072
- Bound result 0
1073
- Bound result 50255129522681696
1074
- Bound result 122201887400905807765
1075
- Bound result 1
1076
- Bound result 9900000000000004594639
1077
- Bound result 9900000000000105151832
1078
- Bound result 9999
1079
- Bound result 1134
1080
- Bound result 11965
1081
- Bound result 8191
1082
- Bound result 7955
1083
- Bound result 43290471417791769608
1084
- Bound result 2143429568278243181300
1085
- Bound result 573393
1086
- Bound result 6101
1087
- Bound result 1
1088
- Bound result 2743
1089
- Bound result 117741555285123255472
1090
- Bound result 9900016306462221436764
1091
- Bound result 3987
1092
- Bound result 6241
1093
-
1094
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.32s (8.82s CPU time)
1095
-
1096
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1097
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1098
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1099
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47552, ~: 48966)
1100
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1101
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1102
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1103
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1104
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1105
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1106
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1107
- [PASS] test_getFee_Default() (gas: 43108)
1108
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45807, ~: 47017)
1109
- [PASS] test_getFee_Rounding() (gas: 45449)
1110
- [PASS] test_getFee_Specific() (gas: 66985)
1111
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1112
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1113
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34905, ~: 42268)
1114
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1115
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1116
- [PASS] test_setFeeBps() (gas: 77237)
1117
- Logs:
1118
- Bound result 500
1191
+ Bound result 14839505982
1192
+ Bound result 1301
1193
+ Bound result 5041
1194
+ Bound result 448
1195
+ Bound result 1000000000000000000000
1196
+ Bound result 911641279
1197
+ Bound result 10194
1198
+ Bound result 319
1199
+ Bound result 45
1200
+ Bound result 2152594145886467687
1201
+ Bound result 27135279727312348263
1202
+ Bound result 610
1203
+ Bound result 9771
1204
+ Bound result 1010
1205
+ Bound result 17
1206
+ Bound result 9900000030405348083291
1207
+ Bound result 9917359897767360299520
1208
+ Bound result 13
1209
+ Bound result 7050
1210
+ Bound result 100000000000000000001
1119
1211
 
1120
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69569, ~: 77570)
1121
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1122
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1123
- [PASS] test_storageHash() (gas: 3436)
1124
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 10.52s (639.54ms CPU time)
1212
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.06s (6.37s CPU time)
1125
1213
 
1126
1214
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1127
1215
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -1133,7 +1221,7 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1133
1221
  [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1134
1222
  [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1135
1223
  [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1136
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
1224
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
1137
1225
  [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1138
1226
  [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1139
1227
  [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
@@ -1153,62 +1241,42 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
1153
1241
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1154
1242
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1155
1243
  [PASS] test_storageHash() (gas: 3458)
1156
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 10.52s (436.58ms CPU time)
1244
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 8.84s (288.20ms CPU time)
1157
1245
 
1158
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1159
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1160
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1161
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1162
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1163
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1164
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1165
- [PASS] test_isPaused_Default() (gas: 47316)
1166
- [PASS] test_isPaused_InitialState() (gas: 22172)
1167
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1168
- [PASS] test_isPaused_Override() (gas: 75171)
1169
- [PASS] test_isPaused_Specific() (gas: 50105)
1170
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1171
- [PASS] test_pauseConfig() (gas: 51028)
1172
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1173
- [PASS] test_setDefaultPaused() (gas: 42196)
1174
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30069, ~: 18826)
1175
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1176
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1177
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1178
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1179
- [PASS] test_setPaused() (gas: 48361)
1180
- [PASS] test_setPaused_DormantData() (gas: 295234)
1181
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1182
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1183
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43684, ~: 48533)
1184
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 224529, ~: 219722)
1185
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1186
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1187
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1188
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1189
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1190
- [PASS] test_setPaused_Success() (gas: 45897)
1191
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1192
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1193
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1194
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1195
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1196
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1197
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1198
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62849, ~: 73465)
1199
- [PASS] test_storageHash() (gas: 3392)
1200
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1201
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1202
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1203
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1204
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1205
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1206
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 10.64s (677.92ms CPU time)
1246
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1247
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1248
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1249
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47631, ~: 48966)
1250
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1251
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1252
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1253
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1254
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1255
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1256
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1257
+ [PASS] test_getFee_Default() (gas: 43108)
1258
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45748, ~: 47017)
1259
+ [PASS] test_getFee_Rounding() (gas: 45449)
1260
+ [PASS] test_getFee_Specific() (gas: 66985)
1261
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1262
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
1263
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34304, ~: 42268)
1264
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1265
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1266
+ [PASS] test_setFeeBps() (gas: 77237)
1267
+ Logs:
1268
+ Bound result 500
1269
+
1270
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68578, ~: 77570)
1271
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1272
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1273
+ [PASS] test_storageHash() (gas: 3436)
1274
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 8.87s (560.33ms CPU time)
1207
1275
 
1208
1276
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1209
1277
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1210
1278
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1211
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 826838, ~: 268615)
1279
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 811807, ~: 285058)
1212
1280
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1213
1281
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1214
1282
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1221,12 +1289,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1221
1289
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1222
1290
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1223
1291
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1224
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11160371, ~: 10408955)
1292
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147843, ~: 10409422)
1225
1293
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1226
1294
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1227
1295
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1228
1296
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1229
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 773053, ~: 182678)
1297
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 739856, ~: 123158)
1230
1298
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1231
1299
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1232
1300
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1239,44 +1307,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1239
1307
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1240
1308
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1241
1309
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1242
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11163542, ~: 10533635)
1310
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11177390, ~: 10439714)
1243
1311
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1244
1312
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1245
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.59s (25.16s CPU time)
1246
-
1247
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1248
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1249
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1250
- [PASS] test_assertNotPaused_Success() (gas: 14934)
1251
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1252
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
1253
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1254
- [PASS] test_isPaused_Default() (gas: 44698)
1255
- [PASS] test_isPaused_InitialState() (gas: 22070)
1256
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1257
- [PASS] test_isPaused_Override() (gas: 69381)
1258
- [PASS] test_isPaused_Specific() (gas: 46709)
1259
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1260
- [PASS] test_pauseConfig() (gas: 45626)
1261
- [PASS] test_setDefaultPaused() (gas: 39667)
1262
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27959, ~: 16332)
1263
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1264
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1265
- [PASS] test_setPaused() (gas: 43060)
1266
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
1267
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38358, ~: 43373)
1268
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1269
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1270
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1271
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58072, ~: 46989)
1272
- [PASS] test_storageHash() (gas: 3480)
1273
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1274
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1275
- [PASS] test_whenNotPaused_Success() (gas: 41297)
1276
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1277
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1278
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1279
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 10.64s (382.72ms CPU time)
1313
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 8.87s (20.85s CPU time)
1280
1314
 
1281
- Ran 17 test suites in 10.67s (61.45s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1282
- ⏳ forge test: 25.667s
1315
+ Ran 17 test suites in 8.89s (33.41s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1316
+ ⏳ forge test: 21.139s