@layerzerolabs/utils-upgradeable-evm-contracts 0.2.97 → 0.2.98

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (3) hide show
  1. package/.turbo/turbo-lint.log +175 -1
  2. package/.turbo/turbo-test.log +844 -749
  3. package/package.json +6 -6
package/.turbo/turbo-test.log CHANGED
@@ -5,15 +5,58 @@
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
7
  $ docker image inspect --format {{.Id}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
8
- (node:152469) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
8
+ (node:73331) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
9
9
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
10
10
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
11
11
  (Use `node --trace-warnings ...` to show where the warning was created)
12
- ✅ 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
12
+ Error response from daemon: No such image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
+ 📥 Pulling Docker image from: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
14
+ $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
15
+ forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
16
+ 86ec798129ac: Already exists
17
+ eef7c391911c: Already exists
18
+ cc2ecf4065b7: Already exists
19
+ 5760fdd70374: Already exists
20
+ c70db14240a1: Already exists
21
+ 0cb2c6965bde: Pulling fs layer
22
+ 885bca26f927: Pulling fs layer
23
+ 8e167e77288f: Pulling fs layer
24
+ 45d43cc973ba: Pulling fs layer
25
+ 44c09156221f: Pulling fs layer
26
+ f2fb700979ad: Pulling fs layer
27
+ 2a1ced882ba9: Pulling fs layer
28
+ 597168d5c38e: Pulling fs layer
29
+ e431adaf232f: Pulling fs layer
30
+ 36e15e3f2788: Pulling fs layer
31
+ 36e15e3f2788: Download complete
32
+ 44c09156221f: Download complete
33
+ 8e167e77288f: Download complete
34
+ 45d43cc973ba: Download complete
35
+ 2a1ced882ba9: Download complete
36
+ 597168d5c38e: Download complete
37
+ f2fb700979ad: Download complete
38
+ 0cb2c6965bde: Pull complete
39
+ e431adaf232f: Verifying Checksum
40
+ e431adaf232f: Download complete
41
+ 885bca26f927: Verifying Checksum
42
+ 885bca26f927: Download complete
43
+ 885bca26f927: Pull complete
44
+ 8e167e77288f: Pull complete
45
+ 45d43cc973ba: Pull complete
46
+ 44c09156221f: Pull complete
47
+ f2fb700979ad: Pull complete
48
+ 2a1ced882ba9: Pull complete
49
+ 597168d5c38e: Pull complete
50
+ e431adaf232f: Pull complete
51
+ 36e15e3f2788: Pull complete
52
+ Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
53
+ Status: Image is up to date for 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
54
+ 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
55
+ ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
13
56
  👤 Running container as UID:GID 1001:1001
14
57
  $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /home/runner/work/monorepo-internal/monorepo-internal:/workspace -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
15
58
  Compiling 84 files with Solc 0.8.22
16
- Solc 0.8.22 finished in 19.03s
59
+ Solc 0.8.22 finished in 11.63s
17
60
  Compiler run successful with warnings:
18
61
  Warning (2018): Function state mutability can be restricted to view
19
62
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -177,80 +220,128 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
177
220
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
178
221
  [PASS] test_storageHash() (gas: 3392)
179
222
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
180
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 51.27ms (31.16ms CPU time)
223
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 11.25ms (7.93ms CPU time)
181
224
 
182
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
183
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
184
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
185
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
186
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
187
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
188
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
189
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
190
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
191
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
192
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
193
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 294.40ms (294.18ms CPU time)
225
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
226
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
227
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
228
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
229
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
230
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
231
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
232
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
233
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
234
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
235
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
236
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
237
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
238
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
239
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
240
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
241
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
242
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
243
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
244
+ [PASS] test_initial_state_closed() (gas: 2034659)
245
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
246
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
247
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
248
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
249
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
250
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
251
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
252
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
253
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
254
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
255
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
256
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
257
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
258
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
259
+ [PASS] test_storageHash() (gas: 3414)
260
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
261
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 91.96ms (9.46ms CPU time)
262
+
263
+ Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
264
+ [PASS] test_feeDeposit() (gas: 17638)
265
+ [PASS] test_setFeeDeposit() (gas: 27596)
266
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
267
+ [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
268
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
269
+ [PASS] test_storageHash() (gas: 3315)
270
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 66.57ms (65.77ms CPU time)
194
271
 
195
272
  Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
196
273
  [PASS] test_feeDeposit() (gas: 17576)
197
274
  [PASS] test_setFeeDeposit() (gas: 24995)
198
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
275
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21451, ~: 21454)
199
276
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
200
277
  [PASS] test_storageHash() (gas: 3337)
201
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 400.04ms (147.00ms CPU time)
278
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 180.03ms (179.51ms CPU time)
202
279
 
203
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
204
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26009, ~: 38584)
205
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
206
- [PASS] test_assertNotPaused_Success() (gas: 12516)
207
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
208
- [PASS] test_isPaused_InitialState() (gas: 15595)
209
- [PASS] test_pause() (gas: 39592)
210
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28489, ~: 39861)
211
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
212
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
213
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
214
- [PASS] test_storageHash() (gas: 3414)
215
- [PASS] test_unpause() (gas: 31115)
216
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40382, ~: 38893)
217
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
218
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
219
- [PASS] test_whenNotPaused_Success() (gas: 38744)
220
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
221
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
222
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
223
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 432.95ms (562.30ms CPU time)
280
+ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
281
+ [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
282
+ [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104265, ~: 104248)
283
+ [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
284
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
285
+ [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
286
+ [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
287
+ [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
288
+ [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
289
+ [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
290
+ [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
291
+ [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
292
+ [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
293
+ [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
294
+ [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
295
+ [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
296
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
297
+ [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
298
+ [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
299
+ [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
300
+ [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
301
+ [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
302
+ [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
303
+ [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
304
+ [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
305
+ [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
306
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
307
+ [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
308
+ [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
309
+ [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
310
+ [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
311
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
312
+ [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
313
+ [PASS] test_storageHash() (gas: 3380)
314
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 278.45ms (347.58ms CPU time)
224
315
 
225
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
226
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26683, ~: 12786)
227
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
228
- [PASS] test_assertNotPaused_Success() (gas: 12539)
229
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
230
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
231
- [PASS] test_isPaused_InitialState() (gas: 15629)
232
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
233
- [PASS] test_multipleRoleGrants() (gas: 394130)
234
- [PASS] test_pause() (gas: 42109)
235
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
236
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
237
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30590, ~: 42378)
238
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
239
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
240
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
241
- [PASS] test_setPaused_Success() (gas: 40691)
242
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
243
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
244
- [PASS] test_storageHash() (gas: 3414)
245
- [PASS] test_unpause() (gas: 35177)
246
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41585, ~: 38860)
247
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
248
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
249
- [PASS] test_whenNotPaused_Success() (gas: 38800)
250
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
251
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
252
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
253
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 456.62ms (634.50ms CPU time)
316
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
317
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
318
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
319
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47431, ~: 48966)
320
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
321
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
322
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
323
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
324
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
325
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
326
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
327
+ [PASS] test_getFee_Default() (gas: 43108)
328
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45620, ~: 47017)
329
+ [PASS] test_getFee_Rounding() (gas: 45449)
330
+ [PASS] test_getFee_Specific() (gas: 66985)
331
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
332
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
333
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35077, ~: 42268)
334
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
335
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
336
+ [PASS] test_setFeeBps() (gas: 77237)
337
+ Logs:
338
+ Bound result 500
339
+
340
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69333, ~: 77570)
341
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
342
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
343
+ [PASS] test_storageHash() (gas: 3436)
344
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 235.55ms (354.30ms CPU time)
254
345
 
255
346
  Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
256
347
  [PASS] test_SwitchModes_PreservesState() (gas: 186406)
@@ -282,7 +373,155 @@ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTes
282
373
  [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
283
374
  [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
284
375
  [PASS] test_storageHash() (gas: 3458)
285
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 3.71s (1.13s CPU time)
376
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 338.08ms (401.62ms CPU time)
377
+
378
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
379
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
380
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
381
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44925, ~: 46317)
382
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
383
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
384
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
385
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
386
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
387
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
388
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
389
+ [PASS] test_getFee_Default() (gas: 40577)
390
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43246, ~: 44486)
391
+ [PASS] test_getFee_Rounding() (gas: 42835)
392
+ [PASS] test_getFee_Specific() (gas: 63968)
393
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
394
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
395
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32699, ~: 39667)
396
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
397
+ [PASS] test_setFeeBps() (gas: 73871)
398
+ Logs:
399
+ Bound result 500
400
+
401
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65980, ~: 74224)
402
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
403
+ [PASS] test_storageHash() (gas: 3426)
404
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 330.81ms (553.07ms CPU time)
405
+
406
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
407
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
408
+ [PASS] test_constructor_InitialMode() (gas: 15778)
409
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
410
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
411
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
412
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
413
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
414
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
415
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
416
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
417
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
418
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
419
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
420
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
421
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
422
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
423
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
424
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
425
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
426
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
427
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
428
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
429
+ [PASS] test_setMode_Blacklist() (gas: 42605)
430
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
431
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
432
+ [PASS] test_setMode_Whitelist() (gas: 42714)
433
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
434
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
435
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
436
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
437
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
438
+ [PASS] test_storageHash() (gas: 3480)
439
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.01s (470.58ms CPU time)
440
+
441
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
442
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
443
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
444
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
445
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
446
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
447
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
448
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
449
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
450
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
451
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
452
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 1.09s (56.69ms CPU time)
453
+
454
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
455
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25776, ~: 38584)
456
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
457
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
458
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
459
+ [PASS] test_isPaused_InitialState() (gas: 15595)
460
+ [PASS] test_pause() (gas: 39592)
461
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28843, ~: 39861)
462
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
463
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
464
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
465
+ [PASS] test_storageHash() (gas: 3414)
466
+ [PASS] test_unpause() (gas: 31115)
467
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40429, ~: 38893)
468
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
469
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
470
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
471
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
472
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
473
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
474
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.09s (220.36ms CPU time)
475
+
476
+ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
477
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
478
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
479
+ [PASS] test_assertNotPaused_Success() (gas: 14891)
480
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
481
+ [PASS] test_defaultPaused_InitialState() (gas: 15572)
482
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
483
+ [PASS] test_isPaused_Default() (gas: 47316)
484
+ [PASS] test_isPaused_InitialState() (gas: 22172)
485
+ [PASS] test_isPaused_MultipleIDs() (gas: 80142)
486
+ [PASS] test_isPaused_Override() (gas: 75171)
487
+ [PASS] test_isPaused_Specific() (gas: 50105)
488
+ [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
489
+ [PASS] test_pauseConfig() (gas: 51028)
490
+ [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
491
+ [PASS] test_setDefaultPaused() (gas: 42196)
492
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30517, ~: 18826)
493
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
494
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
495
+ [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
496
+ [PASS] test_setDefaultPaused_Success() (gas: 40744)
497
+ [PASS] test_setPaused() (gas: 48361)
498
+ [PASS] test_setPaused_DormantData() (gas: 295234)
499
+ [PASS] test_setPaused_EmptyArray() (gas: 15702)
500
+ [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
501
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 44045, ~: 48696)
502
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223184, ~: 219722)
503
+ [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
504
+ [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
505
+ [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
506
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
507
+ [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
508
+ [PASS] test_setPaused_Success() (gas: 45897)
509
+ [PASS] test_setPaused_Success_Batch() (gas: 345312)
510
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
511
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
512
+ [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
513
+ [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
514
+ [PASS] test_setPaused_Success_Toggle() (gas: 58022)
515
+ [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
516
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62446, ~: 73465)
517
+ [PASS] test_storageHash() (gas: 3392)
518
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
519
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
520
+ [PASS] test_whenNotPaused_Success() (gas: 41299)
521
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
522
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
523
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
524
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.09s (515.87ms CPU time)
286
525
 
287
526
  Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
288
527
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
@@ -299,16 +538,16 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
299
538
  [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
300
539
  [PASS] test_pauseConfig() (gas: 45626)
301
540
  [PASS] test_setDefaultPaused() (gas: 39667)
302
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28313, ~: 39918)
541
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27889, ~: 16332)
303
542
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
304
543
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
305
544
  [PASS] test_setPaused() (gas: 43060)
306
545
  [PASS] test_setPaused_EmptyArray() (gas: 10900)
307
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38835, ~: 43373)
546
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38298, ~: 43373)
308
547
  [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
309
548
  [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
310
549
  [PASS] test_setPaused_Success_Toggle() (gas: 51442)
311
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58434, ~: 69608)
550
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58388, ~: 69608)
312
551
  [PASS] test_storageHash() (gas: 3480)
313
552
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
314
553
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
@@ -316,7 +555,7 @@ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTes
316
555
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
317
556
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
318
557
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
319
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 3.67s (1.26s CPU time)
558
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.09s (246.85ms CPU time)
320
559
 
321
560
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
322
561
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -324,900 +563,756 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
324
563
  ╭-----------------------------------+---------------------+-------+---------+----------╮
325
564
  | Contract | Selector | Calls | Reverts | Discards |
326
565
  +======================================================================================+
327
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
566
+ | RateLimiterRBACUpgradeableHandler | inflow | 537 | 0 | 0 |
328
567
  |-----------------------------------+---------------------+-------+---------+----------|
329
- | RateLimiterRBACUpgradeableHandler | outflow | 586 | 0 | 0 |
568
+ | RateLimiterRBACUpgradeableHandler | outflow | 580 | 0 | 0 |
330
569
  |-----------------------------------+---------------------+-------+---------+----------|
331
- | RateLimiterRBACUpgradeableHandler | setConfig | 512 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | setConfig | 579 | 0 | 0 |
332
571
  |-----------------------------------+---------------------+-------+---------+----------|
333
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
334
573
  |-----------------------------------+---------------------+-------+---------+----------|
335
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
336
575
  |-----------------------------------+---------------------+-------+---------+----------|
337
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
576
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
338
577
  |-----------------------------------+---------------------+-------+---------+----------|
339
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
578
+ | RateLimiterRBACUpgradeableHandler | warp | 533 | 0 | 0 |
340
579
  ╰-----------------------------------+---------------------+-------+---------+----------╯
341
580
 
342
581
  Logs:
343
- Bound result 9917
344
- Bound result 514264337593504336252
345
- Bound result 14329
582
+ Bound result 29799711
583
+ Bound result 139
584
+ Bound result 79932513868350725494
585
+ Bound result 6201810971
346
586
  Bound result 1
347
- Bound result 96353
348
- Bound result 169206340647467504
349
- Bound result 4412799199719995
350
- Bound result 0
351
- Bound result 6682
352
- Bound result 1699956277687849762335
353
- Bound result 514264337593504336253
354
- Bound result 0
355
- Bound result 17
356
- Bound result 1999752063114406744155
357
- Bound result 100360533218250
358
- Bound result 15
587
+ Bound result 201141727159
588
+ Bound result 4165369551314715
589
+ Bound result 1294
590
+ Bound result 9902187839487028118953
591
+ Bound result 7022071939475772474297
592
+ Bound result 13
593
+ Bound result 2033
594
+ Bound result 2315
595
+ Bound result 10316
596
+ Bound result 3
597
+ Bound result 1913742918781
598
+ Bound result 887
599
+ Bound result 16317803817224552800628
600
+ Bound result 6
601
+ Bound result 60
359
602
 
360
603
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
361
604
 
362
605
  ╭-----------------------------------+---------------------+-------+---------+----------╮
363
606
  | Contract | Selector | Calls | Reverts | Discards |
364
607
  +======================================================================================+
365
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | inflow | 569 | 0 | 0 |
366
609
  |-----------------------------------+---------------------+-------+---------+----------|
367
- | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
368
611
  |-----------------------------------+---------------------+-------+---------+----------|
369
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | setConfig | 556 | 0 | 0 |
370
613
  |-----------------------------------+---------------------+-------+---------+----------|
371
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
372
615
  |-----------------------------------+---------------------+-------+---------+----------|
373
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 533 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
374
617
  |-----------------------------------+---------------------+-------+---------+----------|
375
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
376
619
  |-----------------------------------+---------------------+-------+---------+----------|
377
- | RateLimiterRBACUpgradeableHandler | warp | 558 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | warp | 527 | 0 | 0 |
378
621
  ╰-----------------------------------+---------------------+-------+---------+----------╯
379
622
 
380
623
  Logs:
381
- Bound result 2417021052
382
- Bound result 6411
383
- Bound result 118271272
384
- Bound result 26572996
385
- Bound result 546590668860510745941
386
- Bound result 6906
387
- Bound result 9900000000000000008320
388
- Bound result 9900000000000000005999
389
- Bound result 7868
390
- Bound result 168
391
- Bound result 48244
624
+ Bound result 1138
625
+ Bound result 253
626
+ Bound result 1
627
+ Bound result 112
628
+ Bound result 9900000000000000000853
629
+ Bound result 9900000000000000002429
630
+ Bound result 6987
631
+ Bound result 5053
632
+ Bound result 9900032897287245870537
633
+ Bound result 4104308479936026269880
634
+ Bound result 37
635
+ Bound result 12
636
+ Bound result 9900000000000000101623
637
+ Bound result 3676929529792816133060
638
+ Bound result 6241
639
+ Bound result 87
640
+ Bound result 9900000000000000001448
641
+ Bound result 9900000000000000003802
642
+ Bound result 3643
643
+ Bound result 113
644
+ Bound result 3066
645
+ Bound result 11529773931
392
646
 
393
647
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
394
648
 
395
649
  ╭-----------------------------------+---------------------+-------+---------+----------╮
396
650
  | Contract | Selector | Calls | Reverts | Discards |
397
651
  +======================================================================================+
398
- | RateLimiterRBACUpgradeableHandler | inflow | 530 | 0 | 0 |
652
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
399
653
  |-----------------------------------+---------------------+-------+---------+----------|
400
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
654
+ | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
401
655
  |-----------------------------------+---------------------+-------+---------+----------|
402
- | RateLimiterRBACUpgradeableHandler | setConfig | 555 | 0 | 0 |
656
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
403
657
  |-----------------------------------+---------------------+-------+---------+----------|
404
- | RateLimiterRBACUpgradeableHandler | setState | 531 | 0 | 0 |
658
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
405
659
  |-----------------------------------+---------------------+-------+---------+----------|
406
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
660
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 502 | 0 | 0 |
407
661
  |-----------------------------------+---------------------+-------+---------+----------|
408
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 585 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
409
663
  |-----------------------------------+---------------------+-------+---------+----------|
410
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
411
665
  ╰-----------------------------------+---------------------+-------+---------+----------╯
412
666
 
413
667
  Logs:
414
- Bound result 890
415
- Bound result 9493
416
- Bound result 6027
417
- Bound result 1244
418
- Bound result 55678474028
419
- Bound result 113295205378231431004
420
- Bound result 603
421
- Bound result 3057
422
- Bound result 1244
668
+ Bound result 903
669
+ Bound result 1396
670
+ Bound result 9900000000000000000535
671
+ Bound result 9900000000000000007260
672
+ Bound result 5551
673
+ Bound result 545
674
+ Bound result 91956627196
423
675
  Bound result 1
424
- Bound result 1259158851
425
- Bound result 37463
426
- Bound result 15599707876
427
- Bound result 727317950233
428
- Bound result 728
429
- Bound result 779
430
- Bound result 74596
431
- Bound result 8183
676
+ Bound result 1230
677
+ Bound result 822415096115
678
+ Bound result 52167038716892
679
+ Bound result 177
680
+ Bound result 9991855308653189585218
681
+ Bound result 877
682
+ Bound result 307
683
+ Bound result 6914264337589258427371
684
+ Bound result 9679121520932
685
+ Bound result 1225
686
+ Bound result 3280
687
+ Bound result 10289
688
+ Bound result 19
689
+ Bound result 1288034717700654
690
+ Bound result 9787490
691
+ Bound result 256658540102079237151
432
692
 
433
693
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
434
694
 
435
695
  ╭-----------------------------------+---------------------+-------+---------+----------╮
436
696
  | Contract | Selector | Calls | Reverts | Discards |
437
697
  +======================================================================================+
438
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
698
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
439
699
  |-----------------------------------+---------------------+-------+---------+----------|
440
- | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
700
+ | RateLimiterRBACUpgradeableHandler | outflow | 525 | 0 | 0 |
441
701
  |-----------------------------------+---------------------+-------+---------+----------|
442
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
702
+ | RateLimiterRBACUpgradeableHandler | setConfig | 554 | 0 | 0 |
443
703
  |-----------------------------------+---------------------+-------+---------+----------|
444
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
704
+ | RateLimiterRBACUpgradeableHandler | setState | 581 | 0 | 0 |
445
705
  |-----------------------------------+---------------------+-------+---------+----------|
446
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 579 | 0 | 0 |
706
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
447
707
  |-----------------------------------+---------------------+-------+---------+----------|
448
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
708
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
449
709
  |-----------------------------------+---------------------+-------+---------+----------|
450
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
710
+ | RateLimiterRBACUpgradeableHandler | warp | 540 | 0 | 0 |
451
711
  ╰-----------------------------------+---------------------+-------+---------+----------╯
452
712
 
453
713
  Logs:
454
- Bound result 1289721589334596598671
455
- Bound result 9900000000000000003902
456
- Bound result 9900000000000000002158
457
- Bound result 8301
458
- Bound result 6529
459
- Bound result 6951122139389
460
- Bound result 1025833891334
461
- Bound result 861317724
714
+ Bound result 1
715
+ Bound result 573
716
+ Bound result 7556
462
717
  Bound result 0
463
- Bound result 3041954474
464
- Bound result 1151
465
- Bound result 1302
466
- Bound result 9216
467
- Bound result 9900000000000000000047
468
- Bound result 100000000000000000000
469
- Bound result 10
470
- Bound result 8287
471
- Bound result 1149717005859711966
718
+ Bound result 10960168
719
+ Bound result 785
720
+ Bound result 9900000000000000887474
721
+ Bound result 3330404706670992112164
722
+ Bound result 4657
723
+ Bound result 474
724
+ Bound result 534896958
725
+ Bound result 185
726
+ Bound result 8737
727
+ Bound result 210703216065998
728
+ Bound result 8317
472
729
 
473
730
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
474
731
 
475
732
  ╭-----------------------------------+---------------------+-------+---------+----------╮
476
733
  | Contract | Selector | Calls | Reverts | Discards |
477
734
  +======================================================================================+
478
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
735
+ | RateLimiterRBACUpgradeableHandler | inflow | 562 | 0 | 0 |
479
736
  |-----------------------------------+---------------------+-------+---------+----------|
480
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
737
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
481
738
  |-----------------------------------+---------------------+-------+---------+----------|
482
- | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
739
+ | RateLimiterRBACUpgradeableHandler | setConfig | 550 | 0 | 0 |
483
740
  |-----------------------------------+---------------------+-------+---------+----------|
484
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
741
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
485
742
  |-----------------------------------+---------------------+-------+---------+----------|
486
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 564 | 0 | 0 |
743
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 588 | 0 | 0 |
487
744
  |-----------------------------------+---------------------+-------+---------+----------|
488
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 515 | 0 | 0 |
745
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
489
746
  |-----------------------------------+---------------------+-------+---------+----------|
490
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
747
+ | RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
491
748
  ╰-----------------------------------+---------------------+-------+---------+----------╯
492
749
 
493
750
  Logs:
494
- Bound result 1293
495
- Bound result 53
496
- Bound result 99645839873234
751
+ Bound result 44108194515578819789
752
+ Bound result 2798
753
+ Bound result 5888
754
+ Bound result 1
755
+ Bound result 911448864550448660500
756
+ Bound result 952
757
+ Bound result 8994
758
+ Bound result 1
759
+ Bound result 781107475133731543253
760
+ Bound result 59550846639381282
761
+ Bound result 163
762
+ Bound result 579167001883196184015
763
+ Bound result 1051027693275271316931
764
+ Bound result 0
765
+ Bound result 9900000000003521668056
766
+ Bound result 1830808254936887978121
767
+ Bound result 3443
768
+ Bound result 1094
769
+ Bound result 4780057790175885
770
+ Bound result 59674400
497
771
  Bound result 0
498
- Bound result 748
499
- Bound result 534896957
500
- Bound result 428
501
- Bound result 9900000000000907087676
772
+ Bound result 969864515677171670285
502
773
  Bound result 6914264337593535947490
503
- Bound result 6596
504
- Bound result 395
505
- Bound result 9
506
- Bound result 10
774
+ Bound result 7931
775
+ Bound result 12
776
+ Bound result 4162
777
+ Bound result 1005
778
+ Bound result 0
507
779
 
508
780
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
509
781
 
510
782
  ╭-----------------------------------+---------------------+-------+---------+----------╮
511
783
  | Contract | Selector | Calls | Reverts | Discards |
512
784
  +======================================================================================+
513
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
785
+ | RateLimiterRBACUpgradeableHandler | inflow | 539 | 0 | 0 |
514
786
  |-----------------------------------+---------------------+-------+---------+----------|
515
- | RateLimiterRBACUpgradeableHandler | outflow | 525 | 0 | 0 |
787
+ | RateLimiterRBACUpgradeableHandler | outflow | 518 | 0 | 0 |
516
788
  |-----------------------------------+---------------------+-------+---------+----------|
517
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
789
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
518
790
  |-----------------------------------+---------------------+-------+---------+----------|
519
- | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
791
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
520
792
  |-----------------------------------+---------------------+-------+---------+----------|
521
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
793
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
522
794
  |-----------------------------------+---------------------+-------+---------+----------|
523
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 567 | 0 | 0 |
795
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
524
796
  |-----------------------------------+---------------------+-------+---------+----------|
525
- | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
797
+ | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
526
798
  ╰-----------------------------------+---------------------+-------+---------+----------╯
527
799
 
528
800
  Logs:
529
- Bound result 9900000000000000003676
530
- Bound result 9900000000000000008131
531
- Bound result 9898
532
- Bound result 9139
533
- Bound result 3350
534
- Bound result 1099511627778
535
- Bound result 0
536
- Bound result 16458776968849275742358
537
- Bound result 961060772265
538
- Bound result 0
539
- Bound result 11684
540
- Bound result 7064186584550165822817
541
- Bound result 30981
542
- Bound result 6684801627
543
- Bound result 10779857273809
544
- Bound result 1
545
- Bound result 8919
801
+ Bound result 992284273522884
802
+ Bound result 9900000000000791671134
803
+ Bound result 9900000000000000009449
804
+ Bound result 1055
805
+ Bound result 2662
546
806
  Bound result 1
547
- Bound result 9900000000000058750637
548
- Bound result 9900002063759687105302
549
- Bound result 12
550
- Bound result 13
551
-
552
- [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
807
+ Bound result 18799140696861089762246
808
+ Bound result 4352
809
+ Bound result 1568
810
+ Bound result 5246
811
+ Bound result 10067411112750018572
812
+ Bound result 499
813
+ Bound result 683
814
+ Bound result 717
815
+ Bound result 172871
816
+ Bound result 9664876309785021470
817
+ Bound result 275
553
818
 
554
- ╭-----------------------------------+---------------------+-------+---------+----------╮
555
- | Contract | Selector | Calls | Reverts | Discards |
556
- +======================================================================================+
557
- | RateLimiterRBACUpgradeableHandler | inflow | 564 | 0 | 0 |
558
- |-----------------------------------+---------------------+-------+---------+----------|
559
- | RateLimiterRBACUpgradeableHandler | outflow | 530 | 0 | 0 |
560
- |-----------------------------------+---------------------+-------+---------+----------|
561
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
562
- |-----------------------------------+---------------------+-------+---------+----------|
563
- | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
564
- |-----------------------------------+---------------------+-------+---------+----------|
565
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
566
- |-----------------------------------+---------------------+-------+---------+----------|
567
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
568
- |-----------------------------------+---------------------+-------+---------+----------|
569
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
570
- ╰-----------------------------------+---------------------+-------+---------+----------╯
571
-
572
- Logs:
573
- Bound result 9900000000000000247167
574
- Bound result 9900000000000000000765
575
- Bound result 2787
576
- Bound result 10
577
- Bound result 9900000000000000006143
578
- Bound result 9900000000000000001231
579
- Bound result 7064
580
- Bound result 279
581
- Bound result 732
582
- Bound result 7108
583
- Bound result 9975
584
- Bound result 1310238
585
- Bound result 84
586
- Bound result 9900000000000033540520
587
- Bound result 9900000000000000005785
588
- Bound result 2928
589
- Bound result 1201
590
- Bound result 9424362193353174422707
591
- Bound result 9955
592
- Bound result 720
593
- Bound result 2162
594
- Bound result 9900000028142141643098
595
- Bound result 9900000000000000001137
596
- Bound result 6878
597
- Bound result 9551
598
- Bound result 2828
599
-
600
- [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
601
-
602
- ╭-----------------------------------+---------------------+-------+---------+----------╮
603
- | Contract | Selector | Calls | Reverts | Discards |
604
- +======================================================================================+
605
- | RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
606
- |-----------------------------------+---------------------+-------+---------+----------|
607
- | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
608
- |-----------------------------------+---------------------+-------+---------+----------|
609
- | RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
610
- |-----------------------------------+---------------------+-------+---------+----------|
611
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
612
- |-----------------------------------+---------------------+-------+---------+----------|
613
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
614
- |-----------------------------------+---------------------+-------+---------+----------|
615
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
616
- |-----------------------------------+---------------------+-------+---------+----------|
617
- | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
618
- ╰-----------------------------------+---------------------+-------+---------+----------╯
619
-
620
- Logs:
621
- Bound result 169
622
- Bound result 28
623
- Bound result 4241465416
624
- Bound result 9900000000000113355671
625
- Bound result 100000000000000000003
626
- Bound result 106
627
- Bound result 7712
628
- Bound result 5739
629
-
630
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.90s (25.46s CPU time)
631
-
632
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
633
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
634
- [PASS] test_constructor_InitialMode() (gas: 15778)
635
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
636
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
637
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
638
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
639
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
640
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
641
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
642
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
643
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
644
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
645
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
646
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
647
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
648
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
649
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
650
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
651
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
652
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
653
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
654
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
655
- [PASS] test_setMode_Blacklist() (gas: 42605)
656
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
657
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
658
- [PASS] test_setMode_Whitelist() (gas: 42714)
659
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
660
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
661
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
662
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
663
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
664
- [PASS] test_storageHash() (gas: 3480)
665
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 3.91s (1.54s CPU time)
666
-
667
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
668
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
669
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
670
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
671
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
672
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
673
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
674
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
675
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
676
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
677
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
678
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
679
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
680
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
681
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
682
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
683
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
684
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
685
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
686
- [PASS] test_initial_state_closed() (gas: 2034659)
687
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
688
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
689
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
690
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
691
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
692
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
693
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
694
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
695
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
696
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
697
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
698
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
699
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
700
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
701
- [PASS] test_storageHash() (gas: 3414)
702
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
703
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 3.99s (33.09ms CPU time)
704
-
705
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
706
- [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
819
+ [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
707
820
 
708
821
  ╭-----------------------------------+---------------------+-------+---------+----------╮
709
822
  | Contract | Selector | Calls | Reverts | Discards |
710
823
  +======================================================================================+
711
- | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
824
+ | RateLimiterRBACUpgradeableHandler | inflow | 573 | 0 | 0 |
712
825
  |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
826
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
714
827
  |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | setConfig | 543 | 0 | 0 |
828
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
716
829
  |-----------------------------------+---------------------+-------+---------+----------|
717
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | setState | 546 | 0 | 0 |
718
831
  |-----------------------------------+---------------------+-------+---------+----------|
719
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 573 | 0 | 0 |
832
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 522 | 0 | 0 |
720
833
  |-----------------------------------+---------------------+-------+---------+----------|
721
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
834
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 566 | 0 | 0 |
722
835
  |-----------------------------------+---------------------+-------+---------+----------|
723
- | RateLimiterRBACUpgradeableHandler | warp | 508 | 0 | 0 |
836
+ | RateLimiterRBACUpgradeableHandler | warp | 542 | 0 | 0 |
724
837
  ╰-----------------------------------+---------------------+-------+---------+----------╯
725
838
 
726
839
  Logs:
727
- Bound result 28560136984746684
728
- Bound result 1852
729
- Bound result 1174695778571793399243
730
- Bound result 1905552603337303239921
731
- Bound result 491
732
- Bound result 2791547140
733
- Bound result 3536083551419386972980
734
- Bound result 9900000000000061476902
735
- Bound result 126
736
- Bound result 692
737
- Bound result 5937987443
738
- Bound result 9805552603337303240948
739
- Bound result 786873402991262449642
740
- Bound result 6242
741
- Bound result 2263
742
- Bound result 9900007694803512936441
743
- Bound result 9900001539671550473285
744
- Bound result 5123
745
- Bound result 2223
746
- Bound result 2246998951
747
- Bound result 8030
840
+ Bound result 8161
841
+ Bound result 521582983
842
+ Bound result 0
843
+ Bound result 8727
844
+ Bound result 9900000000085601222756
845
+ Bound result 9900000008840841122758
846
+ Bound result 1842
847
+ Bound result 9305
848
+ Bound result 6208065015516381110272
849
+ Bound result 8174
850
+ Bound result 1099511627775
851
+ Bound result 5993
852
+ Bound result 6240424560693555410879
853
+ Bound result 7774266143388147424331
854
+ Bound result 0
855
+ Bound result 9900000000000000007129
856
+ Bound result 9900000000000000000922
857
+ Bound result 8938
858
+ Bound result 2777
859
+ Bound result 9470
860
+ Bound result 17295519077386628
861
+ Bound result 1
748
862
 
749
- [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
863
+ [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
750
864
 
751
865
  ╭-----------------------------------+---------------------+-------+---------+----------╮
752
866
  | Contract | Selector | Calls | Reverts | Discards |
753
867
  +======================================================================================+
754
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
868
+ | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
755
869
  |-----------------------------------+---------------------+-------+---------+----------|
756
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
870
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
757
871
  |-----------------------------------+---------------------+-------+---------+----------|
758
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
872
+ | RateLimiterRBACUpgradeableHandler | setConfig | 515 | 0 | 0 |
759
873
  |-----------------------------------+---------------------+-------+---------+----------|
760
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
874
+ | RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
761
875
  |-----------------------------------+---------------------+-------+---------+----------|
762
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 517 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
763
877
  |-----------------------------------+---------------------+-------+---------+----------|
764
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 526 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
765
879
  |-----------------------------------+---------------------+-------+---------+----------|
766
- | RateLimiterRBACUpgradeableHandler | warp | 593 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
767
881
  ╰-----------------------------------+---------------------+-------+---------+----------╯
768
882
 
769
883
  Logs:
770
- Bound result 2079
771
- Bound result 7803
772
- Bound result 222340153466628
773
- Bound result 3094529715993077139
884
+ Bound result 8250931148197786535601
885
+ Bound result 9900497650283604641931
886
+ Bound result 185
887
+ Bound result 6239
888
+ Bound result 9900000000000000000102
889
+ Bound result 100000000000000000001
890
+ Bound result 6240
891
+ Bound result 9518
892
+ Bound result 4627
774
893
  Bound result 1
775
- Bound result 110
776
- Bound result 4202047188
777
- Bound result 36
778
- Bound result 107
779
- Bound result 3414
780
- Bound result 9900001252822882376279
781
- Bound result 9900000000000000000196
782
- Bound result 852
783
- Bound result 11
784
- Bound result 17002720153760777531126
785
- Bound result 12627045534973773425873
786
- Bound result 50
787
- Bound result 9893094692
788
- Bound result 14450844883773801234274
789
- Bound result 25
790
- Bound result 14450844883773801248043
791
- Bound result 28139
792
- Bound result 1703202149
793
- Bound result 29
894
+ Bound result 1588
895
+ Bound result 2517549155
896
+ Bound result 49568414929865067099
897
+ Bound result 9900000000000000001170
898
+ Bound result 9900000000000000008803
899
+ Bound result 829
900
+ Bound result 7891
901
+ Bound result 15494591128193862022711
902
+ Bound result 19447355601541520744122
903
+ Bound result 5249
904
+ Bound result 4266781250
905
+ Bound result 610
906
+ Bound result 2143
907
+ Bound result 9856
908
+ Bound result 7669
909
+
910
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.31s (8.24s CPU time)
794
911
 
795
- [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
912
+ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
913
+ [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
796
914
 
797
915
  ╭-----------------------------------+---------------------+-------+---------+----------╮
798
916
  | Contract | Selector | Calls | Reverts | Discards |
799
917
  +======================================================================================+
800
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
918
+ | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
801
919
  |-----------------------------------+---------------------+-------+---------+----------|
802
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
920
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
803
921
  |-----------------------------------+---------------------+-------+---------+----------|
804
- | RateLimiterRBACUpgradeableHandler | setConfig | 524 | 0 | 0 |
922
+ | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
805
923
  |-----------------------------------+---------------------+-------+---------+----------|
806
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
924
+ | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
807
925
  |-----------------------------------+---------------------+-------+---------+----------|
808
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
926
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 574 | 0 | 0 |
809
927
  |-----------------------------------+---------------------+-------+---------+----------|
810
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
928
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
811
929
  |-----------------------------------+---------------------+-------+---------+----------|
812
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
930
+ | RateLimiterRBACUpgradeableHandler | warp | 564 | 0 | 0 |
813
931
  ╰-----------------------------------+---------------------+-------+---------+----------╯
814
932
 
815
933
  Logs:
816
- Bound result 233
817
- Bound result 3520
818
- Bound result 0
819
- Bound result 9900000000000031117557
820
- Bound result 9900000000000000010811
821
- Bound result 1340
822
- Bound result 2437
823
- Bound result 1
824
- Bound result 9900000000000000002315
825
- Bound result 9900000000000000002334
826
- Bound result 2980
934
+ Bound result 5708337671427
935
+ Bound result 9900000000000000010521
936
+ Bound result 9900000000000392401227
937
+ Bound result 436
827
938
  Bound result 372
828
- Bound result 1031
829
- Bound result 357094978
830
- Bound result 16275783827679738
831
- Bound result 29059407191
832
- Bound result 5359547517205941317792
939
+ Bound result 9900000000000000009484
940
+ Bound result 9900000000000000005794
941
+ Bound result 25
942
+ Bound result 8729
943
+ Bound result 8619594
944
+ Bound result 3
945
+ Bound result 1
946
+ Bound result 8417
947
+ Bound result 3041150531
948
+ Bound result 309441096875285012587
949
+ Bound result 221119527883128
833
950
  Bound result 0
834
- Bound result 18
835
- Bound result 6946150086066
836
- Bound result 143
837
- Bound result 1058274727988249
838
- Bound result 9900000000000000061560
839
- Bound result 9900000000000000000008
840
- Bound result 9975
841
- Bound result 7813
842
- Bound result 1104
843
- Bound result 4192
951
+ Bound result 1085666125
952
+ Bound result 249401335
953
+ Bound result 10504
954
+ Bound result 14267823715142
955
+ Bound result 6176948505773475326926
956
+ Bound result 1737
957
+ Bound result 2879
844
958
 
845
- [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
959
+ [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
846
960
 
847
961
  ╭-----------------------------------+---------------------+-------+---------+----------╮
848
962
  | Contract | Selector | Calls | Reverts | Discards |
849
963
  +======================================================================================+
850
- | RateLimiterRBACUpgradeableHandler | inflow | 566 | 0 | 0 |
964
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
851
965
  |-----------------------------------+---------------------+-------+---------+----------|
852
- | RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
966
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
853
967
  |-----------------------------------+---------------------+-------+---------+----------|
854
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
968
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
855
969
  |-----------------------------------+---------------------+-------+---------+----------|
856
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
970
+ | RateLimiterRBACUpgradeableHandler | setState | 543 | 0 | 0 |
857
971
  |-----------------------------------+---------------------+-------+---------+----------|
858
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 553 | 0 | 0 |
972
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
859
973
  |-----------------------------------+---------------------+-------+---------+----------|
860
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
974
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
861
975
  |-----------------------------------+---------------------+-------+---------+----------|
862
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
976
+ | RateLimiterRBACUpgradeableHandler | warp | 581 | 0 | 0 |
863
977
  ╰-----------------------------------+---------------------+-------+---------+----------╯
864
978
 
865
979
  Logs:
866
- Bound result 1529607345874726805801
867
- Bound result 281689380042
868
- Bound result 1
869
- Bound result 2038094189372
870
- Bound result 1145227586244587372880
871
- Bound result 11483975856814236798
980
+ Bound result 9900000410473872320883
981
+ Bound result 7326762745592037033754
982
+ Bound result 453
983
+ Bound result 775
984
+ Bound result 4833
985
+ Bound result 9704
986
+ Bound result 8698
872
987
  Bound result 1
873
- Bound result 9900000000012117851112
874
- Bound result 9900000010561282953280
875
- Bound result 8727
876
- Bound result 5325
877
- Bound result 7411
878
- Bound result 3352
988
+ Bound result 20483137182420069223
989
+ Bound result 61543842
879
990
  Bound result 0
880
- Bound result 8609167568293329509
881
- Bound result 2015
882
- Bound result 1600246865463284
883
- Bound result 6914167360321475386385
884
- Bound result 18776955064345741961484
885
- Bound result 4
886
- Bound result 9900000000000000009151
887
- Bound result 9900000000000000000437
888
- Bound result 1003
889
- Bound result 9682
890
- Bound result 1676
991
+ Bound result 573
992
+ Bound result 10590612
993
+ Bound result 1601542
994
+ Bound result 64915578567386363716
995
+ Bound result 1
996
+ Bound result 1483
891
997
 
892
- [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
998
+ [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
893
999
 
894
1000
  ╭-----------------------------------+---------------------+-------+---------+----------╮
895
1001
  | Contract | Selector | Calls | Reverts | Discards |
896
1002
  +======================================================================================+
897
- | RateLimiterRBACUpgradeableHandler | inflow | 517 | 0 | 0 |
1003
+ | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
898
1004
  |-----------------------------------+---------------------+-------+---------+----------|
899
- | RateLimiterRBACUpgradeableHandler | outflow | 548 | 0 | 0 |
1005
+ | RateLimiterRBACUpgradeableHandler | outflow | 555 | 0 | 0 |
900
1006
  |-----------------------------------+---------------------+-------+---------+----------|
901
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
1007
+ | RateLimiterRBACUpgradeableHandler | setConfig | 581 | 0 | 0 |
902
1008
  |-----------------------------------+---------------------+-------+---------+----------|
903
- | RateLimiterRBACUpgradeableHandler | setState | 522 | 0 | 0 |
1009
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
904
1010
  |-----------------------------------+---------------------+-------+---------+----------|
905
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
1011
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
906
1012
  |-----------------------------------+---------------------+-------+---------+----------|
907
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
1013
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 539 | 0 | 0 |
908
1014
  |-----------------------------------+---------------------+-------+---------+----------|
909
- | RateLimiterRBACUpgradeableHandler | warp | 598 | 0 | 0 |
1015
+ | RateLimiterRBACUpgradeableHandler | warp | 524 | 0 | 0 |
910
1016
  ╰-----------------------------------+---------------------+-------+---------+----------╯
911
1017
 
912
1018
  Logs:
913
- Bound result 56587054574224038380
914
- Bound result 112295
1019
+ Bound result 2076
1020
+ Bound result 791671134
915
1021
  Bound result 1
916
- Bound result 954
917
- Bound result 219
918
- Bound result 8793
919
- Bound result 52
920
- Bound result 1911
921
- Bound result 5615067107645317276
922
- Bound result 1091433953130072290602
923
- Bound result 30
924
- Bound result 632
925
- Bound result 4113
926
- Bound result 157
1022
+ Bound result 1
1023
+ Bound result 1921532094703472738304
1024
+ Bound result 490
1025
+ Bound result 6785023
1026
+ Bound result 2
1027
+ Bound result 9900000000000000000427
1028
+ Bound result 2534320660579305940083
1029
+ Bound result 1305
1030
+ Bound result 8698
1031
+ Bound result 1732537822583825121481
1032
+ Bound result 9900000000000000006942
1033
+ Bound result 9900000000000000006814
1034
+ Bound result 1955
1035
+ Bound result 9635
1036
+ Bound result 26
1037
+ Bound result 9900000000000000000490
1038
+ Bound result 9900000000000000007508
1039
+ Bound result 895
1040
+ Bound result 3367
1041
+ Bound result 4369
1042
+ Bound result 68
927
1043
 
928
- [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1044
+ [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
929
1045
 
930
1046
  ╭-----------------------------------+---------------------+-------+---------+----------╮
931
1047
  | Contract | Selector | Calls | Reverts | Discards |
932
1048
  +======================================================================================+
933
- | RateLimiterRBACUpgradeableHandler | inflow | 522 | 0 | 0 |
1049
+ | RateLimiterRBACUpgradeableHandler | inflow | 565 | 0 | 0 |
934
1050
  |-----------------------------------+---------------------+-------+---------+----------|
935
- | RateLimiterRBACUpgradeableHandler | outflow | 516 | 0 | 0 |
1051
+ | RateLimiterRBACUpgradeableHandler | outflow | 554 | 0 | 0 |
936
1052
  |-----------------------------------+---------------------+-------+---------+----------|
937
- | RateLimiterRBACUpgradeableHandler | setConfig | 606 | 0 | 0 |
1053
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
938
1054
  |-----------------------------------+---------------------+-------+---------+----------|
939
- | RateLimiterRBACUpgradeableHandler | setState | 517 | 0 | 0 |
1055
+ | RateLimiterRBACUpgradeableHandler | setState | 548 | 0 | 0 |
940
1056
  |-----------------------------------+---------------------+-------+---------+----------|
941
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 550 | 0 | 0 |
1057
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
942
1058
  |-----------------------------------+---------------------+-------+---------+----------|
943
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1059
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
944
1060
  |-----------------------------------+---------------------+-------+---------+----------|
945
- | RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
1061
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
946
1062
  ╰-----------------------------------+---------------------+-------+---------+----------╯
947
1063
 
948
1064
  Logs:
949
- Bound result 118551139
950
- Bound result 50
951
- Bound result 744
952
- Bound result 6914264337593535947490
953
- Bound result 7883777728127644451700
954
- Bound result 1798
955
- Bound result 6242
956
- Bound result 9900000000000000004657
957
- Bound result 9900000000000000000784
958
- Bound result 1806
959
- Bound result 2960
960
- Bound result 3954
961
- Bound result 3996
962
- Bound result 775
1065
+ Bound result 9900000000000000001634
1066
+ Bound result 9900000000000000001190
1067
+ Bound result 655
1068
+ Bound result 1341
1069
+ Bound result 11
1070
+ Bound result 18521532094697525731007
1071
+ Bound result 6448
1072
+ Bound result 9
1073
+ Bound result 459
1074
+ Bound result 613
1075
+ Bound result 8047
1076
+ Bound result 6
1077
+ Bound result 256
1078
+ Bound result 1133441534678322
1079
+ Bound result 6827
1080
+ Bound result 6290559458523853223225
963
1081
  Bound result 100000000000000000000
964
- Bound result 9901619135953819967293
965
- Bound result 9441
966
- Bound result 5258
967
- Bound result 910532549166378892957
968
- Bound result 2523068423147604035088
969
- Bound result 130
970
- Bound result 13
971
- Bound result 1234
1082
+ Bound result 418
972
1083
  Bound result 706
973
- Bound result 8942
974
- Bound result 101
975
- Bound result 4617347904583577432887
1084
+ Bound result 1434
1085
+ Bound result 517440284
1086
+ Bound result 16
976
1087
 
977
- [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1088
+ [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
978
1089
 
979
1090
  ╭-----------------------------------+---------------------+-------+---------+----------╮
980
1091
  | Contract | Selector | Calls | Reverts | Discards |
981
1092
  +======================================================================================+
982
- | RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
1093
+ | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
983
1094
  |-----------------------------------+---------------------+-------+---------+----------|
984
- | RateLimiterRBACUpgradeableHandler | outflow | 549 | 0 | 0 |
1095
+ | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
985
1096
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | setConfig | 538 | 0 | 0 |
1097
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
987
1098
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | setState | 535 | 0 | 0 |
989
1100
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 570 | 0 | 0 |
991
1102
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 576 | 0 | 0 |
993
1104
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
995
1106
  ╰-----------------------------------+---------------------+-------+---------+----------╯
996
1107
 
997
1108
  Logs:
998
- Bound result 640
999
- Bound result 1297
1000
- Bound result 940007554129970160690
1001
- Bound result 9900000000000000000014
1002
- Bound result 5324517840806910671458
1003
- Bound result 1203
1004
- Bound result 2485
1005
- Bound result 3711
1006
- Bound result 9556354957201953382913
1007
- Bound result 9900000001180442916417
1008
- Bound result 9785
1009
- Bound result 21
1010
- Bound result 9328
1011
- Bound result 17317111715800699352597
1012
- Bound result 8105
1013
- Bound result 6904817437082553660385
1014
- Bound result 16205714336120734538111
1015
- Bound result 43356425354532
1109
+ Bound result 9900000000000000005269
1110
+ Bound result 9900000000003615493271
1111
+ Bound result 6528
1112
+ Bound result 2025
1113
+ Bound result 9900000000000001500702
1114
+ Bound result 9900000005292489031424
1115
+ Bound result 6725
1116
+ Bound result 11
1117
+ Bound result 6390
1118
+ Bound result 4620
1119
+ Bound result 1
1120
+ Bound result 9578253808533590535741
1121
+ Bound result 1061909472173344135456
1122
+ Bound result 5645
1123
+ Bound result 2569
1124
+ Bound result 9900000000000000002340
1125
+ Bound result 9900000000002911986124
1126
+ Bound result 3467
1127
+ Bound result 3955
1128
+ Bound result 221
1129
+ Bound result 64
1130
+ Bound result 0
1131
+ Bound result 971
1132
+ Bound result 9900000001564130549282
1133
+ Bound result 158244763677760558214
1134
+ Bound result 10
1135
+ Bound result 9866
1016
1136
 
1017
- [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1137
+ [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1018
1138
 
1019
1139
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1020
1140
  | Contract | Selector | Calls | Reverts | Discards |
1021
1141
  +======================================================================================+
1022
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1142
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
1023
1143
  |-----------------------------------+---------------------+-------+---------+----------|
1024
- | RateLimiterRBACUpgradeableHandler | outflow | 576 | 0 | 0 |
1144
+ | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
1025
1145
  |-----------------------------------+---------------------+-------+---------+----------|
1026
- | RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
1146
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1027
1147
  |-----------------------------------+---------------------+-------+---------+----------|
1028
- | RateLimiterRBACUpgradeableHandler | setState | 582 | 0 | 0 |
1148
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1029
1149
  |-----------------------------------+---------------------+-------+---------+----------|
1030
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
1150
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
1031
1151
  |-----------------------------------+---------------------+-------+---------+----------|
1032
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1152
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 520 | 0 | 0 |
1033
1153
  |-----------------------------------+---------------------+-------+---------+----------|
1034
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
1154
+ | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
1035
1155
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1036
1156
 
1037
1157
  Logs:
1038
- Bound result 1
1039
- Bound result 9900000000000000037486
1040
- Bound result 9900000000000000010558
1041
- Bound result 3775
1042
- Bound result 2788
1043
- Bound result 8
1044
- Bound result 33787
1045
- Bound result 9900000000000000000022
1046
- Bound result 9900000000001799740832
1047
- Bound result 8338
1048
- Bound result 752
1049
- Bound result 76122626670415699186
1050
- Bound result 9900000062872391356745
1051
- Bound result 6870471228488779837948
1052
- Bound result 6240
1053
- Bound result 3254
1158
+ Bound result 3856056067
1054
1159
  Bound result 10285
1055
- Bound result 28
1056
- Bound result 375843440572353
1057
- Bound result 1
1058
- Bound result 1917
1059
- Bound result 40589534639
1060
1160
  Bound result 1
1161
+ Bound result 555
1162
+ Bound result 5638
1163
+ Bound result 10821
1164
+ Bound result 1190
1165
+ Bound result 272
1166
+ Bound result 2072
1167
+ Bound result 9900000000000000009977
1168
+ Bound result 9900000000000000007470
1169
+ Bound result 534
1170
+ Bound result 864
1171
+ Bound result 9900000281474976710941
1172
+ Bound result 9900000000000000003353
1173
+ Bound result 6578
1174
+ Bound result 319
1175
+ Bound result 9900000171588845199039
1176
+ Bound result 9900000000000000000006
1177
+ Bound result 13
1178
+ Bound result 68
1179
+ Bound result 9419
1180
+ Bound result 5000
1181
+ Bound result 7
1182
+ Bound result 7532105494593603836892
1183
+ Bound result 116
1061
1184
 
1062
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 3.99s (21.35s CPU time)
1063
-
1064
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
1065
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
1066
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 104264, ~: 104248)
1067
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 33248)
1068
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18543)
1069
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45828)
1070
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 103114)
1071
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 103488)
1072
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46847, ~: 46847)
1073
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 23351)
1074
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50886)
1075
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 35608)
1076
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 50268)
1077
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17748)
1078
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22754)
1079
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 116081)
1080
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15933)
1081
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 863678)
1082
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32722)
1083
- [PASS] test_integration_TransferAndTransferAgain() (gas: 234392)
1084
- [PASS] test_integration_TransferCancelRetransfer() (gas: 120851)
1085
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15672)
1086
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 18191)
1087
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 47370)
1088
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 93290)
1089
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 94023)
1090
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22885)
1091
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25784)
1092
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 124079)
1093
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 95654)
1094
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 18062)
1095
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
1096
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
1097
- [PASS] test_storageHash() (gas: 3380)
1098
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 4.00s (1.17s CPU time)
1099
-
1100
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1101
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
1102
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 46209)
1103
- [PASS] test_assertNotPaused_Success() (gas: 14891)
1104
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 55680)
1105
- [PASS] test_defaultPaused_InitialState() (gas: 15572)
1106
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 18031)
1107
- [PASS] test_isPaused_Default() (gas: 47316)
1108
- [PASS] test_isPaused_InitialState() (gas: 22172)
1109
- [PASS] test_isPaused_MultipleIDs() (gas: 80142)
1110
- [PASS] test_isPaused_Override() (gas: 75171)
1111
- [PASS] test_isPaused_Specific() (gas: 50105)
1112
- [PASS] test_isPaused_SpecificDisabled() (gas: 55561)
1113
- [PASS] test_pauseConfig() (gas: 51028)
1114
- [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
1115
- [PASS] test_setDefaultPaused() (gas: 42196)
1116
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30777, ~: 42446)
1117
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
1118
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
1119
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
1120
- [PASS] test_setDefaultPaused_Success() (gas: 40744)
1121
- [PASS] test_setPaused() (gas: 48361)
1122
- [PASS] test_setPaused_DormantData() (gas: 295234)
1123
- [PASS] test_setPaused_EmptyArray() (gas: 15702)
1124
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
1125
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43803, ~: 48533)
1126
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223487, ~: 216804)
1127
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
1128
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
1129
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
1130
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 24037)
1131
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 130805)
1132
- [PASS] test_setPaused_Success() (gas: 45897)
1133
- [PASS] test_setPaused_Success_Batch() (gas: 345312)
1134
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45858)
1135
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45875)
1136
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241273)
1137
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
1138
- [PASS] test_setPaused_Success_Toggle() (gas: 58022)
1139
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
1140
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61965, ~: 50341)
1141
- [PASS] test_storageHash() (gas: 3392)
1142
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
1143
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
1144
- [PASS] test_whenNotPaused_Success() (gas: 41299)
1145
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
1146
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
1147
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
1148
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 18.46s (2.39s CPU time)
1185
+ [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1149
1186
 
1150
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
1151
- [PASS] test_feeDeposit() (gas: 17638)
1152
- [PASS] test_setFeeDeposit() (gas: 27596)
1153
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
1154
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
1155
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
1156
- [PASS] test_storageHash() (gas: 3315)
1157
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 18.47s (225.24ms CPU time)
1187
+ ╭-----------------------------------+---------------------+-------+---------+----------╮
1188
+ | Contract | Selector | Calls | Reverts | Discards |
1189
+ +======================================================================================+
1190
+ | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1191
+ |-----------------------------------+---------------------+-------+---------+----------|
1192
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
1193
+ |-----------------------------------+---------------------+-------+---------+----------|
1194
+ | RateLimiterRBACUpgradeableHandler | setConfig | 530 | 0 | 0 |
1195
+ |-----------------------------------+---------------------+-------+---------+----------|
1196
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
1197
+ |-----------------------------------+---------------------+-------+---------+----------|
1198
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 578 | 0 | 0 |
1199
+ |-----------------------------------+---------------------+-------+---------+----------|
1200
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1201
+ |-----------------------------------+---------------------+-------+---------+----------|
1202
+ | RateLimiterRBACUpgradeableHandler | warp | 534 | 0 | 0 |
1203
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
1158
1204
 
1159
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1160
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1161
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1162
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44607, ~: 46317)
1163
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1164
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1165
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1166
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1167
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1168
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1169
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1170
- [PASS] test_getFee_Default() (gas: 40577)
1171
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43129, ~: 44486)
1172
- [PASS] test_getFee_Rounding() (gas: 42835)
1173
- [PASS] test_getFee_Specific() (gas: 63968)
1174
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1175
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1176
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32748, ~: 39667)
1177
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1178
- [PASS] test_setFeeBps() (gas: 73871)
1179
1205
  Logs:
