ACATS Test Modification List

Version 3.0R
February 26, 2014

What is this?

This the ACATS test modification list for ACATS 3.0. This document includes test corrections, test removals, and new tests for ACATS 3.0. ACATS 3.0 is the test suite for the version of Ada that became current with the approval and publication of Amendment 1 by ISO as ISO/IEC 8652:1995/AMD 1:2007 (often known as "Ada 2005"). Tests for the third edition of Ada, ISO/IEC 8652:2012 (usually known as "Ada 2012") will be added to a separate version of the test suite (to be created in the near future).

Note: There is no ACATS Test Modification List 3.0O to avoid confusion between '0' and 'O'.

ACATS Test Modification List version 2.6D for ACATS 2.6 is the current list for that test suite. ACATS 2.6 should be used for testing Ada 95 implementations, and will continue to be maintained as necessary for the foreseeable future.

Changes from the last list:

New test BDD2004 is reissued to correct errors; this changes its required date.

New tests that originated in the ACATS 3.0 release are required for conformity assessments using ACATS 3.0. New tests inserted between October 1, 2013 and December 31, 2013 will become required for conformity assessments on July 1, 2014. New tests inserted before July 1, 2013 are now required for conformity assessments. The effective dates of tests are marked in the lists.

Note: A new ACATS version, ACATS 3.1, is planned for release before April 1, 2014 and will be required for Ada 2005 conformity assessments after April 1, 2014. This version will include all tests required on or before April 1, 2014. Tests required after that date will be modified on the initial ACATS Test Modification List for that test suite.

Questions about this document? Contact the ACAA Technical Agent at agent@ada-auth.org.

Ada 2012 compatibility:

This test suite is designed for Ada 2005. In general, tests have not been checked for compatibility with Ada 2012 (the third edition of the Ada Standard). As such, some tests may be incompatible with Ada 2012; please report any such such tests (other than those listed below) that you identify to the agent at agent@ada-auth.org. Tests that are known to be incompatible are listed below.

There also are commented out Ada 2012 subtests in tests B950001, B954005, BDD2004, CXAI001, CXAI002, CXAI003, CXAI004, CXAI005, CXAI0006, CXAIA01, CXAIA02, CXAIA03, CXAIA04, CXAIA05, and CXAIA06 which will be replaced in the Ada 2012 ACATS.

Test B650001 should be repaired to avoid conflicts with AI05-0032-1 and AI05-0103-1, and to cover those rules as well. (See coverage files for details.) Test C750B01 should be renamed to C760A01, and foundation F750B00 should be renamed to F760A00, as the rules it tests have moved from 7.5 to 7.6.

Notice:

The ACAA has created and maintains the Ada Conformity Assessment Test Suite for the purpose of conformity assessments conducted in accordance with the International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language processor. This test suite should not be used to make claims of conformance unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.

List explanation:

Test numbers given are for the basic test. Categories are "Withdrawn" (the test should not be processed for Ada conformity assessments); "Allowed Modification" (either the original test or the modified one should be processed for Ada conformity assessments); "Modified" (the modified test must be processed for Ada conformity assessments); "Pending New" (the test does not need to be processed for Ada conformity assessments, but will be added in the future); "New" (the test is processed for Ada conformity assessments).

ACATS version labels are provided with all new and modified tests. Use this label to retrieve the test from the ACATS VCS. See "How to get new and modified tests".

In citations, line numbers are given relative to the start of a test file in the format of '@<line#,line#,...>'; if a test program comprises more than one file, then the particular file will be indicated by "fn", where "n" is the test-program name's file-designator numeral. E.g., "B38103E : @f1-31, ... " denotes test file b38103e1.ada. In cases where there are two or more rationales for different errors in a test program, these different rationales with their respective line citations are listed on separate lines. References to the Ada standards are given in the format:
   <section|chapter>.<clause>[.<subclause>]:<paragraph>
These references are to the consolidated Ada standard as available at http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TOC.html.

 

Main list:

===== Core Language =====

Name     Category  Version label  (effective date; old version label)
         Short description.

