Fix test.opt

Jugst3r · Jugst3r · commit 4a4af26a354d · 2023-09-23T12:07:37.000+02:00
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
