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/test.opt
Léo Creuse e862a54acd tests/97-quant_expr_in_decl: remove xfail for bin traces 
(cherry picked from commit 00de688a6a)
2023-08-07 17:20:47 +02:00

2 lines
64 B
Plaintext
Raw Permalink Blame History

5.04a1 DEAD Quantified expressions not supported by gnat 5.04a1
Reference in New Issue View Git Blame Copy Permalink