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

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 +746 -731
  2. package/package.json +6 -7
package/.turbo/turbo-test.log CHANGED
@@ -4,23 +4,96 @@
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-FyMwVy
7
+ 📦 Using scoped workspace: /tmp/lz-scoped-workspace-2xnn7P
8
8
  📦 Copied 8 workspace package source(s)
9
9
  📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:237905) [MODULE_TYPELESS_PACKAGE_JSON] Warning: Module type of file:///home/runner/work/monorepo-internal/monorepo-internal/configs/vm-tooling/values/docker-image-repo.ts is not specified and it doesn't parse as CommonJS.
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.
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-FyMwVy:/workspace
15
+ -v /tmp/lz-scoped-workspace-2xnn7P:/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
- ✅ 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)
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
20
93
  👤 Running container as UID:GID 1001:1001
21
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-FyMwVy:/workspace -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro -w /workspace/contracts/common/utils/evm/upgradeable 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-3 forge test
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
22
95
  Compiling 84 files with Solc 0.8.22
23
- Solc 0.8.22 finished in 10.56s
96
+ Solc 0.8.22 finished in 10.82s
24
97
  Compiler run successful with warnings:
25
98
  Warning (2018): Function state mutability can be restricted to view
26
99
  --> test/EnumerableSetPagination.t.sol:91:5:
@@ -143,6 +216,44 @@ Warning (2018): Function state mutability can be restricted to view
143
216
  | ^ (Relevant source part starts here and spans across multiple lines).
144
217
 
145
218
 
219
+ Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
220
+ [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
221
+ [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
222
+ [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
223
+ [PASS] test_checkpointRateLimits_Single() (gas: 85741)
224
+ [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
225
+ [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
226
+ [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
227
+ [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
228
+ [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
229
+ [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
230
+ [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
231
+ [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
232
+ [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
233
+ [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
234
+ [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
235
+ [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
236
+ [PASS] test_inflow_GloballyDisabled() (gas: 52015)
237
+ [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
238
+ [PASS] test_initial_state_closed() (gas: 2034659)
239
+ [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
240
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
241
+ [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
242
+ [PASS] test_outflow_GloballyDisabled() (gas: 52036)
243
+ [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
244
+ [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
245
+ [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
246
+ [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
247
+ [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
248
+ [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
249
+ [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
250
+ [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
251
+ [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
252
+ [PASS] test_setRateLimitStates_Single() (gas: 49974)
253
+ [PASS] test_storageHash() (gas: 3414)
254
+ [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
255
+ Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 10.90ms (7.67ms CPU time)
256
+
146
257
  Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
147
258
  [PASS] test_checkpointRateLimits_Empty() (gas: 13362)
148
259
  [PASS] test_checkpointRateLimits_Multiple() (gas: 154640)
@@ -184,110 +295,24 @@ Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeabl
184
295
  [PASS] test_setRateLimitStates_Single() (gas: 52512)
185
296
  [PASS] test_storageHash() (gas: 3392)
186
297
  [PASS] test_upscaleRateLimitAmount() (gas: 2750380)
187
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 14.11ms (11.66ms CPU time)
188
-
189
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
190
- [PASS] test_checkpointRateLimits_Empty() (gas: 10824)
191
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151676)
192
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 91907)
193
- [PASS] test_checkpointRateLimits_Single() (gas: 85741)
194
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1389503)
195
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38049)
196
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1389321)
197
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 25007)
198
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 46159)
199
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23907)
200
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23940)
201
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 86849)
202
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2123212)
203
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2086558)
204
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2083978)
205
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 51618)
206
- [PASS] test_inflow_GloballyDisabled() (gas: 52015)
207
- [PASS] test_inflow_WithScaleDecimals() (gas: 2080458)
208
- [PASS] test_initial_state_closed() (gas: 2034659)
209
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 51752)
210
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 30559)
211
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 32670)
212
- [PASS] test_outflow_GloballyDisabled() (gas: 52036)
213
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 76468)
214
- [PASS] test_outflow_WithScaleDecimals() (gas: 2080385)
215
- [PASS] test_setRateLimitAddressExemptions() (gas: 59682)
216
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21817)
217
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 94677)
218
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 107608)
219
- [PASS] test_setRateLimitConfigs_Single() (gas: 76669)
220
- [PASS] test_setRateLimitGlobalConfig() (gas: 49357)
221
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 16394)
222
- [PASS] test_setRateLimitStates_Single() (gas: 49974)
223
- [PASS] test_storageHash() (gas: 3414)
224
- [PASS] test_upscaleRateLimitAmount() (gas: 2014907)
225
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 15.94ms (13.74ms CPU time)
226
-
227
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
228
- [PASS] test_feeDeposit() (gas: 17576)
229
- [PASS] test_setFeeDeposit() (gas: 24995)
230
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21454, ~: 21454)
231
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13273)
232
- [PASS] test_storageHash() (gas: 3337)
233
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 33.07ms (32.67ms CPU time)
298
+ Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 25.13ms (18.60ms CPU time)
234
299
 
235
300
  Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
236
301
  [PASS] test_feeDeposit() (gas: 17638)
237
302
  [PASS] test_setFeeDeposit() (gas: 27596)
238
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24052, ~: 24055)
303
+ [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 24055, ~: 24055)
239
304
  [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 22370)
240
305
  [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15811)
241
306
  [PASS] test_storageHash() (gas: 3315)
242
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 69.96ms (69.37ms CPU time)
307
+ Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 55.97ms (55.08ms CPU time)
243
308
 
244
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
245
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 10012)
246
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 10034)
247
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9990)
248
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8488)
249
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3388, ~: 3393)
250
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8456)
251
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8957)
252
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8999)
253
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8977)
254
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 5017, ~: 5017)
255
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 112.13ms (67.16ms CPU time)
256
-
257
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
258
- [PASS] test_SwitchModes_PreservesState() (gas: 195548)
259
- [PASS] test_constructor_InitialMode() (gas: 15778)
260
- [PASS] test_constructor_InitializeWhitelist() (gas: 2171134)
261
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127952)
262
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45551)
263
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 115161, ~: 115161)
264
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43599, ~: 43599)
265
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15886, ~: 15886)
266
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43652, ~: 43652)
267
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 115159, ~: 115159)
268
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 26122)
269
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45582)
270
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127862)
271
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 126878)
272
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22694)
273
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 124784)
274
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 20371)
275
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13361)
276
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 173727)
277
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 99570)
278
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 125055)
279
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 23329)
280
- [PASS] test_setMode_Blacklist() (gas: 42605)
281
- [PASS] test_setMode_MultipleChanges() (gas: 43274)
282
- [PASS] test_setMode_RevertSameMode() (gas: 51355)
283
- [PASS] test_setMode_Whitelist() (gas: 42714)
284
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13339)
285
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 173661)
286
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 99588)
287
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 125059)
288
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 23176)
289
- [PASS] test_storageHash() (gas: 3480)
290
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 119.08ms (340.89ms CPU time)
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)
291
316
 
292
317
  Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
293
318
  [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 97372)
@@ -323,41 +348,37 @@ Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgr
323
348
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42684)
324
349
  [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23859)
