search

OCamlPro / superbol-studio-oss

Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
https://superbol.eu
Other
24 stars 13 forks source link

coverage: view partial coverage (conditions) / branch coverage as well #379

Open GitMensch opened 4 weeks ago

GitMensch commented 4 weeks ago

Using lcov we see for things like

IF VAR = 0 OR > 10 also a partial coverage = if only one of those branches were taken. Same for IF SOMETHING and the condition was always true (= the block never skipped).

Can we do this with the coverage view as well (possibly showing the line in yellow and maybe even provide information on hover which branch was taken)?

nberth commented 4 weeks ago

Not at the moment. But we can take a similar approach as for direct rendering of gcov, and rely on https://marketplace.visualstudio.com/items?itemName=alexdima.vscode-lcov instead.

GitMensch commented 4 weeks ago

If we want to rely on an external extension (which is good - one extension that does exactly one thing well) then it seems reasonable to fork that if there is no update (the last version done after some hiatus was not released since over a year) and possibly combine with one of the other coverage related extensions (or manually add things like the explorer annotation [not available anywhere yet] / an entry in the test view for the coverage).