1180
- Bound result 500
1206
+ Bound result 491
1207
+ Bound result 216897720102
1208
+ Bound result 649
1209
+ Bound result 1759102697457855199805
1210
+ Bound result 1784557080229108653004
1211
+ Bound result 0
1212
+ Bound result 54
1213
+ Bound result 9900000000000000000045
1214
+ Bound result 9900000000000000010179
1215
+ Bound result 5306
1216
+ Bound result 472
1217
+ Bound result 100000000000000000000
1218
+ Bound result 9900000000000005596392
1219
+ Bound result 283
1220
+ Bound result 43
1221
+ Bound result 199999999999999999997
1222
+ Bound result 3059
1223
+ Bound result 1
1224
+ Bound result 2
1225
+ Bound result 1859919432681943025
1226
+ Bound result 0
1227
+ Bound result 2017425868
1228
+ Bound result 4146265822904
1229
+ Bound result 1
1230
+ Bound result 247
1231
+ Bound result 25751994751358375348
1232
+ Bound result 4108046350789
1233
+ Bound result 3
1234
+ Bound result 3374409
1235
+ Bound result 393
1181
1236
 
1182
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65149, ~: 74224)
1183
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1184
- [PASS] test_storageHash() (gas: 3426)
1185
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 18.47s (1.26s CPU time)
1237
+ [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1238
+
1239
+ ╭-----------------------------------+---------------------+-------+---------+----------╮
1240
+ | Contract | Selector | Calls | Reverts | Discards |
1241
+ +======================================================================================+
1242
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
1243
+ |-----------------------------------+---------------------+-------+---------+----------|
1244
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1245
+ |-----------------------------------+---------------------+-------+---------+----------|
1246
+ | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
1247
+ |-----------------------------------+---------------------+-------+---------+----------|
1248
+ | RateLimiterRBACUpgradeableHandler | setState | 530 | 0 | 0 |
1249
+ |-----------------------------------+---------------------+-------+---------+----------|
1250
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 558 | 0 | 0 |
1251
+ |-----------------------------------+---------------------+-------+---------+----------|
1252
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 579 | 0 | 0 |
1253
+ |-----------------------------------+---------------------+-------+---------+----------|
1254
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
1255
+ ╰-----------------------------------+---------------------+-------+---------+----------╯
1186
1256
 
1187
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1188
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1189
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1190
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47786, ~: 48966)
1191
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1192
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1193
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1194
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1195
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1196
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1197
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1198
- [PASS] test_getFee_Default() (gas: 43108)
1199
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45520, ~: 47017)
1200
- [PASS] test_getFee_Rounding() (gas: 45449)
1201
- [PASS] test_getFee_Specific() (gas: 66985)
1202
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1203
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1204
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35268, ~: 42268)
1205
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1206
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1207
- [PASS] test_setFeeBps() (gas: 77237)
1208
1257
  Logs:
