@layerzerolabs/utils-upgradeable-evm-contracts 1.2.6 → 1.2.8

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (2) hide show
  1. package/.turbo/turbo-test.log +678 -708
  2. package/package.json +4 -4
package/.turbo/turbo-test.log CHANGED
@@ -4,96 +4,23 @@
4
4
 
5
5
  ✅ forge-1.3.6-hardhat-2.26.3
6
6
  🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-2xnn7P
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-JjjP8i
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:88317) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
10
+ (node:199178) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
11
11
  Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
12
  To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
13
  (Use `node --trace-warnings ...` to show where the warning was created)
14
14
  📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-2xnn7P:/workspace
15
+ -v /tmp/lz-scoped-workspace-JjjP8i:/workspace
16
16
  -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
17
  -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
18
18
  $ docker image inspect --format {{.Architecture}} 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
- 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
20
- 📥 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
21
- $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
22
- forge-1.3.6-hardhat-2.26.3-patch-3: Pulling from layerzerolabs/evm-tooling
23
- 86ec798129ac: Pulling fs layer
24
- eef7c391911c: Pulling fs layer
25
- cc2ecf4065b7: Pulling fs layer
26
- 5760fdd70374: Pulling fs layer
27
- c70db14240a1: Pulling fs layer
28
- 0cb2c6965bde: Pulling fs layer
29
- 885bca26f927: Pulling fs layer
30
- 8e167e77288f: Pulling fs layer
31
- 45d43cc973ba: Pulling fs layer
32
- 44c09156221f: Pulling fs layer
33
- eef7c391911c: Download complete
34
- f2fb700979ad: Pulling fs layer
35
- 2a1ced882ba9: Pulling fs layer
36
- 597168d5c38e: Pulling fs layer
37
- e431adaf232f: Pulling fs layer
38
- 8e167e77288f: Waiting
39
- 36e15e3f2788: Pulling fs layer
40
- c70db14240a1: Waiting
41
- 36e15e3f2788: Waiting
42
- 0cb2c6965bde: Waiting
43
- 885bca26f927: Waiting
44
- 45d43cc973ba: Waiting
45
- 44c09156221f: Waiting
46
- f2fb700979ad: Waiting
47
- 2a1ced882ba9: Waiting
48
- 597168d5c38e: Waiting
49
- e431adaf232f: Waiting
50
- 5760fdd70374: Verifying Checksum
51
- 5760fdd70374: Download complete
52
- 86ec798129ac: Verifying Checksum
53
- 86ec798129ac: Download complete
54
- c70db14240a1: Verifying Checksum
55
- c70db14240a1: Download complete
56
- cc2ecf4065b7: Verifying Checksum
57
- cc2ecf4065b7: Download complete
58
- 8e167e77288f: Verifying Checksum
59
- 8e167e77288f: Download complete
60
- 86ec798129ac: Pull complete
61
- eef7c391911c: Pull complete
62
- 45d43cc973ba: Download complete
63
- 0cb2c6965bde: Verifying Checksum
64
- 0cb2c6965bde: Download complete
65
- 44c09156221f: Verifying Checksum
66
- 44c09156221f: Download complete
67
- f2fb700979ad: Download complete
68
- cc2ecf4065b7: Pull complete
69
- 597168d5c38e: Download complete
70
- 5760fdd70374: Pull complete
71
- c70db14240a1: Pull complete
72
- 0cb2c6965bde: Pull complete
73
- 2a1ced882ba9: Verifying Checksum
74
- 2a1ced882ba9: Download complete
75
- 36e15e3f2788: Verifying Checksum
76
- 36e15e3f2788: Download complete
77
- e431adaf232f: Download complete
78
- 885bca26f927: Verifying Checksum
79
- 885bca26f927: Download complete
80
- 885bca26f927: Pull complete
81
- 8e167e77288f: Pull complete
82
- 45d43cc973ba: Pull complete
83
- 44c09156221f: Pull complete
84
- f2fb700979ad: Pull complete
85
- 2a1ced882ba9: Pull complete
86
- 597168d5c38e: Pull complete
87
- e431adaf232f: Pull complete
88
- 36e15e3f2788: Pull complete
89
- Digest: sha256:08b858b586759ec59f4df44c0bc5eac9f856a1eb32b6ce37f79f31a20a89ed52
90
- 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
91
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
92
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3
19
+ ✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 (amd64)
93
20
  👤 Running container as UID:GID 1001:1001
94
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-2xnn7P:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
21
+ $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-JjjP8i:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
95
22
  Compiling 84 files with Solc 0.8.22
96
- Solc 0.8.22 finished in 10.82s
23
+ Solc 0.8.22 finished in 12.27s
97
24
  Compiler run successful with warnings:
98
25
  Warning (2018): Function state mutability can be restricted to view
99
26
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -252,7 +179,7 @@ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeabl
252
179
  [PASS] test_setRateLimitStates_Single() (gas: 49974)
253
180
  [PASS] test_storageHash() (gas: 3414)
