Fix list of disabled configs for assertion tests

Viviane Garèse · Viviane Garèse · commit 08df96625366 · 2023-09-22T09:31:18.000+02:00
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`