Skip to content

Commit fefb9d3

Browse files
committed
Import MC/DC coverage information into VS Code
Closes eng/ide/ada_language_server#1618
1 parent 75c02ab commit fefb9d3

File tree

3 files changed

+464
-213
lines changed

3 files changed

+464
-213
lines changed

CHANGELOG.md

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,7 @@ section below it for the last release. -->
1111
invocations in the same workspace, causing sporadic errors. Alire invocations
1212
are now made sequentially using file-based synchronization across ALS
1313
processes.
14+
* Support importing MC/DC reports from GNATcoverage
1415

1516
## 26.0.202504171
1617

README.md

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -321,6 +321,8 @@ GNATcoverage coverage reports can be imported in VS Code as follows:
321321

322322
Note that importing coverage reports does not require GNATcoverage to be installed. In particular, this enables a workflow where the coverage report is produced in CI and downloaded and imported into VS Code for visualization and analysis.
323323

324+
Since VS Code does not support reporting MC/DC level coverage natively, that information is imported as branch coverage.
325+
324326
The GNATtest integration in VS Code also supports running tests in coverage mode, if GNATcoverage is installed on the development machine.
325327

326328
1. Run the task `ada: GNATcoverage - Setup runtime library` once to set up the GNATcoverage runtime library

0 commit comments

Comments
 (0)