Repository navigation

Fix line number handling in `@kernel` - #734

Merged

vchuravy merged 3 commits into

mainfrom

vc/kernel-linenumbers

Sep 13, 2026

Merged

Fix line number handling in `@kernel`#734
vchuravy merged 3 commits into
mainfrom
vc/kernel-linenumbers

Commits on Sep 13, 2026
- Fix line number handling in `@kernel`
  
  vchuravy
  and
  claude
  committed
  42c3339
- Add end-to-end coverage test for kernel line attribution
  
  vchuravy
  and
  claude
  committed
  e7e049f
- Do not inherit the parent's coverage mode in the coverage test
  vchuravy
  committed
  3084d86