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/97-quant_expr_in_decl
History
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
tests/97-quant_expr_in_decl: remove xfail for bin traces
2023-08-07 17:20:47 +02:00
test.py
Correctly process quant. expr. as decisions
2023-07-13 14:47:08 +00:00