@layerzerolabs/utils-upgradeable-evm-contracts 1.2.25 → 1.2.28

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 (4) hide show
  1. package/README.md +3 -0
  2. package/package.json +5 -5
  3. package/.turbo/turbo-lint.log +0 -497
  4. package/.turbo/turbo-test.log +0 -1388
package/.turbo/turbo-test.log DELETED
@@ -1,1388 +0,0 @@
1
-
2
- > @layerzerolabs/utils-upgradeable-evm-contracts@0.0.0 test /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable
3
- > pnpm lz-tool forge test
4
-
5
- ✅ forge-1.3.6-hardhat-2.26.3
6
- 🔧 forge version: 1.3.6
7
- 📦 Using scoped workspace: /tmp/lz-scoped-workspace-pdFcIv
8
- 📦 Copied 8 workspace package source(s)
9
- 📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
10
- (node:61403) [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
- Reparsing as ES module because module syntax was detected. This incurs a performance overhead.
12
- To eliminate this warning, add "type": "module" to /home/runner/work/monorepo-internal/monorepo-internal/package.json.
13
- (Use `node --trace-warnings ...` to show where the warning was created)
14
- 📦 Docker volumes:
15
- -v /tmp/lz-scoped-workspace-pdFcIv:/workspace
16
- -v /home/runner/work/monorepo-internal/monorepo-internal/contracts/common/utils/evm/upgradeable:/workspace/contracts/common/utils/evm/upgradeable
17
- -v /home/runner/work/monorepo-internal/monorepo-internal/node_modules/.pnpm:/workspace/node_modules/.pnpm:ro
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-4
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-4
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-4
21
- $ docker pull 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
22
- forge-1.3.6-hardhat-2.26.3-patch-4: Pulling from layerzerolabs/evm-tooling
23
- 17639c486e57: Pulling fs layer
24
- 53d86cd64323: Pulling fs layer
25
- bbd7db620433: Pulling fs layer
26
- dd8d0adb78c1: Pulling fs layer
27
- e2082273f6a6: Pulling fs layer
28
- 6aca5ecbfbf0: Pulling fs layer
29
- 57cfa89d22f0: Pulling fs layer
30
- 95f21f1a21d0: Pulling fs layer
31
- 53d86cd64323: Download complete
32
- 796d60317d4d: Pulling fs layer
33
- e2082273f6a6: Waiting
34
- c35d7f83b6fc: Pulling fs layer
35
- 8f1cde221fc4: Pulling fs layer
36
- bcbb9eb73fb5: Pulling fs layer
37
- 57cfa89d22f0: Waiting
38
- 6aca5ecbfbf0: Waiting
39
- c8e19a2c627e: Pulling fs layer
40
- b79abc894e87: Pulling fs layer
41
- 63ec365deef1: Pulling fs layer
42
- dd8d0adb78c1: Waiting
43
- 8f1cde221fc4: Waiting
44
- 36a7bdc86737: Pulling fs layer
45
- 36a7bdc86737: Waiting
46
- 796d60317d4d: Waiting
47
- bcbb9eb73fb5: Waiting
48
- c35d7f83b6fc: Waiting
49
- c8e19a2c627e: Waiting
50
- b79abc894e87: Waiting
51
- 63ec365deef1: Waiting
52
- 95f21f1a21d0: Waiting
53
- dd8d0adb78c1: Verifying Checksum
54
- dd8d0adb78c1: Download complete
55
- 17639c486e57: Download complete
56
- e2082273f6a6: Verifying Checksum
57
- e2082273f6a6: Download complete
58
- bbd7db620433: Verifying Checksum
59
- bbd7db620433: Download complete
60
- 6aca5ecbfbf0: Download complete
61
- 796d60317d4d: Verifying Checksum
62
- 796d60317d4d: Download complete
63
- 17639c486e57: Pull complete
64
- c35d7f83b6fc: Download complete
65
- 57cfa89d22f0: Verifying Checksum
66
- 57cfa89d22f0: Download complete
67
- 8f1cde221fc4: Verifying Checksum
68
- 8f1cde221fc4: Download complete
69
- bcbb9eb73fb5: Verifying Checksum
70
- bcbb9eb73fb5: Download complete
71
- 53d86cd64323: Pull complete
72
- c8e19a2c627e: Download complete
73
- bbd7db620433: Pull complete
74
- dd8d0adb78c1: Pull complete
75
- e2082273f6a6: Pull complete
76
- 6aca5ecbfbf0: Pull complete
77
- 57cfa89d22f0: Pull complete
78
- 95f21f1a21d0: Verifying Checksum
79
- 95f21f1a21d0: Download complete
80
- 36a7bdc86737: Verifying Checksum
81
- 36a7bdc86737: Download complete
82
- 63ec365deef1: Verifying Checksum
83
- 63ec365deef1: Download complete
84
- b79abc894e87: Verifying Checksum
85
- b79abc894e87: Download complete
86
- 95f21f1a21d0: Pull complete
87
- 796d60317d4d: Pull complete
88
- c35d7f83b6fc: Pull complete
89
- 8f1cde221fc4: Pull complete
90
- bcbb9eb73fb5: Pull complete
91
- c8e19a2c627e: Pull complete
92
- b79abc894e87: Pull complete
93
- 63ec365deef1: Pull complete
94
- 36a7bdc86737: Pull complete
95
- Digest: sha256:778dd8fe35fba1405c5995090a0d4167609e8b03ece06b005fb0e067f4f7e2ab
96
- 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-4
97
- 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
98
- ✅ Successfully pulled: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4
99
- 👤 Running container as UID:GID 1001:1001
100
- $ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-pdFcIv:/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-4 forge test
101
- Compiling 92 files with Solc 0.8.26
102
- Solc 0.8.26 finished in 8.81s
103
- Compiler run successful with warnings:
104
- Warning (2018): Function state mutability can be restricted to view
105
- --> test/EnumerableSetPagination.t.sol:91:5:
106
- |
107
- 91 | function test_address_paginate_OffsetZero() public {
108
- | ^ (Relevant source part starts here and spans across multiple lines).
109
-
110
- Warning (2018): Function state mutability can be restricted to view
111
- --> test/EnumerableSetPagination.t.sol:99:5:
112
- |
113
- 99 | function test_address_paginate_MiddleOffset() public {
114
- | ^ (Relevant source part starts here and spans across multiple lines).
115
-
116
- Warning (2018): Function state mutability can be restricted to view
117
- --> test/EnumerableSetPagination.t.sol:107:5:
118
- |
119
- 107 | function test_address_paginate_OffsetAtEnd() public {
120
- | ^ (Relevant source part starts here and spans across multiple lines).
121
-
122
- Warning (2018): Function state mutability can be restricted to view
123
- --> test/EnumerableSetPagination.t.sol:113:5:
124
- |
125
- 113 | function test_address_paginate_OffsetBeyondEnd() public {
126
- | ^ (Relevant source part starts here and spans across multiple lines).
127
-
128
- Warning (2018): Function state mutability can be restricted to view
129
- --> test/EnumerableSetPagination.t.sol:120:5:
130
- |
131
- 120 | function test_address_paginate_LimitZero() public {
132
- | ^ (Relevant source part starts here and spans across multiple lines).
133
-
134
- Warning (2018): Function state mutability can be restricted to view
135
- --> test/EnumerableSetPagination.t.sol:124:5:
136
- |
137
- 124 | function test_address_paginate_LimitOne() public {
138
- | ^ (Relevant source part starts here and spans across multiple lines).
139
-
140
- Warning (2018): Function state mutability can be restricted to view
141
- --> test/EnumerableSetPagination.t.sol:130:5:
142
- |
143
- 130 | function test_address_paginate_LimitExceedsRemaining() public {
144
- | ^ (Relevant source part starts here and spans across multiple lines).
145
-
146
- Warning (2018): Function state mutability can be restricted to view
147
- --> test/EnumerableSetPagination.t.sol:135:5:
148
- |
149
- 135 | function test_address_paginate_LimitExceedsTotal() public {
150
- | ^ (Relevant source part starts here and spans across multiple lines).
151
-
152
- Warning (2018): Function state mutability can be restricted to view
153
- --> test/EnumerableSetPagination.t.sol:139:5:
154
- |
155
- 139 | function test_address_paginate_MaxUint256Limit() public {
156
- | ^ (Relevant source part starts here and spans across multiple lines).
157
-
158
- Warning (2018): Function state mutability can be restricted to view
159
- --> test/EnumerableSetPagination.t.sol:145:5:
160
- |
161
- 145 | function test_address_paginate_SequentialPagesCompleteSet() public {
162
- | ^ (Relevant source part starts here and spans across multiple lines).
163
-
164
- Warning (2018): Function state mutability can be restricted to view
165
- --> test/EnumerableSetPagination.t.sol:258:5:
166
- |
167
- 258 | function test_uint_paginate_OffsetZero() public {
168
- | ^ (Relevant source part starts here and spans across multiple lines).
169
-
170
- Warning (2018): Function state mutability can be restricted to view
171
- --> test/EnumerableSetPagination.t.sol:266:5:
172
- |
173
- 266 | function test_uint_paginate_MiddleOffset() public {
174
- | ^ (Relevant source part starts here and spans across multiple lines).
175
-
176
- Warning (2018): Function state mutability can be restricted to view
177
- --> test/EnumerableSetPagination.t.sol:274:5:
178
- |
179
- 274 | function test_uint_paginate_OffsetAtEnd() public {
180
- | ^ (Relevant source part starts here and spans across multiple lines).
181
-
182
- Warning (2018): Function state mutability can be restricted to view
183
- --> test/EnumerableSetPagination.t.sol:280:5:
184
- |
185
- 280 | function test_uint_paginate_OffsetBeyondEnd() public {
186
- | ^ (Relevant source part starts here and spans across multiple lines).
187
-
188
- Warning (2018): Function state mutability can be restricted to view
189
- --> test/EnumerableSetPagination.t.sol:287:5:
190
- |
191
- 287 | function test_uint_paginate_LimitZero() public {
192
- | ^ (Relevant source part starts here and spans across multiple lines).
193
-
194
- Warning (2018): Function state mutability can be restricted to view
195
- --> test/EnumerableSetPagination.t.sol:291:5:
196
- |
197
- 291 | function test_uint_paginate_LimitOne() public {
198
- | ^ (Relevant source part starts here and spans across multiple lines).
199
-
200
- Warning (2018): Function state mutability can be restricted to view
201
- --> test/EnumerableSetPagination.t.sol:297:5:
202
- |
203
- 297 | function test_uint_paginate_LimitExceedsRemaining() public {
204
- | ^ (Relevant source part starts here and spans across multiple lines).
205
-
206
- Warning (2018): Function state mutability can be restricted to view
207
- --> test/EnumerableSetPagination.t.sol:302:5:
208
- |
209
- 302 | function test_uint_paginate_LimitExceedsTotal() public {
210
- | ^ (Relevant source part starts here and spans across multiple lines).
211
-
212
- Warning (2018): Function state mutability can be restricted to view
213
- --> test/EnumerableSetPagination.t.sol:306:5:
214
- |
215
- 306 | function test_uint_paginate_MaxUint256Limit() public {
216
- | ^ (Relevant source part starts here and spans across multiple lines).
217
-
218
- Warning (2018): Function state mutability can be restricted to view
219
- --> test/EnumerableSetPagination.t.sol:312:5:
220
- |
221
- 312 | function test_uint_paginate_SequentialPagesCompleteSet() public {
222
- | ^ (Relevant source part starts here and spans across multiple lines).
223
-
224
-
225
- Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
226
- [PASS] test_checkpointRateLimits_Empty() (gas: 13193)
227
- [PASS] test_checkpointRateLimits_Multiple() (gas: 151652)
228
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 92715)
229
- [PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19178)
230
- [PASS] test_checkpointRateLimits_Single() (gas: 86904)
231
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1716038)
232
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38207)
233
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1715834)
234
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 24667)
235
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48094)
236
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23440)
237
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23505)
238
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 87661)
239
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 3553957)
240
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 3516380)
241
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 3514403)
242
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 50968)
243
- [PASS] test_inflow_GloballyDisabled() (gas: 53719)
244
- [PASS] test_inflow_WithScaleDecimals() (gas: 3510925)
245
- [PASS] test_initial_state_closed() (gas: 3464325)
246
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 50947)
247
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 29913)
248
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 31886)
249
- [PASS] test_outflow_GloballyDisabled() (gas: 53762)
250
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 77749)
251
- [PASS] test_outflow_WithScaleDecimals() (gas: 3510940)
252
- [PASS] test_setRateLimitAddressExemptions() (gas: 61183)
253
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 23618)
254
- [PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19369)
255
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 95695)
256
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 108829)
257
- [PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 20640)
258
- [PASS] test_setRateLimitConfigs_Single() (gas: 78235)
259
- [PASS] test_setRateLimitGlobalConfig() (gas: 51513)
260
- [PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 18924)
261
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18229)
262
- [PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 19856)
263
- [PASS] test_setRateLimitStates_Single() (gas: 51642)
264
- [PASS] test_storageHash() (gas: 3351)
265
- [PASS] test_upscaleRateLimitAmount() (gas: 3446173)
266
- Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 11.45ms (8.27ms CPU time)
267
-
268
- Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
269
- [PASS] test_checkpointRateLimits_Empty() (gas: 10793)
270
- [PASS] test_checkpointRateLimits_Multiple() (gas: 148919)
271
- [PASS] test_checkpointRateLimits_PreservesDecay() (gas: 89826)
272
- [PASS] test_checkpointRateLimits_Single() (gas: 84213)
273
- [PASS] test_constructor_MaxScaledDecimals() (gas: 1716016)
274
- [PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38229)
275
- [PASS] test_constructor_ZeroScaledDecimals() (gas: 1715834)
276
- [PASS] test_getRateLimitUsages_BothDisabled() (gas: 24633)
277
- [PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 45727)
278
- [PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23429)
279
- [PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23427)
280
- [PASS] test_getRateLimitUsages_WithDecay() (gas: 85150)
281
- [PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2580617)
282
- [PASS] test_globalState_SharesStateAcrossIds() (gas: 2542918)
283
- [PASS] test_globalState_UsesDefaultIdForState() (gas: 2541074)
284
- [PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 50867)
285
- [PASS] test_inflow_GloballyDisabled() (gas: 51329)
286
- [PASS] test_inflow_WithScaleDecimals() (gas: 2537562)
287
- [PASS] test_initial_state_closed() (gas: 2491351)
288
- [PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 50934)
289
- [PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 29857)
290
- [PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 31786)
291
- [PASS] test_outflow_GloballyDisabled() (gas: 51417)
292
- [PASS] test_outflow_Revert_RateLimitExceeded() (gas: 75394)
293
- [PASS] test_outflow_WithScaleDecimals() (gas: 2537556)
294
- [PASS] test_setRateLimitAddressExemptions() (gas: 58875)
295
- [PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21288)
296
- [PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 93007)
297
- [PASS] test_setRateLimitConfigs_Multiple() (gas: 106518)
298
- [PASS] test_setRateLimitConfigs_Single() (gas: 75858)
299
- [PASS] test_setRateLimitGlobalConfig() (gas: 48892)
300
- [PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 15831)
301
- [PASS] test_setRateLimitStates_Single() (gas: 49242)
302
- [PASS] test_storageHash() (gas: 3396)
303
- [PASS] test_upscaleRateLimitAmount() (gas: 2473123)
304
- Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 18.36ms (12.25ms CPU time)
305
-
306
- Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
307
- [PASS] test_feeDeposit() (gas: 17474)
308
- [PASS] test_setFeeDeposit() (gas: 24705)
309
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21216, ~: 21219)
310
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13189)
311
- [PASS] test_storageHash() (gas: 3351)
312
- Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 37.91ms (37.34ms CPU time)
313
-
314
- Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
315
- [PASS] test_feeDeposit() (gas: 17592)
316
- [PASS] test_setFeeDeposit() (gas: 27299)
317
- [PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 23745, ~: 23748)
318
- [PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 23836)
319
- [PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15667)
320
- [PASS] test_storageHash() (gas: 3329)
321
- Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 51.91ms (51.14ms CPU time)
322
-
323
- Ran 13 tests for test/CreditRedirectRBACUpgradeable.t.sol:CreditRedirectRBACUpgradeableTest
324
- [PASS] test_initialize() (gas: 18243)
325
- [PASS] test_isAllowlisted_DelegatesToAllowlist() (gas: 220853)
326
- [PASS] test_isAllowlisted_NoAllowlist() (gas: 21650)
327
- [PASS] test_redirectCredit_Allowlisted() (gas: 216228)
328
- [PASS] test_redirectCredit_Disabled() (gas: 17960)
329
- [PASS] test_redirectCredit_NotAllowlisted() (gas: 199687)
330
- [PASS] test_setCreditRedirectConfig_Fuzz(address,address) (runs: 1000, μ: 64498, ~: 64538)
331
- [PASS] test_setCreditRedirectConfig_Revert_AllowlistOnly() (gas: 18202)
332
- [PASS] test_setCreditRedirectConfig_Revert_EscrowOnly() (gas: 18172)
333
- [PASS] test_setCreditRedirectConfig_Revert_Unauthorized() (gas: 25996)
334
- [PASS] test_setCreditRedirectConfig_Set() (gas: 70318)
335
- [PASS] test_setCreditRedirectConfig_Unset() (gas: 54923)
336
- [PASS] test_storageHash() (gas: 3395)
337
- Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 58.67ms (58.08ms CPU time)
338
-
339
- Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
340
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 26805, ~: 40768)
341
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 40537)
342
- [PASS] test_assertNotPaused_Success() (gas: 12529)
343
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15805)
344
- [PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 50937)
345
- [PASS] test_isPaused_InitialState() (gas: 15514)
346
- [PASS] test_modifierEnforcement_WithRoles() (gas: 217708)
347
- [PASS] test_multipleRoleGrants() (gas: 390441)
348
- [PASS] test_pause() (gas: 41837)
349
- [PASS] test_renounceRole_Success_FunctionsRevert() (gas: 34782)
350
- [PASS] test_roleTransfer_GrantAndRevoke() (gas: 179540)
351
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 29790, ~: 18327)
352
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 19940)
353
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 41061)
354
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 19702)
355
- [PASS] test_setPaused_Success() (gas: 42361)
356
- [PASS] test_setPaused_Success_MultipleOperations() (gas: 58545)
357
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 78246)
358
- [PASS] test_storageHash() (gas: 3351)
359
- [PASS] test_unpause() (gas: 34700)
360
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41813, ~: 44425)
361
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 44261)
362
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40566)
363
- [PASS] test_whenNotPaused_Success() (gas: 38892)
364
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52384)
365
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 62468)
366
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15531)
367
- Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 74.83ms (124.80ms CPU time)
368
-
369
- Ran 12 tests for test/CreditRedirectBaseUpgradeable.t.sol:CreditRedirectBaseUpgradeableTest
370
- [PASS] test_initialize() (gas: 18176)
371
- [PASS] test_isAllowlisted_DelegatesToAllowlist() (gas: 218386)
372
- [PASS] test_isAllowlisted_NoAllowlist() (gas: 21538)
373
- [PASS] test_redirectCredit_Allowlisted() (gas: 213849)
374
- [PASS] test_redirectCredit_Disabled() (gas: 17936)
375
- [PASS] test_redirectCredit_NotAllowlisted() (gas: 197308)
376
- [PASS] test_setCreditRedirectConfig_Fuzz(address,address) (runs: 1000, μ: 62076, ~: 62116)
377
- [PASS] test_setCreditRedirectConfig_Revert_AllowlistOnly() (gas: 15827)
378
- [PASS] test_setCreditRedirectConfig_Revert_EscrowOnly() (gas: 15797)
379
- [PASS] test_setCreditRedirectConfig_Set() (gas: 67874)
380
- [PASS] test_setCreditRedirectConfig_Unset() (gas: 52720)
381
- [PASS] test_storageHash() (gas: 3373)
382
- Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 106.39ms (105.78ms CPU time)
383
-
384
- Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
385
- [PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 9993)
386
- [PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 9948)
387
- [PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9948)
388
- [PASS] test_decodeOverrideDefaultConfig_False() (gas: 8464)
389
- [PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3383, ~: 3388)
390
- [PASS] test_decodeOverrideDefaultConfig_True() (gas: 8432)
391
- [PASS] test_encodeConfigBitmap_AllFalse() (gas: 8933)
392
- [PASS] test_encodeConfigBitmap_AllTrue() (gas: 8931)
393
- [PASS] test_encodeConfigBitmap_Mixed() (gas: 8953)
394
- [PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 4993, ~: 4993)
395
- Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 155.19ms (71.87ms CPU time)
396
-
397
- Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
398
- [PASS] test_SwitchModes_PreservesState() (gas: 193990)
399
- [PASS] test_constructor_InitialMode() (gas: 15640)
400
- [PASS] test_constructor_InitializeWhitelist() (gas: 2641840)
401
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127209)
402
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45314)
403
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 114591, ~: 114711)
404
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43362, ~: 43362)
405
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15803, ~: 15803)
406
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43348, ~: 43348)
407
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 114542, ~: 114642)
408
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25782)
409
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45345)
410
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127164)
411
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 125841)
412
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22453)
413
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 123814)
414
- [PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 19876)
415
- [PASS] test_setBlacklisted_EmptyArray() (gas: 13210)
416
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 172891)
417
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 98841)
418
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 123949)
419
- [PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 22650)
420
- [PASS] test_setMode_Blacklist() (gas: 42354)
421
- [PASS] test_setMode_MultipleChanges() (gas: 42426)
422
- [PASS] test_setMode_RevertSameMode() (gas: 50298)
423
- [PASS] test_setMode_Whitelist() (gas: 42396)
424
- [PASS] test_setWhitelisted_EmptyArray() (gas: 13188)
425
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 172803)
426
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 98805)
427
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 123931)
428
- [PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 22564)
429
- [PASS] test_storageHash() (gas: 3395)
430
- Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 237.47ms (495.45ms CPU time)
431
-
432
- Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
433
- [PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 25642, ~: 38321)
434
- [PASS] test_assertNotPaused_Revert_Paused() (gas: 38112)
435
- [PASS] test_assertNotPaused_Success() (gas: 12460)
436
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15645)
437
- [PASS] test_isPaused_InitialState() (gas: 15501)
438
- [PASS] test_pause() (gas: 39401)
439
- [PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27472, ~: 15939)
440
- [PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17540)
441
- [PASS] test_setPaused_Idempotent_Reverts() (gas: 38204)
442
- [PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 73456)
443
- [PASS] test_storageHash() (gas: 3373)
444
- [PASS] test_unpause() (gas: 30840)
445
- [PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40510, ~: 41966)
446
- [PASS] test_whenNotPaused_Revert_Paused() (gas: 41780)
447
- [PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38164)
448
- [PASS] test_whenNotPaused_Success() (gas: 38812)
449
- [PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48425)
450
- [PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 57414)
451
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 15518)
452
- Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 245.36ms (215.92ms CPU time)
453
-
454
- Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
455
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40555)
456
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40579)
457
- [PASS] test_assertNotPaused_Success() (gas: 14828)
458
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52443)
459
- [PASS] test_defaultPaused_InitialState() (gas: 15478)
460
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15706)
461
- [PASS] test_isPaused_Default() (gas: 44390)
462
- [PASS] test_isPaused_InitialState() (gas: 21849)
463
- [PASS] test_isPaused_MultipleIDs() (gas: 73453)
464
- [PASS] test_isPaused_Override() (gas: 69013)
465
- [PASS] test_isPaused_Specific() (gas: 46428)
466
- [PASS] test_isPaused_SpecificDisabled() (gas: 51334)
467
- [PASS] test_pauseConfig() (gas: 45439)
468
- [PASS] test_setDefaultPaused() (gas: 39449)
469
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 27592, ~: 15980)
470
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17561)
471
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38343)
472
- [PASS] test_setPaused() (gas: 42865)
473
- [PASS] test_setPaused_EmptyArray() (gas: 10788)
474
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38461, ~: 43178)
475
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40403)
476
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40365)
477
- [PASS] test_setPaused_Success_Toggle() (gas: 50934)
478
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 58086, ~: 69240)
479
- [PASS] test_storageHash() (gas: 3395)
480
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44207)
481
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44284)
482
- [PASS] test_whenNotPaused_Success() (gas: 41152)
483
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88304)
484
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17781)
485
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40580)
486
- Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 245.83ms (301.16ms CPU time)
487
-
488
- Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
489
- [PASS] test_acceptDefaultAdminTransfer_Events() (gas: 96627)
490
- [PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 102935, ~: 102919)
491
- [PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 32672)
492
- [PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18235)
493
- [PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45259)
494
- [PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 101803)
495
- [PASS] test_acceptDefaultAdminTransfer_Success() (gas: 102248)
496
- [PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46256, ~: 46416)
497
- [PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 22832)
498
- [PASS] test_beginDefaultAdminTransfer_Success() (gas: 50333)
499
- [PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 34975)
500
- [PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 49543)
501
- [PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17663)
502
- [PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22412)
503
- [PASS] test_grantRole_Success_NonAdminRole() (gas: 115439)
504
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15791)
505
- [PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 1148657)
506
- [PASS] test_initialize_Success_AdminHasRole() (gas: 32251)
507
- [PASS] test_integration_TransferAndTransferAgain() (gas: 231980)
508
- [PASS] test_integration_TransferCancelRetransfer() (gas: 119604)
509
- [PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15510)
510
- [PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 17982)
511
- [PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 46888)
512
- [PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 92610)
513
- [PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 93233)
514
- [PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22454)
515
- [PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25218)
516
- [PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 122870)
517
- [PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 94717)
518
- [PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 17885)
519
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42466)
520
- [PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23575)
521
- [PASS] test_storageHash() (gas: 3362)
522
- Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 270.78ms (327.67ms CPU time)
523
-
524
- Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
525
- [PASS] test_SwitchModes_PreservesState() (gas: 185357)
526
- [PASS] test_constructor_InitialMode() (gas: 15507)
527
- [PASS] test_constructor_InitializeWhitelist() (gas: 1639939)
528
- [PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122100)
529
- [PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42789)
530
- [PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 109578, ~: 109738)
531
- [PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40859, ~: 40859)
532
- [PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15701, ~: 15701)
533
- [PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 40856, ~: 40856)
534
- [PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 109664, ~: 109724)
535
- [PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25542)
536
- [PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42831)
537
- [PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122020)
538
- [PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 120870)
539
- [PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22297)
540
- [PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 118820)
541
- [PASS] test_setBlacklisted_EmptyArray() (gas: 10855)
542
- [PASS] test_setBlacklisted_MultipleUsers() (gas: 167666)
543
- [PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 94467)
544
- [PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 118621)
545
- [PASS] test_setMode_Blacklist() (gas: 39853)
546
- [PASS] test_setMode_MultipleChanges() (gas: 39152)
547
- [PASS] test_setMode_RevertSameMode() (gas: 44866)
548
- [PASS] test_setMode_Whitelist() (gas: 39873)
549
- [PASS] test_setWhitelisted_EmptyArray() (gas: 10810)
550
- [PASS] test_setWhitelisted_MultipleUsers() (gas: 167600)
551
- [PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94350)
552
- [PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 118502)
553
- [PASS] test_storageHash() (gas: 3395)
554
- Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 309.78ms (379.77ms CPU time)
555
-
556
- Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
557
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 47656)
558
- [PASS] test_getAmountBeforeFee_Default() (gas: 44792)
559
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44540, ~: 45949)
560
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 44330)
561
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 45088)
562
- [PASS] test_getAmountBeforeFee_Specific() (gas: 68096)
563
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 63765)
564
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40455)
565
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22031)
566
- [PASS] test_getFee_BoundaryConditions() (gas: 71320)
567
- [PASS] test_getFee_Default() (gas: 40420)
568
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42733, ~: 44203)
569
- [PASS] test_getFee_Rounding() (gas: 42598)
570
- [PASS] test_getFee_Specific() (gas: 63734)
571
- [PASS] test_getFee_SpecificDisabled() (gas: 63686)
572
- [PASS] test_setDefaultFeeBps() (gas: 39385)
573
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31851, ~: 39476)
574
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13626)
575
- [PASS] test_setFeeBps() (gas: 73386)
576
- Logs:
577
- Bound result 500
578
-
579
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 64405, ~: 73762)
580
- [PASS] test_setFeeBps_RevertInvalid() (gas: 13841)
581
- [PASS] test_storageHash() (gas: 3395)
582
- Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 1.04s (280.95ms CPU time)
583
-
584
- Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
585
- [PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 50546)
586
- [PASS] test_getAmountBeforeFee_Default() (gas: 47297)
587
- [PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47008, ~: 48408)
588
- [PASS] test_getAmountBeforeFee_MaxBps() (gas: 46854)
589
- [PASS] test_getAmountBeforeFee_Rounding() (gas: 47666)
590
- [PASS] test_getAmountBeforeFee_Specific() (gas: 70973)
591
- [PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 66639)
592
- [PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 42885)
593
- [PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22177)
594
- [PASS] test_getFee_BoundaryConditions() (gas: 74490)
595
- [PASS] test_getFee_Default() (gas: 42761)
596
- [PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 45083, ~: 46566)
597
- [PASS] test_getFee_Rounding() (gas: 44991)
598
- [PASS] test_getFee_Specific() (gas: 66469)
599
- [PASS] test_getFee_SpecificDisabled() (gas: 66472)
600
- [PASS] test_setDefaultFeeBps() (gas: 41808)
601
- [PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34044, ~: 41922)
602
- [PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16013)
603
- [PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 21735)
604
- [PASS] test_setFeeBps() (gas: 76321)
605
- Logs:
606
- Bound result 500
607
-
608
- [PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 67848, ~: 76676)
609
- [PASS] test_setFeeBps_RevertInvalid() (gas: 16217)
610
- [PASS] test_setFeeBps_Revert_Unauthorized() (gas: 21879)
611
- [PASS] test_storageHash() (gas: 3373)
612
- Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.06s (535.87ms CPU time)
613
-
614
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
615
- [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
616
-
617
- ╭-----------------------------------+---------------------+-------+---------+----------╮
618
- | Contract | Selector | Calls | Reverts | Discards |
619
- +======================================================================================+
620
- | RateLimiterRBACUpgradeableHandler | inflow | 577 | 0 | 0 |
621
- |-----------------------------------+---------------------+-------+---------+----------|
622
- | RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
623
- |-----------------------------------+---------------------+-------+---------+----------|
624
- | RateLimiterRBACUpgradeableHandler | setConfig | 549 | 0 | 0 |
625
- |-----------------------------------+---------------------+-------+---------+----------|
626
- | RateLimiterRBACUpgradeableHandler | setState | 584 | 0 | 0 |
627
- |-----------------------------------+---------------------+-------+---------+----------|
628
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 524 | 0 | 0 |
629
- |-----------------------------------+---------------------+-------+---------+----------|
630
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
631
- |-----------------------------------+---------------------+-------+---------+----------|
632
- | RateLimiterRBACUpgradeableHandler | warp | 520 | 0 | 0 |
633
- ╰-----------------------------------+---------------------+-------+---------+----------╯
634
-
635
- Logs:
636
- Bound result 514264337593543950332
637
- Bound result 31812
638
- Bound result 943
639
- Bound result 5
640
- Bound result 9583
641
- Bound result 44
642
- Bound result 10762
643
- Bound result 471845836639011
644
- Bound result 1002
645
- Bound result 322
646
- Bound result 103811359304345
647
- Bound result 1728342068163665244062
648
- Bound result 35
649
- Bound result 790
650
- Bound result 1784812351290615
651
- Bound result 7048
652
- Bound result 6053
653
- Bound result 732
654
- Bound result 9900000000000000009696
655
- Bound result 9900000000000000002704
656
- Bound result 704
657
- Bound result 6242
658
- Bound result 64805566931689
659
- Bound result 8606503
660
- Bound result 878
661
-
662
- [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
663
-
664
- ╭-----------------------------------+---------------------+-------+---------+----------╮
665
- | Contract | Selector | Calls | Reverts | Discards |
666
- +======================================================================================+
667
- | RateLimiterRBACUpgradeableHandler | inflow | 534 | 0 | 0 |
668
- |-----------------------------------+---------------------+-------+---------+----------|
669
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
670
- |-----------------------------------+---------------------+-------+---------+----------|
671
- | RateLimiterRBACUpgradeableHandler | setConfig | 552 | 0 | 0 |
672
- |-----------------------------------+---------------------+-------+---------+----------|
673
- | RateLimiterRBACUpgradeableHandler | setState | 582 | 0 | 0 |
674
- |-----------------------------------+---------------------+-------+---------+----------|
675
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
676
- |-----------------------------------+---------------------+-------+---------+----------|
677
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 516 | 0 | 0 |
678
- |-----------------------------------+---------------------+-------+---------+----------|
679
- | RateLimiterRBACUpgradeableHandler | warp | 584 | 0 | 0 |
680
- ╰-----------------------------------+---------------------+-------+---------+----------╯
681
-
682
- Logs:
683
- Bound result 36
684
- Bound result 6290312607515
685
- Bound result 60246307048588709131
686
- Bound result 253699
687
- Bound result 4
688
- Bound result 933139296137646270858
689
- Bound result 136560803131081129
690
- Bound result 21
691
- Bound result 380
692
- Bound result 1973
693
- Bound result 1759
694
- Bound result 27131645849363552842
695
- Bound result 1646649520521564122820
696
- Bound result 525
697
- Bound result 509663201641569390420
698
- Bound result 9900000000000874291599
699
- Bound result 5465
700
- Bound result 3464
701
- Bound result 1317
702
- Bound result 80959985
703
-
704
- [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
705
-
706
- ╭-----------------------------------+---------------------+-------+---------+----------╮
707
- | Contract | Selector | Calls | Reverts | Discards |
708
- +======================================================================================+
709
- | RateLimiterRBACUpgradeableHandler | inflow | 551 | 0 | 0 |
710
- |-----------------------------------+---------------------+-------+---------+----------|
711
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
712
- |-----------------------------------+---------------------+-------+---------+----------|
713
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
714
- |-----------------------------------+---------------------+-------+---------+----------|
715
- | RateLimiterRBACUpgradeableHandler | setState | 550 | 0 | 0 |
716
- |-----------------------------------+---------------------+-------+---------+----------|
717
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 595 | 0 | 0 |
718
- |-----------------------------------+---------------------+-------+---------+----------|
719
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 543 | 0 | 0 |
720
- |-----------------------------------+---------------------+-------+---------+----------|
721
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
722
- ╰-----------------------------------+---------------------+-------+---------+----------╯
723
-
724
- Logs:
725
- Bound result 9900000000000000005354
726
- Bound result 9900000000000000006194
727
- Bound result 9632
728
- Bound result 2602
729
- Bound result 2
730
- Bound result 1
731
- Bound result 14965175441190193717435
732
- Bound result 14990159717386478012295
733
- Bound result 61331
734
- Bound result 1
735
- Bound result 1859975730156434881497
736
- Bound result 8025324945288277844342
737
- Bound result 386
738
- Bound result 141
739
- Bound result 616
740
- Bound result 435
741
- Bound result 1174508972652517763847
742
- Bound result 9900000000000002350673
743
- Bound result 1769641874953319777996
744
- Bound result 9569
745
- Bound result 7561
746
- Bound result 5856
747
- Bound result 9900000538691185911608
748
- Bound result 9900000000000000294037
749
- Bound result 11
750
- Bound result 4870
751
-
752
- [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
753
-
754
- ╭-----------------------------------+---------------------+-------+---------+----------╮
755
- | Contract | Selector | Calls | Reverts | Discards |
756
- +======================================================================================+
757
- | RateLimiterRBACUpgradeableHandler | inflow | 552 | 0 | 0 |
758
- |-----------------------------------+---------------------+-------+---------+----------|
759
- | RateLimiterRBACUpgradeableHandler | outflow | 508 | 0 | 0 |
760
- |-----------------------------------+---------------------+-------+---------+----------|
761
- | RateLimiterRBACUpgradeableHandler | setConfig | 545 | 0 | 0 |
762
- |-----------------------------------+---------------------+-------+---------+----------|
763
- | RateLimiterRBACUpgradeableHandler | setState | 526 | 0 | 0 |
764
- |-----------------------------------+---------------------+-------+---------+----------|
765
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 551 | 0 | 0 |
766
- |-----------------------------------+---------------------+-------+---------+----------|
767
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 601 | 0 | 0 |
768
- |-----------------------------------+---------------------+-------+---------+----------|
769
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
770
- ╰-----------------------------------+---------------------+-------+---------+----------╯
771
-
772
- Logs:
773
- Bound result 11897
774
- Bound result 1950
775
- Bound result 1549836998721109439547
776
- Bound result 17424193
777
- Bound result 0
778
- Bound result 685760238432005070002
779
- Bound result 1628155780764
780
- Bound result 0
781
- Bound result 9900000037881356523988
782
- Bound result 3296394976581932225203
783
- Bound result 378
784
- Bound result 31
785
- Bound result 86
786
- Bound result 2818169115961
787
- Bound result 9645
788
- Bound result 9900000000000009259553
789
- Bound result 108113974487594734467
790
- Bound result 397
791
- Bound result 5635
792
- Bound result 11330399437390
793
- Bound result 140506502611825816834
794
- Bound result 30
795
- Bound result 800
796
- Bound result 2907324871852925
797
-
798
- [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
799
-
800
- ╭-----------------------------------+---------------------+-------+---------+----------╮
801
- | Contract | Selector | Calls | Reverts | Discards |
802
- +======================================================================================+
803
- | RateLimiterRBACUpgradeableHandler | inflow | 567 | 0 | 0 |
804
- |-----------------------------------+---------------------+-------+---------+----------|
805
- | RateLimiterRBACUpgradeableHandler | outflow | 527 | 0 | 0 |
806
- |-----------------------------------+---------------------+-------+---------+----------|
807
- | RateLimiterRBACUpgradeableHandler | setConfig | 548 | 0 | 0 |
808
- |-----------------------------------+---------------------+-------+---------+----------|
809
- | RateLimiterRBACUpgradeableHandler | setState | 518 | 0 | 0 |
810
- |-----------------------------------+---------------------+-------+---------+----------|
811
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
812
- |-----------------------------------+---------------------+-------+---------+----------|
813
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 588 | 0 | 0 |
814
- |-----------------------------------+---------------------+-------+---------+----------|
815
- | RateLimiterRBACUpgradeableHandler | warp | 537 | 0 | 0 |
816
- ╰-----------------------------------+---------------------+-------+---------+----------╯
817
-
818
- Logs:
819
- Bound result 11579
820
- Bound result 1245624685547898771989
821
- Bound result 41
822
- Bound result 1887289802
823
- Bound result 1295
824
- Bound result 564010507084007424863
825
- Bound result 100000000000000000002
826
- Bound result 7986
827
- Bound result 1921
828
- Bound result 3639698344530996
829
- Bound result 935
830
- Bound result 672
831
- Bound result 12252
832
- Bound result 9900000000000000004618
833
- Bound result 9900000000000000004473
834
- Bound result 1587
835
- Bound result 5501
836
- Bound result 13497251725346044
837
-
838
- [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
839
-
840
- ╭-----------------------------------+---------------------+-------+---------+----------╮
841
- | Contract | Selector | Calls | Reverts | Discards |
842
- +======================================================================================+
843
- | RateLimiterRBACUpgradeableHandler | inflow | 574 | 0 | 0 |
844
- |-----------------------------------+---------------------+-------+---------+----------|
845
- | RateLimiterRBACUpgradeableHandler | outflow | 566 | 0 | 0 |
846
- |-----------------------------------+---------------------+-------+---------+----------|
847
- | RateLimiterRBACUpgradeableHandler | setConfig | 571 | 0 | 0 |
848
- |-----------------------------------+---------------------+-------+---------+----------|
849
- | RateLimiterRBACUpgradeableHandler | setState | 547 | 0 | 0 |
850
- |-----------------------------------+---------------------+-------+---------+----------|
851
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
852
- |-----------------------------------+---------------------+-------+---------+----------|
853
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 553 | 0 | 0 |
854
- |-----------------------------------+---------------------+-------+---------+----------|
855
- | RateLimiterRBACUpgradeableHandler | warp | 516 | 0 | 0 |
856
- ╰-----------------------------------+---------------------+-------+---------+----------╯
857
-
858
- Logs:
859
- Bound result 4195
860
- Bound result 60
861
- Bound result 2613858723
862
- Bound result 0
863
- Bound result 114573341785181358445
864
- Bound result 177111
865
- Bound result 1
866
- Bound result 3
867
- Bound result 9520
868
- Bound result 138853858897969488663
869
- Bound result 2510086
870
- Bound result 1434
871
- Bound result 9900000019496832571282
872
- Bound result 9900000000001485927398
873
- Bound result 9278
874
- Bound result 2434
875
- Bound result 2766
876
-
877
- [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
878
-
879
- ╭-----------------------------------+---------------------+-------+---------+----------╮
880
- | Contract | Selector | Calls | Reverts | Discards |
881
- +======================================================================================+
882
- | RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
883
- |-----------------------------------+---------------------+-------+---------+----------|
884
- | RateLimiterRBACUpgradeableHandler | outflow | 532 | 0 | 0 |
885
- |-----------------------------------+---------------------+-------+---------+----------|
886
- | RateLimiterRBACUpgradeableHandler | setConfig | 580 | 0 | 0 |
887
- |-----------------------------------+---------------------+-------+---------+----------|
888
- | RateLimiterRBACUpgradeableHandler | setState | 564 | 0 | 0 |
889
- |-----------------------------------+---------------------+-------+---------+----------|
890
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 520 | 0 | 0 |
891
- |-----------------------------------+---------------------+-------+---------+----------|
892
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 555 | 0 | 0 |
893
- |-----------------------------------+---------------------+-------+---------+----------|
894
- | RateLimiterRBACUpgradeableHandler | warp | 557 | 0 | 0 |
895
- ╰-----------------------------------+---------------------+-------+---------+----------╯
896
-
897
- Logs:
898
- Bound result 360
899
- Bound result 199007219
900
- Bound result 0
901
- Bound result 1
902
- Bound result 67486
903
- Bound result 11646
904
- Bound result 1
905
- Bound result 6987
906
- Bound result 1994656580816375112816
907
- Bound result 66
908
- Bound result 62611662992214842730
909
- Bound result 531
910
- Bound result 23
911
- Bound result 514264337593543950334
912
-
913
- [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
914
-
915
- ╭-----------------------------------+---------------------+-------+---------+----------╮
916
- | Contract | Selector | Calls | Reverts | Discards |
917
- +======================================================================================+
918
- | RateLimiterRBACUpgradeableHandler | inflow | 550 | 0 | 0 |
919
- |-----------------------------------+---------------------+-------+---------+----------|
920
- | RateLimiterRBACUpgradeableHandler | outflow | 523 | 0 | 0 |
921
- |-----------------------------------+---------------------+-------+---------+----------|
922
- | RateLimiterRBACUpgradeableHandler | setConfig | 575 | 0 | 0 |
923
- |-----------------------------------+---------------------+-------+---------+----------|
924
- | RateLimiterRBACUpgradeableHandler | setState | 591 | 0 | 0 |
925
- |-----------------------------------+---------------------+-------+---------+----------|
926
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 508 | 0 | 0 |
927
- |-----------------------------------+---------------------+-------+---------+----------|
928
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 558 | 0 | 0 |
929
- |-----------------------------------+---------------------+-------+---------+----------|
930
- | RateLimiterRBACUpgradeableHandler | warp | 535 | 0 | 0 |
931
- ╰-----------------------------------+---------------------+-------+---------+----------╯
932
-
933
- Logs:
934
- Bound result 475160742520173969137
935
- Bound result 17480
936
- Bound result 0
937
- Bound result 3416
938
- Bound result 1000
939
- Bound result 1
940
- Bound result 264758777496446655042
941
- Bound result 107
942
- Bound result 4930
943
- Bound result 0
944
- Bound result 985
945
- Bound result 10228
946
- Bound result 142
947
- Bound result 1
948
- Bound result 5515
949
- Bound result 104217484430804851
950
- Bound result 9900000000000000011207
951
- Bound result 9900000000002159037160
952
- Bound result 348
953
- Bound result 1588
954
-
955
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.09s (7.25s CPU time)
956
-
957
- Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
958
- [PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
959
-
960
- ╭-----------------------------------+---------------------+-------+---------+----------╮
961
- | Contract | Selector | Calls | Reverts | Discards |
962
- +======================================================================================+
963
- | RateLimiterRBACUpgradeableHandler | inflow | 561 | 0 | 0 |
964
- |-----------------------------------+---------------------+-------+---------+----------|
965
- | RateLimiterRBACUpgradeableHandler | outflow | 517 | 0 | 0 |
966
- |-----------------------------------+---------------------+-------+---------+----------|
967
- | RateLimiterRBACUpgradeableHandler | setConfig | 529 | 0 | 0 |
968
- |-----------------------------------+---------------------+-------+---------+----------|
969
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
970
- |-----------------------------------+---------------------+-------+---------+----------|
971
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
972
- |-----------------------------------+---------------------+-------+---------+----------|
973
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 574 | 0 | 0 |
974
- |-----------------------------------+---------------------+-------+---------+----------|
975
- | RateLimiterRBACUpgradeableHandler | warp | 543 | 0 | 0 |
976
- ╰-----------------------------------+---------------------+-------+---------+----------╯
977
-
978
- Logs:
979
- Bound result 1
980
- Bound result 10797875
981
- Bound result 1
982
- Bound result 9900007505635392461538
983
- Bound result 9900000001083433704952
984
- Bound result 2423
985
- Bound result 12
986
- Bound result 1064
987
- Bound result 9900000000089323566792
988
- Bound result 9900153434633459291153
989
- Bound result 9014
990
- Bound result 12
991
- Bound result 15613175950959361608002
992
- Bound result 11261738276904013607421
993
- Bound result 2
994
- Bound result 100000000000000000001
995
- Bound result 6914264337593535947488
996
- Bound result 3857
997
- Bound result 5774
998
- Bound result 2245
999
- Bound result 8926
1000
- Bound result 847
1001
-
1002
- [PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
1003
-
1004
- ╭-----------------------------------+---------------------+-------+---------+----------╮
1005
- | Contract | Selector | Calls | Reverts | Discards |
1006
- +======================================================================================+
1007
- | RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
1008
- |-----------------------------------+---------------------+-------+---------+----------|
1009
- | RateLimiterRBACUpgradeableHandler | outflow | 526 | 0 | 0 |
1010
- |-----------------------------------+---------------------+-------+---------+----------|
1011
- | RateLimiterRBACUpgradeableHandler | setConfig | 542 | 0 | 0 |
1012
- |-----------------------------------+---------------------+-------+---------+----------|
1013
- | RateLimiterRBACUpgradeableHandler | setState | 577 | 0 | 0 |
1014
- |-----------------------------------+---------------------+-------+---------+----------|
1015
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 532 | 0 | 0 |
1016
- |-----------------------------------+---------------------+-------+---------+----------|
1017
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
1018
- |-----------------------------------+---------------------+-------+---------+----------|
1019
- | RateLimiterRBACUpgradeableHandler | warp | 538 | 0 | 0 |
1020
- ╰-----------------------------------+---------------------+-------+---------+----------╯
1021
-
1022
- Logs:
1023
- Bound result 9900000000000000012593
1024
- Bound result 9900000000000000009666
1025
- Bound result 6242
1026
- Bound result 1878
1027
- Bound result 8430951
1028
- Bound result 8133
1029
- Bound result 9
1030
- Bound result 4208
1031
- Bound result 2548481
1032
- Bound result 4118068220773472
1033
- Bound result 1285333487
1034
- Bound result 0
1035
- Bound result 8190
1036
- Bound result 5983
1037
- Bound result 7966
1038
- Bound result 7107
1039
- Bound result 4123
1040
- Bound result 13844180935608532253435
1041
- Bound result 11213
1042
- Bound result 7515
1043
-
1044
- [PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
1045
-
1046
- ╭-----------------------------------+---------------------+-------+---------+----------╮
1047
- | Contract | Selector | Calls | Reverts | Discards |
1048
- +======================================================================================+
1049
- | RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
1050
- |-----------------------------------+---------------------+-------+---------+----------|
1051
- | RateLimiterRBACUpgradeableHandler | outflow | 551 | 0 | 0 |
1052
- |-----------------------------------+---------------------+-------+---------+----------|
1053
- | RateLimiterRBACUpgradeableHandler | setConfig | 558 | 0 | 0 |
1054
- |-----------------------------------+---------------------+-------+---------+----------|
1055
- | RateLimiterRBACUpgradeableHandler | setState | 562 | 0 | 0 |
1056
- |-----------------------------------+---------------------+-------+---------+----------|
1057
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 571 | 0 | 0 |
1058
- |-----------------------------------+---------------------+-------+---------+----------|
1059
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 514 | 0 | 0 |
1060
- |-----------------------------------+---------------------+-------+---------+----------|
1061
- | RateLimiterRBACUpgradeableHandler | warp | 544 | 0 | 0 |
1062
- ╰-----------------------------------+---------------------+-------+---------+----------╯
1063
-
1064
- Logs:
1065
- Bound result 1353
1066
- Bound result 9900000000000000002338
1067
- Bound result 9900000000000000010898
1068
- Bound result 512
1069
- Bound result 4915
1070
- Bound result 26
1071
- Bound result 5724163774215288290008
1072
- Bound result 7960891528618349594416
1073
- Bound result 7310
1074
- Bound result 6417
1075
- Bound result 9900000000000000003991
1076
- Bound result 9900000000003739221133
1077
- Bound result 3525
1078
- Bound result 3688
1079
- Bound result 1104
1080
- Bound result 33020950125646
1081
- Bound result 34
1082
- Bound result 9341004749884118639710
1083
- Bound result 27
1084
- Bound result 4635
1085
- Bound result 23
1086
-
1087
- [PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
1088
-
1089
- ╭-----------------------------------+---------------------+-------+---------+----------╮
1090
- | Contract | Selector | Calls | Reverts | Discards |
1091
- +======================================================================================+
1092
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
1093
- |-----------------------------------+---------------------+-------+---------+----------|
1094
- | RateLimiterRBACUpgradeableHandler | outflow | 546 | 0 | 0 |
1095
- |-----------------------------------+---------------------+-------+---------+----------|
1096
- | RateLimiterRBACUpgradeableHandler | setConfig | 553 | 0 | 0 |
1097
- |-----------------------------------+---------------------+-------+---------+----------|
1098
- | RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
1099
- |-----------------------------------+---------------------+-------+---------+----------|
1100
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 543 | 0 | 0 |
1101
- |-----------------------------------+---------------------+-------+---------+----------|
1102
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 554 | 0 | 0 |
1103
- |-----------------------------------+---------------------+-------+---------+----------|
1104
- | RateLimiterRBACUpgradeableHandler | warp | 583 | 0 | 0 |
1105
- ╰-----------------------------------+---------------------+-------+---------+----------╯
1106
-
1107
- Logs:
1108
- Bound result 4473522716
1109
- Bound result 4181
1110
- Bound result 1046363171
1111
- Bound result 87552979521789336648
1112
- Bound result 4058
1113
- Bound result 431
1114
- Bound result 4076725132
1115
- Bound result 1409390487600914972568
1116
- Bound result 204
1117
- Bound result 525603933185002334778
1118
- Bound result 1225
1119
- Bound result 514264337593543950333
1120
-
1121
- [PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
1122
-
1123
- ╭-----------------------------------+---------------------+-------+---------+----------╮
1124
- | Contract | Selector | Calls | Reverts | Discards |
1125
- +======================================================================================+
1126
- | RateLimiterRBACUpgradeableHandler | inflow | 572 | 0 | 0 |
1127
- |-----------------------------------+---------------------+-------+---------+----------|
1128
- | RateLimiterRBACUpgradeableHandler | outflow | 517 | 0 | 0 |
1129
- |-----------------------------------+---------------------+-------+---------+----------|
1130
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
1131
- |-----------------------------------+---------------------+-------+---------+----------|
1132
- | RateLimiterRBACUpgradeableHandler | setState | 589 | 0 | 0 |
1133
- |-----------------------------------+---------------------+-------+---------+----------|
1134
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 529 | 0 | 0 |
1135
- |-----------------------------------+---------------------+-------+---------+----------|
1136
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 562 | 0 | 0 |
1137
- |-----------------------------------+---------------------+-------+---------+----------|
1138
- | RateLimiterRBACUpgradeableHandler | warp | 536 | 0 | 0 |
1139
- ╰-----------------------------------+---------------------+-------+---------+----------╯
1140
-
1141
- Logs:
1142
- Bound result 9900000000000016777216
1143
- Bound result 9900000000000357094980
1144
- Bound result 6242
1145
- Bound result 1325
1146
- Bound result 6
1147
- Bound result 9568
1148
- Bound result 10405
1149
- Bound result 7
1150
- Bound result 9226650063362451916611
1151
- Bound result 40602
1152
- Bound result 2
1153
- Bound result 28354998
1154
- Bound result 3
1155
- Bound result 2073
1156
- Bound result 8503
1157
- Bound result 0
1158
- Bound result 9900000000000000005169
1159
- Bound result 9900000000000000000201
1160
- Bound result 75
1161
- Bound result 31
1162
- Bound result 1106325243042693
1163
-
1164
- [PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
1165
-
1166
- ╭-----------------------------------+---------------------+-------+---------+----------╮
1167
- | Contract | Selector | Calls | Reverts | Discards |
1168
- +======================================================================================+
1169
- | RateLimiterRBACUpgradeableHandler | inflow | 529 | 0 | 0 |
1170
- |-----------------------------------+---------------------+-------+---------+----------|
1171
- | RateLimiterRBACUpgradeableHandler | outflow | 556 | 0 | 0 |
1172
- |-----------------------------------+---------------------+-------+---------+----------|
1173
- | RateLimiterRBACUpgradeableHandler | setConfig | 583 | 0 | 0 |
1174
- |-----------------------------------+---------------------+-------+---------+----------|
1175
- | RateLimiterRBACUpgradeableHandler | setState | 545 | 0 | 0 |
1176
- |-----------------------------------+---------------------+-------+---------+----------|
1177
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 513 | 0 | 0 |
1178
- |-----------------------------------+---------------------+-------+---------+----------|
1179
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 568 | 0 | 0 |
1180
- |-----------------------------------+---------------------+-------+---------+----------|
1181
- | RateLimiterRBACUpgradeableHandler | warp | 546 | 0 | 0 |
1182
- ╰-----------------------------------+---------------------+-------+---------+----------╯
1183
-
1184
- Logs:
1185
- Bound result 304360521686455
1186
- Bound result 552
1187
- Bound result 80113063490857952
1188
- Bound result 0
1189
- Bound result 0
1190
- Bound result 1101
1191
- Bound result 100000000000000000000
1192
- Bound result 9900000000027920055791
1193
- Bound result 1268
1194
- Bound result 6242
1195
- Bound result 2374
1196
- Bound result 1
1197
- Bound result 8093379504044408293350
1198
- Bound result 9900000000000000000032
1199
- Bound result 4983042054401497738807
1200
- Bound result 10
1201
- Bound result 107
1202
- Bound result 9900000000000000000248
1203
- Bound result 9946872212019897595748
1204
- Bound result 6287
1205
- Bound result 9997
1206
-
1207
- [PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
1208
-
1209
- ╭-----------------------------------+---------------------+-------+---------+----------╮
1210
- | Contract | Selector | Calls | Reverts | Discards |
1211
- +======================================================================================+
1212
- | RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
1213
- |-----------------------------------+---------------------+-------+---------+----------|
1214
- | RateLimiterRBACUpgradeableHandler | outflow | 558 | 0 | 0 |
1215
- |-----------------------------------+---------------------+-------+---------+----------|
1216
- | RateLimiterRBACUpgradeableHandler | setConfig | 535 | 0 | 0 |
1217
- |-----------------------------------+---------------------+-------+---------+----------|
1218
- | RateLimiterRBACUpgradeableHandler | setState | 533 | 0 | 0 |
1219
- |-----------------------------------+---------------------+-------+---------+----------|
1220
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 554 | 0 | 0 |
1221
- |-----------------------------------+---------------------+-------+---------+----------|
1222
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 542 | 0 | 0 |
1223
- |-----------------------------------+---------------------+-------+---------+----------|
1224
- | RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
1225
- ╰-----------------------------------+---------------------+-------+---------+----------╯
1226
-
1227
- Logs:
1228
- Bound result 2737072852
1229
- Bound result 791
1230
- Bound result 441
1231
- Bound result 12220393451863836
1232
- Bound result 3
1233
- Bound result 9900000000000002242520
1234
- Bound result 9900511503238761465964
1235
- Bound result 8839
1236
- Bound result 1995
1237
- Bound result 408
1238
- Bound result 6914264319647002222032
1239
- Bound result 556985671978506766
1240
- Bound result 11
1241
- Bound result 15136944778309994781
1242
- Bound result 33
1243
- Bound result 9900005828830032442906
1244
- Bound result 100000000000000000000
1245
- Bound result 13
1246
- Bound result 12
1247
-
1248
- [PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
1249
-
1250
- ╭-----------------------------------+---------------------+-------+---------+----------╮
1251
- | Contract | Selector | Calls | Reverts | Discards |
1252
- +======================================================================================+
1253
- | RateLimiterRBACUpgradeableHandler | inflow | 581 | 0 | 0 |
1254
- |-----------------------------------+---------------------+-------+---------+----------|
1255
- | RateLimiterRBACUpgradeableHandler | outflow | 504 | 0 | 0 |
1256
- |-----------------------------------+---------------------+-------+---------+----------|
1257
- | RateLimiterRBACUpgradeableHandler | setConfig | 565 | 0 | 0 |
1258
- |-----------------------------------+---------------------+-------+---------+----------|
1259
- | RateLimiterRBACUpgradeableHandler | setState | 516 | 0 | 0 |
1260
- |-----------------------------------+---------------------+-------+---------+----------|
1261
- | RateLimiterRBACUpgradeableHandler | toggleExemption | 601 | 0 | 0 |
1262
- |-----------------------------------+---------------------+-------+---------+----------|
1263
- | RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
1264
- |-----------------------------------+---------------------+-------+---------+----------|
1265
- | RateLimiterRBACUpgradeableHandler | warp | 552 | 0 | 0 |
1266
- ╰-----------------------------------+---------------------+-------+---------+----------╯
1267
-
1268
- Logs:
1269
- Bound result 9900000000000000060401
1270
- Bound result 9900000000000000000843
1271
- Bound result 9732
1272
- Bound result 13
1273
- Bound result 9900000000000000000442
1274
- Bound result 100000000000000000002
1275
- Bound result 1838
1276
- Bound result 974
1277
- Bound result 9900000000000791671134
1278
- Bound result 9900000000000000000033
1279
- Bound result 5198
1280
- Bound result 1625
1281
- Bound result 7790
1282
- Bound result 1015
1283
- Bound result 10106
1284
- Bound result 109113838343956896
1285
- Bound result 1234976333645010
1286
- Bound result 3696
1287
- Bound result 103248673987
1288
- Bound result 9430
1289
- Bound result 12198
1290
- Bound result 2458
1291
- Bound result 9901047659190697746186
1292
- Bound result 9900000000000470781298
1293
- Bound result 118
1294
- Bound result 7446
1295
-
1296
- Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 1.13s (6.75s CPU time)
1297
-
1298
- Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
1299
- [PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 42974)
1300
- [PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 45699)
1301
- [PASS] test_assertNotPaused_Success() (gas: 14829)
1302
- [PASS] test_defaultPause_AffectsMultipleIDs() (gas: 54910)
1303
- [PASS] test_defaultPaused_InitialState() (gas: 15501)
1304
- [PASS] test_initialize_Revert_AlreadyInitialized() (gas: 17878)
1305
- [PASS] test_isPaused_Default() (gas: 46822)
1306
- [PASS] test_isPaused_InitialState() (gas: 21896)
1307
- [PASS] test_isPaused_MultipleIDs() (gas: 79397)
1308
- [PASS] test_isPaused_Override() (gas: 74453)
1309
- [PASS] test_isPaused_Specific() (gas: 49605)
1310
- [PASS] test_isPaused_SpecificDisabled() (gas: 54918)
1311
- [PASS] test_pauseConfig() (gas: 50654)
1312
- [PASS] test_roleManagement_grantAndRevoke() (gas: 171632)
1313
- [PASS] test_setDefaultPaused() (gas: 41869)
1314
- [PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30015, ~: 18387)
1315
- [PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20013)
1316
- [PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41080)
1317
- [PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 21810)
1318
- [PASS] test_setDefaultPaused_Success() (gas: 40455)
1319
- [PASS] test_setPaused() (gas: 48024)
1320
- [PASS] test_setPaused_DormantData() (gas: 293436)
1321
- [PASS] test_setPaused_EmptyArray() (gas: 15470)
1322
- [PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 101819)
1323
- [PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43247, ~: 48196)
1324
- [PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 223169, ~: 217071)
1325
- [PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 24352)
1326
- [PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132862)
1327
- [PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 108452)
1328
- [PASS] test_setPaused_Revert_Unauthorized() (gas: 25310)
1329
- [PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 131603)
1330
- [PASS] test_setPaused_Success() (gas: 45535)
1331
- [PASS] test_setPaused_Success_Batch() (gas: 343653)
1332
- [PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45496)
1333
- [PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45513)
1334
- [PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241688)
1335
- [PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 134360)
1336
- [PASS] test_setPaused_Success_Toggle() (gas: 57160)
1337
- [PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 131120)
1338
- [PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 61812, ~: 72747)
1339
- [PASS] test_storageHash() (gas: 3351)
1340
- [PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 46605)
1341
- [PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49360)
1342
- [PASS] test_whenNotPaused_Success() (gas: 41175)
1343
- [PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 93775)
1344
- [PASS] test_whenNotPaused_WithReturnValue() (gas: 17782)
1345
- [PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 45678)
1346
- Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 10.40s (511.71ms CPU time)
1347
-
1348
- Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
1349
- [PASS] test_address_paginate_AfterRemovingElements() (gas: 1166795)
1350
- [PASS] test_address_paginate_EmptySet() (gas: 310656)
1351
- [PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 704606, ~: 115420)
1352
- [PASS] test_address_paginate_LargeSet() (gas: 464670688)
1353
- [PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25605)
1354
- [PASS] test_address_paginate_LimitExceedsTotal() (gas: 2807473)
1355
- [PASS] test_address_paginate_LimitOne() (gas: 14853)
1356
- [PASS] test_address_paginate_LimitZero() (gas: 11556)
1357
- [PASS] test_address_paginate_MaxUint256Limit() (gas: 2807355)
1358
- [PASS] test_address_paginate_MiddleOffset() (gas: 45200)
1359
- [PASS] test_address_paginate_OffsetAtEnd() (gas: 14940)
1360
- [PASS] test_address_paginate_OffsetBeyondEnd() (gas: 13450)
1361
- [PASS] test_address_paginate_OffsetZero() (gas: 45223)
1362
- [PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3469583)
1363
- [PASS] test_address_paginate_SingleElement() (gas: 377568)
1364
- [PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11102760, ~: 10415424)
1365
- [PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 320)
1366
- [PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 919214)
1367
- [PASS] test_uint_paginate_AfterRemovingElements() (gas: 1140265)
1368
- [PASS] test_uint_paginate_EmptySet() (gas: 286599)
1369
- [PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 810874, ~: 207981)
1370
- [PASS] test_uint_paginate_LargeSet() (gas: 463683463)
1371
- [PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25351)
1372
- [PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2754427)
1373
- [PASS] test_uint_paginate_LimitOne() (gas: 14781)
1374
- [PASS] test_uint_paginate_LimitZero() (gas: 11566)
1375
- [PASS] test_uint_paginate_MaxUint256Limit() (gas: 2754356)
1376
- [PASS] test_uint_paginate_MiddleOffset() (gas: 44618)
1377
- [PASS] test_uint_paginate_OffsetAtEnd() (gas: 14844)
1378
- [PASS] test_uint_paginate_OffsetBeyondEnd() (gas: 13385)
1379
- [PASS] test_uint_paginate_OffsetZero() (gas: 44622)
1380
- [PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410495)
1381
- [PASS] test_uint_paginate_SingleElement() (gas: 353369)
1382
- [PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11165866, ~: 10396420)
1383
- [PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063003)
1384
- [PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896244)
1385
- Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 10.41s (24.58s CPU time)
1386
-
1387
- Ran 19 test suites in 10.43s (26.95s CPU time): 437 tests passed, 0 failed, 0 skipped (437 total tests)
1388
- ⏳ forge test: 22.961s