5 Commits

Author	SHA1	Message	Date
Léo Creuse	3d9c9903e3	Merge branch 'topic/add_pdf_id' into 'qualkit-4502' ... Qualkit: Add document id in the filename for each of the documents See merge request eng/das/cov/gnatcoverage-qualification!33 (cherry picked from commit 337879aca842aa309033986bf51366b63546f997)	2026-01-23 08:24:12 +00:00
Viviane Garèse	c252d1f080	Add qualification tests for function and call cov	2025-10-27 13:41:01 +00:00
Léo Creuse	ed15f1ba5e	Qualification: ... Various fixes including: - typo fixes in the TOR introduction - Adding the proper appendix latex command - Remove some unsupported latex roles	2025-09-09 12:02:43 +00:00
Léo Creuse	bb40dad728	Qualification/TOR: Fix testcase index generation ... Had to go through a bit of a hack to do this as I can't really understand how this worked in the first place with the QM.	2025-09-09 12:02:43 +00:00
Léo Creuse	81296974e7	Qualification: Rework qualkit production to use gnatchek-qualkit helpers and style ... This involves moving large chuncks of the sources to more deeply nested directories, as there are some assumptions as to where some config files are located.	2025-09-09 12:02:43 +00:00