Merge branch '7-fix-disabled-config-list' into 'master'

Viviane Garese · Viviane Garese · commit 499b3a31307e · 2023-09-22T08:21:44.000Z
Fix list of disabled configs for assertion tests See merge request eng/cov/gnatcoverage!269 See #7
diff --git a/testsuite/tests/O212-062-assertions/test.opt b/testsuite/tests/O212-062-assertions/test.opt
@@ -1,2 +1,2 @@
 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,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,2 @@
 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,7.1.2 DEAD Test contains expression function and Ada_2012 features

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`bin-traces XFAIL Assertion coverage not yet supported for binary traces`
`2`		`-5.04a1\|7.1.2 DEAD Test contains expression functions and Ada_2012 features`
	`2`	`+5.04a1,7.1.2 DEAD Test contains expression functions and Ada_2012 features`