325
350
  [PASS] test_storageHash() (gas: 3380)
326
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 325.62ms (373.63ms CPU time)
351
+ Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 223.02ms (297.53ms CPU time)
327
352
 
328
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
329
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40927)
330
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40924)
331
- [PASS] test_assertNotPaused_Success() (gas: 14934)
332
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52995)
333
- [PASS] test_defaultPaused_InitialState() (gas: 15571)
334
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15852)
335
- [PASS] test_isPaused_Default() (gas: 44698)
336
- [PASS] test_isPaused_InitialState() (gas: 22070)
337
- [PASS] test_isPaused_MultipleIDs() (gas: 73915)
338
- [PASS] test_isPaused_Override() (gas: 69381)
339
- [PASS] test_isPaused_Specific() (gas: 46709)
340
- [PASS] test_isPaused_SpecificDisabled() (gas: 51615)
341
- [PASS] test_pauseConfig() (gas: 45626)
342
- [PASS] test_setDefaultPaused() (gas: 39667)
343
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27865, ~: 16332)
344
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17984)
345
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38782)
346
- [PASS] test_setPaused() (gas: 43060)
347
- [PASS] test_setPaused_EmptyArray() (gas: 10900)
348
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38716, ~: 43373)
349
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40562)
350
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40524)
351
- [PASS] test_setPaused_Success_Toggle() (gas: 51442)
352
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 59338, ~: 69608)
353
- [PASS] test_storageHash() (gas: 3480)
354
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44708)
355
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44758)
356
- [PASS] test_whenNotPaused_Success() (gas: 41297)
357
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88596)
358
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17880)
359
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40880)
360
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 375.45ms (292.25ms CPU time)
353
+ Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
354
+ [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
355
+ [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
356
+ [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47712, ~: 48966)
357
+ [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
358
+ [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
359
+ [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
360
+ [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
361
+ [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
362
+ [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
363
+ [PASS] test_getFee_BoundaryConditions() (gas: 75442)
364
+ [PASS] test_getFee_Default() (gas: 43108)
365
+ [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45761, ~: 47017)
366
+ [PASS] test_getFee_Rounding() (gas: 45449)
367
+ [PASS] test_getFee_Specific() (gas: 66985)
368
+ [PASS] test_getFee_SpecificDisabled() (gas: 66943)
369
+ [PASS] test_setDefaultFeeBps() (gas: 42199)
370
+ [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34740, ~: 42268)
371
+ [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
372
+ [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
373
+ [PASS] test_setFeeBps() (gas: 77237)
374
+ Logs:
375
+ Bound result 500
376
+
377
+ [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 69056, ~: 77570)
378
+ [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
379
+ [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
380
+ [PASS] test_storageHash() (gas: 3436)
381
+ Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 453.44ms (728.31ms CPU time)
361
382
 
362
383
  Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
363
384
  [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 43478)
@@ -375,7 +396,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
375
396
  [PASS] test_pauseConfig() (gas: 51028)
376
397
  [PASS] test_roleManagement_grantAndRevoke() (gas: 172245)
377
398
  [PASS] test_setDefaultPaused() (gas: 42196)
378
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30801, ~: 42446)
399
+ [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30636, ~: 30636)
379
400
  [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20523)
380
401
  [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41737)
381
402
  [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 20560)
@@ -384,8 +405,8 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
384
405
  [PASS] test_setPaused_DormantData() (gas: 295234)
385
406
  [PASS] test_setPaused_EmptyArray() (gas: 15702)
386
407
  [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 100683)
387
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43604, ~: 48533)
388
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222586, ~: 216804)
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)
389
410
  [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 23131)
390
411
  [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132176)
391
412
  [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 107518)
@@ -399,7 +420,7 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
399
420
  [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 133457)
400
421
  [PASS] test_setPaused_Success_Toggle() (gas: 58022)
401
422
  [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 130070)
402
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62317, ~: 50341)
423
+ [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62240, ~: 50341)
403
424
  [PASS] test_storageHash() (gas: 3392)
404
425
  [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 47171)
405
426
  [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49932)
@@ -407,87 +428,95 @@ Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTes
407
428
  [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 94341)
408
429
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 17859)
409
430
  [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 46165)
410
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 804.89ms (504.09ms CPU time)
411
-
412
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
413
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 48074)
414
- [PASS] test_getAmountBeforeFee_Default() (gas: 45067)
415
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44963, ~: 46317)
416
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44658)
417
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45406)
418
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68448)
419
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 64007)
420
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40642)
421
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22306)
422
- [PASS] test_getFee_BoundaryConditions() (gas: 71791)
423
- [PASS] test_getFee_Default() (gas: 40577)
424
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 43080, ~: 44486)
425
- [PASS] test_getFee_Rounding() (gas: 42835)
426
- [PASS] test_getFee_Specific() (gas: 63968)
427
- [PASS] test_getFee_SpecificDisabled() (gas: 63920)
428
- [PASS] test_setDefaultFeeBps() (gas: 39576)
429
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 32648, ~: 39667)
430
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13860)
431
- [PASS] test_setFeeBps() (gas: 73871)
432
- Logs:
433
- Bound result 500
431
+ Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 946.55ms (678.48ms CPU time)
434
432
 
435
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 65151, ~: 74224)
436
- [PASS] test_setFeeBps_RevertInvalid() (gas: 14075)
437
- [PASS] test_storageHash() (gas: 3426)
438
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 921.22ms (270.54ms CPU time)
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)
439
466
 
440
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
441
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26173, ~: 12786)
442
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40859)
443
- [PASS] test_assertNotPaused_Success() (gas: 12539)
444
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15965)
445
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 49417)
446
- [PASS] test_isPaused_InitialState() (gas: 15629)
447
- [PASS] test_modifierEnforcement_WithRoles() (gas: 218598)
448
- [PASS] test_multipleRoleGrants() (gas: 394130)
449
- [PASS] test_pause() (gas: 42109)
450
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 36029)
451
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 180125)
452
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 30307, ~: 18756)
453
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 20507)
454
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41497)
455
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 20279)
456
- [PASS] test_setPaused_Success() (gas: 40691)
457
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58020)
458
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 79509)
459
- [PASS] test_storageHash() (gas: 3414)
460
- [PASS] test_unpause() (gas: 35177)
461
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41652, ~: 38860)
462
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44372)
463
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40903)
464
- [PASS] test_whenNotPaused_Success() (gas: 38800)
465
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52332)
466
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 61669)
467
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15658)
468
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 978.96ms (176.14ms CPU time)
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)
469
498
 
470
499
  Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
471
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25518, ~: 12763)
500
+ [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26060, ~: 38584)
472
501
  [PASS] test_assertNotPaused_Revert_Paused() (gas: 38375)
473
502
  [PASS] test_assertNotPaused_Success() (gas: 12516)
474
503
  [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15725)
475
504
  [PASS] test_isPaused_InitialState() (gas: 15595)
476
505
  [PASS] test_pause() (gas: 39592)
477
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 28441, ~: 39861)
506
+ [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27543, ~: 16219)
478
507
  [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17914)
