Skip to content

Commit 632f36b

Browse files
authored
feat(coverage): analyze with solar (#11565)
* feat(coverage): analyze with solar * chore: walk stmts normally, sort items * wip * chore: display all items with relevant source in debug format * wip * upd * chore: clippy * test: update do_while_lcov The `++i` line was reported first, so with the old check all previous lines were ignored. Now we track all lines regardless, so this change is more correct. * fix: legacy: do not recurse into emit, revert Fixes branch_with_calldata_reads test. * correct span * fix: inline config path * fix: resolve function kinds, ignore type conversions / struct ctors * fix: walk only functions * fix: push stmt for yul stmt expr early * test: add a test case for if (..) return If statements like `if (x) return y;` were missed by the previous `has_statements` function. * test: hoist contract instantiations out of test fns * test: add test case for single if with continue/break Same as previous test with `return`.
1 parent c9034ed commit 632f36b

File tree

7 files changed

+640
-598
lines changed

7 files changed

+640
-598
lines changed

Cargo.lock

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

crates/evm/coverage/Cargo.toml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,3 +24,4 @@ revm.workspace = true
2424
semver.workspace = true
2525
tracing.workspace = true
2626
rayon.workspace = true
27+
solar.workspace = true

0 commit comments

Comments
 (0)