You've already forked gnatcoverage
mirror of
https://github.com/AdaCore/gnatcoverage.git
synced 2026-02-12 12:44:55 -08:00
ad3f23d165
Ada 2012 support is not perfect in gnat 7.1.2, so do not run the test when using that compiler.
4 lines
183 B
Plaintext
4 lines
183 B
Plaintext
5.04a1 DEAD Quantified expressions not supported by gnat 5.04a1
|
|
7.1.2 DEAD Ada 2012 support weak on 7.1.2
|
|
bin-traces XFAIL Requires compiler change, will be fixed by next stable bump
|