479
508
  [PASS] test_setPaused_Idempotent_Reverts() (gas: 38543)
480
509
  [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 74144)
481
510
  [PASS] test_storageHash() (gas: 3414)
482
511
  [PASS] test_unpause() (gas: 31115)
483
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40511, ~: 42029)
512
+ [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40479, ~: 42029)
484
513
  [PASS] test_whenNotPaused_Revert_Paused() (gas: 41855)
485
514
  [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38375)
486
515
  [PASS] test_whenNotPaused_Success() (gas: 38744)
487
516
  [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48261)
488
517
  [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 56792)
489
518
  [PASS] test_whenNotPaused_WithReturnValue() (gas: 15624)
490
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 979.15ms (128.12ms CPU time)
519
+ Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.27s (152.61ms CPU time)
491
520
 
492
521
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
493
522
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -495,362 +524,370 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
495
524
  ╭-----------------------------------+---------------------+-------+---------+----------╮
496
525
  | Contract | Selector | Calls | Reverts | Discards |
497
526
  +======================================================================================+
498
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
527
+ | RateLimiterRBACUpgradeableHandler | inflow | 584 | 0 | 0 |
499
528
  |-----------------------------------+---------------------+-------+---------+----------|
500
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
529
+ | RateLimiterRBACUpgradeableHandler | outflow | 497 | 0 | 0 |
501
530
  |-----------------------------------+---------------------+-------+---------+----------|
502
- | RateLimiterRBACUpgradeableHandler | setConfig | 503 | 0 | 0 |
531
+ | RateLimiterRBACUpgradeableHandler | setConfig | 539 | 0 | 0 |
503
532
  |-----------------------------------+---------------------+-------+---------+----------|
504
- | RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
533
+ | RateLimiterRBACUpgradeableHandler | setState | 570 | 0 | 0 |
505
534
  |-----------------------------------+---------------------+-------+---------+----------|
506
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 582 | 0 | 0 |
535
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 567 | 0 | 0 |
507
536
  |-----------------------------------+---------------------+-------+---------+----------|
508
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
537
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
509
538
  |-----------------------------------+---------------------+-------+---------+----------|
510
- | RateLimiterRBACUpgradeableHandler | warp | 576 | 0 | 0 |
539
+ | RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
511
540
  ╰-----------------------------------+---------------------+-------+---------+----------╯
512
541
 
513
542
  Logs:
514
- Bound result 1651
515
- Bound result 1649
516
- Bound result 2177186476880514
517
- Bound result 1825831375
518
- Bound result 765
519
- Bound result 54
520
- Bound result 3846
521
- Bound result 7589
522
- Bound result 218
523
- Bound result 489
524
- Bound result 1630644677666471893535
525
- Bound result 1605734830987354204289
526
- Bound result 535
527
- Bound result 1040
528
- Bound result 2792863504
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
529
564
 
530
565
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
531
566
 
532
567
  ╭-----------------------------------+---------------------+-------+---------+----------╮
533
568
  | Contract | Selector | Calls | Reverts | Discards |
534
569
  +======================================================================================+
535
- | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
570
+ | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
536
571
  |-----------------------------------+---------------------+-------+---------+----------|
537
- | RateLimiterRBACUpgradeableHandler | outflow | 542 | 0 | 0 |
572
+ | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
538
573
  |-----------------------------------+---------------------+-------+---------+----------|
539
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
574
+ | RateLimiterRBACUpgradeableHandler | setConfig | 560 | 0 | 0 |
540
575
  |-----------------------------------+---------------------+-------+---------+----------|
541
- | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
576
+ | RateLimiterRBACUpgradeableHandler | setState | 527 | 0 | 0 |
542
577
  |-----------------------------------+---------------------+-------+---------+----------|
543
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
578
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 580 | 0 | 0 |
544
579
  |-----------------------------------+---------------------+-------+---------+----------|
545
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 530 | 0 | 0 |
580
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 537 | 0 | 0 |
546
581
  |-----------------------------------+---------------------+-------+---------+----------|
547
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
582
+ | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
548
583
  ╰-----------------------------------+---------------------+-------+---------+----------╯
549
584
 
550
585
  Logs:
551
- Bound result 9900000000000000009829
552
- Bound result 9900000000000000004680
553
- Bound result 4063
554
- Bound result 8801
555
- Bound result 9900036479591639151631
556
- Bound result 9900000000016481733313
557
- Bound result 11
558
- Bound result 22
559
- Bound result 161159256756
560
- Bound result 495898
561
- Bound result 26809
562
- Bound result 15419622852340900364
563
- Bound result 0
564
- Bound result 786873402991262449642
565
- Bound result 9900000000000000001479
566
- Bound result 6916
567
- Bound result 8726
568
- Bound result 1348986071660156
569
- Bound result 5239411395537
570
- Bound result 0
571
- Bound result 1131
572
- Bound result 7995
573
- Bound result 0
574
- Bound result 8161
575
- Bound result 7718
576
- Bound result 1
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
577
596
 
578
597
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
579
598
 
580
599
  ╭-----------------------------------+---------------------+-------+---------+----------╮
581
600
  | Contract | Selector | Calls | Reverts | Discards |
582
601
  +======================================================================================+
583
- | RateLimiterRBACUpgradeableHandler | inflow | 521 | 0 | 0 |
602
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
584
603
  |-----------------------------------+---------------------+-------+---------+----------|
585
- | RateLimiterRBACUpgradeableHandler | outflow | 573 | 0 | 0 |
604
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
586
605
  |-----------------------------------+---------------------+-------+---------+----------|
587
- | RateLimiterRBACUpgradeableHandler | setConfig | 551 | 0 | 0 |
606
+ | RateLimiterRBACUpgradeableHandler | setConfig | 514 | 0 | 0 |
588
607
  |-----------------------------------+---------------------+-------+---------+----------|
589
- | RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
608
+ | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
590
609
  |-----------------------------------+---------------------+-------+---------+----------|
591
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 560 | 0 | 0 |
610
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 528 | 0 | 0 |
592
611
  |-----------------------------------+---------------------+-------+---------+----------|
593
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
612
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
594
613
  |-----------------------------------+---------------------+-------+---------+----------|
595
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
614
+ | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
596
615
  ╰-----------------------------------+---------------------+-------+---------+----------╯
597
616
 
598
617
  Logs:
599
- Bound result 1720358582150454157961
600
- Bound result 9900000000000000000656
601
- Bound result 3154
602
- Bound result 2024
603
- Bound result 1470937699
604
- Bound result 148652141527985156411
605
- Bound result 12069745255
606
- Bound result 4057
607
- Bound result 2607
608
- Bound result 9900000000290578305437
609
- Bound result 272121989076247067751
610
- Bound result 10
611
- Bound result 5590
612
- Bound result 2594
613
- Bound result 373586645566028579963
614
- Bound result 8112183245272758809010
615
- Bound result 40
616
- Bound result 393
617
- Bound result 3888365
618
- Bound result 1
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
619
631
 
620
632
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
621
633
 
622
634
  ╭-----------------------------------+---------------------+-------+---------+----------╮
