As a user, I want to be able to see the information about coverage in the interface of my editor (VSCode for the moment).
The tool must output the coverage information in a format that can be used by the VSCode extension to display this without requiring a lot of computation done by the extension itself.
Acceptance Criteria
[ ] Coverage data is in the agreed format
Dependency
Discussions (and maybe spike on VSCode API) needs to happen between @bogdan-manole and @KJES4
Description
As a user, I want to be able to see the information about coverage in the interface of my editor (VSCode for the moment). The tool must output the coverage information in a format that can be used by the VSCode extension to display this without requiring a lot of computation done by the extension itself.
Acceptance Criteria
Dependency
Discussions (and maybe spike on VSCode API) needs to happen between @bogdan-manole and @KJES4