254
181
  [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
255
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 10.90ms (7.67ms CPU time)
182
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 42.86ms (40.18ms CPU time)
256
183
 
257
184
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
258
185
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
@@ -295,24 +222,91 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
295
222
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
296
223
  [PASS] test_storageHash() (gas: 3392)
297
224
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
298
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 25.13ms (18.60ms CPU time)
225
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 41.52ms (32.34ms CPU time)
226
+
227
+ Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
228
+ [PASS] test_feeDeposit() (gas: 17576)
229
+ [PASS] test_setFeeDeposit() (gas: 24995)
230
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
231
+ [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
232
+ [PASS] test_storageHash() (gas: 3337)
233
+ Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 57.61ms (57.08ms CPU time)
299
234
 
300
235
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
301
236
  [PASS] test_feeDeposit() (gas: 17638)
302
237
  [PASS] test_setFeeDeposit() (gas: 27596)
303
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
238
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
304
239
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
305
240
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
306
241
  [PASS] test_storageHash() (gas: 3315)
307
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 55.97ms (55.08ms CPU time)
242
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 48.22ms (47.65ms CPU time)
308
243
 
309
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
310
- [PASS] test_feeDeposit() (gas: 17576)
311
- [PASS] test_setFeeDeposit() (gas: 24995)
312
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
313
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
314
- [PASS] test_storageHash() (gas: 3337)
315
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 57.81ms (57.08ms CPU time)
244
+ Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
245
+ [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
246
+ [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
247
+ [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
248
+ [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
249
+ [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3387, ~: 3383)
250
+ [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
251
+ [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
252
+ [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
253
+ [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
254
+ [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
255
+ Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 134.83ms (49.60ms CPU time)
256
+
257
+ Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
258
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
259
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
260
+ [PASS] test_assertNotPaused_Success() (gas: 12516)
261
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
262
+ [PASS] test_isPaused_InitialState() (gas: 15595)
263
+ [PASS] test_pause() (gas: 39592)
264
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28370, ~: 39861)
265
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
266
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
267
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
268
+ [PASS] test_storageHash() (gas: 3414)
269
+ [PASS] test_unpause() (gas: 31115)
270
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40388, ~: 38893)
271
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
272
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
273
+ [PASS] test_whenNotPaused_Success() (gas: 38744)
274
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
275
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
276
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
277
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 163.43ms (306.26ms CPU time)
278
+
279
+ Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
280
+ [PASS] test_SwitchModes_PreservesState() (gas: 186406)
281
+ [PASS] test_constructor_InitialMode() (gas: 15578)
282
+ [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
283
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
284
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
285
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
286
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
287
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
288
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
289
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
290
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
291
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
292
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
293
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
294
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
295
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
296
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
297
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
298
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
299
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
300
+ [PASS] test_setMode_Blacklist() (gas: 40021)
301
+ [PASS] test_setMode_MultipleChanges() (gas: 39734)
302
+ [PASS] test_setMode_RevertSameMode() (gas: 45674)
303
+ [PASS] test_setMode_Whitelist() (gas: 40108)
304
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
305
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
306
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
307
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
308
+ [PASS] test_storageHash() (gas: 3458)
309
+ Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 229.11ms (424.65ms CPU time)
316
310
 
317
311
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
318
312
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -348,12 +342,12 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
348
342
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
349
343
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
350
344
  [PASS] test_storageHash() (gas: 3380)
351
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 223.02ms (297.53ms CPU time)
345
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 313.57ms (379.08ms CPU time)
352
346
 
353
347
  Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
354
348
  [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
355
349
  [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
356
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47712, ~: 48966)
350
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47538, ~: 48966)
357
351
  [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
358
352
  [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
359
353
  [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
@@ -362,23 +356,23 @@ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTes
362
356
  [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
363
357
  [PASS] test_getFee_BoundaryConditions() (gas: 75442)
364
358
  [PASS] test_getFee_Default() (gas: 43108)
365
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45761, ~: 47017)
359
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45715, ~: 47017)
366
360
  [PASS] test_getFee_Rounding() (gas: 45449)
367
361
  [PASS] test_getFee_Specific() (gas: 66985)
368
362
  [PASS] test_getFee_SpecificDisabled() (gas: 66943)
369
363
  [PASS] test_setDefaultFeeBps() (gas: 42199)
370
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34740, ~: 42268)
364
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 35268, ~: 42268)
371
365
  [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
372
366
  [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
373
367
  [PASS] test_setFeeBps() (gas: 77237)
374
368
  Logs:
375
369
  Bound result 500
376
370
 
377
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69056, ~: 77570)
371
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68954, ~: 77570)
378
372
  [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
379
373
  [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
380
374
  [PASS] test_storageHash() (gas: 3436)
381
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 453.44ms (728.31ms CPU time)
375
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 501.41ms (601.29ms CPU time)
382
376
 
383
377
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
384
378
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -396,7 +390,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
396
390
  [PASS] test_pauseConfig() (gas: 51028)
397
391
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
398
392
  [PASS] test_setDefaultPaused() (gas: 42196)
399
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
393
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30659, ~: 42446)
400
394
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
401
395
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
402
396
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -405,8 +399,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
405
399
  [PASS] test_setPaused_DormantData() (gas: 295234)
406
400
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
407
401
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
408
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43701, ~: 48533)
409
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222866, ~: 216804)
402
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43765, ~: 48696)
403
+ [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222875, ~: 216804)
410
404
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
411
405
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
412
406
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -420,7 +414,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
420
414
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
421
415
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
422
416
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
423
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62240, ~: 50341)
417
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62067, ~: 50341)
424
418
  [PASS] test_storageHash() (gas: 3392)
425
419
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
426
420
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -428,95 +422,100 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
428
422
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
429
423
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
430
424
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
431
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 946.55ms (678.48ms CPU time)
425
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 1.22s (801.43ms CPU time)
432
426
 
433
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
434
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
435
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
436
- [PASS] test_assertNotPaused_Success() (gas: 14934)
437
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
438
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
439
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
440
- [PASS] test_isPaused_Default() (gas: 44698)
441
- [PASS] test_isPaused_InitialState() (gas: 22070)
442
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
443
- [PASS] test_isPaused_Override() (gas: 69381)
444
- [PASS] test_isPaused_Specific() (gas: 46709)
445
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
446
- [PASS] test_pauseConfig() (gas: 45626)
447
- [PASS] test_setDefaultPaused() (gas: 39667)
448
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28125, ~: 28125)
449
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
450
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
451
- [PASS] test_setPaused() (gas: 43060)
452
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
453
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38179, ~: 43373)
454
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
455
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
456
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
457
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58773, ~: 69608)
458
- [PASS] test_storageHash() (gas: 3480)
459
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
460
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
461
- [PASS] test_whenNotPaused_Success() (gas: 41297)
462
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
463
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
464
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
465
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.23s (455.28ms CPU time)
427
+ Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
428
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
429
+ [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
430
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45007, ~: 46317)
431
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
432
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
433
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
434
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
435
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
436
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
437
+ [PASS] test_getFee_BoundaryConditions() (gas: 71791)
438
+ [PASS] test_getFee_Default() (gas: 40577)
439
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43049, ~: 44486)
440
+ [PASS] test_getFee_Rounding() (gas: 42835)
441
+ [PASS] test_getFee_Specific() (gas: 63968)
442
+ [PASS] test_getFee_SpecificDisabled() (gas: 63920)
443
+ [PASS] test_setDefaultFeeBps() (gas: 39576)
444
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31906, ~: 39667)
445
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
446
+ [PASS] test_setFeeBps() (gas: 73871)
447
+ Logs:
448
+ Bound result 500
466
449
 
467
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
468
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
469
- [PASS] test_constructor_InitialMode() (gas: 15578)
470
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
471
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
472
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
473
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110068, ~: 110088)
474
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
475
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
476
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
477
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110030, ~: 110030)
478
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
479
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
480
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
481
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
482
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
483
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
484
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
485
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
486
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
487
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
488
- [PASS] test_setMode_Blacklist() (gas: 40021)
489
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
490
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
491
- [PASS] test_setMode_Whitelist() (gas: 40108)
492
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
493
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
494
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
495
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
496
- [PASS] test_storageHash() (gas: 3458)
497
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 1.24s (357.44ms CPU time)
450
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65491, ~: 74224)
451
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
452
+ [PASS] test_storageHash() (gas: 3426)
453
+ Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.29s (414.05ms CPU time)
498
454
 