1209
- Bound result 500
1258
+ Bound result 29628148039
1259
+ Bound result 1720
1260
+ Bound result 545787233035
1261
+ Bound result 9900002350426738863415
1262
+ Bound result 6914264337593535947490
1263
+ Bound result 3025
1264
+ Bound result 4139
1265
+ Bound result 1496
1266
+ Bound result 326939
1267
+ Bound result 1
1268
+ Bound result 5548
1269
+ Bound result 615
1270
+ Bound result 2634
1271
+ Bound result 5531
1272
+ Bound result 986008069
1273
+ Bound result 14060206787396774519237
1274
+ Bound result 11932266809739534684545
1275
+ Bound result 1772
1276
+ Bound result 6026
1277
+ Bound result 5123
1278
+ Bound result 3142
1210
1279
 
1211
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69286, ~: 77570)
1212
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1213
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1214
- [PASS] test_storageHash() (gas: 3436)
1215
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 18.47s (1.04s CPU time)
1280
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.37s (8.43s CPU time)
1281
+
1282
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
1283
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27532, ~: 41090)
1284
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
1285
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
1286
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
1287
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
1288
+ [PASS] test_isPaused_InitialState() (gas: 15629)
1289
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
1290
+ [PASS] test_multipleRoleGrants() (gas: 394130)
1291
+ [PASS] test_pause() (gas: 42109)
1292
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
1293
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
1294
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30567, ~: 30567)
1295
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
1296
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
1297
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
1298
+ [PASS] test_setPaused_Success() (gas: 40691)
1299
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
1300
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
1301
+ [PASS] test_storageHash() (gas: 3414)
1302
+ [PASS] test_unpause() (gas: 35177)
1303
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41647, ~: 38860)
1304
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
1305
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
1306
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
1307
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
1308
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
1309
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
1310
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 13.47s (211.80ms CPU time)
1216
1311
 
1217
1312
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1218
1313
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1219
1314
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1220
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 810546, ~: 219651)
1315
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 772189, ~: 185312)
1221
1316
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1222
1317
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1223
1318
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1230,12 +1325,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1230
1325
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1231
1326
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1232
1327
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1233
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11216422, ~: 10531129)
1328
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11217890, ~: 10606771)
1234
1329
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1235
1330
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1236
1331
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1237
1332
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1238
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 709584, ~: 141774)
1333
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 735367, ~: 124769)
1239
1334
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1240
1335
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1241
1336
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1248,10 +1343,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1248
1343
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1249
1344
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1250
1345
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1251
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11163137, ~: 10452137)
1346
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11111740, ~: 10278150)
1252
1347
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1253
1348
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1254
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 18.62s (46.83s CPU time)
1349
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 13.47s (31.03s CPU time)
1255
1350
 
1256
- Ran 17 test suites in 18.65s (121.28s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1257
- ⏳ forge test: 40.712s
1351
+ Ran 17 test suites in 13.49s (36.52s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1352
+ ⏳ forge test: 27.790s