623
635
  | Contract | Selector | Calls | Reverts | Discards |
624
636
  +======================================================================================+
625
- | RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
637
+ | RateLimiterRBACUpgradeableHandler | inflow | 549 | 0 | 0 |
626
638
  |-----------------------------------+---------------------+-------+---------+----------|
627
- | RateLimiterRBACUpgradeableHandler | outflow | 561 | 0 | 0 |
639
+ | RateLimiterRBACUpgradeableHandler | outflow | 581 | 0 | 0 |
628
640
  |-----------------------------------+---------------------+-------+---------+----------|
629
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
641
+ | RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
630
642
  |-----------------------------------+---------------------+-------+---------+----------|
631
- | RateLimiterRBACUpgradeableHandler | setState | 590 | 0 | 0 |
643
+ | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
632
644
  |-----------------------------------+---------------------+-------+---------+----------|
633
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 516 | 0 | 0 |
645
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
634
646
  |-----------------------------------+---------------------+-------+---------+----------|
635
647
  | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
636
648
  |-----------------------------------+---------------------+-------+---------+----------|
637
- | RateLimiterRBACUpgradeableHandler | warp | 528 | 0 | 0 |
649
+ | RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
638
650
  ╰-----------------------------------+---------------------+-------+---------+----------╯
639
651
 
640
652
  Logs:
641
- Bound result 2
642
- Bound result 33184
643
- Bound result 7072
644
- Bound result 100000000000000000003
645
- Bound result 9900000000000000210174
646
- Bound result 233
647
- Bound result 10
648
- Bound result 5196
649
- Bound result 9900000000000000010180
650
- Bound result 9900000000000000009451
651
- Bound result 8764
652
- Bound result 383
653
- Bound result 316
654
- Bound result 198512580
655
- Bound result 9900000014991372019696
656
- Bound result 454473536626606827753
657
- Bound result 2333
658
- Bound result 357
659
- Bound result 17333873666794089
660
- Bound result 407797109073
653
+ Bound result 1158
654
+ Bound result 3312189255
661
655
  Bound result 0
662
- Bound result 3
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
663
675
 
664
676
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
665
677
 
666
678
  ╭-----------------------------------+---------------------+-------+---------+----------╮
667
679
  | Contract | Selector | Calls | Reverts | Discards |
668
680
  +======================================================================================+
669
- | RateLimiterRBACUpgradeableHandler | inflow | 527 | 0 | 0 |
681
+ | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
670
682
  |-----------------------------------+---------------------+-------+---------+----------|
671
- | RateLimiterRBACUpgradeableHandler | outflow | 535 | 0 | 0 |
683
+ | RateLimiterRBACUpgradeableHandler | outflow | 590 | 0 | 0 |
672
684
  |-----------------------------------+---------------------+-------+---------+----------|
673
- | RateLimiterRBACUpgradeableHandler | setConfig | 587 | 0 | 0 |
685
+ | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
674
686
  |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
687
+ | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
676
688
  |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 538 | 0 | 0 |
689
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
678
690
  |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 552 | 0 | 0 |
691
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 525 | 0 | 0 |
680
692
  |-----------------------------------+---------------------+-------+---------+----------|
681
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
693
+ | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
682
694
  ╰-----------------------------------+---------------------+-------+---------+----------╯
683
695
 
684
696
  Logs:
685
- Bound result 1324
686
- Bound result 1934498091
687
- Bound result 1190898718653977334085
688
- Bound result 3722863
689
- Bound result 14
690
- Bound result 2419
691
- Bound result 9
692
- Bound result 804
693
- Bound result 9900000000000000000048
694
- Bound result 9900000000000000003498
695
- Bound result 5180
696
- Bound result 490
697
- Bound result 35726372
698
- Bound result 9900000000000000008020
699
- Bound result 9900000000000000002328
700
- Bound result 7891
701
- Bound result 8109
702
- Bound result 69148976633768440625
703
- Bound result 13
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
704
730
 
705
731
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
706
732
 
707
733
  ╭-----------------------------------+---------------------+-------+---------+----------╮
708
734
  | Contract | Selector | Calls | Reverts | Discards |
709
735
  +======================================================================================+
710
- | RateLimiterRBACUpgradeableHandler | inflow | 518 | 0 | 0 |
736
+ | RateLimiterRBACUpgradeableHandler | inflow | 526 | 0 | 0 |
711
737
  |-----------------------------------+---------------------+-------+---------+----------|
712
- | RateLimiterRBACUpgradeableHandler | outflow | 529 | 0 | 0 |
738
+ | RateLimiterRBACUpgradeableHandler | outflow | 585 | 0 | 0 |
713
739
  |-----------------------------------+---------------------+-------+---------+----------|
714
- | RateLimiterRBACUpgradeableHandler | setConfig | 537 | 0 | 0 |
740
+ | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
715
741
  |-----------------------------------+---------------------+-------+---------+----------|
716
- | RateLimiterRBACUpgradeableHandler | setState | 579 | 0 | 0 |
742
+ | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
717
743
  |-----------------------------------+---------------------+-------+---------+----------|
718
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 577 | 0 | 0 |
744
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 534 | 0 | 0 |
719
745
  |-----------------------------------+---------------------+-------+---------+----------|
720
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 513 | 0 | 0 |
746
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 540 | 0 | 0 |
721
747
  |-----------------------------------+---------------------+-------+---------+----------|
722
- | RateLimiterRBACUpgradeableHandler | warp | 587 | 0 | 0 |
748
+ | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
723
749
  ╰-----------------------------------+---------------------+-------+---------+----------╯
724
750
 
725
751
  Logs:
726
- Bound result 9908113026368318122579
727
- Bound result 9936242216715233865557
728
- Bound result 79
729
- Bound result 2615
730
- Bound result 414623240959887
731
- Bound result 6125619476204441385152
732
- Bound result 1
733
- Bound result 6914264337593535947488
734
- Bound result 9900000000000141617015
735
- Bound result 310
736
- Bound result 1370
737
- Bound result 9900000000006464291803
738
- Bound result 9900000000000000001353
739
- Bound result 950
740
- Bound result 7514
741
- Bound result 58187
742
- Bound result 9828
743
- Bound result 6914264337593535947491
744
- Bound result 9900000000000000000913
745
- Bound result 11
746
- Bound result 64
747
- Bound result 36
748
- Bound result 358957228658098
749
- Bound result 4896
750
- Bound result 14794357908203140881309
751
- Bound result 32
752
- Bound result 1
753
- Bound result 4412707081309408
752
+ Bound result 954
754
753
  Bound result 2
755
- Bound result 9900000000000000004897
756
- Bound result 9900000000000000002946
757
- Bound result 5224
758
- Bound result 194
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
759
769
 
760
770
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
761
771
 
762
772
  ╭-----------------------------------+---------------------+-------+---------+----------╮
763
773
  | Contract | Selector | Calls | Reverts | Discards |
764
774
  +======================================================================================+
765
- | RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
775
+ | RateLimiterRBACUpgradeableHandler | inflow | 499 | 0 | 0 |
766
776
  |-----------------------------------+---------------------+-------+---------+----------|
