ada/gnatcoverage
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatcoverage.git synced 2026-02-12 12:44:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
gnatcoverage/testsuite/tests/Ada2012
History
Pierre-Marie de Rodat 79fcb786d8 Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95 
Adapt sources to be compatible with Ada 95, or when this is not
possible, force the language version inside the test itself (with an
overriding `-gnatXX` argument or with language version pragmas).
2026-01-21 10:00:07 +00:00
..
decision/ForOf
Testsuite: fix style issues in text files
2024-02-14 16:04:48 +00:00
mcdc
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
stmt
Adapt the non-Qualif tests for runs with --cargs:Ada=-gnat95
2026-01-21 10:00:07 +00:00
extra.opt
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00
status.txt
Import tests from gnatcoverage-extra
2023-06-12 15:48:08 +00:00