B28001F [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001G [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001H [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001I [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001J [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001K [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001L [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001M [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001N [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001O [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001P [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

B28001Q [Withdrawn] Org VCS Label: A3_0Q
        This test checks that a pragma cannot replace a statement in a
        sequence of statements; Binding Interpretation AI05-0163-1AI05-0163-1 allows
        a pragma to be used in this context.

C34008A [Modified] VCS Label: A3_0B
        Revised to eliminate function V @73-76 and its uses, as it
        attempts to return an existing object of a limited type.

B371001 [New] VCS Label: A3_0D
        Replaces the previous B371001 to include checks for the rule
        improvements of AI05-0041-1.

C38006A [Withdrawn] Org VCS Label: A3_0C
        This test has been replaced by new test C3A0016.

B38101A [Withdrawn] Org VCS Label: A3_0D
        This test has been replaced by new test B3A1001.

B38101B [Withdrawn] Org VCS Label: A3_0D
        This test has been replaced by new test B3A1001.

B38101C [Withdrawn] Org VCS Label: A3_0D
        This test has been replaced by new test B3A1002.

C393013 [New] VCS Label: A3_0D
        Check that functions with controlling results are automatically
        inherited correctly for null type extensions.

B394A02 [Modified] VCS Label: A3_0D
        Revised to add "B394A02." @121 in front of Interf01 so that legal
        type is used.

B394A03 [Modified] VCS Label: A3_0G
        Decls @78,108 must be synchronized instead of limited; they
        violate 7.3(7.1/2) and 12.5.1(5/2), respectively.

B394A04 [Modified] VCS Label: A3_0G
        Decls @76,106 must be synchronized instead of limited; they
        violate 7.3(7.1/2) and 12.5.1(5/2), respectively.

B394A05 [Modified] VCS Label:A3_0G
        Decls @78,108 must be synchronized instead of limited; they
        violate 7.3(7.1/2) and 12.5.1(5/2), respectively.

B3A0005 [New] VCS Label: A3_0D
        Check that a dereference of an anonymous access-to-constant type
        is a constant.

B3A0006 [New] VCS Label: A3_0D
        Check that an anonymous access-to-variable type cannot designate
        a constant.

B3A0007 [New] VCS Label: A3_0D
        [Allowed Modification] New VCS Label: A3_0Q Org VCS Label: A3_0D
                 Required after 2014-04-01
        VCS Label A3_0D: Check that a null_exclusion cannot be given in a
        construct if the subtype mark is not an access type or if it
        excludes null.
        VCS Label A3_0Q: Allocator @158 violates AI05-0104-1 (4.8(2.2/3)).

B3A0008 [New] VCS Label: A3_0D
        Check that a null_exclusion cannot be given in a construct
        if the subtype mark is a generic formal type that excludes
        null.

C3A0016 [New] VCS Label: A3_0C
        Check that a constant access-to-variable value can be used to
        modify the designated object. This test adds general access and
        anonymous access test cases, and as such is no longer a legacy
        test.

C3A0017 [New] VCS Label: A3_0C
        Check that anonymous access-to-subprograms can be used in many
        contexts, and that the associated function can be called.

C3A0018 [New] VCS Label: A3_0E
        VCS Label A3_0D: Check that anonymous access-to-protected
        subprograms can be used in many contexts, and that the associated
        subprogram can be called.
        VCS Label A3_0E: The wrong routine is returned @126; "protected"
        is missing @123; @307 needs a call of Set_Factor.

C3A0019 [New] VCS Label: A3_0E
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding subtype of a
        named access type.
        Case A: null exclusion given at point of use for a general access
        type.
        VCS Label A3_0E: @408 must be initialized with Aux'Access.

C3A0020 [New] VCS Label: A3_0E
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding subtype of a
        named access type.
        Case B: null exclusion given in a subtype of a general access
        type.
        VCS Label A3_0E: @404 must be initialized with Aux'Access.

C3A0021 [New] VCS Label: A3_0F
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding subtype of a
        named access type.
        Case C: null exclusion given in a general access type declaration.
        VCS Label A3_0E: @427 must be initialized with Aux'Access.
        VCS Label A3_0F: @409 and 432 must be initialized with Aux'Access.

C3A0022 [New] VCS Label: A3_0E
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding subtype of a
        named access type.
        Case D: null exclusion given at point of use for a pool-specific
        access type.
        VCS Label A3_0E: @407 must be initialized with Non_Null_Init.

C3A0023 [New] VCS Label: A3_0E
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding subtype of a
        named access type.
        Case E: null exclusion given in a subtype of a pool-specific
        access type.
        VCS Label A3_0E: @402 must be initialized with Non_Null_Init.

C3A0024 [New] VCS Label: A3_0F
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding subtype of a
        named access type.
        Case F: null exclusion given in a pool-specific access type
        declaration.
        VCS Label A3_0E: @393 must be initialized with Non_Null_Init.
        VCS Label A3_0F: @379 and 398 must be initialized with
        Non_Null_Init.

C3A0025 [New] VCS Label: A3_0G
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding anonymous
        access-to-object type.
        VCS Label A3_0E: @334 must be initialized with Aux'Access.
        VCS Label A3_0G: Corrected a spelling error in the test objective.

C3A0026 [New] VCS Label: A3_0G
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding anonymous
        access-to-subprogram type.
        VCS Label A3_0E: Expressions @385 and @407 fail accessibility
        check. @406 must be initialized with Double'Access.
        VCS Label A3_0G: Corrected a spelling error in the test objective.

C3A0027 [New] VCS Label: A3_0G
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding anonymous
        access-to-protected-subprogram type.
        VCS Label A3_0E: Expressions @393 and @416 fail accessibility
        check. @415 must be initialized with PO.Double'Access.
        VCS Label A3_0G: Corrected a spelling error in the test objective.

C3A0028 [New] VCS Label: A3_0E
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding subtype of a
        named access-to-subprogram type.
        VCS Label A3_0E: @409 must be initialized with Double'Access.

C3A0029 [New] VCS Label: A3_0E
        VCS Label A3_0D: Check that Constraint_Error is raised when a
        null access value is converted to a null excluding subtype of a
        named access-to-protected-subprogram type.
        VCS Label A3_0E: @420 must be initialized with PO.Double'Access.

B3A1001 [New] VCS Label: A3_0D
        Check that an incomplete type must be completed, and must be
        completed in the same declaration list unless it is given
        in the private part of a package.

B3A1002 [New] VCS Label: A3_0D
        Check that an incomplete type must be completed, and must be
        completed in the same declaration list unless it is given
        in the private part of a package &endash; generic package cases.

B3A1003 [New] VCS Label: A3_0E
        VCS Label A3_0D: Check that an incomplete type cannot be
        completed by another incomplete type, a private type, a
        private extension, or a subtype.
        VCS Label A3_0E: Allow errors @110 and @111.

B3A1004 [New] VCS Label: A3_0D
        Check that a tagged incomplete type cannot be completed with an
        untagged type.

B3A1005 [New] VCS Label: A3_0F
        Check that a primitive operation of an incomplete type declared
        in a private part cannot be given unless the completion of the
        private type is also in the same private part.

F3A1A00 [New] VCS Label: A3_0D
        Foundation providing types to be accessed as a limited view
        in order to test the usage of incomplete views.

B3A1A01 [New] VCS Label: A3_0F
        VCS Label A3_0D: Check that an untagged incomplete view cannot be
        used as the subtype mark of a parameter, and that any incomplete
        view cannot be used as the subtype mark of the result of a
        function.
        VCS Label A3_0F: @140 should be named Acc11; @142 Acc12; @144
        Acc13; and @146 Acc14. @162-173 should be removed as they
        violate 3.10.1(9.3/2).

B3A1A02 [New] VCS Label: A3_0G
        VCS Label A3_0D: Check that an incomplete view cannot be used in
        the subtype indication of an object declaration, component
        declaration, or allocator.
        VCS Label A3_0G: Corrected test objective.

B3A1A03 [New] VCS Label: A3_0G
        VCS Label A2_0D: Check that an incomplete view cannot be used in
        a use type clause.
        VCS Label A3_0G: Corrected test objective.

B3A1A04 [New] VCS Label: A3_0F
        Check that a tagged incomplete view cannot be used as the prefix
        of the Class attribute used in a context that does not allow a
        tagged incomplete view.

C413006 [New] VCS Label: A3_0B
        Created test from ashes of C41306A, included additional test
        cases for completeness. A new test is needed as Ada 95 and Ada
        2005 features must be used; the result is not a legacy test in
        any way.

C41306A [Withdrawn] Org VCS Label: A3_0B
        Deadlock: returns @75,83 call an entry on a task that will not be
        activated until the return statement finishes.

B431003 [Modified] VCS Label: A3_0K
        Test cases were added to check that an aggregate that gives all
        of the visible components (but not the hidden ones) is not
        accepted.

B433001 [Allowed Modification] New VCS Label:A3_0M Org VCS Label: A3_0
                 Required after 2013-01-01
        Changed definition of Test_Array_2 and uses so aggregates are
        have correct dimensionality.

C433001 [Modified] VCS Label: A3_0J
        Messages @85, 107 should refer to Second_Component and messages
        @88, 110 should refer to Last_Component.

B58001A [Withdrawn] Org VCS Label: A3_0C
        This test has been replaced by new test B650004.

C650002 [New] VCS Label: A3_0C
        Check that a return statement that applies to an entry body
        or accept statement completes the body or statement.

C650003 [New] VCS Label: A3_0C
C650003 [Modified] VCS Label: A3_0G
        VCS Label A3_0C: Try various ways to complete an extended return
        statement.
        VCS Label A3_0G: Corrected test objective.

B650004 [New] VCS Label: A3_0C
        Test that return statements cannot be in a non-callable body,
        even when inside of a callable construct. This tests adds
        many test cases to those in B58001A, including those for
        extended return statements; it no longer is a legacy test for
        that reason.

F650A00 [New] VCS Label: A3_0E
        VCS Label A3_0C: Foundation providing a limited tagged type
        hierarchy for extended return tests.
        VCS Label A3_0E: Eliminated illegal reference to Time component
        @150.

C650A01 [New] VCS Label: A3_0E
        VCS Label A3_0C: Check that Constraint_Error is raised if the
        result of an anonymous access-to-specific-tagged does not have
        the correct tag.
        VCS Label A3_0E: Return statement @108 violates 3.9.2(9/1); remove
        'Class from type PA_Class.

B730007 [New] VCS Label: A3_0P
        If the ancestor subtype of a private extension has constrained
        discriminants, the parent subtype of the full view must have a
        statically matching constraint.
  
B730008 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check that a tagged partial view and its completion must have the
        same set of interfaces.

B730009 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check that a tagged partial view can be synchronized if and only
        if the completion is a synchronized type.

B740003 [Modified] VCS Label: A3_0D
        The error @f1-106 can also be reported @f1-104.

C761006 [Modified] New VCS Label: A3_0M Org
        Rewrite test to not fail if the deallocated object is finalized
        twice. (This is allowed by AI95-0179-1.)

B831001 [Modified] VCS Label: A3_0F
        VCS Label A3_0D: The generic @f0-82 is illegal because of
        AI05-0073-1. "abstract" was removed from @f0-81, @f1-755, and
        @f1-846.
        VCS Label A3_0F: The rename @f1-408-9 depends on a previously
        incorrect declaration @f1-382.

B831002 [Modified] VCS Label: A3_0D
        The declaration @309 has the wrong name (should be G) and profile
        (Gfu should have a Boolean parameter).

C851001 [New] VCS Label: A3_0E
        Check that when renaming an object that excludes null, the
        renamed object still excludes null even if the
        renaming_declaration does not include a null_exclusion.

B851002 [New] VCS Label: A3_0E
        Check that the resolution and legality rules are enforced for
        renaming of anonymous access-to-object types.

C851002 [New] VCS Label: A3_0E
        For an object renaming with an anonymous access type, check that
        the name is resolved if there is only one interpretation with a
        correct anonymous access type, even if other interpretations
        exist.

B851003 [New] VCS Label: A3_0E
        Check that the resolution and legality rules are enforced for
        renaming of anonymous access-to-subprogram types.

B851004 [New] VCS Label: A3_0E
        Check that the legality rules for renamings that include a
        null_exclusion are enforced.

B950001 [New] VCS Label: A3_0M
        Check that the target object of a call, renames, actual for a
        formal subprogram, or prefix of 'Access to a protected entry or
        procedure is a variable. (Tests 9.5(7.1/3)).

B951002 [New] VCS Label: A3_0N
        Check that the current instance of a protected type is a constant
        inside of a protected function.

B954003 [Modified] VCS Label: A3_0M
        Change parameters @64, @70, @88, @90, @97, @124 to have mode "in
       	out" so that requeuing on the entry of a constant is not
        attempted.

B954005 [New] VCS Label: A3_0M
        Check that the target object of a requeue is a variable.

B960001 [Modified] VCS Label: A3_0M
        Fixed formatting and parameters of OK call @82.

C990001 [Modified] VCS Label: A3_0B
        Added function returning a task as an attribute prefix case from
        C34008A.

CA11023 [Modified] VCS Label: A3_0J
        VCS Label A3_0C: @f2-190 should be Dept2 rather than Dept1.
        "Return False;" should be added @f2-116.
        VCS Label A3_0J: The main subprogram should be named CA110232
        based on the conventions given in the ACATS User's Guide.

CA12001 [Modified] VCS Label: A3_0J
        The main subprogram should be named CA120012
        based on the conventions given in the ACATS User's Guide.
				
BA12010 [Modified] VCS Label: A3_0D
        The limited with @f4-67 is illegal by 10.1.2(21/2), which is not
        the intent expressed by the error comment.

CC30003 [New] VCS Label: A3_0F
        Check that a type derived from a generic formal tagged type
        inherits primitives properly in an instance.

BC54002 [Modified] VCS Label: A3_0N
        Removed test cases Instance09 and Instance12 as they violate
        Binding Interpretation AI05-0288-1.

BC54003 [Modified] VCS Label: A3_0N
        Removed test cases Instance07, Instance08, Instance12, and
        Instance14 as they violate Binding Interpretation AI05-0288-1.

CD10001 [Modified] VCS Label: A3_0P
        VCS Label A3_0N: Assertion @274 should allow rounding up of
        Storage_Size.
        VCS Label A3_0P: Added missing comma in call @278.

CD2B11A [Withdrawn] Org VCS Label: A3_0M
        This test has been replaced by new test CDB0002.

CD2B15C [Withdrawn] Org VCS Label: A3_0M
        This test has been replaced by new test CDB0001.

CDB0001 [New] VCS Label: A3_0P
        VCS Label A3_0N: If Storage_Size is specified for an access type,
        Storage_Error is raised by an allocator when insufficient storage
        is available. (Updated version of CD2B15C.)
        VCS Label A3_0P: Removed redundant test @85, replaced with "else".
        
CDB0002 [New] VCS Label: A3_0M
        Check that operations on values of an access type are not affected
        if Storage_Size is specified for the type. (Updated version of
        CD2B11A.)

BDD2004 [Pending New] New VCS Label: A3_0R
                 Required after 2014-10-01
        VCS Label A3_0Q: Check that subprograms specified for stream
        attributes meet the requirements for such subprograms.
        VCS Label A3_0R: @230, 235, 240 have 'Class in the wrong place.

CXAA020 [New] New VCS Label: A3_0P
        Check that the handling of too-long lines is appropriate for
        enumeration output.

CXAI001 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package Ada.Containers.Vectors.

CXAI002 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Doubly_Linked_Lists.

CXAI003 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Hashed_Maps.

CXAI004 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Ordered_Maps.

CXAI005 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Hashed_Sets.

CXAI006 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Ordered_Sets.

FXAIA00 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Foundation containing types and values to be used to check the
        functionality of the indefinite containers.

CXAIA01 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Vectors.

CXAIA02 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Doubly_Linked_Lists.

CXAIA03 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Hashed_Maps.

CXAIA04 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Ordered_Maps.

CXAIA05 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Hashed_Sets.

CXAIA06 [Pending New] New VCS Label: A3_0Q
                 Required after 2014-07-01
        Check the functionality defined in package
        Ada.Containers.Indefinite_Ordered_Sets.
          
CXB3006 [Modified] VCS Label: A3_0J
        Calls @258, 264 are ambiguous because of new routines added by
        Ada 2005; the calls should be qualified with the wchar_array type.

===== Annex C =====

BXC3002 [Modified] VCS Label: A3_0C
        Declaration @103 is not illegal as Amendment repealed the relevant
        rule.

CXC6003 [Modified] VCS Label: A3_0M
        Fixed potentially illegal test case. Now depends on ImpdefC.a.

CXC7006 [New] VCS Label: A3_0M
        Check that package Task_Termination operates as expected.

===== Annex D =====

[None.]


===== Annex E =====

BXE2009 [Modified] VCS Label: A3_0C
        Type Is_Limited_With_Attrs @80 does not have available stream
        attributes, but is assumed to have them.

===== Annex F =====

[None.]

===== Annex G =====

[None.]

===== Annex H =====

[None.]

===== Support =====

IMPDEF  [Modified] VCS Label: A3_0M
        Added constant Maximum_Adjustment_To_Specified_Storage_Size,
        used in tests CDB0001 and CDB0002.

IMPDEFC [Modified] VCS Label: A3_0M
        Added constant Minimum_Atomic_Component_Size, used in test
        CCX6003.


 

How to get new and modified tests:

The official home of the ACATS test suite is the ACAA web site. The site can be accessed from the Compilers and Conformance section of the Ada IC web site (www.adaic.org). It also can be accessed directly at www.ada-auth.org.

The complete set of official new and modified tests are available in the Mod_3_0R.Zip and Tar files on the ACAA web site.

Individual new and modified tests can be retrieved from the ACATS VCS. Simply navigate to the appropriate directory (folder), and select the test you want. Select the revision you want (usually the most recent) and it will be retrieved for you. Tests are stored in directories that correspond to the test's prefix. For instance, the test CD92001.A will be found in the CD directory. You can also browse the differences between versions of a test. [In case of a conflict, the files in the ACATS VCS should be considered the 'official' versions.]

If you cannot get the files from the official site or you cannot get the files in a format appropriate for your processor, please contact your ACAL.

The baseline ACATS 3.0 is available in various formats on the ACAA web site.

 

Summary lists:

Withdrawn Tests

(Refer to the main list for details)

B28001F
B28001G
B28001H
B28001I
B28001J
B28001K
B28001L
B28001M
B28001N
B28001O
B28001P
B28001Q
B38101A
B38101B
B38101C
B58001A
C38006A
C41306A
CD2B11A
CD2B15C

Allowed Modification Tests

(Refer to the main list for details)

B3A0007	2014-04-01 

Modified Tests

(Refer to the main list for details)

B394A02
B394A03
B394A04
B394A05
B431003
B433001
B740003
B831001
B831002
B954003
B960001
BA12010
BC54002
BC54003
BXC3002
BXE2009
BXE2012
C34008A
C433001
C650003
C990001
CA11023
CA12001
CD10001
CXB3006
CXC6003
IMPDEF
IMPDEFC

New Tests

(Refer to the main list for details)

B371001
B3A0005
B3A0006
B3A0007 (note: Allowed modification above)
B3A0008
B3A1001
B3A1002
B3A1003
B3A1004
B3A1005
B3A1A01
B3A1A02
B3A1A03
B3A1A04
B650004
B730007
B851002
B851003
B851004
B950001
B951002
B954005
C393013
C3A0016
C3A0017
C3A0018
C3A0019
C3A0020
C3A0021
C3A0022
C3A0023
C3A0024
C3A0025
C3A0026
C3A0027
C3A0028
C3A0029
C413006
C650002
C650003
C650A01
C851001
C851002
CC30003
CXAA020
CDB0001
CDB0002
CXC7006
F3A1A00
F650A00

Pending New Tests

(Refer to the main list for details)

B730008	2014-07-01
B730009	2014-07-01
BDD2004	2014-10-01
CXAI001	2014-07-01
CXAI002	2014-07-01
CXAI003	2014-07-01
CXAI004	2014-07-01
CXAI005	2014-07-01
CXAI006	2014-07-01
CXAIA01	2014-07-01
CXAIA02	2014-07-01
CXAIA03	2014-07-01
CXAIA04	2014-07-01
CXAIA05	2014-07-01
CXAIA06	2014-07-01
FXAIA00	2014-07-01