767
- | RateLimiterRBACUpgradeableHandler | outflow | 504 | 0 | 0 |
777
+ | RateLimiterRBACUpgradeableHandler | outflow | 540 | 0 | 0 |
768
778
  |-----------------------------------+---------------------+-------+---------+----------|
769
- | RateLimiterRBACUpgradeableHandler | setConfig | 564 | 0 | 0 |
779
+ | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
770
780
  |-----------------------------------+---------------------+-------+---------+----------|
771
- | RateLimiterRBACUpgradeableHandler | setState | 587 | 0 | 0 |
781
+ | RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
772
782
  |-----------------------------------+---------------------+-------+---------+----------|
773
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
783
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 586 | 0 | 0 |
774
784
  |-----------------------------------+---------------------+-------+---------+----------|
775
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 572 | 0 | 0 |
785
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 545 | 0 | 0 |
776
786
  |-----------------------------------+---------------------+-------+---------+----------|
777
- | RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
787
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
778
788
  ╰-----------------------------------+---------------------+-------+---------+----------╯
779
789
 
780
790
  Logs:
781
- Bound result 162473040
782
- Bound result 74661018294594698
783
- Bound result 100000000000000000002
784
- Bound result 9900000027464730937238
785
- Bound result 3409
786
- Bound result 17
787
- Bound result 8395
788
- Bound result 370
789
- Bound result 192384727016371900360
790
- Bound result 935737
791
- Bound result 110
792
- Bound result 2456276928367539854232
793
- Bound result 9901433512489437579189
794
- Bound result 537
795
- Bound result 7754
796
- Bound result 3415727804658564286584
797
- Bound result 24987884966
798
- Bound result 49
799
- Bound result 1015170248979259455100
800
- Bound result 5646599020773900999626
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
801
802
  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
802
812
 
803
813
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
804
814
 
805
815
  ╭-----------------------------------+---------------------+-------+---------+----------╮
806
816
  | Contract | Selector | Calls | Reverts | Discards |
807
817
  +======================================================================================+
808
- | RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
818
+ | RateLimiterRBACUpgradeableHandler | inflow | 535 | 0 | 0 |
809
819
  |-----------------------------------+---------------------+-------+---------+----------|
810
- | RateLimiterRBACUpgradeableHandler | outflow | 563 | 0 | 0 |
820
+ | RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
811
821
  |-----------------------------------+---------------------+-------+---------+----------|
812
- | RateLimiterRBACUpgradeableHandler | setConfig | 573 | 0 | 0 |
822
+ | RateLimiterRBACUpgradeableHandler | setConfig | 517 | 0 | 0 |
813
823
  |-----------------------------------+---------------------+-------+---------+----------|
814
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
824
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
815
825
  |-----------------------------------+---------------------+-------+---------+----------|
816
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 536 | 0 | 0 |
826
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 584 | 0 | 0 |
817
827
  |-----------------------------------+---------------------+-------+---------+----------|
818
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 512 | 0 | 0 |
828
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 544 | 0 | 0 |
819
829
  |-----------------------------------+---------------------+-------+---------+----------|
820
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
830
+ | RateLimiterRBACUpgradeableHandler | warp | 579 | 0 | 0 |
821
831
  ╰-----------------------------------+---------------------+-------+---------+----------╯
822
832
 
823
833
  Logs:
824
- Bound result 8008
825
- Bound result 1800
826
- Bound result 1651482124244328425914
827
- Bound result 1268257560132316953923
828
- Bound result 5990023113200114192398
829
- Bound result 5237277847370017847795
830
- Bound result 38
831
- Bound result 4045
832
- Bound result 7289034382703032760467
833
- Bound result 1869421681176210951578
834
+ Bound result 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
841
+ 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
834
854
  Bound result 12
835
- Bound result 28
836
- Bound result 9900000000000000003523
837
- Bound result 9900000000000000003273
838
- Bound result 2843
839
- Bound result 9252
840
- Bound result 9900000000000000002209
841
- Bound result 9900000000000000009333
842
- Bound result 6546
843
- Bound result 8265
844
- Bound result 807
845
- Bound result 33540518
846
- Bound result 7552
847
- Bound result 187
848
- Bound result 1
849
- Bound result 14451
850
- Bound result 185606753317438162
851
- Bound result 1815
855
+ Bound result 901915202387097361
856
+ Bound result 7625
857
+ Bound result 721
858
+ Bound result 2845
852
859
 
853
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.03s (6.43s CPU time)
860
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.29s (8.17s CPU time)
861
+
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)
854
891
 
855
892
  Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
