CVS difference for acats/new/testobj.txt

Differences between 1.155 and version 1.156
Log of other versions for file acats/new/testobj.txt

--- acats/new/testobj.txt	2021/04/01 02:23:11	1.155
+++ acats/new/testobj.txt	2021/04/25 01:35:26	1.156
@@ -2753,6 +2753,11 @@
 Check that a pragma Assertion_Policy is illegal if the policy is
 not recognized.
 
+BC10001
+
+Check that a task or protected unit cannot be preceded by a generic
+formal part.
+
 BC30001
 
 Check that, in the visible part of an instance, legality rules are

Questions? Ask the ACAA Technical Agent