ACATS 3.0 User's Guide
Section 2: Changes for ACATS 3.0
Version 3.0 of the ACATS is the first version to
test the changes brought to Ada by [Amend1]
It includes nearly 80 new tests to check features including interface
types, limited with
clauses, private with
indicators, <> in aggregates, and expanded use of limited types.
In addition, many tests that were incompatible with
were modified or removed.
Finally, a few tests that contained errors have been