You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: README.md
+5-5Lines changed: 5 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -195,7 +195,7 @@ The extension provides a number of auto-detected tasks under the `/Terminal/Run
195
195
predefined tasks are all prefixed by `ada:` and belong to the `ada` group.
196
196
They can be used to build and run your program (`ada: Build current project` task) or launch external tools such as GNAT SAS, GNATprove and a few others.
197
197
198
-
<imgsrc="doc/run-task-ada-tasks.png"width="500"alt="GNATtest Test Results"/>
198
+
<imgsrc="doc/media/run-task-ada-tasks.png"width="500"alt="GNATtest Test Results"/>
199
199
200
200
You can bind keyboard shortcuts to them by adding to the `keybindings.json` file:
201
201
@@ -297,15 +297,15 @@ If you install GNATtest, the Ada & SPARK extension for VS Code will provide the
297
297
298
298
* Tests created with GNATtest will be loaded in the VS Code **Testing** view as follows.
299
299
300
-
<imgsrc="doc/gnattest-test-tree.png"width="650"alt="GNATtest Test Tree"/>
300
+
<imgsrc="doc/media/gnattest-test-tree.png"width="650"alt="GNATtest Test Tree"/>
301
301
302
302
* Tests can be executed individually or in batch through the available buttons in the interface, or through the `Test: Run All Tests` command or related commands.
303
303
304
304
* Test execution always starts by executing the `ada: Build GNATtest test harness project` task to make sure that test executables are up to date.
305
305
306
306
* Test execution results are reflected in the test tree.
307
307
308
-
<imgsrc="doc/gnattest-results.png"width="500"alt="GNATtest Test Results"/>
308
+
<imgsrc="doc/media/gnattest-results.png"width="500"alt="GNATtest Test Results"/>
309
309
310
310
#### Using multi-root workspaces for test development
311
311
@@ -330,7 +330,7 @@ GNATcoverage coverage reports can be imported in VS Code as follows:
330
330
2. Invoke the VS Code command `ada: GNATcoverage - Load an existing XML coverage report`
331
331
3. Browse to the location of the GNATcoverage XML report and select the `index.xml` file
332
332
333
-
<imgsrc="doc/gnatcov-report.png"width="1000"alt="GNATcoverage report in VS Code" />
333
+
<imgsrc="doc/media/gnatcov-report.png"width="1000"alt="GNATcoverage report in VS Code" />
334
334
335
335
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.
336
336
@@ -349,7 +349,7 @@ The GNATtest integration in VS Code also supports running tests in coverage mode
<imgsrc="doc/gnattest-gnatcov.png"width="1000"alt="GNATtest with GNATcoverage in VS Code" />
352
+
<imgsrc="doc/media/gnattest-gnatcov.png"width="1000"alt="GNATtest with GNATcoverage in VS Code" />
353
353
354
354
Integrating the steps of source instrumentation and test harness build into the test execution workflow allows for a quick feedback loop: run a test, observe results and coverage, edit the test or the tested code, repeat... In this context invoking the VS Code commands `Test: Rerun Last Run` and `Test: Rerun Last Run with Coverage` with their respective keyboard shortcuts can be valuable.
0 commit comments