Commit 91d3e40
committed
coverage: instrument the reanalyze library
The DUNE_INSTRUMENT_WITH change alone routed the reanalyze tests to an
instrumented rescript-tools, but the reanalyze library itself declared
no instrumentation backend, so its own 58 source files recorded zero
coverage (only the analysis/tools code it links was counted).
Add the (instrumentation (backend bisect_ppx)) stanza — matching every
other analysis/* and tools/* library — so analysis/reanalyze/src is
measured. Verified locally: reanalyze goes from 0 to ~61% line
coverage in the report.
The stanza is a no-op for normal builds (it only activates under
--instrument-with / DUNE_INSTRUMENT_WITH).1 parent 5c83ab8 commit 91d3e40
2 files changed
Lines changed: 6 additions & 2 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
303 | 303 | | |
304 | 304 | | |
305 | 305 | | |
306 | | - | |
307 | | - | |
| 306 | + | |
| 307 | + | |
| 308 | + | |
| 309 | + | |
308 | 310 | | |
309 | 311 | | |
310 | 312 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
| 3 | + | |
| 4 | + | |
3 | 5 | | |
4 | 6 | | |
5 | 7 | | |
0 commit comments