856
893
  [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
@@ -858,425 +895,403 @@ Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUp
858
895
  ╭-----------------------------------+---------------------+-------+---------+----------╮
859
896
  | Contract | Selector | Calls | Reverts | Discards |
860
897
  +======================================================================================+
861
- | RateLimiterRBACUpgradeableHandler | inflow | 513 | 0 | 0 |
898
+ | RateLimiterRBACUpgradeableHandler | inflow | 553 | 0 | 0 |
862
899
  |-----------------------------------+---------------------+-------+---------+----------|
863
- | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
900
+ | RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
864
901
  |-----------------------------------+---------------------+-------+---------+----------|
865
- | RateLimiterRBACUpgradeableHandler | setConfig | 531 | 0 | 0 |
902
+ | RateLimiterRBACUpgradeableHandler | setConfig | 501 | 0 | 0 |
866
903
  |-----------------------------------+---------------------+-------+---------+----------|
867
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
904
+ | RateLimiterRBACUpgradeableHandler | setState | 573 | 0 | 0 |
868
905
  |-----------------------------------+---------------------+-------+---------+----------|
869
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 593 | 0 | 0 |
906
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
870
907
  |-----------------------------------+---------------------+-------+---------+----------|
871
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 524 | 0 | 0 |
908
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
872
909
  |-----------------------------------+---------------------+-------+---------+----------|
873
- | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
910
+ | RateLimiterRBACUpgradeableHandler | warp | 559 | 0 | 0 |
874
911
  ╰-----------------------------------+---------------------+-------+---------+----------╯
875
912
 
876
913
  Logs:
877
- Bound result 2557
878
- Bound result 2527
879
- Bound result 0
880
- Bound result 4978357149506662642309
881
- Bound result 9605578275025333593160
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
882
921
  Bound result 10
883
- Bound result 9997
884
- Bound result 6665
885
- Bound result 5553
886
- Bound result 9900000000000000004494
887
- Bound result 9900000000000000000723
888
- Bound result 2545
889
- Bound result 711
890
- Bound result 6914264337587757894120
891
- Bound result 4831
892
- Bound result 236164383790267926783
893
- Bound result 255938715378
894
- Bound result 6914264337587753892698
895
- Bound result 230
896
- Bound result 6914264337557575167977
897
- Bound result 15692607307700007666547
898
- Bound result 2512
922
+ Bound result 12
899
923
  Bound result 2
900
- Bound result 11035748648267059480199
901
- Bound result 159
924
+ Bound result 7972
925
+ Bound result 381337636
926
+ Bound result 0
927
+ Bound result 9194
928
+ Bound result 546
929
+ 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
902
936
 
903
937
  [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
904
938
 
905
939
  ╭-----------------------------------+---------------------+-------+---------+----------╮
906
940
  | Contract | Selector | Calls | Reverts | Discards |
907
941
  +======================================================================================+
908
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
942
+ | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
909
943
  |-----------------------------------+---------------------+-------+---------+----------|
910
- | RateLimiterRBACUpgradeableHandler | outflow | 538 | 0 | 0 |
944
+ | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
911
945
  |-----------------------------------+---------------------+-------+---------+----------|
912
- | RateLimiterRBACUpgradeableHandler | setConfig | 566 | 0 | 0 |
946
+ | RateLimiterRBACUpgradeableHandler | setConfig | 568 | 0 | 0 |
913
947
  |-----------------------------------+---------------------+-------+---------+----------|
914
- | RateLimiterRBACUpgradeableHandler | setState | 524 | 0 | 0 |
948
+ | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
915
949
  |-----------------------------------+---------------------+-------+---------+----------|
916
950
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
917
951
  |-----------------------------------+---------------------+-------+---------+----------|
918
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 536 | 0 | 0 |
952
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
919
953
  |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | warp | 568 | 0 | 0 |
954
+ | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
921
955
  ╰-----------------------------------+---------------------+-------+---------+----------╯
922
956
 
923
957
  Logs:
924
- Bound result 101
925
- Bound result 105537236
926
- Bound result 123
927
- Bound result 9900000000000000000972
928
- Bound result 9900000000000000001125
929
- Bound result 594
930
- Bound result 996
931
- Bound result 1642
932
- Bound result 9900000000000000008207
933
- Bound result 9900000000000000002103
934
- Bound result 5590
935
- Bound result 1613
936
- Bound result 6914264337527860608202
937
- Bound result 6914264337576709967979
938
- Bound result 138
939
- Bound result 9900000011536684323273
940
- Bound result 9900000000000000000177
941
- Bound result 857
942
- Bound result 9045
943
- Bound result 17
944
- Bound result 8458
958
+ Bound result 395093611431
959
+ Bound result 630346
960
+ 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
945
978
 
946
979
  [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
947
980
 
948
981
  ╭-----------------------------------+---------------------+-------+---------+----------╮
949
982
  | Contract | Selector | Calls | Reverts | Discards |
950
983
  +======================================================================================+
951
- | RateLimiterRBACUpgradeableHandler | inflow | 582 | 0 | 0 |
984
+ | RateLimiterRBACUpgradeableHandler | inflow | 543 | 0 | 0 |
952
985
  |-----------------------------------+---------------------+-------+---------+----------|
953
- | RateLimiterRBACUpgradeableHandler | outflow | 539 | 0 | 0 |
986
+ | RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
954
987
  |-----------------------------------+---------------------+-------+---------+----------|
955
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
988
+ | RateLimiterRBACUpgradeableHandler | setConfig | 532 | 0 | 0 |
956
989
  |-----------------------------------+---------------------+-------+---------+----------|
957
- | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
990
+ | RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
958
991
  |-----------------------------------+---------------------+-------+---------+----------|
959
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
992
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 599 | 0 | 0 |
960
993
  |-----------------------------------+---------------------+-------+---------+----------|
961
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 531 | 0 | 0 |
994
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 551 | 0 | 0 |
962
995
  |-----------------------------------+---------------------+-------+---------+----------|
963
- | RateLimiterRBACUpgradeableHandler | warp | 549 | 0 | 0 |
996
+ | RateLimiterRBACUpgradeableHandler | warp | 507 | 0 | 0 |
964
997
  ╰-----------------------------------+---------------------+-------+---------+----------╯
965
998
 
966
999
  Logs:
967
- Bound result 10516
968
- Bound result 442400193499211653386
969
- Bound result 488748047384393796712
1000
+ Bound result 713169429509076402938
1001
+ Bound result 2532595033023450470
1002
+ Bound result 9232426338519
1003
+ Bound result 1033724435991029871229
970
1004
  Bound result 0
971
- Bound result 5524209010963487862338
972
- Bound result 6788213077142039764616
973
- Bound result 3980
974
- Bound result 9480
975
- Bound result 45
976
- Bound result 88884154932121776
977
- Bound result 0
978
- Bound result 2495
979
- Bound result 4420710039556013273504
980
- Bound result 4260953636126790184720
981
- Bound result 6914264337593535947490
982
- Bound result 5983
983
- Bound result 2384
984
- Bound result 73
985
- Bound result 1724211
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
986
1024
 
987
1025
  [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
988
1026
 
989
1027
  ╭-----------------------------------+---------------------+-------+---------+----------╮
990
1028
  | Contract | Selector | Calls | Reverts | Discards |
991
1029
  +======================================================================================+
992
- | RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
1030
+ | RateLimiterRBACUpgradeableHandler | inflow | 548 | 0 | 0 |
993
1031
  |-----------------------------------+---------------------+-------+---------+----------|
994
- | RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
1032
+ | RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
995
1033
  |-----------------------------------+---------------------+-------+---------+----------|
996
- | RateLimiterRBACUpgradeableHandler | setConfig | 604 | 0 | 0 |
1034
+ | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
997
1035
  |-----------------------------------+---------------------+-------+---------+----------|
998
- | RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
1036
+ | RateLimiterRBACUpgradeableHandler | setState | 580 | 0 | 0 |
999
1037
  |-----------------------------------+---------------------+-------+---------+----------|
1000
1038
  | RateLimiterRBACUpgradeableHandler | toggleExemption | 531 | 0 | 0 |
1001
1039
  |-----------------------------------+---------------------+-------+---------+----------|
1002
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 534 | 0 | 0 |
1040
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 523 | 0 | 0 |
1003
1041
  |-----------------------------------+---------------------+-------+---------+----------|
1004
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
1042
+ | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
1005
1043
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1006
1044
 
1007
1045
  Logs:
1008
- Bound result 10384
1009
- Bound result 1303486079
1010
- Bound result 0
1011
- Bound result 2716553223036437023076
1012
- Bound result 7611336645876654784001
1013
- Bound result 692
1014
- Bound result 7689
1015
- Bound result 7866718220607722265782
1016
- Bound result 9804
1017
- Bound result 651597525907305044410
1018
- Bound result 3
1019
- Bound result 0
1020
- Bound result 9623
1021
- Bound result 5980
1022
- Bound result 7452
1023
- Bound result 15091
1024
- Bound result 57846971092458
1025
- Bound result 10733
1026
- Bound result 1415400260301564663048
1027
- Bound result 102606151328000
1028
- Bound result 1327
1029
- Bound result 1643
1030
- Bound result 443
1031
- Bound result 5888
1046
+ Bound result 9
1047
+ Bound result 319
1048
+ Bound result 403
1049
+ 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
1032
1057
 
1033
1058
  [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1034
1059
 
1035
1060
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1036
1061
  | Contract | Selector | Calls | Reverts | Discards |
1037
1062
  +======================================================================================+
1038
- | RateLimiterRBACUpgradeableHandler | inflow | 536 | 0 | 0 |
1063
+ | RateLimiterRBACUpgradeableHandler | inflow | 579 | 0 | 0 |
1039
1064
  |-----------------------------------+---------------------+-------+---------+----------|
1040
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
1065
+ | RateLimiterRBACUpgradeableHandler | outflow | 514 | 0 | 0 |
1041
1066
  |-----------------------------------+---------------------+-------+---------+----------|
1042
- | RateLimiterRBACUpgradeableHandler | setConfig | 563 | 0 | 0 |
1067
+ | RateLimiterRBACUpgradeableHandler | setConfig | 522 | 0 | 0 |
1043
1068
  |-----------------------------------+---------------------+-------+---------+----------|
1044
- | RateLimiterRBACUpgradeableHandler | setState | 549 | 0 | 0 |
1069
+ | RateLimiterRBACUpgradeableHandler | setState | 559 | 0 | 0 |
1045
1070
  |-----------------------------------+---------------------+-------+---------+----------|
1046
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 539 | 0 | 0 |
1071
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 535 | 0 | 0 |
1047
1072
  |-----------------------------------+---------------------+-------+---------+----------|
1048
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 557 | 0 | 0 |
1073
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 590 | 0 | 0 |
1049
1074
  |-----------------------------------+---------------------+-------+---------+----------|
1050
- | RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
1075
+ | RateLimiterRBACUpgradeableHandler | warp | 541 | 0 | 0 |
1051
1076
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1052
1077
 
1053
1078
  Logs:
1054
- Bound result 4745201879758015458770
1055
- Bound result 100000000000000000001
1056
- Bound result 1583
1057
- Bound result 13
1058
- Bound result 5334516197851111392408
1059
- Bound result 6914264337593535947491
1060
- Bound result 3609
1061
- Bound result 4727
1062
- Bound result 1342023
1063
- Bound result 8151
1064
- Bound result 9900000000000000006079
1065
- Bound result 9900000000000000003521
1066
- Bound result 864
1067
- Bound result 8439
1068
- Bound result 4688
1069
- Bound result 27021
1070
- Bound result 6914264337565361935187
1071
- Bound result 3
1072
- Bound result 5186
1073
- Bound result 1599
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
1074
1093
 
1075
1094
  [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1076
1095
 
1077
1096
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1078
1097
  | Contract | Selector | Calls | Reverts | Discards |
1079
1098
  +======================================================================================+
1080
- | RateLimiterRBACUpgradeableHandler | inflow | 593 | 0 | 0 |
1099
+ | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
1081
1100
  |-----------------------------------+---------------------+-------+---------+----------|
1082
- | RateLimiterRBACUpgradeableHandler | outflow | 537 | 0 | 0 |
1101
+ | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
1083
1102
  |-----------------------------------+---------------------+-------+---------+----------|
1084
- | RateLimiterRBACUpgradeableHandler | setConfig | 540 | 0 | 0 |
1103
+ | RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
1085
1104
  |-----------------------------------+---------------------+-------+---------+----------|
1086
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
1105
+ | RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
1087
1106
  |-----------------------------------+---------------------+-------+---------+----------|
1088
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
1107
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
1089
1108
  |-----------------------------------+---------------------+-------+---------+----------|
1090
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 591 | 0 | 0 |
1109
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 548 | 0 | 0 |
1091
1110
  |-----------------------------------+---------------------+-------+---------+----------|
1092
- | RateLimiterRBACUpgradeableHandler | warp | 486 | 0 | 0 |
1111
+ | RateLimiterRBACUpgradeableHandler | warp | 550 | 0 | 0 |
1093
1112
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1094
1113
 
1095
1114
  Logs:
1096
- Bound result 989
1097
- Bound result 9900000000032236582255
1098
- Bound result 9900000000000000084467
1099
- Bound result 1220
1100
- Bound result 9998
1101
- Bound result 3341
1102
- Bound result 1225
1103
- Bound result 1
1104
- Bound result 6265
1105
- Bound result 7940
1106
- Bound result 1
1107
- Bound result 9900000006825974991186
1108
- Bound result 9900000000000000321107
1109
- Bound result 2548
1110
- Bound result 5267
1111
- Bound result 1049228636711332296883
1112
- Bound result 4133266345060000312615
1113
- Bound result 130992286406668910
1114
- Bound result 7
1115
- Bound result 1
1116
- Bound result 10153
1117
- Bound result 661580606
1118
- Bound result 99
1119
- Bound result 0
1120
- Bound result 11357370558486767590158
1121
- Bound result 105
1122
- Bound result 0
1123
- Bound result 4058070502
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
1124
1143
 
1125
1144
  [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1126
1145
 
1127
1146
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1128
1147
  | Contract | Selector | Calls | Reverts | Discards |
1129
1148
  +======================================================================================+
1130
- | RateLimiterRBACUpgradeableHandler | inflow | 556 | 0 | 0 |
1149
+ | RateLimiterRBACUpgradeableHandler | inflow | 557 | 0 | 0 |
1131
1150
  |-----------------------------------+---------------------+-------+---------+----------|
1132
- | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1151
+ | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
1133
1152
  |-----------------------------------+---------------------+-------+---------+----------|
1134
- | RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
1153
+ | RateLimiterRBACUpgradeableHandler | setConfig | 584 | 0 | 0 |
1135
1154
  |-----------------------------------+---------------------+-------+---------+----------|
1136
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1155
+ | RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
1137
1156
  |-----------------------------------+---------------------+-------+---------+----------|
1138
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 540 | 0 | 0 |
1157
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 541 | 0 | 0 |
1139
1158
  |-----------------------------------+---------------------+-------+---------+----------|
1140
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
1159
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 549 | 0 | 0 |
1141
1160
  |-----------------------------------+---------------------+-------+---------+----------|
1142
- | RateLimiterRBACUpgradeableHandler | warp | 556 | 0 | 0 |
1161
+ | RateLimiterRBACUpgradeableHandler | warp | 531 | 0 | 0 |
1143
1162
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1144
1163
 
1145
1164
  Logs:
1146
- Bound result 41012473
1147
- Bound result 3207988
1148
- Bound result 1
1149
- Bound result 861566632235817252104
1150
- Bound result 9900000000000000003342
1151
- Bound result 9900000000000000002799
1152
- Bound result 5521
1153
- Bound result 8428
1154
- Bound result 243361090528
1155
- Bound result 357937062914655056
1165
+ Bound result 2846814508209
1166
+ Bound result 1508468053805676512056
1156
1167
  Bound result 0
1157
- Bound result 1615
1158
- Bound result 578961018
1159
- Bound result 348
1160
- Bound result 3575
1161
- Bound result 520663427717375230597
1162
- Bound result 9900000000000000248196
1163
- Bound result 9900000081667917793013
1164
- Bound result 9995
1165
- Bound result 12
1166
- Bound result 97739540530312552
1167
- Bound result 1269195969
1168
- Bound result 1137
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
1169
1177
 
1170
1178
  [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1171
1179
 
1172
1180
  ╭-----------------------------------+---------------------+-------+---------+----------╮
1173
1181
  | Contract | Selector | Calls | Reverts | Discards |
1174
1182
  +======================================================================================+
1175
- | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
1183
+ | RateLimiterRBACUpgradeableHandler | inflow | 541 | 0 | 0 |
1176
1184
  |-----------------------------------+---------------------+-------+---------+----------|
1177
- | RateLimiterRBACUpgradeableHandler | outflow | 524 | 0 | 0 |
1185
+ | RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
1178
1186
  |-----------------------------------+---------------------+-------+---------+----------|
1179
- | RateLimiterRBACUpgradeableHandler | setConfig | 572 | 0 | 0 |
1187
+ | RateLimiterRBACUpgradeableHandler | setConfig | 541 | 0 | 0 |
1180
1188
  |-----------------------------------+---------------------+-------+---------+----------|
1181
1189
  | RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
1182
1190
  |-----------------------------------+---------------------+-------+---------+----------|
1183
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 488 | 0 | 0 |
1191
+ | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
1184
1192
  |-----------------------------------+---------------------+-------+---------+----------|
1185
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 581 | 0 | 0 |
1193
+ | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 509 | 0 | 0 |
1186
1194
  |-----------------------------------+---------------------+-------+---------+----------|
1187
- | RateLimiterRBACUpgradeableHandler | warp | 529 | 0 | 0 |
1195
+ | RateLimiterRBACUpgradeableHandler | warp | 545 | 0 | 0 |
1188
1196
  ╰-----------------------------------+---------------------+-------+---------+----------╯
1189
1197
 
1190
1198
  Logs:
1191
- Bound result 14839505982
1192
- Bound result 1301
1193
- Bound result 5041
1194
- Bound result 448
1195
- Bound result 1000000000000000000000
1196
- Bound result 911641279
1197
- Bound result 10194
1198
- Bound result 319
1199
- Bound result 45
1200
- Bound result 2152594145886467687
1201
- Bound result 27135279727312348263
1202
- Bound result 610
1203
- Bound result 9771
1204
- Bound result 1010
1205
- Bound result 17
1206
- Bound result 9900000030405348083291
1207
- Bound result 9917359897767360299520
1208
- Bound result 13
1209
- Bound result 7050
1210
- Bound result 100000000000000000001
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
1211
1212
 
1212
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.06s (6.37s CPU time)
1213
+ Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.35s (7.99s CPU time)
1213
1214
 
1214
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
1215
- [PASS] test_SwitchModes_PreservesState() (gas: 186406)
1216
- [PASS] test_constructor_InitialMode() (gas: 15578)
1217
- [PASS] test_constructor_InitializeWhitelist() (gas: 1372960)
1218
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122675)
1219
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42920)
1220
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 110088, ~: 110088)
1221
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40990, ~: 40990)
1222
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15761, ~: 15761)
1223
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 41054, ~: 41054)
1224
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 110010, ~: 110030)
1225
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25813)
1226
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42962)
1227
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122528)
1228
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 121851)
1229
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22626)
1230
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 119712)
1231
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10967)
1232
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 168334)
1233
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 95066)
1234
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 119566)
1235
- [PASS] test_setMode_Blacklist() (gas: 40021)
1236
- [PASS] test_setMode_MultipleChanges() (gas: 39734)
1237
- [PASS] test_setMode_RevertSameMode() (gas: 45674)
1238
- [PASS] test_setMode_Whitelist() (gas: 40108)
1239
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10878)
1240
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 168133)
1241
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94878)
1242
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 119358)
1243
- [PASS] test_storageHash() (gas: 3458)
1244
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 8.84s (288.20ms CPU time)
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)
1245
1227
 
