Pierre-Marie de Rodat 2ca72c04d7 Testsuite: fix mismatches between main filenames and unit names ...

While these inconsistencies were silently ignored with
GNATCOLL.Projects, the upcoming GPR2 transition will make gnatcov emit
warnings for them.

2025-02-04 16:00:22 +00:00

..

src

Testsuite: fix mismatches between main filenames and unit names

2025-02-04 16:00:22 +00:00

test.opt

Test/98-quant_expr_nested: Kill for gnat 7.1.2 run

2023-07-19 17:57:13 +02:00

test.py

Process nested decisions in quant. expr. loop specs

2023-07-18 11:56:15 +02:00