|
155 | 155 | ┃ ┃ │ pc: 359
|
156 | 156 | ┃ ┃ │ callDepth: 1
|
157 | 157 | ┃ ┃ │ statusCode: EVMC_SUCCESS
|
158 |
| -┃ ┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/src/StdInvariant.sol:89:90 |
| 158 | +┃ ┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/src/StdInvariant.sol:89:90 |
159 | 159 | ┃ ┃ │
|
160 | 160 | ┃ ┃ │ (3 steps)
|
161 | 161 | ┃ ┃ ├─ 32
|
162 | 162 | ┃ ┃ │ k: #halt ~> #return 160 32 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K
|
163 | 163 | ┃ ┃ │ pc: 117
|
164 | 164 | ┃ ┃ │ callDepth: 1
|
165 | 165 | ┃ ┃ │ statusCode: EVMC_SUCCESS
|
166 |
| -┃ ┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/src/StdInvariant.sol:68:71 |
| 166 | +┃ ┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/src/StdInvariant.sol:68:71 |
167 | 167 | ┃ ┃ │
|
168 | 168 | ┃ ┃ │ (1 step)
|
169 | 169 | ┃ ┃ ├─ 34
|
170 | 170 | ┃ ┃ │ k: #popCallStack ~> #dropWorldState ~> 1 ~> #push ~> #refund 0 ~> #setLocalMem 160 ...
|
171 | 171 | ┃ ┃ │ pc: 117
|
172 | 172 | ┃ ┃ │ callDepth: 1
|
173 | 173 | ┃ ┃ │ statusCode: EVMC_SUCCESS
|
174 |
| -┃ ┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/src/StdInvariant.sol:68:71 |
| 174 | +┃ ┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/src/StdInvariant.sol:68:71 |
175 | 175 | ┃ ┃ │
|
176 | 176 | ┃ ┃ │ (264 steps)
|
177 | 177 | ┃ ┃ ├─ 36 (split)
|
|
195 | 195 | ┃ ┃ ┃ │ pc: 194
|
196 | 196 | ┃ ┃ ┃ │ callDepth: 0
|
197 | 197 | ┃ ┃ ┃ │ statusCode: EVMC_SUCCESS
|
198 |
| -┃ ┃ ┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/lib/ds-test/src/test.sol:37:38 |
| 198 | +┃ ┃ ┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/lib/ds-test/src/test.sol:37:38 |
199 | 199 | ┃ ┃ ┃ │
|
200 | 200 | ┃ ┃ ┃ │ (1 step)
|
201 | 201 | ┃ ┃ ┃ ├─ 44
|
202 | 202 | ┃ ┃ ┃ │ k: #halt ~> #pc [ STOP ] ~> #execute ~> CONTINUATION:K
|
203 | 203 | ┃ ┃ ┃ │ pc: 194
|
204 | 204 | ┃ ┃ ┃ │ callDepth: 0
|
205 | 205 | ┃ ┃ ┃ │ statusCode: EVMC_SUCCESS
|
206 |
| -┃ ┃ ┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/lib/ds-test/src/test.sol:37:38 |
| 206 | +┃ ┃ ┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/lib/ds-test/src/test.sol:37:38 |
207 | 207 | ┃ ┃ ┃ │
|
208 | 208 | ┃ ┃ ┃ │ (2 steps)
|
209 | 209 | ┃ ┃ ┃ ├─ 46 (terminal)
|
210 | 210 | ┃ ┃ ┃ │ k: #halt ~> CONTINUATION:K
|
211 | 211 | ┃ ┃ ┃ │ pc: 194
|
212 | 212 | ┃ ┃ ┃ │ callDepth: 0
|
213 | 213 | ┃ ┃ ┃ │ statusCode: EVMC_SUCCESS
|
214 |
| -┃ ┃ ┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/lib/ds-test/src/test.sol:37:38 |
| 214 | +┃ ┃ ┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/lib/ds-test/src/test.sol:37:38 |
215 | 215 | ┃ ┃ ┃ │
|
216 | 216 | ┃ ┃ ┃ ┊ constraint: true
|
217 | 217 | ┃ ┃ ┃ ┊ subst: OMITTED SUBST
|
|
257 | 257 | ┃ │ pc: 359
|
258 | 258 | ┃ │ callDepth: 1
|
259 | 259 | ┃ │ statusCode: EVMC_SUCCESS
|
260 |
| -┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/src/StdInvariant.sol:89:90 |
| 260 | +┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/src/StdInvariant.sol:89:90 |
261 | 261 | ┃ │
|
262 | 262 | ┃ │ (3 steps)
|
263 | 263 | ┃ ├─ 33
|
264 | 264 | ┃ │ k: #halt ~> #return 160 32 ~> #pc [ STATICCALL ] ~> #execute ~> CONTINUATION:K
|
265 | 265 | ┃ │ pc: 347
|
266 | 266 | ┃ │ callDepth: 1
|
267 | 267 | ┃ │ statusCode: EVMC_REVERT
|
268 |
| -┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/src/StdInvariant.sol:89:90 |
| 268 | +┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/src/StdInvariant.sol:89:90 |
269 | 269 | ┃ │
|
270 | 270 | ┃ │ (1 step)
|
271 | 271 | ┃ ├─ 35
|
272 | 272 | ┃ │ k: #popCallStack ~> #popWorldState ~> 0 ~> #push ~> #refund 0 ~> #setLocalMem 160 3 ...
|
273 | 273 | ┃ │ pc: 347
|
274 | 274 | ┃ │ callDepth: 1
|
275 | 275 | ┃ │ statusCode: EVMC_REVERT
|
276 |
| -┃ │ src: /tmp/pytest-of-dev/pytest-195/popen-gw7/foundry0/lib/forge-std/src/StdInvariant.sol:89:90 |
| 276 | +┃ │ src: /tmp/pytest-of-dev/pytest-428/popen-gw3/foundry0/lib/forge-std/src/StdInvariant.sol:89:90 |
277 | 277 | ┃ │
|
278 | 278 | ┃ │ (68 steps)
|
279 | 279 | ┃ ├─ 37
|
|
0 commit comments