1246
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
1247
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 51175)
1248
- [PASS] test_getAmountBeforeFee_Default() (gas: 47637)
1249
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47631, ~: 48966)
1250
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 47301)
1251
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 48148)
1252
- [PASS] test_getAmountBeforeFee_Specific() (gas: 71482)
1253
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 67096)
1254
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 43173)
1255
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22479)
1256
- [PASS] test_getFee_BoundaryConditions() (gas: 75442)
1257
- [PASS] test_getFee_Default() (gas: 43108)
1258
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45748, ~: 47017)
1259
- [PASS] test_getFee_Rounding() (gas: 45449)
1260
- [PASS] test_getFee_Specific() (gas: 66985)
1261
- [PASS] test_getFee_SpecificDisabled() (gas: 66943)
1262
- [PASS] test_setDefaultFeeBps() (gas: 42199)
1263
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34304, ~: 42268)
1264
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16371)
1265
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 20432)
1266
- [PASS] test_setFeeBps() (gas: 77237)
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)
1267
1248
  Logs:
1268
1249
  Bound result 500
1269
1250
 
1270
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 68578, ~: 77570)
1271
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16575)
1272
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 20531)
1273
- [PASS] test_storageHash() (gas: 3436)
1274
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 8.87s (560.33ms CPU time)
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)
1255
+
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)
1288
+ [PASS] test_storageHash() (gas: 3480)
1289
+ Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 10.95s (582.79ms CPU time)
1275
1290
 
