Version 4.1 of the ACATS updates version 4.0 with
additional tests for features defined in
[Ada2012].
It includes 134 new tests to check features including type invariants,
subtype predicates, extended return statements, new iterator forms, array
aggregates, generalized indexing, conditional expressions, aspect specifications,
unchecked unions, Ada.Directories, Ada.Generic_Dispatching_Constructor,
Ada.Environment_Variables, Ada.Text_IO.Bounded_IO and Unbounded_IO, and
Ada.Containers.
In addition, 16 additional tests were corrected or
removed in to reflect changes in Ada reflected by
[Ada2012],
as well as in response to test disputes and ARG issue resolutions.