ACATS 3.1 User's Guide
Section 2: Changes for ACATS 3.1
Version 3.1 of the ACATS updates version 3.0 with
additional tests for features defined in [Amend1]
It includes nearly 50 new tests to check features including anonymous
access types, null exclusions, incomplete views (limited with
clauses), extended return statements, and package Task_Termination.
In addition, nearly 50 more tests were corrected
or removed in response to test disputes and ARG issue resolutions.