1276
1291
  Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1277
1292
  [PASS] test_address_paginate_AfterRemovingElements() (gas: 1136937)
1278
1293
  [PASS] test_address_paginate_EmptySet() (gas: 277856)
1279
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 811807, ~: 285058)
1294
+ [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 798736, ~: 216005)
1280
1295
  [PASS] test_address_paginate_LargeSet() (gas: 465360224)
1281
1296
  [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25775)
1282
1297
  [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2837493)
@@ -1289,12 +1304,12 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1289
1304
  [PASS] test_address_paginate_OffsetZero() (gas: 45775)
1290
1305
  [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3517742)
1291
1306
  [PASS] test_address_paginate_SingleElement() (gas: 344858)
1292
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11147843, ~: 10409422)
1307
+ [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11179509, ~: 10448243)
1293
1308
  [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 297)
1294
1309
  [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 934858)
1295
1310
  [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1121055)
1296
1311
  [PASS] test_uint_paginate_EmptySet() (gas: 266762)
1297
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 739856, ~: 123158)
1312
+ [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 718311, ~: 108658)
1298
1313
  [PASS] test_uint_paginate_LargeSet() (gas: 463783795)
1299
1314
  [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25408)
1300
1315
  [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2748514)
@@ -1307,10 +1322,10 @@ Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1307
1322
  [PASS] test_uint_paginate_OffsetZero() (gas: 44650)
1308
1323
  [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410721)
1309
1324
  [PASS] test_uint_paginate_SingleElement() (gas: 333617)
1310
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11177390, ~: 10439714)
1325
+ [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11214410, ~: 10633595)
1311
1326
  [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063089)
1312
1327
  [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896521)
1313
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 8.87s (20.85s CPU time)
1328
+ Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.95s (26.24s CPU time)
1314
1329
 
1315
- Ran 17 test suites in 8.89s (33.41s CPU time): 412 tests passed, 0 failed, 0 skipped (412 total tests)
1316
- ⏳ forge test: 21.139s
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