499
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
500
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26060, ~: 38584)
501
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
502
- [PASS] test_assertNotPaused_Success() (gas: 12516)
503
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
504
- [PASS] test_isPaused_InitialState() (gas: 15595)
505
- [PASS] test_pause() (gas: 39592)
506
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27543, ~: 16219)
507
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
508
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
509
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
455
+ Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
456
+ [PASS] test_SwitchModes_PreservesState() (gas: 195548)
457
+ [PASS] test_constructor_InitialMode() (gas: 15778)
458
+ [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
459
+ [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
460
+ [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
461
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
462
+ [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
463
+ [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
464
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
465
+ [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
466
+ [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
467
+ [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
468
+ [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
469
+ [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
470
+ [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
471
+ [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
472
+ [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
473
+ [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
474
+ [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
475
+ [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
476
+ [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
477
+ [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
478
+ [PASS] test_setMode_Blacklist() (gas: 42605)
479
+ [PASS] test_setMode_MultipleChanges() (gas: 43274)
480
+ [PASS] test_setMode_RevertSameMode() (gas: 51355)
481
+ [PASS] test_setMode_Whitelist() (gas: 42714)
482
+ [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
483
+ [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
484
+ [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
485
+ [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
486
+ [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
487
+ [PASS] test_storageHash() (gas: 3480)
488
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 1.39s (522.81ms CPU time)
489
+
490
+ Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
491
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27221, ~: 41090)
492
+ [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
493
+ [PASS] test_assertNotPaused_Success() (gas: 12539)
494
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
495
+ [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
496
+ [PASS] test_isPaused_InitialState() (gas: 15629)
497
+ [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
498
+ [PASS] test_multipleRoleGrants() (gas: 394130)
499
+ [PASS] test_pause() (gas: 42109)
500
+ [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
501
+ [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
502
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30897, ~: 42378)
503
+ [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
504
+ [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
505
+ [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
506
+ [PASS] test_setPaused_Success() (gas: 40691)
507
+ [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
508
+ [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
510
509
  [PASS] test_storageHash() (gas: 3414)
511
- [PASS] test_unpause() (gas: 31115)
512
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40479, ~: 42029)
513
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
514
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
515
- [PASS] test_whenNotPaused_Success() (gas: 38744)
516
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
517
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
518
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
519
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.27s (152.61ms CPU time)
510
+ [PASS] test_unpause() (gas: 35177)
511
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41686, ~: 44479)
512
+ [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
513
+ [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
514
+ [PASS] test_whenNotPaused_Success() (gas: 38800)
515
+ [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
516
+ [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
517
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
518
+ Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.39s (277.21ms CPU time)
520
519
 
521
520
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
522
521
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -524,370 +523,349 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
524
523
  ╭-----------------------------------+---------------------+-------+---------+----------╮
525
524
  | Contract | Selector | Calls | Reverts | Discards |
526
525
  +======================================================================================+
527
- | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
526
+ | RateLimiterRBACUpgradeableHandler | inflow | 508 | 0 | 0 |
528
527
  |-----------------------------------+---------------------+-------+---------+----------|
529
- | RateLimiterRBACUpgradeableHandler | outflow | 497 | 0 | 0 |
528
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
530
529
  |-----------------------------------+---------------------+-------+---------+----------|
531
- | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
530
+ | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
532
531
  |-----------------------------------+---------------------+-------+---------+----------|
533
- | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
532
+ | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
534
533
  |-----------------------------------+---------------------+-------+---------+----------|
535
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 567 | 0 | 0 |
534
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
536
535
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
536
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
538
537
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
538
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
540
539
  ╰-----------------------------------+---------------------+-------+---------+----------╯
541
540
 
542
541
  Logs:
543
- Bound result 9900210352301901433851
544
- Bound result 125781406400045477782
545
- Bound result 1600
546
- Bound result 4942
547
- Bound result 133576890438448197743
548
- Bound result 4636
549
- Bound result 33523003
550
- Bound result 4894150171150151760
551
- Bound result 1
552
- Bound result 9900000000000000000215
553
- Bound result 9900000003029251969767
554
- Bound result 7656
555
- Bound result 9606
556
- Bound result 1
557
- Bound result 1446849600210782
558
- Bound result 0
559
- Bound result 0
560
- Bound result 10451
561
- Bound result 37667
562
- Bound result 0
563
- Bound result 4911
542
+ Bound result 452
543
+ Bound result 9900000000023720904299
544
+ Bound result 9900000037601110189097
545
+ Bound result 1620
546
+ Bound result 6687
547
+ Bound result 9900000000000411029180
548
+ Bound result 6914264337593535947489
549
+ Bound result 3123
550
+ Bound result 1378
551
+ Bound result 46
552
+ Bound result 26859
553
+ Bound result 3352
554
+ Bound result 3
555
+ Bound result 1229
556
+ Bound result 8307
557
+ Bound result 4812421941287723879844
558
+ Bound result 5575
559
+ Bound result 9900000000000000005818
560
+ Bound result 9900000000000000001147
561
+ Bound result 6052
562
+ Bound result 7448
564
563
 
565
564
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
566
565
 
567
566
  ╭-----------------------------------+---------------------+-------+---------+----------╮
568
567
  | Contract | Selector | Calls | Reverts | Discards |
569
568
  +======================================================================================+
570
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
569
+ | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
571
570
  |-----------------------------------+---------------------+-------+---------+----------|
572
- | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
571
+ | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
573
572
  |-----------------------------------+---------------------+-------+---------+----------|
574
- | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
573
+ | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
575
574
  |-----------------------------------+---------------------+-------+---------+----------|
576
- | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
575
+ | RateLimiterRBACUpgradeableHandler | setState | 588 | 0 | 0 |
577
576
  |-----------------------------------+---------------------+-------+---------+----------|
578
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
577
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
579
578
  |-----------------------------------+---------------------+-------+---------+----------|
580
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
579
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 541 | 0 | 0 |
581
580
  |-----------------------------------+---------------------+-------+---------+----------|
582
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
581
+ | RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
583
582
  ╰-----------------------------------+---------------------+-------+---------+----------╯
584
583
 
585
584
  Logs:
586
- Bound result 7275
587
- Bound result 7001433124
588
- Bound result 9900000000007001433124
589
- Bound result 9900000000007001433124
590
- Bound result 7478
591
- Bound result 1549
592
- Bound result 17063114209954081193973
593
- Bound result 1020
594
- Bound result 24
595
- Bound result 982
585
+ Bound result 1548580883601478649517
586
+ Bound result 4479867
587
+ Bound result 1
588
+ Bound result 275326166901063307525
589
+ Bound result 514264337593504336253
590
+ Bound result 216734224410546591882
591
+ Bound result 0
592
+ Bound result 1874863407976662570135
593
+ Bound result 714458837924287871680
594
+ Bound result 9900000000000508542456
595
+ Bound result 9900000000000000000407
596
+ Bound result 8995
597
+ Bound result 7820
598
+ Bound result 4602884991323874048850
599
+ Bound result 9900027881197501094996
600
+ Bound result 377
601
+ Bound result 31
602
+ Bound result 144
603
+ Bound result 73213732616918306116
604
+ Bound result 9900000000000000005621
605
+ Bound result 9991855308653467102964
606
+ Bound result 3463
607
+ Bound result 687
608
+ Bound result 775
609
+ Bound result 1348
596
610
 
597
611
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
598
612
 
599
613
  ╭-----------------------------------+---------------------+-------+---------+----------╮
600
614
  | Contract | Selector | Calls | Reverts | Discards |
601
615
  +======================================================================================+
602
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
616
+ | RateLimiterRBACUpgradeableHandler | inflow | 580 | 0 | 0 |
603
617
  |-----------------------------------+---------------------+-------+---------+----------|
604
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
618
+ | RateLimiterRBACUpgradeableHandler | outflow | 541 | 0 | 0 |
605
619
  |-----------------------------------+---------------------+-------+---------+----------|
606
- | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
620
+ | RateLimiterRBACUpgradeableHandler | setConfig | 599 | 0 | 0 |
607
621
  |-----------------------------------+---------------------+-------+---------+----------|
608
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
622
+ | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
609
623
  |-----------------------------------+---------------------+-------+---------+----------|
610
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
624
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
611
625
  |-----------------------------------+---------------------+-------+---------+----------|
612
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
626
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
613
627
  |-----------------------------------+---------------------+-------+---------+----------|
614
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
628
+ | RateLimiterRBACUpgradeableHandler | warp | 519 | 0 | 0 |
615
629
  ╰-----------------------------------+---------------------+-------+---------+----------╯
616
630
 
617
631
  Logs:
618
- Bound result 2714913134292695148
619
- Bound result 514264337593543950334
620
- Bound result 7331
621
- Bound result 7221
622
- Bound result 1239
623
- Bound result 66950757752885493
624
- Bound result 9900000000000000008303
625
- Bound result 9900000000000000006942
626
- Bound result 9703
627
- Bound result 7626
628
- Bound result 11968
629
- Bound result 8922
630
- Bound result 3039588254444706
632
+ Bound result 1736814038240406134510
633
+ Bound result 1058
634
+ Bound result 718
635
+ Bound result 6554
636
+ Bound result 113
637
+ Bound result 255
638
+ Bound result 1481
639
+ Bound result 9449
640
+ Bound result 990
641
+ Bound result 943
642
+ Bound result 29737036263899241466
643
+ Bound result 1177839823627468095543
644
+ Bound result 3073559828434448285249
645
+ Bound result 4612
646
+ Bound result 2682
647
+ Bound result 12934
648
+ Bound result 9900000000029706865942
649
+ Bound result 9660994027430679475617
650
+ Bound result 3015
651
+ Bound result 96
652
+ Bound result 9900000000000000003047
653
+ Bound result 9900000000000000001172
654
+ Bound result 2335
655
+ Bound result 72
631
656
 
632
657
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
633
658
 
634
659
  ╭-----------------------------------+---------------------+-------+---------+----------╮
635
660
  | Contract | Selector | Calls | Reverts | Discards |
636
661
  +======================================================================================+
637
- | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
662
+ | RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
638
663
  |-----------------------------------+---------------------+-------+---------+----------|
639
- | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
664
+ | RateLimiterRBACUpgradeableHandler | outflow | 520 | 0 | 0 |
640
665
  |-----------------------------------+---------------------+-------+---------+----------|
641
- | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
666
+ | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
642
667
  |-----------------------------------+---------------------+-------+---------+----------|
643
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
668
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
644
669
  |-----------------------------------+---------------------+-------+---------+----------|
645
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
670
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
646
671
  |-----------------------------------+---------------------+-------+---------+----------|
647
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
672
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
648
673
  |-----------------------------------+---------------------+-------+---------+----------|
649
- | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
674
+ | RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
650
675
  ╰-----------------------------------+---------------------+-------+---------+----------╯
651
676
 
652
677
  Logs:
653
- Bound result 1158
654
- Bound result 3312189255
655
- Bound result 0
656
- Bound result 0
657
- Bound result 237726627878398835118
658
- Bound result 2061
659
- Bound result 494
660
- Bound result 9900000000000000001417
661
- Bound result 9900000000003788300596
662
- Bound result 5149
663
- Bound result 1019
664
- Bound result 9900001693986341245327
665
- Bound result 6914264337593535947489
666
- Bound result 5887
667
- Bound result 13
668
- Bound result 222
669
- Bound result 6484
670
- Bound result 9907223772126732767255
671
- Bound result 9903118398005965723160
672
- Bound result 6241
673
- Bound result 4883
674
- Bound result 1636
678
+ Bound result 1931
679
+ Bound result 815
680
+ Bound result 1
681
+ Bound result 68
682
+ Bound result 155444206180294169609
683
+ Bound result 283342707
684
+ Bound result 116977713357590587
685
+ Bound result 720
686
+ Bound result 9900000000126678020215
687
+ Bound result 100000000000000000003
688
+ Bound result 4558
689
+ Bound result 3417
690
+ Bound result 14255
691
+ Bound result 11
692
+ Bound result 1435
675
693
 
676
694
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
677
695
 
678
696
  ╭-----------------------------------+---------------------+-------+---------+----------╮
679
697
  | Contract | Selector | Calls | Reverts | Discards |
680
698
  +======================================================================================+
681
- | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
699
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
682
700
  |-----------------------------------+---------------------+-------+---------+----------|
683
- | RateLimiterRBACUpgradeableHandler | outflow | 590 | 0 | 0 |
701
+ | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
684
702
  |-----------------------------------+---------------------+-------+---------+----------|
685
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
703
+ | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
686
704
  |-----------------------------------+---------------------+-------+---------+----------|
687
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
705
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
688
706
  |-----------------------------------+---------------------+-------+---------+----------|
689
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
707
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
690
708
  |-----------------------------------+---------------------+-------+---------+----------|
691
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
709
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 538 | 0 | 0 |
692
710
  |-----------------------------------+---------------------+-------+---------+----------|
693
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
711
+ | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
694
712
  ╰-----------------------------------+---------------------+-------+---------+----------╯
695
713
 
696
714
  Logs:
697
- Bound result 119676706
698
- Bound result 514264337593504336253
699
- Bound result 0
700
- Bound result 129
701
- Bound result 6259
702
- Bound result 9900000000000000000019
703
- Bound result 999999999999999999999
704
- Bound result 2241
705
- Bound result 278
706
- Bound result 44743650287977
707
- Bound result 9900000000000000001654
708
- Bound result 9900000000000000005552
709
- Bound result 746
710
- Bound result 10
711
- Bound result 9900000000000000009944
712
- Bound result 9900000000000000006246
713
- Bound result 8691
714
- Bound result 6718
715
- Bound result 14151
716
- Bound result 11338983309781961069546
717
- Bound result 260526
718
- Bound result 1037
719
- Bound result 8014
720
- Bound result 8419
721
- Bound result 2139
722
- Bound result 1311
723
- Bound result 8780606157393255962297
724
- Bound result 119676705
725
- Bound result 4320
726
- Bound result 100000000000000000000
727
- Bound result 9900000000000000000505
728
- Bound result 2063
729
- Bound result 9023
715
+ Bound result 811
716
+ Bound result 582
717
+ Bound result 8397
718
+ Bound result 1399
719
+ Bound result 9351
720
+ Bound result 9900000000000027395763
721
+ Bound result 100000000000000000002
722
+ Bound result 3187
723
+ Bound result 9341
724
+ Bound result 2416
725
+ Bound result 791671132
726
+ Bound result 561
727
+ Bound result 6
728
+ Bound result 35449142038
729
+ Bound result 750100
730
+ Bound result 22
731
+ Bound result 2419
732
+ Bound result 9900000000000000000232
733
+ Bound result 9900000000004294967296
734
+ Bound result 2461
735
+ Bound result 2096
730
736
 
731
737
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
732
738
 
733
739
  ╭-----------------------------------+---------------------+-------+---------+----------╮
734
740
  | Contract | Selector | Calls | Reverts | Discards |
735
741
  +======================================================================================+
736
- | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | inflow | 547 | 0 | 0 |
737
743
  |-----------------------------------+---------------------+-------+---------+----------|
738
- | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | outflow | 562 | 0 | 0 |
739
745
  |-----------------------------------+---------------------+-------+---------+----------|
740
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
741
747
  |-----------------------------------+---------------------+-------+---------+----------|
742
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | setState | 508 | 0 | 0 |
743
749
  |-----------------------------------+---------------------+-------+---------+----------|
744
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
750
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
745
751
  |-----------------------------------+---------------------+-------+---------+----------|
746
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
752
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 596 | 0 | 0 |
747
753
  |-----------------------------------+---------------------+-------+---------+----------|
748
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
754
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
749
755
  ╰-----------------------------------+---------------------+-------+---------+----------╯
750
756
 
751
757
  Logs:
752
- Bound result 954
758
+ Bound result 616
759
+ Bound result 2165
760
+ Bound result 21
761
+ Bound result 3043
762
+ Bound result 359
763
+ Bound result 7393
764
+ Bound result 459
753
765
  Bound result 2
754
- Bound result 292
755
- Bound result 9900000000000000004868
756
- Bound result 9900000000000000010539
757
- Bound result 6175
758
- Bound result 2457
759
- Bound result 5073
760
- Bound result 2439649221
761
- Bound result 100000000000000000001
762
- Bound result 9902335736479608838946
763
- Bound result 2047
764
- Bound result 11
765
- Bound result 3
766
- Bound result 12971821066825231636
767
- Bound result 102927866913205729418
768
- Bound result 16777215
766
+ Bound result 15349333446
767
+ Bound result 19
768
+ Bound result 2
769
+ Bound result 72120
770
+ Bound result 45
771
+ Bound result 1
772
+ Bound result 206113159719234512
773
+ Bound result 631894822407
774
+ Bound result 30
775
+ Bound result 1740
776
+ Bound result 9900000000000000001675
777
+ Bound result 7998996683314043846436
778
+ Bound result 1041
779
+ Bound result 3450
769
780
 
770
781
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
771
782
 
772
783
  ╭-----------------------------------+---------------------+-------+---------+----------╮
773
784
  | Contract | Selector | Calls | Reverts | Discards |
774
785
  +======================================================================================+
775
- | RateLimiterRBACUpgradeableHandler | inflow | 499 | 0 | 0 |
786
+ | RateLimiterRBACUpgradeableHandler | inflow | 497 | 0 | 0 |
776
787
  |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
788
+ | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
778
789
  |-----------------------------------+---------------------+-------+---------+----------|
779
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
790
+ | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
780
791
  |-----------------------------------+---------------------+-------+---------+----------|
781
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
792
+ | RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
782
793
  |-----------------------------------+---------------------+-------+---------+----------|
783
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 586 | 0 | 0 |
794
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 565 | 0 | 0 |
784
795
  |-----------------------------------+---------------------+-------+---------+----------|
785
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
796
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 604 | 0 | 0 |
786
797
  |-----------------------------------+---------------------+-------+---------+----------|
787
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
798
+ | RateLimiterRBACUpgradeableHandler | warp | 532 | 0 | 0 |
788
799
  ╰-----------------------------------+---------------------+-------+---------+----------╯
789
800
 
790
801
  Logs:
791
- Bound result 1994336855808065576138
792
- Bound result 170719985
793
- Bound result 868
794
- Bound result 4225
795
- Bound result 1
796
- Bound result 1641706317242
797
- Bound result 1
798
- Bound result 2578
799
- Bound result 3016663575
800
- Bound result 0
801
- Bound result 639
802
+ Bound result 1485
803
+ Bound result 21
804
+ Bound result 979
805
+ Bound result 2277
806
+ Bound result 9900000000098948848864
807
+ Bound result 100000000000000000001
808
+ Bound result 7310
809
+ Bound result 74
810
+ Bound result 9481167181146085100979
811
+ Bound result 2074
812
+ Bound result 1320
813
+ Bound result 2004
814
+ Bound result 36148380071
815
+ Bound result 2719922
816
+ Bound result 1908
817
+ Bound result 247671704908
818
+ Bound result 3793250972595378243
819
+ Bound result 688
802
820
  Bound result 2
803
- Bound result 519949349
804
- Bound result 1001
805
- Bound result 9900000000000000001715
806
- Bound result 9900000000000000008340
807
- Bound result 1511
808
- Bound result 2480
809
- Bound result 2329064741667582227
810
- Bound result 14304429613953160563583
811
- Bound result 506
821
+ Bound result 100000000000000000000
822
+ Bound result 6914264337593535947491
823
+ Bound result 29
824
+ Bound result 1661
812
825
 
813
826
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
814
827
 
815
828
  ╭-----------------------------------+---------------------+-------+---------+----------╮
816
829
  | Contract | Selector | Calls | Reverts | Discards |
817
830
  +======================================================================================+
818
- | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
831
+ | RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
819
832
  |-----------------------------------+---------------------+-------+---------+----------|
820
- | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
833
+ | RateLimiterRBACUpgradeableHandler | outflow | 531 | 0 | 0 |
821
834
  |-----------------------------------+---------------------+-------+---------+----------|
822
- | RateLimiterRBACUpgradeableHandler | setConfig | 517 | 0 | 0 |
835
+ | RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
823
836
  |-----------------------------------+---------------------+-------+---------+----------|
824
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
837
+ | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
825
838
  |-----------------------------------+---------------------+-------+---------+----------|
826
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 584 | 0 | 0 |
839
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
827
840
  |-----------------------------------+---------------------+-------+---------+----------|
828
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
841
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 569 | 0 | 0 |
829
842
  |-----------------------------------+---------------------+-------+---------+----------|
830
- | RateLimiterRBACUpgradeableHandler | warp | 579 | 0 | 0 |
843
+ | RateLimiterRBACUpgradeableHandler | warp | 563 | 0 | 0 |
831
844
  ╰-----------------------------------+---------------------+-------+---------+----------╯
832
845
 
833
846
  Logs:
834
- Bound result 891547
835
- Bound result 9900000000000000000359
836
- Bound result 9900000000000000000565
837
- Bound result 6825
838
- Bound result 7292
839
- Bound result 2021
840
- Bound result 8850
847
+ Bound result 10606647823578181610
848
+ Bound result 9900000000000000178684
849
+ Bound result 100000000000000000000
850
+ Bound result 9998
851
+ Bound result 9300
852
+ Bound result 9388
853
+ Bound result 2544
841
854
  Bound result 0
842
- Bound result 1313373041
843
- Bound result 9900000000000117155555
844
- Bound result 9900000001765779680271
845
- Bound result 13
846
- Bound result 5769
847
- Bound result 881245959
848
- Bound result 7660326380854389111359
849
- Bound result 4203
850
- Bound result 6914263400015913551912
851
- Bound result 510808929887899142055
852
- Bound result 9900065510449189915324
853
- Bound result 3477
854
- Bound result 12
855
- Bound result 901915202387097361
856
- Bound result 7625
857
- Bound result 721
858
- Bound result 2845
859
-
860
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.17s CPU time)
855
+ Bound result 9900000002147620972234
856
+ Bound result 9900000000000000000417
857
+ Bound result 6241
858
+ Bound result 1309
859
+ Bound result 542
860
+ Bound result 18870501204219449971006
861
+ Bound result 225569
862
+ Bound result 3
863
+ Bound result 1
864
+ Bound result 3551326
865
+ Bound result 1352666287025906513
866
+ Bound result 9858
861
867
 
862
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
863
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26853, ~: 12786)
864
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
865
- [PASS] test_assertNotPaused_Success() (gas: 12539)
866
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
867
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
868
- [PASS] test_isPaused_InitialState() (gas: 15629)
869
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
870
- [PASS] test_multipleRoleGrants() (gas: 394130)
871
- [PASS] test_pause() (gas: 42109)
872
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
873
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
874
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 31039, ~: 42378)
875
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
876
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
877
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
878
- [PASS] test_setPaused_Success() (gas: 40691)
879
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
880
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
881
- [PASS] test_storageHash() (gas: 3414)
882
- [PASS] test_unpause() (gas: 35177)
883
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41652, ~: 38860)
884
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
885
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
886
- [PASS] test_whenNotPaused_Success() (gas: 38800)
887
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
888
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
889
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
890
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 1.35s (153.57ms CPU time)
868
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.42s (9.01s CPU time)
891
869
 
892
870
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
893
871
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -895,403 +873,395 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
895
873
  ╭-----------------------------------+---------------------+-------+---------+----------╮
896
874
  | Contract | Selector | Calls | Reverts | Discards |
897
875
  +======================================================================================+
898
- | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
876
+ | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
899
877
  |-----------------------------------+---------------------+-------+---------+----------|
900
- | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
878
+ | RateLimiterRBACUpgradeableHandler | outflow | 519 | 0 | 0 |
901
879
  |-----------------------------------+---------------------+-------+---------+----------|
902
- | RateLimiterRBACUpgradeableHandler | setConfig | 501 | 0 | 0 |
880
+ | RateLimiterRBACUpgradeableHandler | setConfig | 589 | 0 | 0 |
903
881
  |-----------------------------------+---------------------+-------+---------+----------|
904
- | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
882
+ | RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
905
883
  |-----------------------------------+---------------------+-------+---------+----------|
906
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
884
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
907
885
  |-----------------------------------+---------------------+-------+---------+----------|
908
886
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
909
887
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
888
+ | RateLimiterRBACUpgradeableHandler | warp | 523 | 0 | 0 |
911
889
  ╰-----------------------------------+---------------------+-------+---------+----------╯
912
890
 
913
891
  Logs:
914
- Bound result 9900000000000000000078
915
- Bound result 5913048436843437331520
916
- Bound result 6900
917
- Bound result 3961
918
- Bound result 1719639408
919
- Bound result 9900000018223111736928
920
- Bound result 6914264337593535947490
921
- Bound result 10
922
- Bound result 12
923
- Bound result 2
924
- Bound result 7972
925
- Bound result 381337636
926
- Bound result 0
927
- Bound result 9194
928
- Bound result 546
892
+ Bound result 100328
893
+ Bound result 1663988164610123696057
894
+ Bound result 475785
929
895
  Bound result 1
930
- Bound result 630415263
931
- Bound result 2162
932
- Bound result 9900000000000000000248
933
- Bound result 9900000000000000000012
934
- Bound result 7509
935
- Bound result 1462
896
+ Bound result 319
897
+ Bound result 784
898
+ Bound result 0
899
+ Bound result 392173355372290913730
900
+ Bound result 441
901
+ Bound result 537174172434044694112
902
+ Bound result 6282
903
+ Bound result 678
904
+ Bound result 9456905736582705805
905
+ Bound result 13591879461
906
+ Bound result 1115511093974316443714
907
+ Bound result 489
908
+ Bound result 9900007096987149084627
909
+ Bound result 9900000000001032493803
910
+ Bound result 497
911
+ Bound result 30
912
+ Bound result 7431
913
+ Bound result 3482
914
+ Bound result 63
915
+ Bound result 14033297352986617913003
916
+ Bound result 77326629676205
936
917
 
937
918
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
938
919
 
939
920
  ╭-----------------------------------+---------------------+-------+---------+----------╮
940
921
  | Contract | Selector | Calls | Reverts | Discards |
941
922
  +======================================================================================+
942
- | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
923
+ | RateLimiterRBACUpgradeableHandler | inflow | 542 | 0 | 0 |
943
924
  |-----------------------------------+---------------------+-------+---------+----------|
944
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
925
+ | RateLimiterRBACUpgradeableHandler | outflow | 584 | 0 | 0 |
945
926
  |-----------------------------------+---------------------+-------+---------+----------|
946
- | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
927
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
947
928
  |-----------------------------------+---------------------+-------+---------+----------|
948
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
929
+ | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
949
930
  |-----------------------------------+---------------------+-------+---------+----------|
950
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
931
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 544 | 0 | 0 |
951
932
  |-----------------------------------+---------------------+-------+---------+----------|
952
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
933
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 505 | 0 | 0 |
953
934
  |-----------------------------------+---------------------+-------+---------+----------|
954
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
935
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
955
936
  ╰-----------------------------------+---------------------+-------+---------+----------╯
956
937
 
957
938
  Logs:
958
- Bound result 395093611431
959
- Bound result 630346
939
+ Bound result 3573
940
+ Bound result 934805284
941
+ Bound result 344526421
942
+ Bound result 1
943
+ Bound result 46020171
944
+ Bound result 514264337593543950332
945
+ Bound result 158610279475200
946
+ Bound result 1661571
947
+ Bound result 514264337593504336254
960
948
  Bound result 0
961
- Bound result 3027
962
- Bound result 368
963
- Bound result 7810
964
- Bound result 5180
965
- Bound result 144
966
- Bound result 519
967
- Bound result 9900000000000885285082
968
- Bound result 9900000000000000022209
969
- Bound result 9996
970
- Bound result 19
971
- Bound result 185255588562445292552
972
- Bound result 5
973
- Bound result 782
974
- Bound result 9900000000000000005182
975
- Bound result 9900000000000000008245
976
- Bound result 2803
977
- Bound result 9484
949
+ Bound result 8463055308
950
+ Bound result 9
951
+ Bound result 9900000507845587545131
952
+ Bound result 824030058523604428037
953
+ Bound result 2716
954
+ Bound result 6241
955
+ Bound result 9900024795862163276820
956
+ Bound result 9920505445588318811298
957
+ Bound result 8247
958
+ Bound result 12
978
959
 
979
960
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
980
961
 
981
962
  ╭-----------------------------------+---------------------+-------+---------+----------╮
982
963
  | Contract | Selector | Calls | Reverts | Discards |
983
964
  +======================================================================================+
984
- | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
965
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
985
966
  |-----------------------------------+---------------------+-------+---------+----------|
986
- | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
967
+ | RateLimiterRBACUpgradeableHandler | outflow | 578 | 0 | 0 |
987
968
  |-----------------------------------+---------------------+-------+---------+----------|
988
- | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
969
+ | RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
989
970
  |-----------------------------------+---------------------+-------+---------+----------|
990
- | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
971
+ | RateLimiterRBACUpgradeableHandler | setState | 560 | 0 | 0 |
991
972
  |-----------------------------------+---------------------+-------+---------+----------|
992
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 599 | 0 | 0 |
973
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
993
974
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
975
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
995
976
  |-----------------------------------+---------------------+-------+---------+----------|
996
- | RateLimiterRBACUpgradeableHandler | warp | 507 | 0 | 0 |
977
+ | RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
997
978
  ╰-----------------------------------+---------------------+-------+---------+----------╯
998
979
 
999
980
  Logs:
1000
- Bound result 713169429509076402938
1001
- Bound result 2532595033023450470
1002
- Bound result 9232426338519
1003
- Bound result 1033724435991029871229
981
+ Bound result 645482110905166912324
982
+ Bound result 1831908794040158325432
983
+ Bound result 401472089959490854185
984
+ Bound result 5
985
+ Bound result 0
986
+ Bound result 927356862852934536829
987
+ Bound result 815
988
+ Bound result 329
989
+ Bound result 225725077
990
+ Bound result 514264337593504336253
991
+ Bound result 0
992
+ Bound result 3976321243
993
+ Bound result 3973
1004
994
  Bound result 0
1005
- Bound result 6883
1006
- Bound result 1893
1007
- Bound result 9900000000000000003023
1008
- Bound result 9900000000000000007222
1009
- Bound result 8291
1010
- Bound result 7533
1011
- Bound result 9900000000000000007956
1012
- Bound result 9900000000000000005999
1013
- Bound result 1626
1014
- Bound result 221
1015
- Bound result 2806359015353687209839
1016
- Bound result 9900000000001046363173
1017
- Bound result 9900000000000000000922
1018
- Bound result 403
1019
- Bound result 6389
1020
- Bound result 9900000000000000000013
1021
- Bound result 9900000000000000005353
1022
- Bound result 782
1023
- Bound result 813
995
+ Bound result 3
996
+ Bound result 9900000000000000007740
997
+ Bound result 9900000000000000000025
998
+ Bound result 3955
999
+ Bound result 578
1000
+ Bound result 4866
1001
+ Bound result 9904316375016999611120
1002
+ Bound result 1972430923601754067877
1003
+ Bound result 10
1004
+ Bound result 6001
1024
1005
 
1025
1006
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1026
1007
 
1027
1008
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1028
1009
  | Contract | Selector | Calls | Reverts | Discards |
1029
1010
  +======================================================================================+
1030
- | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
1011
+ | RateLimiterRBACUpgradeableHandler | inflow | 528 | 0 | 0 |
1031
1012
  |-----------------------------------+---------------------+-------+---------+----------|
1032
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
1013
+ | RateLimiterRBACUpgradeableHandler | outflow | 575 | 0 | 0 |
1033
1014
  |-----------------------------------+---------------------+-------+---------+----------|
1034
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
1015
+ | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
1035
1016
  |-----------------------------------+---------------------+-------+---------+----------|
1036
- | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
1017
+ | RateLimiterRBACUpgradeableHandler | setState | 552 | 0 | 0 |
1037
1018
  |-----------------------------------+---------------------+-------+---------+----------|
1038
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
1019
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
1039
1020
  |-----------------------------------+---------------------+-------+---------+----------|
1040
1021
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
1041
1022
  |-----------------------------------+---------------------+-------+---------+----------|
1042
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
1023
+ | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
1043
1024
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1044
1025
 
1045
1026
  Logs:
1046
- Bound result 9
1047
- Bound result 319
1048
- Bound result 403
1027
+ Bound result 44200218074
1028
+ Bound result 9900000000045495692240
1029
+ Bound result 9900000006284542095551
1030
+ Bound result 6241
1031
+ Bound result 4341
1032
+ Bound result 19700965608594406092633
1033
+ Bound result 2950134782757049742087
1049
1034
  Bound result 1
1050
- Bound result 789
1051
- Bound result 85377327792
1052
- Bound result 100000000000000000002
1053
- Bound result 9908474698313079495889
1054
- Bound result 9916
1055
- Bound result 6242
1056
- Bound result 13777
1035
+ Bound result 2233625730
1036
+ Bound result 5320756347662
1037
+ Bound result 12834414562989669087410
1038
+ Bound result 8204
1039
+ Bound result 0
1040
+ Bound result 9900000000000001976518
1041
+ Bound result 4561742027891098280905
1042
+ Bound result 147
1043
+ Bound result 6241
1044
+ Bound result 2590
1045
+ Bound result 452777887
1046
+ Bound result 1
1047
+ Bound result 1
1048
+ Bound result 3362395015160
1049
+ Bound result 887609337669933140682
1050
+ Bound result 1
1051
+ Bound result 320048802512520584725
1052
+ Bound result 9900027880653097152688
1053
+ Bound result 9900016822727333249033
1054
+ Bound result 8996
1055
+ Bound result 6239
1057
1056
 
1058
1057
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1059
1058
 
1060
1059
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1061
1060
  | Contract | Selector | Calls | Reverts | Discards |
1062
1061
  +======================================================================================+
1063
- | RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
1062
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
1064
1063
  |-----------------------------------+---------------------+-------+---------+----------|
1065
- | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
1064
+ | RateLimiterRBACUpgradeableHandler | outflow | 570 | 0 | 0 |
1066
1065
  |-----------------------------------+---------------------+-------+---------+----------|
1067
- | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1066
+ | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
1068
1067
  |-----------------------------------+---------------------+-------+---------+----------|
1069
- | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
1068
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
1070
1069
  |-----------------------------------+---------------------+-------+---------+----------|
1071
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
1070
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
1072
1071
  |-----------------------------------+---------------------+-------+---------+----------|
1073
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 590 | 0 | 0 |
1072
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
1074
1073
  |-----------------------------------+---------------------+-------+---------+----------|
1075
- | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1074
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1076
1075
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1077
1076
 
1078
1077
  Logs:
1079
- Bound result 9900000012929092768449
1080
- Bound result 8399450452392142594243
1081
- Bound result 7014
1082
- Bound result 9786
1083
- Bound result 9900000000000000286050
1084
- Bound result 9900000000000000000010
1085
- Bound result 8154
1086
- Bound result 25
1087
- Bound result 2
1088
- Bound result 425
1089
- Bound result 11770
1090
- Bound result 73312677204307
1091
- Bound result 4196
1092
- Bound result 2396
1078
+ Bound result 1340
1079
+ Bound result 1572
1080
+ Bound result 1971
1081
+ Bound result 4
1082
+ Bound result 9900000000000000000173
1083
+ Bound result 9900000000000000000486
1084
+ Bound result 6211
1085
+ Bound result 5574
1086
+ Bound result 1496637379279141786121
1087
+ Bound result 4390
1088
+ Bound result 4202047188
1089
+ Bound result 8679
1090
+ Bound result 4376
1091
+ Bound result 1
1093
1092
 
1094
1093
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1095
1094
 
1096
1095
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1097
1096
  | Contract | Selector | Calls | Reverts | Discards |
1098
1097
  +======================================================================================+
1099
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1098
+ | RateLimiterRBACUpgradeableHandler | inflow | 501 | 0 | 0 |
1100
1099
  |-----------------------------------+---------------------+-------+---------+----------|
1101
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1100
+ | RateLimiterRBACUpgradeableHandler | outflow | 533 | 0 | 0 |
1102
1101
  |-----------------------------------+---------------------+-------+---------+----------|
1103
- | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
1102
+ | RateLimiterRBACUpgradeableHandler | setConfig | 561 | 0 | 0 |
1104
1103
  |-----------------------------------+---------------------+-------+---------+----------|
1105
- | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1104
+ | RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
1106
1105
  |-----------------------------------+---------------------+-------+---------+----------|
1107
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1106
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
1108
1107
  |-----------------------------------+---------------------+-------+---------+----------|
1109
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1108
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 584 | 0 | 0 |
1110
1109
  |-----------------------------------+---------------------+-------+---------+----------|
1111
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1110
+ | RateLimiterRBACUpgradeableHandler | warp | 570 | 0 | 0 |
1112
1111
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1113
1112
 
1114
1113
  Logs:
1115
- Bound result 8
1116
- Bound result 245366599783712612557
1117
- Bound result 168589184998425958487
1118
- Bound result 6826
1119
- Bound result 6914264337593535947489
1120
- Bound result 9900000223236959619782
1121
- Bound result 4639
1122
- Bound result 11
1123
- Bound result 8614174981100792588208
1124
- Bound result 9900000000000000003593
1125
- Bound result 11
1126
- Bound result 9844
1127
- Bound result 1994313197156988355335
1128
- Bound result 100000000000000000000
1129
- Bound result 287
1130
- Bound result 9814
1131
- Bound result 5492
1132
- Bound result 45949357043701712420
1133
- Bound result 9580231585
1134
- Bound result 453
1135
- Bound result 2375263779610414186955
1136
- Bound result 8527595249581262876738
1137
- Bound result 56
1138
- Bound result 548
1139
- Bound result 5548
1140
- Bound result 4649
1141
- Bound result 488
1142
- Bound result 401
1114
+ Bound result 7082
1115
+ Bound result 186099735756211201328
1116
+ Bound result 1
1117
+ Bound result 2130107514633010
1118
+ Bound result 3902
1119
+ Bound result 1246
1120
+ Bound result 514264337593543950333
1121
+ Bound result 3021
1122
+ Bound result 45534840732951
1123
+ Bound result 6914264337593535947490
1124
+ Bound result 9900000046358333908879
1125
+ Bound result 4034
1126
+ Bound result 6817
1127
+ Bound result 16
1128
+ Bound result 6127
1129
+ Bound result 9900000000000000000334
1130
+ Bound result 6914264337593535947490
1131
+ Bound result 1030
1132
+ Bound result 2906
1133
+ Bound result 7029
1143
1134
 
1144
1135
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1145
1136
 
1146
1137
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1147
1138
  | Contract | Selector | Calls | Reverts | Discards |
1148
1139
  +======================================================================================+
1149
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
1140
+ | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
1150
1141
  |-----------------------------------+---------------------+-------+---------+----------|
1151
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
1142
+ | RateLimiterRBACUpgradeableHandler | outflow | 559 | 0 | 0 |
1152
1143
  |-----------------------------------+---------------------+-------+---------+----------|
1153
- | RateLimiterRBACUpgradeableHandler | setConfig | 584 | 0 | 0 |
1144
+ | RateLimiterRBACUpgradeableHandler | setConfig | 523 | 0 | 0 |
1154
1145
  |-----------------------------------+---------------------+-------+---------+----------|
1155
- | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1146
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
1156
1147
  |-----------------------------------+---------------------+-------+---------+----------|
1157
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1148
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 556 | 0 | 0 |
1158
1149
  |-----------------------------------+---------------------+-------+---------+----------|
1159
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1150
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 550 | 0 | 0 |
1160
1151
  |-----------------------------------+---------------------+-------+---------+----------|
1161
- | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1152
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1162
1153
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1163
1154
 
1164
1155
  Logs:
1165
- Bound result 2846814508209
1166
- Bound result 1508468053805676512056
1167
- Bound result 0
1168
- Bound result 1715
1169
- Bound result 55747678
1170
- Bound result 100626
1171
- Bound result 611142468522344358488
1172
- Bound result 5201114610648901
1173
- Bound result 59343777396547
1174
- Bound result 1645969875512599105862
1175
- Bound result 1308976503749401830751
1176
- Bound result 23223697438570747467
1156
+ Bound result 9900000000000026403862
1157
+ Bound result 177610587240003021062
1158
+ Bound result 3016
1159
+ Bound result 7503
1160
+ Bound result 9900000000000000006853
1161
+ Bound result 9900000000000000009378
1162
+ Bound result 3350
1163
+ Bound result 6028
1164
+ Bound result 10220
1165
+ Bound result 6509
1166
+ Bound result 8911
1167
+ Bound result 780
1168
+ Bound result 4375
1169
+ Bound result 4581
1170
+ Bound result 649010003639538861676
1171
+ Bound result 100000000000000000003
1172
+ Bound result 257
1173
+ Bound result 6006
1174
+ Bound result 712
1175
+ Bound result 37287
1176
+ Bound result 5186
1177
+ Bound result 222
1178
+ Bound result 2
1179
+ Bound result 1966
1180
+ Bound result 398
1181
+ Bound result 2408
1177
1182
 
1178
1183
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1179
1184
 
1180
1185
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1181
1186
  | Contract | Selector | Calls | Reverts | Discards |
1182
1187
  +======================================================================================+
1183
- | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
1188
+ | RateLimiterRBACUpgradeableHandler | inflow | 511 | 0 | 0 |
1184
1189
  |-----------------------------------+---------------------+-------+---------+----------|
1185
- | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
1190
+ | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
1186
1191
  |-----------------------------------+---------------------+-------+---------+----------|
1187
- | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
1192
+ | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1188
1193
  |-----------------------------------+---------------------+-------+---------+----------|
1189
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
1194
+ | RateLimiterRBACUpgradeableHandler | setState | 557 | 0 | 0 |
1190
1195
  |-----------------------------------+---------------------+-------+---------+----------|
1191
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
1196
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
1192
1197
  |-----------------------------------+---------------------+-------+---------+----------|
1193
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 509 | 0 | 0 |
1198
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 560 | 0 | 0 |
1194
1199
  |-----------------------------------+---------------------+-------+---------+----------|
1195
- | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
1200
+ | RateLimiterRBACUpgradeableHandler | warp | 539 | 0 | 0 |
1196
1201
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1197
1202
 
1198
1203
  Logs:
1199
- Bound result 1575806215925642600018
1200
- Bound result 2
1201
- Bound result 1045
1202
- Bound result 1293
1203
- Bound result 479280886669758393453
1204
- Bound result 1799740832
1205
- Bound result 348
1206
- Bound result 7670
1207
- Bound result 2900
1208
- Bound result 9900000000000696441369
1209
- Bound result 9904178704890407082192
1210
- Bound result 1142
1211
- Bound result 5879
1212
-
1213
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.35s (7.99s CPU time)
1214
-
1215
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
1216
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
1217
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
1218
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
1219
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
1220
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3388)
1221
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
1222
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
1223
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
1224
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
1225
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
1226
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 10.72s (107.87ms CPU time)
1227
-
1228
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
1229
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
1230
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
1231
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 45282, ~: 46317)
1232
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
1233
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
1234
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
1235
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
1236
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
1237
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
1238
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
1239
- [PASS] test_getFee_Default() (gas: 40577)
1240
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43204, ~: 44486)
1241
- [PASS] test_getFee_Rounding() (gas: 42835)
1242
- [PASS] test_getFee_Specific() (gas: 63968)
1243
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
1244
- [PASS] test_setDefaultFeeBps() (gas: 39576)
1245
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32725, ~: 39667)
1246
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
1247
- [PASS] test_setFeeBps() (gas: 73871)
1248
- Logs:
1249
- Bound result 500
1250
-
1251
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66315, ~: 74224)
1252
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
1253
- [PASS] test_storageHash() (gas: 3426)
1254
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 10.72s (418.58ms CPU time)
1204
+ Bound result 3930
1205
+ Bound result 34006092189551
1206
+ Bound result 1
1207
+ Bound result 481
1208
+ Bound result 719607800208086776264
1209
+ Bound result 12573549
1210
+ Bound result 1
1211
+ Bound result 36137
1212
+ Bound result 100000000000000000000
1213
+ Bound result 9900000008575257226795
1214
+ Bound result 38
1215
+ Bound result 8644
1216
+ Bound result 7012358804670667576069
1217
+ Bound result 9925571929403418548527
1218
+ Bound result 214
1219
+ Bound result 9888
1220
+ Bound result 3868681460500477848343
1221
+ Bound result 5405615708763147333619
1222
+ Bound result 4126
1223
+ Bound result 672
1224
+
1225
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.74s (10.31s CPU time)
1255
1226
 
1256
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
1257
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
1258
- [PASS] test_constructor_InitialMode() (gas: 15778)
1259
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
1260
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
1261
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
1262
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
1263
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
1264
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
1265
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
1266
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115139, ~: 115159)
1267
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
1268
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
1269
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
1270
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
1271
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
1272
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
1273
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
1274
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
1275
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
1276
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
1277
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
1278
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
1279
- [PASS] test_setMode_Blacklist() (gas: 42605)
1280
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
1281
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
1282
- [PASS] test_setMode_Whitelist() (gas: 42714)
1283
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
1284
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
1285
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
1286
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
1287
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
1227
+ Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
1228
+ [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
1229
+ [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
1230
+ [PASS] test_assertNotPaused_Success() (gas: 14934)
1231
+ [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
1232
+ [PASS] test_defaultPaused_InitialState() (gas: 15571)
1233
+ [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
1234
+ [PASS] test_isPaused_Default() (gas: 44698)
1235
+ [PASS] test_isPaused_InitialState() (gas: 22070)
1236
+ [PASS] test_isPaused_MultipleIDs() (gas: 73915)
1237
+ [PASS] test_isPaused_Override() (gas: 69381)
1238
+ [PASS] test_isPaused_Specific() (gas: 46709)
1239
+ [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
1240
+ [PASS] test_pauseConfig() (gas: 45626)
1241
+ [PASS] test_setDefaultPaused() (gas: 39667)
1242
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28007, ~: 16332)
1243
+ [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
1244
+ [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
1245
+ [PASS] test_setPaused() (gas: 43060)
1246
+ [PASS] test_setPaused_EmptyArray() (gas: 10900)
1247
+ [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38019, ~: 43373)
1248
+ [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
1249
+ [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
1250
+ [PASS] test_setPaused_Success_Toggle() (gas: 51442)
1251
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58208, ~: 46989)
1288
1252
  [PASS] test_storageHash() (gas: 3480)
1289
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 10.95s (582.79ms CPU time)
1253
+ [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
1254
+ [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
1255
+ [PASS] test_whenNotPaused_Success() (gas: 41297)
1256
+ [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
1257
+ [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
1258
+ [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
1259
+ Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 12.13s (599.88ms CPU time)
1290
1260
 
1291
1261
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1292
1262
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1293
1263
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1294
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 798736, ~: 216005)
1264
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 756737, ~: 166984)
1295
1265
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1296
1266
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1297
1267
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1304,12 +1274,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1304
1274
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1305
1275
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1306
1276
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1307
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11179509, ~: 10448243)
1277
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11167123, ~: 10448372)
1308
1278
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1309
1279
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1310
1280
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1311
1281
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1312
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 718311, ~: 108658)
1282
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 804253, ~: 311256)
1313
1283
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1314
1284
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1315
1285
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1322,10 +1292,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1322
1292
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1323
1293
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1324
1294
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1325
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11214410, ~: 10633595)
1295
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11123793, ~: 10359874)
1326
1296
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1327
1297
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1328
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.95s (26.24s CPU time)
1298
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.13s (28.65s CPU time)
1329
1299
 
1330
- Ran 17 test suites in 10.97s (52.84s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1331
- ⏳ forge test: 24.635s
1300
+ Ran 17 test suites in 12.15s (34.26s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1301
+ ⏳ forge test: 26.799s