Léo Creuse 58825a6eb8 Merge branch 'topic/9-qualified-interface' into 'qualkit-4502' ...

Various PLANS & TORVVCP updates

See merge request eng/das/cov/gnatcoverage-qualification!45

This MR updates the PLANS and TORVVCP documents in various ways:

* Relax restrictions on the allowed values for `--dump-trigger` and `--dump-channel` ;
* Allow use of `--insturment-block` in the `instrument` command, provided that no exceptions are handled and no exceptions occur at runtime;
* Remove erroneous description of the tool operating principle, and corresponding reference documents. These were leftovers from the binary traces qualification kit;

(cherry picked from commit 9a1878fdd2d5af73ee3c6691f7e86e36286c7ed0)

2026-01-23 08:24:12 +00:00

..

source

Qualification: Rework qualkit production to use gnatchek-qualkit helpers and style

2025-09-09 12:02:43 +00:00

conf.py

Adapt STR generation to new script location and new expectation notes

2025-09-09 12:02:43 +00:00

genrest.py

Merge branch 'topic/9-qualified-interface' into 'qualkit-4502'

2026-01-23 08:24:12 +00:00

Makefile

Convert qualification scripts to e3/python3

2022-06-02 15:36:15 +00:00

mkrest.sh

gnatcov STR mkrest.sh: automatic reuse of python that ran the tests

2013-10-11 09:57:33 +02:00