Merge branch 'eyraud/fix_test_opt' into 'master'

Jugst3r · Jugst3r · commit 3586d139d8de · 2023-09-23T11:04:46.000Z
Fix test.opt

See merge request eng/cov/gnatcoverage!275

Ref: eng/cov/gnatcoverage#7
diff --git a/testsuite/tests/O212-062-assertions/test.opt b/testsuite/tests/O212-062-assertions/test.opt
@@ -1,2 +1,3 @@
 bin-traces XFAIL Assertion coverage not yet supported for binary traces
-5.04a1,7.1.2 DEAD Test contains expression functions and Ada_2012 features
+5.04a1 DEAD Test contains expression functions and Ada_2012 features
+7.1.2 DEAD Test contains expression functions and Ada_2012 features
diff --git a/testsuite/tests/instr-cov/O212-062-unsupported-pragmas/test.opt b/testsuite/tests/instr-cov/O212-062-unsupported-pragmas/test.opt
@@ -1,2 +1,3 @@
 bin-traces XFAIL Assertion coverage not yet supported for binary traces
-5.04a1,7.1.2 DEAD Test contains expression function and Ada_2012 features
+5.04a1 DEAD Test contains expression function and Ada_2012 features
+7.1.2 DEAD Test contains expression function and Ada_2012 features
