Deactivate assertion tests for 5.04a1 and 7.1.2

Viviane Garèse · Viviane Garese · commit 6c0ff34cec17 · 2023-09-21T14:03:32.000Z
These tests make use of unsupported features for both of the versions
diff --git a/testsuite/tests/O212-062-assertions/test.opt b/testsuite/tests/O212-062-assertions/test.opt
@@ -1 +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
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 +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

Original file line number	Diff line number	Diff line change
`@@ -1 +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`