--- 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