@layerzerolabs/utils-upgradeable-evm-contracts 1.2.26 → 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.
- package/README.md +3 -0
- package/package.json +5 -5
- package/.turbo/turbo-lint.log +0 -497
- package/.turbo/turbo-test.log +0 -1320
package/.turbo/turbo-test.log
DELETED
|
@@ -1,1320 +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-47bcS4
|
|
8
|
-
📦 Copied 8 workspace package source(s)
|
|
9
|
-
📦 No scoped-workspace pruner configured; using unpruned package-level source copy fallback.
|
|
10
|
-
(node:181137) [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-47bcS4:/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
|
-
✅ Using cached Docker image: 438003944538.dkr.ecr.us-east-1.amazonaws.com/layerzerolabs/evm-tooling:forge-1.3.6-hardhat-2.26.3-patch-4 (amd64)
|
|
20
|
-
👤 Running container as UID:GID 1001:1001
|
|
21
|
-
$ docker run --rm --add-host=host.docker.internal:host-gateway -e LOCAL_UID=1001 -e LOCAL_GID=1001 -v /tmp/lz-scoped-workspace-47bcS4:/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
|
|
22
|
-
Compiling 92 files with Solc 0.8.26
|
|
23
|
-
Solc 0.8.26 finished in 11.66s
|
|
24
|
-
Compiler run successful with warnings:
|
|
25
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
26
|
-
--> test/EnumerableSetPagination.t.sol:91:5:
|
|
27
|
-
|
|
|
28
|
-
91 | function test_address_paginate_OffsetZero() public {
|
|
29
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
30
|
-
|
|
31
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
32
|
-
--> test/EnumerableSetPagination.t.sol:99:5:
|
|
33
|
-
|
|
|
34
|
-
99 | function test_address_paginate_MiddleOffset() public {
|
|
35
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
36
|
-
|
|
37
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
38
|
-
--> test/EnumerableSetPagination.t.sol:107:5:
|
|
39
|
-
|
|
|
40
|
-
107 | function test_address_paginate_OffsetAtEnd() public {
|
|
41
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
42
|
-
|
|
43
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
44
|
-
--> test/EnumerableSetPagination.t.sol:113:5:
|
|
45
|
-
|
|
|
46
|
-
113 | function test_address_paginate_OffsetBeyondEnd() public {
|
|
47
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
48
|
-
|
|
49
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
50
|
-
--> test/EnumerableSetPagination.t.sol:120:5:
|
|
51
|
-
|
|
|
52
|
-
120 | function test_address_paginate_LimitZero() public {
|
|
53
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
54
|
-
|
|
55
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
56
|
-
--> test/EnumerableSetPagination.t.sol:124:5:
|
|
57
|
-
|
|
|
58
|
-
124 | function test_address_paginate_LimitOne() public {
|
|
59
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
60
|
-
|
|
61
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
62
|
-
--> test/EnumerableSetPagination.t.sol:130:5:
|
|
63
|
-
|
|
|
64
|
-
130 | function test_address_paginate_LimitExceedsRemaining() public {
|
|
65
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
66
|
-
|
|
67
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
68
|
-
--> test/EnumerableSetPagination.t.sol:135:5:
|
|
69
|
-
|
|
|
70
|
-
135 | function test_address_paginate_LimitExceedsTotal() public {
|
|
71
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
72
|
-
|
|
73
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
74
|
-
--> test/EnumerableSetPagination.t.sol:139:5:
|
|
75
|
-
|
|
|
76
|
-
139 | function test_address_paginate_MaxUint256Limit() public {
|
|
77
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
78
|
-
|
|
79
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
80
|
-
--> test/EnumerableSetPagination.t.sol:145:5:
|
|
81
|
-
|
|
|
82
|
-
145 | function test_address_paginate_SequentialPagesCompleteSet() public {
|
|
83
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
84
|
-
|
|
85
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
86
|
-
--> test/EnumerableSetPagination.t.sol:258:5:
|
|
87
|
-
|
|
|
88
|
-
258 | function test_uint_paginate_OffsetZero() public {
|
|
89
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
90
|
-
|
|
91
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
92
|
-
--> test/EnumerableSetPagination.t.sol:266:5:
|
|
93
|
-
|
|
|
94
|
-
266 | function test_uint_paginate_MiddleOffset() public {
|
|
95
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
96
|
-
|
|
97
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
98
|
-
--> test/EnumerableSetPagination.t.sol:274:5:
|
|
99
|
-
|
|
|
100
|
-
274 | function test_uint_paginate_OffsetAtEnd() public {
|
|
101
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
102
|
-
|
|
103
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
104
|
-
--> test/EnumerableSetPagination.t.sol:280:5:
|
|
105
|
-
|
|
|
106
|
-
280 | function test_uint_paginate_OffsetBeyondEnd() public {
|
|
107
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
108
|
-
|
|
109
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
110
|
-
--> test/EnumerableSetPagination.t.sol:287:5:
|
|
111
|
-
|
|
|
112
|
-
287 | function test_uint_paginate_LimitZero() public {
|
|
113
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
114
|
-
|
|
115
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
116
|
-
--> test/EnumerableSetPagination.t.sol:291:5:
|
|
117
|
-
|
|
|
118
|
-
291 | function test_uint_paginate_LimitOne() public {
|
|
119
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
120
|
-
|
|
121
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
122
|
-
--> test/EnumerableSetPagination.t.sol:297:5:
|
|
123
|
-
|
|
|
124
|
-
297 | function test_uint_paginate_LimitExceedsRemaining() public {
|
|
125
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
126
|
-
|
|
127
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
128
|
-
--> test/EnumerableSetPagination.t.sol:302:5:
|
|
129
|
-
|
|
|
130
|
-
302 | function test_uint_paginate_LimitExceedsTotal() public {
|
|
131
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
132
|
-
|
|
133
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
134
|
-
--> test/EnumerableSetPagination.t.sol:306:5:
|
|
135
|
-
|
|
|
136
|
-
306 | function test_uint_paginate_MaxUint256Limit() public {
|
|
137
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
138
|
-
|
|
139
|
-
Warning (2018): Function state mutability can be restricted to view
|
|
140
|
-
--> test/EnumerableSetPagination.t.sol:312:5:
|
|
141
|
-
|
|
|
142
|
-
312 | function test_uint_paginate_SequentialPagesCompleteSet() public {
|
|
143
|
-
| ^ (Relevant source part starts here and spans across multiple lines).
|
|
144
|
-
|
|
145
|
-
|
|
146
|
-
Ran 40 tests for test/RateLimiterRBACUpgradeable.t.sol:RateLimiterRBACUpgradeableTest
|
|
147
|
-
[PASS] test_checkpointRateLimits_Empty() (gas: 13193)
|
|
148
|
-
[PASS] test_checkpointRateLimits_Multiple() (gas: 151652)
|
|
149
|
-
[PASS] test_checkpointRateLimits_PreservesDecay() (gas: 92715)
|
|
150
|
-
[PASS] test_checkpointRateLimits_Revert_Unauthorized() (gas: 19178)
|
|
151
|
-
[PASS] test_checkpointRateLimits_Single() (gas: 86904)
|
|
152
|
-
[PASS] test_constructor_MaxScaledDecimals() (gas: 1716038)
|
|
153
|
-
[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38207)
|
|
154
|
-
[PASS] test_constructor_ZeroScaledDecimals() (gas: 1715834)
|
|
155
|
-
[PASS] test_getRateLimitUsages_BothDisabled() (gas: 24667)
|
|
156
|
-
[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 48094)
|
|
157
|
-
[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23440)
|
|
158
|
-
[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23505)
|
|
159
|
-
[PASS] test_getRateLimitUsages_WithDecay() (gas: 87661)
|
|
160
|
-
[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 3553957)
|
|
161
|
-
[PASS] test_globalState_SharesStateAcrossIds() (gas: 3516380)
|
|
162
|
-
[PASS] test_globalState_UsesDefaultIdForState() (gas: 3514403)
|
|
163
|
-
[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 50968)
|
|
164
|
-
[PASS] test_inflow_GloballyDisabled() (gas: 53719)
|
|
165
|
-
[PASS] test_inflow_WithScaleDecimals() (gas: 3510925)
|
|
166
|
-
[PASS] test_initial_state_closed() (gas: 3464325)
|
|
167
|
-
[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 50947)
|
|
168
|
-
[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 29913)
|
|
169
|
-
[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 31886)
|
|
170
|
-
[PASS] test_outflow_GloballyDisabled() (gas: 53762)
|
|
171
|
-
[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 77749)
|
|
172
|
-
[PASS] test_outflow_WithScaleDecimals() (gas: 3510940)
|
|
173
|
-
[PASS] test_setRateLimitAddressExemptions() (gas: 61183)
|
|
174
|
-
[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 23618)
|
|
175
|
-
[PASS] test_setRateLimitAddressExemptions_Revert_Unauthorized() (gas: 19369)
|
|
176
|
-
[PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 95695)
|
|
177
|
-
[PASS] test_setRateLimitConfigs_Multiple() (gas: 108829)
|
|
178
|
-
[PASS] test_setRateLimitConfigs_Revert_Unauthorized() (gas: 20640)
|
|
179
|
-
[PASS] test_setRateLimitConfigs_Single() (gas: 78235)
|
|
180
|
-
[PASS] test_setRateLimitGlobalConfig() (gas: 51513)
|
|
181
|
-
[PASS] test_setRateLimitGlobalConfig_Revert_Unauthorized() (gas: 18924)
|
|
182
|
-
[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 18229)
|
|
183
|
-
[PASS] test_setRateLimitStates_Revert_Unauthorized() (gas: 19856)
|
|
184
|
-
[PASS] test_setRateLimitStates_Single() (gas: 51642)
|
|
185
|
-
[PASS] test_storageHash() (gas: 3351)
|
|
186
|
-
[PASS] test_upscaleRateLimitAmount() (gas: 3446173)
|
|
187
|
-
Suite result: ok. 40 passed; 0 failed; 0 skipped; finished in 19.08ms (15.23ms CPU time)
|
|
188
|
-
|
|
189
|
-
Ran 5 tests for test/FeeHandlerBaseUpgradeable.t.sol:FeeHandlerBaseUpgradeableTest
|
|
190
|
-
[PASS] test_feeDeposit() (gas: 17474)
|
|
191
|
-
[PASS] test_setFeeDeposit() (gas: 24705)
|
|
192
|
-
[PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 21219, ~: 21219)
|
|
193
|
-
[PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 13189)
|
|
194
|
-
[PASS] test_storageHash() (gas: 3351)
|
|
195
|
-
Suite result: ok. 5 passed; 0 failed; 0 skipped; finished in 85.90ms (85.21ms CPU time)
|
|
196
|
-
|
|
197
|
-
Ran 6 tests for test/FeeHandlerRBACUpgradeable.t.sol:FeeHandlerRBACUpgradeableTest
|
|
198
|
-
[PASS] test_feeDeposit() (gas: 17592)
|
|
199
|
-
[PASS] test_setFeeDeposit() (gas: 27299)
|
|
200
|
-
[PASS] test_setFeeDeposit_Fuzz(address) (runs: 1000, μ: 23748, ~: 23748)
|
|
201
|
-
[PASS] test_setFeeDeposit_Revert_Unauthorized() (gas: 23836)
|
|
202
|
-
[PASS] test_setFeeDeposit_Revert_ZeroAddress() (gas: 15667)
|
|
203
|
-
[PASS] test_storageHash() (gas: 3329)
|
|
204
|
-
Suite result: ok. 6 passed; 0 failed; 0 skipped; finished in 108.89ms (108.28ms CPU time)
|
|
205
|
-
|
|
206
|
-
Ran 13 tests for test/CreditRedirectRBACUpgradeable.t.sol:CreditRedirectRBACUpgradeableTest
|
|
207
|
-
[PASS] test_initialize() (gas: 18243)
|
|
208
|
-
[PASS] test_isAllowlisted_DelegatesToAllowlist() (gas: 220853)
|
|
209
|
-
[PASS] test_isAllowlisted_NoAllowlist() (gas: 21650)
|
|
210
|
-
[PASS] test_redirectCredit_Allowlisted() (gas: 216228)
|
|
211
|
-
[PASS] test_redirectCredit_Disabled() (gas: 17960)
|
|
212
|
-
[PASS] test_redirectCredit_NotAllowlisted() (gas: 199687)
|
|
213
|
-
[PASS] test_setCreditRedirectConfig_Fuzz(address,address) (runs: 1000, μ: 64498, ~: 64538)
|
|
214
|
-
[PASS] test_setCreditRedirectConfig_Revert_AllowlistOnly() (gas: 18202)
|
|
215
|
-
[PASS] test_setCreditRedirectConfig_Revert_EscrowOnly() (gas: 18172)
|
|
216
|
-
[PASS] test_setCreditRedirectConfig_Revert_Unauthorized() (gas: 25996)
|
|
217
|
-
[PASS] test_setCreditRedirectConfig_Set() (gas: 70318)
|
|
218
|
-
[PASS] test_setCreditRedirectConfig_Unset() (gas: 54923)
|
|
219
|
-
[PASS] test_storageHash() (gas: 3395)
|
|
220
|
-
Suite result: ok. 13 passed; 0 failed; 0 skipped; finished in 378.91ms (333.54ms CPU time)
|
|
221
|
-
|
|
222
|
-
Ran 12 tests for test/CreditRedirectBaseUpgradeable.t.sol:CreditRedirectBaseUpgradeableTest
|
|
223
|
-
[PASS] test_initialize() (gas: 18176)
|
|
224
|
-
[PASS] test_isAllowlisted_DelegatesToAllowlist() (gas: 218386)
|
|
225
|
-
[PASS] test_isAllowlisted_NoAllowlist() (gas: 21538)
|
|
226
|
-
[PASS] test_redirectCredit_Allowlisted() (gas: 213849)
|
|
227
|
-
[PASS] test_redirectCredit_Disabled() (gas: 17936)
|
|
228
|
-
[PASS] test_redirectCredit_NotAllowlisted() (gas: 197308)
|
|
229
|
-
[PASS] test_setCreditRedirectConfig_Fuzz(address,address) (runs: 1000, μ: 62076, ~: 62116)
|
|
230
|
-
[PASS] test_setCreditRedirectConfig_Revert_AllowlistOnly() (gas: 15827)
|
|
231
|
-
[PASS] test_setCreditRedirectConfig_Revert_EscrowOnly() (gas: 15797)
|
|
232
|
-
[PASS] test_setCreditRedirectConfig_Set() (gas: 67874)
|
|
233
|
-
[PASS] test_setCreditRedirectConfig_Unset() (gas: 52720)
|
|
234
|
-
[PASS] test_storageHash() (gas: 3373)
|
|
235
|
-
Suite result: ok. 12 passed; 0 failed; 0 skipped; finished in 400.91ms (144.44ms CPU time)
|
|
236
|
-
|
|
237
|
-
Ran 10 tests for test/RateLimiterUtils.t.sol:RateLimiterUtilsTest
|
|
238
|
-
[PASS] test_decodeConfigBitmapFlags_AllFalse() (gas: 9993)
|
|
239
|
-
[PASS] test_decodeConfigBitmapFlags_AllTrue() (gas: 9948)
|
|
240
|
-
[PASS] test_decodeConfigBitmapFlags_Mixed() (gas: 9948)
|
|
241
|
-
[PASS] test_decodeOverrideDefaultConfig_False() (gas: 8464)
|
|
242
|
-
[PASS] test_decodeOverrideDefaultConfig_Fuzz(uint24) (runs: 1000, μ: 3382, ~: 3378)
|
|
243
|
-
[PASS] test_decodeOverrideDefaultConfig_True() (gas: 8432)
|
|
244
|
-
[PASS] test_encodeConfigBitmap_AllFalse() (gas: 8933)
|
|
245
|
-
[PASS] test_encodeConfigBitmap_AllTrue() (gas: 8931)
|
|
246
|
-
[PASS] test_encodeConfigBitmap_Mixed() (gas: 8953)
|
|
247
|
-
[PASS] test_encodeDecode_Fuzz(bool,bool,bool,bool,bool) (runs: 1000, μ: 4993, ~: 4993)
|
|
248
|
-
Suite result: ok. 10 passed; 0 failed; 0 skipped; finished in 521.03ms (197.92ms CPU time)
|
|
249
|
-
|
|
250
|
-
Ran 19 tests for test/PauseBaseUpgradeable.t.sol:PauseBaseUpgradeableTest
|
|
251
|
-
[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 24976, ~: 12707)
|
|
252
|
-
[PASS] test_assertNotPaused_Revert_Paused() (gas: 38112)
|
|
253
|
-
[PASS] test_assertNotPaused_Success() (gas: 12460)
|
|
254
|
-
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15645)
|
|
255
|
-
[PASS] test_isPaused_InitialState() (gas: 15501)
|
|
256
|
-
[PASS] test_pause() (gas: 39401)
|
|
257
|
-
[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 27899, ~: 39670)
|
|
258
|
-
[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 17540)
|
|
259
|
-
[PASS] test_setPaused_Idempotent_Reverts() (gas: 38204)
|
|
260
|
-
[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 73456)
|
|
261
|
-
[PASS] test_storageHash() (gas: 3373)
|
|
262
|
-
[PASS] test_unpause() (gas: 30840)
|
|
263
|
-
[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 40551, ~: 41966)
|
|
264
|
-
[PASS] test_whenNotPaused_Revert_Paused() (gas: 41780)
|
|
265
|
-
[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 38164)
|
|
266
|
-
[PASS] test_whenNotPaused_Success() (gas: 38812)
|
|
267
|
-
[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 48425)
|
|
268
|
-
[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 57414)
|
|
269
|
-
[PASS] test_whenNotPaused_WithReturnValue() (gas: 15518)
|
|
270
|
-
Suite result: ok. 19 passed; 0 failed; 0 skipped; finished in 1.58s (408.46ms CPU time)
|
|
271
|
-
|
|
272
|
-
Ran 24 tests for test/FeeConfigRBACUpgradeable.t.sol:FeeConfigRBACUpgradeableTest
|
|
273
|
-
[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 50546)
|
|
274
|
-
[PASS] test_getAmountBeforeFee_Default() (gas: 47297)
|
|
275
|
-
[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 47037, ~: 48408)
|
|
276
|
-
[PASS] test_getAmountBeforeFee_MaxBps() (gas: 46854)
|
|
277
|
-
[PASS] test_getAmountBeforeFee_Rounding() (gas: 47666)
|
|
278
|
-
[PASS] test_getAmountBeforeFee_Specific() (gas: 70973)
|
|
279
|
-
[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 66639)
|
|
280
|
-
[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 42885)
|
|
281
|
-
[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22177)
|
|
282
|
-
[PASS] test_getFee_BoundaryConditions() (gas: 74490)
|
|
283
|
-
[PASS] test_getFee_Default() (gas: 42761)
|
|
284
|
-
[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 44986, ~: 46566)
|
|
285
|
-
[PASS] test_getFee_Rounding() (gas: 44991)
|
|
286
|
-
[PASS] test_getFee_Specific() (gas: 66469)
|
|
287
|
-
[PASS] test_getFee_SpecificDisabled() (gas: 66472)
|
|
288
|
-
[PASS] test_setDefaultFeeBps() (gas: 41808)
|
|
289
|
-
[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 34444, ~: 41922)
|
|
290
|
-
[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 16013)
|
|
291
|
-
[PASS] test_setDefaultFeeBps_Revert_Unauthorized() (gas: 21735)
|
|
292
|
-
[PASS] test_setFeeBps() (gas: 76321)
|
|
293
|
-
Logs:
|
|
294
|
-
Bound result 500
|
|
295
|
-
|
|
296
|
-
[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 66546, ~: 76676)
|
|
297
|
-
[PASS] test_setFeeBps_RevertInvalid() (gas: 16217)
|
|
298
|
-
[PASS] test_setFeeBps_Revert_Unauthorized() (gas: 21879)
|
|
299
|
-
[PASS] test_storageHash() (gas: 3373)
|
|
300
|
-
Suite result: ok. 24 passed; 0 failed; 0 skipped; finished in 1.59s (1.49s CPU time)
|
|
301
|
-
|
|
302
|
-
Ran 31 tests for test/PauseByIDBaseUpgradeable.t.sol:PauseByIDBaseUpgradeableTest
|
|
303
|
-
[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 40555)
|
|
304
|
-
[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 40579)
|
|
305
|
-
[PASS] test_assertNotPaused_Success() (gas: 14828)
|
|
306
|
-
[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 52443)
|
|
307
|
-
[PASS] test_defaultPaused_InitialState() (gas: 15478)
|
|
308
|
-
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15706)
|
|
309
|
-
[PASS] test_isPaused_Default() (gas: 44390)
|
|
310
|
-
[PASS] test_isPaused_InitialState() (gas: 21849)
|
|
311
|
-
[PASS] test_isPaused_MultipleIDs() (gas: 73453)
|
|
312
|
-
[PASS] test_isPaused_Override() (gas: 69013)
|
|
313
|
-
[PASS] test_isPaused_Specific() (gas: 46428)
|
|
314
|
-
[PASS] test_isPaused_SpecificDisabled() (gas: 51334)
|
|
315
|
-
[PASS] test_pauseConfig() (gas: 45439)
|
|
316
|
-
[PASS] test_setDefaultPaused() (gas: 39449)
|
|
317
|
-
[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 28255, ~: 39678)
|
|
318
|
-
[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 17561)
|
|
319
|
-
[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 38343)
|
|
320
|
-
[PASS] test_setPaused() (gas: 42865)
|
|
321
|
-
[PASS] test_setPaused_EmptyArray() (gas: 10788)
|
|
322
|
-
[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 38421, ~: 43178)
|
|
323
|
-
[PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 40403)
|
|
324
|
-
[PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 40365)
|
|
325
|
-
[PASS] test_setPaused_Success_Toggle() (gas: 50934)
|
|
326
|
-
[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 57928, ~: 46708)
|
|
327
|
-
[PASS] test_storageHash() (gas: 3395)
|
|
328
|
-
[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 44207)
|
|
329
|
-
[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 44284)
|
|
330
|
-
[PASS] test_whenNotPaused_Success() (gas: 41152)
|
|
331
|
-
[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 88304)
|
|
332
|
-
[PASS] test_whenNotPaused_WithReturnValue() (gas: 17781)
|
|
333
|
-
[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 40580)
|
|
334
|
-
Suite result: ok. 31 passed; 0 failed; 0 skipped; finished in 1.86s (494.48ms CPU time)
|
|
335
|
-
|
|
336
|
-
Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantGlobalStateTest
|
|
337
|
-
[PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
|
|
338
|
-
|
|
339
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
340
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
341
|
-
+======================================================================================+
|
|
342
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
|
|
343
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
344
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 511 | 0 | 0 |
|
|
345
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
346
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 506 | 0 | 0 |
|
|
347
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
348
|
-
| RateLimiterRBACUpgradeableHandler | setState | 556 | 0 | 0 |
|
|
349
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
350
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
|
|
351
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
352
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 611 | 0 | 0 |
|
|
353
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
354
|
-
| RateLimiterRBACUpgradeableHandler | warp | 569 | 0 | 0 |
|
|
355
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
356
|
-
|
|
357
|
-
Logs:
|
|
358
|
-
Bound result 2602
|
|
359
|
-
Bound result 3991
|
|
360
|
-
Bound result 1
|
|
361
|
-
Bound result 9900000000000000000743
|
|
362
|
-
Bound result 9900000000000000040288
|
|
363
|
-
Bound result 5366
|
|
364
|
-
Bound result 361
|
|
365
|
-
Bound result 392401227
|
|
366
|
-
Bound result 100000000000000000001
|
|
367
|
-
Bound result 9900000000000000026848
|
|
368
|
-
Bound result 1392
|
|
369
|
-
Bound result 11
|
|
370
|
-
Bound result 9900000000000044864163
|
|
371
|
-
Bound result 9900000007266516095633
|
|
372
|
-
Bound result 8441
|
|
373
|
-
Bound result 103
|
|
374
|
-
Bound result 50785275
|
|
375
|
-
Bound result 266079458648838771
|
|
376
|
-
Bound result 19791176723533383211561
|
|
377
|
-
Bound result 1
|
|
378
|
-
Bound result 224
|
|
379
|
-
Bound result 295
|
|
380
|
-
Bound result 1
|
|
381
|
-
Bound result 9900000000000000009312
|
|
382
|
-
Bound result 9900000000000000004396
|
|
383
|
-
Bound result 851
|
|
384
|
-
Bound result 368
|
|
385
|
-
|
|
386
|
-
[PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
387
|
-
|
|
388
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
389
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
390
|
-
+======================================================================================+
|
|
391
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 558 | 0 | 0 |
|
|
392
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
393
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 571 | 0 | 0 |
|
|
394
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
395
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 533 | 0 | 0 |
|
|
396
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
397
|
-
| RateLimiterRBACUpgradeableHandler | setState | 563 | 0 | 0 |
|
|
398
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
399
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 547 | 0 | 0 |
|
|
400
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
401
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 521 | 0 | 0 |
|
|
402
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
403
|
-
| RateLimiterRBACUpgradeableHandler | warp | 547 | 0 | 0 |
|
|
404
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
405
|
-
|
|
406
|
-
Logs:
|
|
407
|
-
Bound result 1279633869758218649344
|
|
408
|
-
Bound result 100000000000000000000
|
|
409
|
-
Bound result 12
|
|
410
|
-
Bound result 6833
|
|
411
|
-
Bound result 420
|
|
412
|
-
Bound result 866983
|
|
413
|
-
Bound result 879516
|
|
414
|
-
Bound result 259
|
|
415
|
-
Bound result 2170728298131626657565
|
|
416
|
-
Bound result 1848
|
|
417
|
-
Bound result 159188493042265489998
|
|
418
|
-
Bound result 892064205542555533
|
|
419
|
-
Bound result 2575051283
|
|
420
|
-
Bound result 1307
|
|
421
|
-
Bound result 7930337303069777
|
|
422
|
-
Bound result 524527774
|
|
423
|
-
Bound result 9510252682707173824311
|
|
424
|
-
Bound result 100000000000000000002
|
|
425
|
-
Bound result 3729
|
|
426
|
-
Bound result 8878
|
|
427
|
-
Bound result 14098991798174593224803
|
|
428
|
-
|
|
429
|
-
[PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
430
|
-
|
|
431
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
432
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
433
|
-
+======================================================================================+
|
|
434
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 594 | 0 | 0 |
|
|
435
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
436
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
|
|
437
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
438
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 520 | 0 | 0 |
|
|
439
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
440
|
-
| RateLimiterRBACUpgradeableHandler | setState | 503 | 0 | 0 |
|
|
441
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
442
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 568 | 0 | 0 |
|
|
443
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
444
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 589 | 0 | 0 |
|
|
445
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
446
|
-
| RateLimiterRBACUpgradeableHandler | warp | 513 | 0 | 0 |
|
|
447
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
448
|
-
|
|
449
|
-
Logs:
|
|
450
|
-
Bound result 890
|
|
451
|
-
Bound result 1206359015361752334337
|
|
452
|
-
Bound result 369
|
|
453
|
-
Bound result 7329
|
|
454
|
-
Bound result 13651
|
|
455
|
-
Bound result 856434158960
|
|
456
|
-
Bound result 0
|
|
457
|
-
Bound result 93
|
|
458
|
-
Bound result 1423
|
|
459
|
-
Bound result 1
|
|
460
|
-
Bound result 1
|
|
461
|
-
Bound result 1013
|
|
462
|
-
Bound result 2
|
|
463
|
-
Bound result 61451396
|
|
464
|
-
Bound result 2
|
|
465
|
-
Bound result 1295
|
|
466
|
-
Bound result 1259508168331042151198
|
|
467
|
-
|
|
468
|
-
[PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
469
|
-
|
|
470
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
471
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
472
|
-
+======================================================================================+
|
|
473
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 555 | 0 | 0 |
|
|
474
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
475
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 513 | 0 | 0 |
|
|
476
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
477
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 526 | 0 | 0 |
|
|
478
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
479
|
-
| RateLimiterRBACUpgradeableHandler | setState | 569 | 0 | 0 |
|
|
480
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
481
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 548 | 0 | 0 |
|
|
482
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
483
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
|
|
484
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
485
|
-
| RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
|
|
486
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
487
|
-
|
|
488
|
-
Logs:
|
|
489
|
-
Bound result 813645477768611367683
|
|
490
|
-
Bound result 10443
|
|
491
|
-
Bound result 802
|
|
492
|
-
Bound result 0
|
|
493
|
-
Bound result 1320
|
|
494
|
-
Bound result 6194
|
|
495
|
-
Bound result 2013
|
|
496
|
-
Bound result 2168
|
|
497
|
-
Bound result 452
|
|
498
|
-
Bound result 839288344542826130203
|
|
499
|
-
Bound result 514264337593504336253
|
|
500
|
-
Bound result 381
|
|
501
|
-
Bound result 948254488126659
|
|
502
|
-
Bound result 1198461546418973233863
|
|
503
|
-
Bound result 793
|
|
504
|
-
Bound result 2360
|
|
505
|
-
Bound result 7344
|
|
506
|
-
Bound result 695
|
|
507
|
-
Bound result 96312656957264254068
|
|
508
|
-
Bound result 818
|
|
509
|
-
|
|
510
|
-
[PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
511
|
-
|
|
512
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
513
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
514
|
-
+======================================================================================+
|
|
515
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 546 | 0 | 0 |
|
|
516
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
517
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 594 | 0 | 0 |
|
|
518
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
519
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
|
|
520
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
521
|
-
| RateLimiterRBACUpgradeableHandler | setState | 553 | 0 | 0 |
|
|
522
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
523
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 552 | 0 | 0 |
|
|
524
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
525
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
|
|
526
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
527
|
-
| RateLimiterRBACUpgradeableHandler | warp | 509 | 0 | 0 |
|
|
528
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
529
|
-
|
|
530
|
-
Logs:
|
|
531
|
-
Bound result 1
|
|
532
|
-
Bound result 8391
|
|
533
|
-
Bound result 2
|
|
534
|
-
Bound result 559
|
|
535
|
-
Bound result 514917
|
|
536
|
-
Bound result 47
|
|
537
|
-
Bound result 9300
|
|
538
|
-
Bound result 2423500177
|
|
539
|
-
Bound result 1483115847295041844963
|
|
540
|
-
|
|
541
|
-
[PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
|
|
542
|
-
|
|
543
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
544
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
545
|
-
+======================================================================================+
|
|
546
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 532 | 0 | 0 |
|
|
547
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
548
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 574 | 0 | 0 |
|
|
549
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
550
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
|
|
551
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
552
|
-
| RateLimiterRBACUpgradeableHandler | setState | 537 | 0 | 0 |
|
|
553
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
554
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 537 | 0 | 0 |
|
|
555
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
556
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
|
|
557
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
558
|
-
| RateLimiterRBACUpgradeableHandler | warp | 567 | 0 | 0 |
|
|
559
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
560
|
-
|
|
561
|
-
Logs:
|
|
562
|
-
Bound result 116
|
|
563
|
-
Bound result 124
|
|
564
|
-
Bound result 0
|
|
565
|
-
Bound result 1037045907613120961917
|
|
566
|
-
Bound result 63
|
|
567
|
-
Bound result 0
|
|
568
|
-
Bound result 10679
|
|
569
|
-
Bound result 413
|
|
570
|
-
Bound result 1
|
|
571
|
-
Bound result 4667694047649713970259
|
|
572
|
-
Bound result 9900000299604502575730
|
|
573
|
-
Bound result 552
|
|
574
|
-
Bound result 2043
|
|
575
|
-
Bound result 279115306318470461
|
|
576
|
-
Bound result 32988917685
|
|
577
|
-
Bound result 0
|
|
578
|
-
Bound result 9900000000000000045033
|
|
579
|
-
Bound result 9900000000000000005588
|
|
580
|
-
Bound result 9997
|
|
581
|
-
Bound result 1347
|
|
582
|
-
Bound result 7752130309452123312740
|
|
583
|
-
Bound result 9009
|
|
584
|
-
Bound result 9900000000000000000006
|
|
585
|
-
Bound result 9900000000000295121492
|
|
586
|
-
Bound result 7617
|
|
587
|
-
Bound result 11
|
|
588
|
-
Bound result 6914261975782282427087
|
|
589
|
-
Bound result 3023
|
|
590
|
-
Bound result 2
|
|
591
|
-
|
|
592
|
-
[PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
|
|
593
|
-
|
|
594
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
595
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
596
|
-
+======================================================================================+
|
|
597
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 519 | 0 | 0 |
|
|
598
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
599
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 547 | 0 | 0 |
|
|
600
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
601
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 546 | 0 | 0 |
|
|
602
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
603
|
-
| RateLimiterRBACUpgradeableHandler | setState | 551 | 0 | 0 |
|
|
604
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
605
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 561 | 0 | 0 |
|
|
606
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
607
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 556 | 0 | 0 |
|
|
608
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
609
|
-
| RateLimiterRBACUpgradeableHandler | warp | 560 | 0 | 0 |
|
|
610
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
611
|
-
|
|
612
|
-
Logs:
|
|
613
|
-
Bound result 514264337593543950335
|
|
614
|
-
Bound result 9900000000000000010847
|
|
615
|
-
Bound result 9900000000000000010817
|
|
616
|
-
Bound result 5742
|
|
617
|
-
Bound result 2890
|
|
618
|
-
Bound result 3
|
|
619
|
-
Bound result 8866
|
|
620
|
-
Bound result 190
|
|
621
|
-
Bound result 7643360678031201984150
|
|
622
|
-
Bound result 9900000000000000000075
|
|
623
|
-
Bound result 9900000000000000003055
|
|
624
|
-
Bound result 6072
|
|
625
|
-
Bound result 1875
|
|
626
|
-
Bound result 9900000000000000000680
|
|
627
|
-
Bound result 9945686845103277391936
|
|
628
|
-
Bound result 13
|
|
629
|
-
Bound result 6226
|
|
630
|
-
Bound result 399880
|
|
631
|
-
Bound result 5559850331420635635583
|
|
632
|
-
Bound result 9900000001799827042666
|
|
633
|
-
Bound result 4505637913674387070293
|
|
634
|
-
Bound result 18
|
|
635
|
-
Bound result 486
|
|
636
|
-
|
|
637
|
-
[PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
638
|
-
|
|
639
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
640
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
641
|
-
+======================================================================================+
|
|
642
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 525 | 0 | 0 |
|
|
643
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
644
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 553 | 0 | 0 |
|
|
645
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
646
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 562 | 0 | 0 |
|
|
647
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
648
|
-
| RateLimiterRBACUpgradeableHandler | setState | 523 | 0 | 0 |
|
|
649
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
650
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 545 | 0 | 0 |
|
|
651
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
652
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 559 | 0 | 0 |
|
|
653
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
654
|
-
| RateLimiterRBACUpgradeableHandler | warp | 573 | 0 | 0 |
|
|
655
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
656
|
-
|
|
657
|
-
Logs:
|
|
658
|
-
Bound result 45
|
|
659
|
-
Bound result 9900000000000002262828
|
|
660
|
-
Bound result 7136233665222623181179
|
|
661
|
-
Bound result 23
|
|
662
|
-
Bound result 5386
|
|
663
|
-
Bound result 8537174163025676937926
|
|
664
|
-
Bound result 5115
|
|
665
|
-
Bound result 0
|
|
666
|
-
Bound result 6774
|
|
667
|
-
Bound result 4158
|
|
668
|
-
Bound result 850
|
|
669
|
-
Bound result 1855
|
|
670
|
-
Bound result 9900000000502440041200
|
|
671
|
-
Bound result 9900000000000000001913
|
|
672
|
-
Bound result 6240
|
|
673
|
-
Bound result 36
|
|
674
|
-
Bound result 10002
|
|
675
|
-
Bound result 9900087254690278685927
|
|
676
|
-
Bound result 9900016047810774869680
|
|
677
|
-
Bound result 2751
|
|
678
|
-
Bound result 114
|
|
679
|
-
Bound result 3096
|
|
680
|
-
Bound result 12173
|
|
681
|
-
Bound result 46649628522672239125
|
|
682
|
-
Bound result 5530510078879093106900
|
|
683
|
-
Bound result 100000000000000000000
|
|
684
|
-
Bound result 3278
|
|
685
|
-
Bound result 1395
|
|
686
|
-
Bound result 508
|
|
687
|
-
|
|
688
|
-
Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.13s (12.50s CPU time)
|
|
689
|
-
|
|
690
|
-
Ran 8 tests for test/RateLimiterRBACUpgradeableInvariant.t.sol:RateLimiterRBACUpgradeableInvariantTest
|
|
691
|
-
[PASS] invariant_AvailableConsistent() (runs: 256, calls: 3840, reverts: 0)
|
|
692
|
-
|
|
693
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
694
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
695
|
-
+======================================================================================+
|
|
696
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 540 | 0 | 0 |
|
|
697
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
698
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 528 | 0 | 0 |
|
|
699
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
700
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 567 | 0 | 0 |
|
|
701
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
702
|
-
| RateLimiterRBACUpgradeableHandler | setState | 565 | 0 | 0 |
|
|
703
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
704
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 527 | 0 | 0 |
|
|
705
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
706
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 517 | 0 | 0 |
|
|
707
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
708
|
-
| RateLimiterRBACUpgradeableHandler | warp | 596 | 0 | 0 |
|
|
709
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
710
|
-
|
|
711
|
-
Logs:
|
|
712
|
-
Bound result 1990136823419951764783
|
|
713
|
-
Bound result 1783795180591461700221
|
|
714
|
-
Bound result 54405
|
|
715
|
-
Bound result 0
|
|
716
|
-
Bound result 3041954474
|
|
717
|
-
Bound result 4395
|
|
718
|
-
Bound result 0
|
|
719
|
-
Bound result 1
|
|
720
|
-
Bound result 259629018
|
|
721
|
-
Bound result 12603
|
|
722
|
-
Bound result 11101
|
|
723
|
-
Bound result 0
|
|
724
|
-
Bound result 6485
|
|
725
|
-
Bound result 34310090144214
|
|
726
|
-
Bound result 7163150707696269111232
|
|
727
|
-
Bound result 2094639741859456046825
|
|
728
|
-
Bound result 410
|
|
729
|
-
Bound result 56
|
|
730
|
-
Bound result 9900000000003222002980
|
|
731
|
-
Bound result 9900000000000000001324
|
|
732
|
-
Bound result 9698
|
|
733
|
-
Bound result 7026
|
|
734
|
-
|
|
735
|
-
[PASS] invariant_ConfigBitmapConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
736
|
-
|
|
737
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
738
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
739
|
-
+======================================================================================+
|
|
740
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 538 | 0 | 0 |
|
|
741
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
742
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 534 | 0 | 0 |
|
|
743
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
744
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
|
|
745
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
746
|
-
| RateLimiterRBACUpgradeableHandler | setState | 536 | 0 | 0 |
|
|
747
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
748
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 542 | 0 | 0 |
|
|
749
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
750
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 583 | 0 | 0 |
|
|
751
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
752
|
-
| RateLimiterRBACUpgradeableHandler | warp | 530 | 0 | 0 |
|
|
753
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
754
|
-
|
|
755
|
-
Logs:
|
|
756
|
-
Bound result 10171154674219995
|
|
757
|
-
Bound result 6407
|
|
758
|
-
Bound result 494
|
|
759
|
-
Bound result 346932613464843346840
|
|
760
|
-
Bound result 725591889441592
|
|
761
|
-
Bound result 0
|
|
762
|
-
Bound result 11830
|
|
763
|
-
Bound result 5067
|
|
764
|
-
Bound result 1
|
|
765
|
-
Bound result 42
|
|
766
|
-
Bound result 9900002021111041579439
|
|
767
|
-
Bound result 772320900647393078427
|
|
768
|
-
Bound result 4198
|
|
769
|
-
Bound result 132
|
|
770
|
-
Bound result 8
|
|
771
|
-
Bound result 1514321699501986093282
|
|
772
|
-
Bound result 8479130478267442882524
|
|
773
|
-
Bound result 9192
|
|
774
|
-
Bound result 3946
|
|
775
|
-
Bound result 23263143671943
|
|
776
|
-
Bound result 15238381178043523274782
|
|
777
|
-
Bound result 4
|
|
778
|
-
Bound result 9900000000000000010366
|
|
779
|
-
Bound result 9900000000000000001857
|
|
780
|
-
Bound result 2347
|
|
781
|
-
Bound result 7470
|
|
782
|
-
Bound result 36988098
|
|
783
|
-
Bound result 11573
|
|
784
|
-
Bound result 7685
|
|
785
|
-
Bound result 46
|
|
786
|
-
Bound result 6226107781811744789972
|
|
787
|
-
Bound result 100000000000000000001
|
|
788
|
-
Bound result 8991
|
|
789
|
-
Bound result 13
|
|
790
|
-
|
|
791
|
-
[PASS] invariant_ConfigConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
792
|
-
|
|
793
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
794
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
795
|
-
+======================================================================================+
|
|
796
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 544 | 0 | 0 |
|
|
797
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
798
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
|
|
799
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
800
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 528 | 0 | 0 |
|
|
801
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
802
|
-
| RateLimiterRBACUpgradeableHandler | setState | 544 | 0 | 0 |
|
|
803
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
804
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 592 | 0 | 0 |
|
|
805
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
806
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 528 | 0 | 0 |
|
|
807
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
808
|
-
| RateLimiterRBACUpgradeableHandler | warp | 561 | 0 | 0 |
|
|
809
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
810
|
-
|
|
811
|
-
Logs:
|
|
812
|
-
Bound result 1
|
|
813
|
-
Bound result 750
|
|
814
|
-
Bound result 433984474127997188270
|
|
815
|
-
Bound result 12301
|
|
816
|
-
Bound result 8962
|
|
817
|
-
Bound result 88
|
|
818
|
-
Bound result 211
|
|
819
|
-
Bound result 72
|
|
820
|
-
Bound result 126
|
|
821
|
-
Bound result 244635100274
|
|
822
|
-
Bound result 358
|
|
823
|
-
Bound result 9900000000002826078450
|
|
824
|
-
Bound result 1113418303697576191850
|
|
825
|
-
Bound result 6086
|
|
826
|
-
Bound result 71
|
|
827
|
-
Bound result 60906224988140093353
|
|
828
|
-
Bound result 2210262167854009316917
|
|
829
|
-
Bound result 826
|
|
830
|
-
|
|
831
|
-
[PASS] invariant_ExemptionConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
832
|
-
|
|
833
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
834
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
835
|
-
+======================================================================================+
|
|
836
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 545 | 0 | 0 |
|
|
837
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
838
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 511 | 0 | 0 |
|
|
839
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
840
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 544 | 0 | 0 |
|
|
841
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
842
|
-
| RateLimiterRBACUpgradeableHandler | setState | 554 | 0 | 0 |
|
|
843
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
844
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
|
|
845
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
846
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 565 | 0 | 0 |
|
|
847
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
848
|
-
| RateLimiterRBACUpgradeableHandler | warp | 566 | 0 | 0 |
|
|
849
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
850
|
-
|
|
851
|
-
Logs:
|
|
852
|
-
Bound result 514264337593504336253
|
|
853
|
-
Bound result 990740630286641610579
|
|
854
|
-
Bound result 0
|
|
855
|
-
Bound result 6694480717
|
|
856
|
-
Bound result 14342311532741515539
|
|
857
|
-
Bound result 1
|
|
858
|
-
Bound result 1
|
|
859
|
-
Bound result 9900000000000000000636
|
|
860
|
-
Bound result 9900000000000000010356
|
|
861
|
-
Bound result 5368
|
|
862
|
-
Bound result 1168
|
|
863
|
-
Bound result 2126
|
|
864
|
-
Bound result 12575169861775556169
|
|
865
|
-
Bound result 804344930999172907
|
|
866
|
-
|
|
867
|
-
[PASS] invariant_GhostConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
868
|
-
|
|
869
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
870
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
871
|
-
+======================================================================================+
|
|
872
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 531 | 0 | 0 |
|
|
873
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
874
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 565 | 0 | 0 |
|
|
875
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
876
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 527 | 0 | 0 |
|
|
877
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
878
|
-
| RateLimiterRBACUpgradeableHandler | setState | 534 | 0 | 0 |
|
|
879
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
880
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 555 | 0 | 0 |
|
|
881
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
882
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 575 | 0 | 0 |
|
|
883
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
884
|
-
| RateLimiterRBACUpgradeableHandler | warp | 553 | 0 | 0 |
|
|
885
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
886
|
-
|
|
887
|
-
Logs:
|
|
888
|
-
Bound result 1732861554470362274873
|
|
889
|
-
Bound result 3193030640052547843
|
|
890
|
-
Bound result 514264337593504336251
|
|
891
|
-
Bound result 0
|
|
892
|
-
Bound result 1572556248248769570810
|
|
893
|
-
Bound result 578825547622149
|
|
894
|
-
Bound result 5956
|
|
895
|
-
Bound result 12102
|
|
896
|
-
Bound result 1315265789008
|
|
897
|
-
Bound result 11610
|
|
898
|
-
Bound result 1177459441741111033144
|
|
899
|
-
Bound result 9567
|
|
900
|
-
Bound result 58
|
|
901
|
-
Bound result 0
|
|
902
|
-
|
|
903
|
-
[PASS] invariant_LastUpdatedNotFuture() (runs: 256, calls: 3840, reverts: 0)
|
|
904
|
-
|
|
905
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
906
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
907
|
-
+======================================================================================+
|
|
908
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 523 | 0 | 0 |
|
|
909
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
910
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 564 | 0 | 0 |
|
|
911
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
912
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 557 | 0 | 0 |
|
|
913
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
914
|
-
| RateLimiterRBACUpgradeableHandler | setState | 532 | 0 | 0 |
|
|
915
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
916
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 563 | 0 | 0 |
|
|
917
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
918
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 527 | 0 | 0 |
|
|
919
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
920
|
-
| RateLimiterRBACUpgradeableHandler | warp | 574 | 0 | 0 |
|
|
921
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
922
|
-
|
|
923
|
-
Logs:
|
|
924
|
-
Bound result 11639
|
|
925
|
-
Bound result 6370
|
|
926
|
-
Bound result 165122361067897229149
|
|
927
|
-
Bound result 1
|
|
928
|
-
Bound result 1054793293430972057118
|
|
929
|
-
Bound result 6212325326165036264248
|
|
930
|
-
Bound result 1312
|
|
931
|
-
Bound result 10
|
|
932
|
-
Bound result 454
|
|
933
|
-
Bound result 1286765
|
|
934
|
-
Bound result 683349334304
|
|
935
|
-
Bound result 0
|
|
936
|
-
Bound result 9900000000000000000058
|
|
937
|
-
Bound result 1812597748139735697008
|
|
938
|
-
Bound result 10
|
|
939
|
-
Bound result 318
|
|
940
|
-
Bound result 14813227251059718463
|
|
941
|
-
Bound result 1851117825035825
|
|
942
|
-
Bound result 1
|
|
943
|
-
Bound result 87846251548671
|
|
944
|
-
Bound result 719272991726469213612
|
|
945
|
-
Bound result 1
|
|
946
|
-
|
|
947
|
-
[PASS] invariant_PristineIdUntouched() (runs: 256, calls: 3840, reverts: 0)
|
|
948
|
-
|
|
949
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
950
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
951
|
-
+======================================================================================+
|
|
952
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 563 | 0 | 0 |
|
|
953
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
954
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 543 | 0 | 0 |
|
|
955
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
956
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 577 | 0 | 0 |
|
|
957
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
958
|
-
| RateLimiterRBACUpgradeableHandler | setState | 494 | 0 | 0 |
|
|
959
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
960
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 549 | 0 | 0 |
|
|
961
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
962
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 533 | 0 | 0 |
|
|
963
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
964
|
-
| RateLimiterRBACUpgradeableHandler | warp | 581 | 0 | 0 |
|
|
965
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
966
|
-
|
|
967
|
-
Logs:
|
|
968
|
-
Bound result 601
|
|
969
|
-
Bound result 10679
|
|
970
|
-
Bound result 12658
|
|
971
|
-
Bound result 262
|
|
972
|
-
Bound result 1294
|
|
973
|
-
Bound result 225
|
|
974
|
-
Bound result 9900000000000532368927
|
|
975
|
-
Bound result 9900004405912237857790
|
|
976
|
-
Bound result 9995
|
|
977
|
-
Bound result 9998
|
|
978
|
-
Bound result 479
|
|
979
|
-
Bound result 667
|
|
980
|
-
Bound result 9900000000000000002049
|
|
981
|
-
Bound result 9900000000000000009255
|
|
982
|
-
Bound result 2385
|
|
983
|
-
Bound result 190
|
|
984
|
-
|
|
985
|
-
[PASS] invariant_RevertConsistency() (runs: 256, calls: 3840, reverts: 0)
|
|
986
|
-
|
|
987
|
-
╭-----------------------------------+---------------------+-------+---------+----------╮
|
|
988
|
-
| Contract | Selector | Calls | Reverts | Discards |
|
|
989
|
-
+======================================================================================+
|
|
990
|
-
| RateLimiterRBACUpgradeableHandler | inflow | 571 | 0 | 0 |
|
|
991
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
992
|
-
| RateLimiterRBACUpgradeableHandler | outflow | 536 | 0 | 0 |
|
|
993
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
994
|
-
| RateLimiterRBACUpgradeableHandler | setConfig | 581 | 0 | 0 |
|
|
995
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
996
|
-
| RateLimiterRBACUpgradeableHandler | setState | 567 | 0 | 0 |
|
|
997
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
998
|
-
| RateLimiterRBACUpgradeableHandler | toggleExemption | 523 | 0 | 0 |
|
|
999
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1000
|
-
| RateLimiterRBACUpgradeableHandler | toggleGlobalDisable | 511 | 0 | 0 |
|
|
1001
|
-
|-----------------------------------+---------------------+-------+---------+----------|
|
|
1002
|
-
| RateLimiterRBACUpgradeableHandler | warp | 551 | 0 | 0 |
|
|
1003
|
-
╰-----------------------------------+---------------------+-------+---------+----------╯
|
|
1004
|
-
|
|
1005
|
-
Logs:
|
|
1006
|
-
Bound result 8243763591928018962677
|
|
1007
|
-
Bound result 9435633291908949495702
|
|
1008
|
-
Bound result 6685
|
|
1009
|
-
Bound result 11
|
|
1010
|
-
Bound result 4698
|
|
1011
|
-
Bound result 8922105592188789313297
|
|
1012
|
-
Bound result 11595
|
|
1013
|
-
Bound result 9900000000344713262476
|
|
1014
|
-
Bound result 100000000000000000000
|
|
1015
|
-
Bound result 3512
|
|
1016
|
-
Bound result 7467
|
|
1017
|
-
Bound result 10583537377283428378831
|
|
1018
|
-
Bound result 1313373042
|
|
1019
|
-
Bound result 1
|
|
1020
|
-
Bound result 1270517994475070594
|
|
1021
|
-
Bound result 26666
|
|
1022
|
-
Bound result 5869042
|
|
1023
|
-
Bound result 13244
|
|
1024
|
-
Bound result 1153
|
|
1025
|
-
Bound result 0
|
|
1026
|
-
Bound result 791671133
|
|
1027
|
-
Bound result 6300
|
|
1028
|
-
|
|
1029
|
-
Suite result: ok. 8 passed; 0 failed; 0 skipped; finished in 2.18s (12.11s CPU time)
|
|
1030
|
-
|
|
1031
|
-
Ran 33 tests for test/AccessControl2StepUpgradeable.t.sol:AccessControl2StepUpgradeableTest
|
|
1032
|
-
[PASS] test_acceptDefaultAdminTransfer_Events() (gas: 96627)
|
|
1033
|
-
[PASS] test_acceptDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 102934, ~: 102919)
|
|
1034
|
-
[PASS] test_acceptDefaultAdminTransfer_Revert_AfterCancel() (gas: 32672)
|
|
1035
|
-
[PASS] test_acceptDefaultAdminTransfer_Revert_NoPendingTransfer() (gas: 18235)
|
|
1036
|
-
[PASS] test_acceptDefaultAdminTransfer_Revert_NotPendingAdmin() (gas: 45259)
|
|
1037
|
-
[PASS] test_acceptDefaultAdminTransfer_Revert_StalePendingAfterOverwrite() (gas: 101803)
|
|
1038
|
-
[PASS] test_acceptDefaultAdminTransfer_Success() (gas: 102248)
|
|
1039
|
-
[PASS] test_beginDefaultAdminTransfer_Fuzz(address) (runs: 1000, μ: 46336, ~: 46416)
|
|
1040
|
-
[PASS] test_beginDefaultAdminTransfer_Revert_Unauthorized() (gas: 22832)
|
|
1041
|
-
[PASS] test_beginDefaultAdminTransfer_Success() (gas: 50333)
|
|
1042
|
-
[PASS] test_beginDefaultAdminTransfer_Success_CancelsBySettingZero() (gas: 34975)
|
|
1043
|
-
[PASS] test_beginDefaultAdminTransfer_Success_OverwritesPending() (gas: 49543)
|
|
1044
|
-
[PASS] test_defaultAdmin_ReturnsInitialAdmin() (gas: 17663)
|
|
1045
|
-
[PASS] test_grantRole_Revert_DefaultAdminRole() (gas: 22412)
|
|
1046
|
-
[PASS] test_grantRole_Success_NonAdminRole() (gas: 115439)
|
|
1047
|
-
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15791)
|
|
1048
|
-
[PASS] test_initialize_Revert_InvalidDefaultAdmin() (gas: 1148657)
|
|
1049
|
-
[PASS] test_initialize_Success_AdminHasRole() (gas: 32251)
|
|
1050
|
-
[PASS] test_integration_TransferAndTransferAgain() (gas: 231980)
|
|
1051
|
-
[PASS] test_integration_TransferCancelRetransfer() (gas: 119604)
|
|
1052
|
-
[PASS] test_pendingDefaultAdmin_InitiallyZero() (gas: 15510)
|
|
1053
|
-
[PASS] test_renounceRole_Revert_DefaultAdminRole() (gas: 17982)
|
|
1054
|
-
[PASS] test_renounceRole_Revert_DefaultAdminRoleDuringPendingTransfer() (gas: 46888)
|
|
1055
|
-
[PASS] test_renounceRole_Success_NonAdminRole_Admin() (gas: 92610)
|
|
1056
|
-
[PASS] test_renounceRole_Success_NonAdminRole_NonAdmin() (gas: 93233)
|
|
1057
|
-
[PASS] test_revokeRole_Revert_DefaultAdminRole_Admin() (gas: 22454)
|
|
1058
|
-
[PASS] test_revokeRole_Revert_DefaultAdminRole_NonAdmin() (gas: 25218)
|
|
1059
|
-
[PASS] test_revokeRole_Revert_NonAdminRole_NonAdmin() (gas: 122870)
|
|
1060
|
-
[PASS] test_revokeRole_Success_NonAdminRole_Admin() (gas: 94717)
|
|
1061
|
-
[PASS] test_setRoleAdmin_Revert_DefaultAdminRole() (gas: 17885)
|
|
1062
|
-
[PASS] test_setRoleAdmin_Success_NonAdminRole_Other() (gas: 42466)
|
|
1063
|
-
[PASS] test_setRoleAdmin_Success_NonAdminRole_Self() (gas: 23575)
|
|
1064
|
-
[PASS] test_storageHash() (gas: 3362)
|
|
1065
|
-
Suite result: ok. 33 passed; 0 failed; 0 skipped; finished in 2.18s (525.95ms CPU time)
|
|
1066
|
-
|
|
1067
|
-
Ran 27 tests for test/PauseRBACUpgradeable.t.sol:PauseRBACUpgradeableTest
|
|
1068
|
-
[PASS] test_assertNotPaused_Fuzz(bool) (runs: 1000, μ: 27899, ~: 40768)
|
|
1069
|
-
[PASS] test_assertNotPaused_Revert_Paused() (gas: 40537)
|
|
1070
|
-
[PASS] test_assertNotPaused_Success() (gas: 12529)
|
|
1071
|
-
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 15805)
|
|
1072
|
-
[PASS] test_initialize_Revert_AlreadyInitialized_AdminUnchanged() (gas: 50937)
|
|
1073
|
-
[PASS] test_isPaused_InitialState() (gas: 15514)
|
|
1074
|
-
[PASS] test_modifierEnforcement_WithRoles() (gas: 217708)
|
|
1075
|
-
[PASS] test_multipleRoleGrants() (gas: 390441)
|
|
1076
|
-
[PASS] test_pause() (gas: 41837)
|
|
1077
|
-
[PASS] test_renounceRole_Success_FunctionsRevert() (gas: 34782)
|
|
1078
|
-
[PASS] test_roleTransfer_GrantAndRevoke() (gas: 179540)
|
|
1079
|
-
[PASS] test_setPaused_Fuzz(bool) (runs: 1000, μ: 29980, ~: 18327)
|
|
1080
|
-
[PASS] test_setPaused_Idempotent_InitialState_Reverts() (gas: 19940)
|
|
1081
|
-
[PASS] test_setPaused_Idempotent_Reverts() (gas: 41061)
|
|
1082
|
-
[PASS] test_setPaused_Revert_Unauthorized() (gas: 19702)
|
|
1083
|
-
[PASS] test_setPaused_Success() (gas: 42361)
|
|
1084
|
-
[PASS] test_setPaused_Success_MultipleOperations() (gas: 58545)
|
|
1085
|
-
[PASS] test_setPaused_Success_ToggleMultipleTimes() (gas: 78246)
|
|
1086
|
-
[PASS] test_storageHash() (gas: 3351)
|
|
1087
|
-
[PASS] test_unpause() (gas: 34700)
|
|
1088
|
-
[PASS] test_whenNotPaused_Fuzz(bool) (runs: 1000, μ: 41947, ~: 44425)
|
|
1089
|
-
[PASS] test_whenNotPaused_Revert_Paused() (gas: 44261)
|
|
1090
|
-
[PASS] test_whenNotPaused_Revert_WithReturnValue() (gas: 40566)
|
|
1091
|
-
[PASS] test_whenNotPaused_Success() (gas: 38892)
|
|
1092
|
-
[PASS] test_whenNotPaused_Success_AfterUnpause() (gas: 52384)
|
|
1093
|
-
[PASS] test_whenNotPaused_Success_MultipleCalls() (gas: 62468)
|
|
1094
|
-
[PASS] test_whenNotPaused_WithReturnValue() (gas: 15531)
|
|
1095
|
-
Suite result: ok. 27 passed; 0 failed; 0 skipped; finished in 11.97s (294.45ms CPU time)
|
|
1096
|
-
|
|
1097
|
-
Ran 47 tests for test/PauseByIDRBACUpgradeable.t.sol:PauseByIDRBACUpgradeableTest
|
|
1098
|
-
[PASS] test_assertNotPaused_Revert_DefaultPaused() (gas: 42974)
|
|
1099
|
-
[PASS] test_assertNotPaused_Revert_SpecificPaused() (gas: 45699)
|
|
1100
|
-
[PASS] test_assertNotPaused_Success() (gas: 14829)
|
|
1101
|
-
[PASS] test_defaultPause_AffectsMultipleIDs() (gas: 54910)
|
|
1102
|
-
[PASS] test_defaultPaused_InitialState() (gas: 15501)
|
|
1103
|
-
[PASS] test_initialize_Revert_AlreadyInitialized() (gas: 17878)
|
|
1104
|
-
[PASS] test_isPaused_Default() (gas: 46822)
|
|
1105
|
-
[PASS] test_isPaused_InitialState() (gas: 21896)
|
|
1106
|
-
[PASS] test_isPaused_MultipleIDs() (gas: 79397)
|
|
1107
|
-
[PASS] test_isPaused_Override() (gas: 74453)
|
|
1108
|
-
[PASS] test_isPaused_Specific() (gas: 49605)
|
|
1109
|
-
[PASS] test_isPaused_SpecificDisabled() (gas: 54918)
|
|
1110
|
-
[PASS] test_pauseConfig() (gas: 50654)
|
|
1111
|
-
[PASS] test_roleManagement_grantAndRevoke() (gas: 171632)
|
|
1112
|
-
[PASS] test_setDefaultPaused() (gas: 41869)
|
|
1113
|
-
[PASS] test_setDefaultPaused_Fuzz(bool) (runs: 1000, μ: 30039, ~: 18387)
|
|
1114
|
-
[PASS] test_setDefaultPaused_Idempotent_InitialState_Reverts() (gas: 20013)
|
|
1115
|
-
[PASS] test_setDefaultPaused_Idempotent_Reverts() (gas: 41080)
|
|
1116
|
-
[PASS] test_setDefaultPaused_Revert_Unauthorized() (gas: 21810)
|
|
1117
|
-
[PASS] test_setDefaultPaused_Success() (gas: 40455)
|
|
1118
|
-
[PASS] test_setPaused() (gas: 48024)
|
|
1119
|
-
[PASS] test_setPaused_DormantData() (gas: 293436)
|
|
1120
|
-
[PASS] test_setPaused_EmptyArray() (gas: 15470)
|
|
1121
|
-
[PASS] test_setPaused_EmptyArrayWithUnpauserRole() (gas: 101819)
|
|
1122
|
-
[PASS] test_setPaused_Fuzz(uint256,bool,bool) (runs: 1000, μ: 43369, ~: 48359)
|
|
1123
|
-
[PASS] test_setPaused_Fuzz_EffectiveStateRoleCheck(bool,bool,bool) (runs: 1000, μ: 222934, ~: 217071)
|
|
1124
|
-
[PASS] test_setPaused_Revert_EmptyArrayUnauthorized() (gas: 24352)
|
|
1125
|
-
[PASS] test_setPaused_Revert_MixedBatchWithDisabledConfigs_NeedsBothRoles() (gas: 132862)
|
|
1126
|
-
[PASS] test_setPaused_Revert_PauserCannotCauseEffectiveUnpause() (gas: 108452)
|
|
1127
|
-
[PASS] test_setPaused_Revert_Unauthorized() (gas: 25310)
|
|
1128
|
-
[PASS] test_setPaused_Revert_UnpauserCannotCauseEffectivePause() (gas: 131603)
|
|
1129
|
-
[PASS] test_setPaused_Success() (gas: 45535)
|
|
1130
|
-
[PASS] test_setPaused_Success_Batch() (gas: 343653)
|
|
1131
|
-
[PASS] test_setPaused_Success_EdgeCase_IDMaxUint256() (gas: 45496)
|
|
1132
|
-
[PASS] test_setPaused_Success_EdgeCase_IDZero() (gas: 45513)
|
|
1133
|
-
[PASS] test_setPaused_Success_MixedBatchWithDisabledConfigs_BothRoles() (gas: 241688)
|
|
1134
|
-
[PASS] test_setPaused_Success_PauserCanSetDisabledWhenDefaultPaused() (gas: 134360)
|
|
1135
|
-
[PASS] test_setPaused_Success_Toggle() (gas: 57160)
|
|
1136
|
-
[PASS] test_setPaused_Success_UnpauserCanSetDisabledWhenDefaultUnpaused() (gas: 131120)
|
|
1137
|
-
[PASS] test_specificOverridesDefault_Fuzz(bool,bool) (runs: 1000, μ: 62273, ~: 72747)
|
|
1138
|
-
[PASS] test_storageHash() (gas: 3351)
|
|
1139
|
-
[PASS] test_whenNotPaused_Revert_DefaultPaused() (gas: 46605)
|
|
1140
|
-
[PASS] test_whenNotPaused_Revert_SpecificPaused() (gas: 49360)
|
|
1141
|
-
[PASS] test_whenNotPaused_Success() (gas: 41175)
|
|
1142
|
-
[PASS] test_whenNotPaused_Success_SpecificUnpaused() (gas: 93775)
|
|
1143
|
-
[PASS] test_whenNotPaused_WithReturnValue() (gas: 17782)
|
|
1144
|
-
[PASS] test_whenNotPaused_WithReturnValue_Reverts() (gas: 45678)
|
|
1145
|
-
Suite result: ok. 47 passed; 0 failed; 0 skipped; finished in 11.99s (960.30ms CPU time)
|
|
1146
|
-
|
|
1147
|
-
Ran 35 tests for test/RateLimiterBaseUpgradeable.t.sol:RateLimiterBaseUpgradeableTest
|
|
1148
|
-
[PASS] test_checkpointRateLimits_Empty() (gas: 10793)
|
|
1149
|
-
[PASS] test_checkpointRateLimits_Multiple() (gas: 148919)
|
|
1150
|
-
[PASS] test_checkpointRateLimits_PreservesDecay() (gas: 89826)
|
|
1151
|
-
[PASS] test_checkpointRateLimits_Single() (gas: 84213)
|
|
1152
|
-
[PASS] test_constructor_MaxScaledDecimals() (gas: 1716016)
|
|
1153
|
-
[PASS] test_constructor_Revert_InvalidScaledDecimals() (gas: 38229)
|
|
1154
|
-
[PASS] test_constructor_ZeroScaledDecimals() (gas: 1715834)
|
|
1155
|
-
[PASS] test_getRateLimitUsages_BothDisabled() (gas: 24633)
|
|
1156
|
-
[PASS] test_getRateLimitUsages_GloballyDisabled() (gas: 45727)
|
|
1157
|
-
[PASS] test_getRateLimitUsages_InboundDisabled() (gas: 23429)
|
|
1158
|
-
[PASS] test_getRateLimitUsages_OutboundDisabled() (gas: 23427)
|
|
1159
|
-
[PASS] test_getRateLimitUsages_WithDecay() (gas: 85150)
|
|
1160
|
-
[PASS] test_globalState_IgnoresIdSpecificConfig() (gas: 2580617)
|
|
1161
|
-
[PASS] test_globalState_SharesStateAcrossIds() (gas: 2542918)
|
|
1162
|
-
[PASS] test_globalState_UsesDefaultIdForState() (gas: 2541074)
|
|
1163
|
-
[PASS] test_inflow_DefaultConfig_SpecificState_Inbound_Gross_NotExempt() (gas: 50867)
|
|
1164
|
-
[PASS] test_inflow_GloballyDisabled() (gas: 51329)
|
|
1165
|
-
[PASS] test_inflow_WithScaleDecimals() (gas: 2537562)
|
|
1166
|
-
[PASS] test_initial_state_closed() (gas: 2491351)
|
|
1167
|
-
[PASS] test_outflow_DefaultConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 50934)
|
|
1168
|
-
[PASS] test_outflow_ExplicitConfig_SpecificState_Both_Gross_Exempt() (gas: 29857)
|
|
1169
|
-
[PASS] test_outflow_ExplicitConfig_SpecificState_Outbound_Gross_NotExempt() (gas: 31786)
|
|
1170
|
-
[PASS] test_outflow_GloballyDisabled() (gas: 51417)
|
|
1171
|
-
[PASS] test_outflow_Revert_RateLimitExceeded() (gas: 75394)
|
|
1172
|
-
[PASS] test_outflow_WithScaleDecimals() (gas: 2537556)
|
|
1173
|
-
[PASS] test_setRateLimitAddressExemptions() (gas: 58875)
|
|
1174
|
-
[PASS] test_setRateLimitAddressExemptions_Revert_AlreadyExempt() (gas: 21288)
|
|
1175
|
-
[PASS] test_setRateLimitConfigs_DoesNotAutoCheckpoint() (gas: 93007)
|
|
1176
|
-
[PASS] test_setRateLimitConfigs_Multiple() (gas: 106518)
|
|
1177
|
-
[PASS] test_setRateLimitConfigs_Single() (gas: 75858)
|
|
1178
|
-
[PASS] test_setRateLimitGlobalConfig() (gas: 48892)
|
|
1179
|
-
[PASS] test_setRateLimitStates_Revert_FutureTimestamp() (gas: 15831)
|
|
1180
|
-
[PASS] test_setRateLimitStates_Single() (gas: 49242)
|
|
1181
|
-
[PASS] test_storageHash() (gas: 3396)
|
|
1182
|
-
[PASS] test_upscaleRateLimitAmount() (gas: 2473123)
|
|
1183
|
-
Suite result: ok. 35 passed; 0 failed; 0 skipped; finished in 11.99s (20.95ms CPU time)
|
|
1184
|
-
|
|
1185
|
-
Ran 29 tests for test/AllowlistBaseUpgradeable.t.sol:AllowlistBaseUpgradeableTest
|
|
1186
|
-
[PASS] test_SwitchModes_PreservesState() (gas: 185357)
|
|
1187
|
-
[PASS] test_constructor_InitialMode() (gas: 15507)
|
|
1188
|
-
[PASS] test_constructor_InitializeWhitelist() (gas: 1639939)
|
|
1189
|
-
[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 122100)
|
|
1190
|
-
[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 42789)
|
|
1191
|
-
[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 109638, ~: 109738)
|
|
1192
|
-
[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 40859, ~: 40859)
|
|
1193
|
-
[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15701, ~: 15701)
|
|
1194
|
-
[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 40856, ~: 40856)
|
|
1195
|
-
[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 109684, ~: 109724)
|
|
1196
|
-
[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25542)
|
|
1197
|
-
[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 42831)
|
|
1198
|
-
[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 122020)
|
|
1199
|
-
[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 120870)
|
|
1200
|
-
[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22297)
|
|
1201
|
-
[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 118820)
|
|
1202
|
-
[PASS] test_setBlacklisted_EmptyArray() (gas: 10855)
|
|
1203
|
-
[PASS] test_setBlacklisted_MultipleUsers() (gas: 167666)
|
|
1204
|
-
[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 94467)
|
|
1205
|
-
[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 118621)
|
|
1206
|
-
[PASS] test_setMode_Blacklist() (gas: 39853)
|
|
1207
|
-
[PASS] test_setMode_MultipleChanges() (gas: 39152)
|
|
1208
|
-
[PASS] test_setMode_RevertSameMode() (gas: 44866)
|
|
1209
|
-
[PASS] test_setMode_Whitelist() (gas: 39873)
|
|
1210
|
-
[PASS] test_setWhitelisted_EmptyArray() (gas: 10810)
|
|
1211
|
-
[PASS] test_setWhitelisted_MultipleUsers() (gas: 167600)
|
|
1212
|
-
[PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 94350)
|
|
1213
|
-
[PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 118502)
|
|
1214
|
-
[PASS] test_storageHash() (gas: 3395)
|
|
1215
|
-
Suite result: ok. 29 passed; 0 failed; 0 skipped; finished in 11.99s (992.31ms CPU time)
|
|
1216
|
-
|
|
1217
|
-
Ran 32 tests for test/AllowlistRBACUpgradeable.t.sol:AllowlistRBACUpgradeableTest
|
|
1218
|
-
[PASS] test_SwitchModes_PreservesState() (gas: 193990)
|
|
1219
|
-
[PASS] test_constructor_InitialMode() (gas: 15640)
|
|
1220
|
-
[PASS] test_constructor_InitializeWhitelist() (gas: 2641840)
|
|
1221
|
-
[PASS] test_isAllowlisted_Blacklist_Blacklisted() (gas: 127209)
|
|
1222
|
-
[PASS] test_isAllowlisted_Blacklist_NotBlacklisted() (gas: 45314)
|
|
1223
|
-
[PASS] test_isAllowlisted_Fuzz_Blacklist_Blacklisted(address) (runs: 1000, μ: 114591, ~: 114711)
|
|
1224
|
-
[PASS] test_isAllowlisted_Fuzz_Blacklist_NotBlacklisted(address) (runs: 1000, μ: 43362, ~: 43362)
|
|
1225
|
-
[PASS] test_isAllowlisted_Fuzz_Open(address) (runs: 1000, μ: 15803, ~: 15803)
|
|
1226
|
-
[PASS] test_isAllowlisted_Fuzz_Whitelist_NotWhitelisted(address) (runs: 1000, μ: 43348, ~: 43348)
|
|
1227
|
-
[PASS] test_isAllowlisted_Fuzz_Whitelist_Whitelisted(address) (runs: 1000, μ: 114602, ~: 114642)
|
|
1228
|
-
[PASS] test_isAllowlisted_Open_AllAllowed() (gas: 25782)
|
|
1229
|
-
[PASS] test_isAllowlisted_Whitelist_NotWhitelisted() (gas: 45345)
|
|
1230
|
-
[PASS] test_isAllowlisted_Whitelist_Whitelisted() (gas: 127164)
|
|
1231
|
-
[PASS] test_onlyAllowlisted_Blacklist_RevertIfBlacklisted() (gas: 125841)
|
|
1232
|
-
[PASS] test_onlyAllowlisted_Open_AllAllowed() (gas: 22453)
|
|
1233
|
-
[PASS] test_onlyAllowlisted_Whitelist_RevertIfNotWhitelisted() (gas: 123814)
|
|
1234
|
-
[PASS] test_setAllowlistMode_Revert_Unauthorized() (gas: 19876)
|
|
1235
|
-
[PASS] test_setBlacklisted_EmptyArray() (gas: 13210)
|
|
1236
|
-
[PASS] test_setBlacklisted_MultipleUsers() (gas: 172891)
|
|
1237
|
-
[PASS] test_setBlacklisted_RemoveFromBlacklist() (gas: 98841)
|
|
1238
|
-
[PASS] test_setBlacklisted_Revert_AlreadyBlacklisted() (gas: 123949)
|
|
1239
|
-
[PASS] test_setBlacklisted_Revert_Unauthorized() (gas: 22650)
|
|
1240
|
-
[PASS] test_setMode_Blacklist() (gas: 42354)
|
|
1241
|
-
[PASS] test_setMode_MultipleChanges() (gas: 42426)
|
|
1242
|
-
[PASS] test_setMode_RevertSameMode() (gas: 50298)
|
|
1243
|
-
[PASS] test_setMode_Whitelist() (gas: 42396)
|
|
1244
|
-
[PASS] test_setWhitelisted_EmptyArray() (gas: 13188)
|
|
1245
|
-
[PASS] test_setWhitelisted_MultipleUsers() (gas: 172803)
|
|
1246
|
-
[PASS] test_setWhitelisted_RemoveFromWhitelist() (gas: 98805)
|
|
1247
|
-
[PASS] test_setWhitelisted_Revert_AlreadyWhitelisted() (gas: 123931)
|
|
1248
|
-
[PASS] test_setWhitelisted_Revert_Unauthorized() (gas: 22564)
|
|
1249
|
-
[PASS] test_storageHash() (gas: 3395)
|
|
1250
|
-
Suite result: ok. 32 passed; 0 failed; 0 skipped; finished in 11.99s (607.66ms CPU time)
|
|
1251
|
-
|
|
1252
|
-
Ran 22 tests for test/FeeConfigBaseUpgradeable.t.sol:FeeConfigBaseUpgradeableTest
|
|
1253
|
-
[PASS] test_getAmountBeforeFee_BoundaryConditions() (gas: 47656)
|
|
1254
|
-
[PASS] test_getAmountBeforeFee_Default() (gas: 44792)
|
|
1255
|
-
[PASS] test_getAmountBeforeFee_Fuzz(uint16,uint224) (runs: 1000, μ: 44123, ~: 45949)
|
|
1256
|
-
[PASS] test_getAmountBeforeFee_MaxBps() (gas: 44330)
|
|
1257
|
-
[PASS] test_getAmountBeforeFee_Rounding() (gas: 45088)
|
|
1258
|
-
[PASS] test_getAmountBeforeFee_Specific() (gas: 68096)
|
|
1259
|
-
[PASS] test_getAmountBeforeFee_SpecificDisabled() (gas: 63765)
|
|
1260
|
-
[PASS] test_getAmountBeforeFee_ZeroAmount() (gas: 40455)
|
|
1261
|
-
[PASS] test_getAmountBeforeFee_ZeroBps() (gas: 22031)
|
|
1262
|
-
[PASS] test_getFee_BoundaryConditions() (gas: 71320)
|
|
1263
|
-
[PASS] test_getFee_Default() (gas: 40420)
|
|
1264
|
-
[PASS] test_getFee_Fuzz(uint16,uint32,uint240) (runs: 1000, μ: 42774, ~: 44203)
|
|
1265
|
-
[PASS] test_getFee_Rounding() (gas: 42598)
|
|
1266
|
-
[PASS] test_getFee_Specific() (gas: 63734)
|
|
1267
|
-
[PASS] test_getFee_SpecificDisabled() (gas: 63686)
|
|
1268
|
-
[PASS] test_setDefaultFeeBps() (gas: 39385)
|
|
1269
|
-
[PASS] test_setDefaultFeeBps_Fuzz(uint16) (runs: 1000, μ: 31888, ~: 39476)
|
|
1270
|
-
[PASS] test_setDefaultFeeBps_RevertInvalid() (gas: 13626)
|
|
1271
|
-
[PASS] test_setFeeBps() (gas: 73386)
|
|
1272
|
-
Logs:
|
|
1273
|
-
Bound result 500
|
|
1274
|
-
|
|
1275
|
-
[PASS] test_setFeeBps_Fuzz(uint16,uint32,uint16,bool) (runs: 1000, μ: 63734, ~: 73762)
|
|
1276
|
-
[PASS] test_setFeeBps_RevertInvalid() (gas: 13841)
|
|
1277
|
-
[PASS] test_storageHash() (gas: 3395)
|
|
1278
|
-
Suite result: ok. 22 passed; 0 failed; 0 skipped; finished in 12.18s (972.64ms CPU time)
|
|
1279
|
-
|
|
1280
|
-
Ran 36 tests for test/EnumerableSetPagination.t.sol:EnumerableSetPaginationTest
|
|
1281
|
-
[PASS] test_address_paginate_AfterRemovingElements() (gas: 1166795)
|
|
1282
|
-
[PASS] test_address_paginate_EmptySet() (gas: 310656)
|
|
1283
|
-
[PASS] test_address_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 772593, ~: 139755)
|
|
1284
|
-
[PASS] test_address_paginate_LargeSet() (gas: 464670688)
|
|
1285
|
-
[PASS] test_address_paginate_LimitExceedsRemaining() (gas: 25605)
|
|
1286
|
-
[PASS] test_address_paginate_LimitExceedsTotal() (gas: 2807473)
|
|
1287
|
-
[PASS] test_address_paginate_LimitOne() (gas: 14853)
|
|
1288
|
-
[PASS] test_address_paginate_LimitZero() (gas: 11556)
|
|
1289
|
-
[PASS] test_address_paginate_MaxUint256Limit() (gas: 2807355)
|
|
1290
|
-
[PASS] test_address_paginate_MiddleOffset() (gas: 45200)
|
|
1291
|
-
[PASS] test_address_paginate_OffsetAtEnd() (gas: 14940)
|
|
1292
|
-
[PASS] test_address_paginate_OffsetBeyondEnd() (gas: 13450)
|
|
1293
|
-
[PASS] test_address_paginate_OffsetZero() (gas: 45223)
|
|
1294
|
-
[PASS] test_address_paginate_SequentialPagesCompleteSet() (gas: 3469583)
|
|
1295
|
-
[PASS] test_address_paginate_SingleElement() (gas: 377568)
|
|
1296
|
-
[PASS] test_address_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11159378, ~: 10401365)
|
|
1297
|
-
[PASS] test_address_property_ConsecutivePagesNoOverlap() (gas: 320)
|
|
1298
|
-
[PASS] test_address_property_ReturnedLengthNeverExceedsLimit() (gas: 919214)
|
|
1299
|
-
[PASS] test_uint_paginate_AfterRemovingElements() (gas: 1140265)
|
|
1300
|
-
[PASS] test_uint_paginate_EmptySet() (gas: 286599)
|
|
1301
|
-
[PASS] test_uint_paginate_Fuzz(uint256,uint256) (runs: 1000, μ: 784595, ~: 216915)
|
|
1302
|
-
[PASS] test_uint_paginate_LargeSet() (gas: 463683463)
|
|
1303
|
-
[PASS] test_uint_paginate_LimitExceedsRemaining() (gas: 25351)
|
|
1304
|
-
[PASS] test_uint_paginate_LimitExceedsTotal() (gas: 2754427)
|
|
1305
|
-
[PASS] test_uint_paginate_LimitOne() (gas: 14781)
|
|
1306
|
-
[PASS] test_uint_paginate_LimitZero() (gas: 11566)
|
|
1307
|
-
[PASS] test_uint_paginate_MaxUint256Limit() (gas: 2754356)
|
|
1308
|
-
[PASS] test_uint_paginate_MiddleOffset() (gas: 44618)
|
|
1309
|
-
[PASS] test_uint_paginate_OffsetAtEnd() (gas: 14844)
|
|
1310
|
-
[PASS] test_uint_paginate_OffsetBeyondEnd() (gas: 13385)
|
|
1311
|
-
[PASS] test_uint_paginate_OffsetZero() (gas: 44622)
|
|
1312
|
-
[PASS] test_uint_paginate_SequentialPagesCompleteSet() (gas: 3410495)
|
|
1313
|
-
[PASS] test_uint_paginate_SingleElement() (gas: 353369)
|
|
1314
|
-
[PASS] test_uint_paginate_VaryingSize_Fuzz(uint8,uint256,uint256) (runs: 1000, μ: 11112944, ~: 10314531)
|
|
1315
|
-
[PASS] test_uint_property_ConsecutivePagesNoOverlap() (gas: 3063003)
|
|
1316
|
-
[PASS] test_uint_property_ReturnedLengthNeverExceedsLimit() (gas: 896244)
|
|
1317
|
-
Suite result: ok. 36 passed; 0 failed; 0 skipped; finished in 12.18s (30.09s CPU time)
|
|
1318
|
-
|
|
1319
|
-
Ran 19 test suites in 12.20s (97.32s CPU time): 437 tests passed, 0 failed, 0 skipped (437 total tests)
|
|
1320
|
-
⏳ forge test: 25.507s
|