ACATS Modification List for ACATS 4.1 Version 4.1C February 8, 2017 What is this? This is the ACATS modification list for ACATS 4.1. This document includes test corrections, test removals, and new tests for ACATS 4.1. ACATS 4.1 is the current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012 (usually known as "Ada 2012"). ACATS Modification List version 3.1P for ACATS 3.1 is the current list for that test suite. ACATS 3.1 should be used for testing implementations that support Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will continue to be maintained as necessary for the foreseeable future. ACATS 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 implementations of the second edition of Ada, ISO/IEC 8652:1995 (usually known as "Ada 95"); it also will continue to be maintained as necessary for the foreseeable future. Changes from the last list: A few tests changed status on January 1st , this list reflects those changes. Test B611006 was corrected to clarify the reason that Pack3 is illegal, to improve the error tags, and to properly note that the final subtest is legal. Tests B611002, B611014, and BB42001 were corrected to fix significant errors in the error location codes. Tests B611017, B611018, and B611019 had a couple of errors corrected, most notably an interaction with 12.3(18), and added some generic formal derived type subtests. (These were new tests last time, so they're treated like new tests issued with this list.) Tests B63005A, B63005B, B73001A, B73001B, B73001C, B73001D, B73001E, B73001F, B73001G, B73001H, B91003A, B91003B, B91003C, B91003D, and B940003 had additional error tags added in order to directly allow reasonable and common error reporting strategies. Test B730006 was corrected to have the correct format for error tags (and to add location indicators). New tests B730011 and B730012 generalize the legacy tests B74001A and B74001B (which are withdrawn); Ada 2012 has 6 kinds of private types and 6 kinds of private extension subject to 7.3(4). The new tests try a few examples of each rather than trying to be exhaustive as the old tests did. Test B732C02 was corrected to eliminate an unintentional freezing problem (and to add location indicators). Test B940004 was split into 8 files so that each file contains only one unit with an error (which is more realistic and a slightly tougher test), added location indicators. Tests C611A02, C611A03, C611B01, and C611B02 had main subprogram names that don't follow the rules laid out in the ACATS User's Guide (clause 4.3.3). This poses problems for tools that process ACATS files. New tests C611A04 and C611B03 check class-wide preconditions and postconditions for interface types. Foundation F611A00 was modified to support test C611A04. New tests C460014 and C460015 check that access type conversions make appropriate tag checks. This checks 4.6(42) via 4.6(50) – Ada 95 rules. Tests CXD2007, CXDB001, CXDB002, CXDB003, and CXDB004 were modified to add the missing N/A => ERROR tag. Tests LXH4001 and LXH4003 had improperly spelled error tags, and tests LXD7001, LXD7003, LXD7004, LXD7005, LXD7006, LXD7007, LXD7008, LXH4006, LXH4009, LXH4013, and LXH4014 had no error tags at all. As all of these tests can report compile-time errors, proper tags are needed. Test LXD7009 had location indicators added (these allow the grading tool to allow additional reasonable outcomes). The test summary tool was corrected to fix a problem with detecting main subprograms in modern tests, and to use the full expanded name of subunits. The grading tool was improved to allow tests with missing execution to be manually graded (as these may result from special linking requirements, as probably occur for foreign language tests), and to correct the result for binder crashes. Category totals were added to the summary report, and a progress score was added to failing grades. New tests posted between January 1, 2017 and March 31, 2017 will become required for conformity assessments on October 1, 2017. New tests posted between October 1, 2016 and December 31, 2016 will become required for conformity assessments on July 1, 2017. New tests posted between July 1, 2016 and September 30, 2016 will become required for conformity assessments on April 1, 2017. New tests posted before July 1, 2016 are required for conformity assessments. The effective dates of tests are marked in the lists. Questions about this document? Contact the ACAA Technical Agent at agent@ada-auth.org. ACATS 4.1 includes optional Test Grading tools ACATS 4.1 introduces new test grading tools. When the ACATS was designed (as the ACVC in the early 1980s), the intention always was that running it would give a simple and clear Pass or Fail result. However, grading of tests (particularly of B and L Tests) is somewhat subjective and very time-consuming. (Test grading typically involved poring over compiler listings of the entire ACATS with a large highlighter.) The subjectivity was acceptable in the days of common formal testing, as the formal testers would enforce a common grading standard (even if no one could describe what that was), but in an age of self-testing, it reduces the value of the ACATS. As such, we're introducing a long-overdue set of automated grading tools. These tools are intended to: Greatly reduce the effort to grade an ACATS test run (and, hopefully to reduce the cost of formal testing to make it a more practical option); Ensure that all users of the ACATS grade tests in the same way, thus making it more valid to compare ACATS results between different implementations and different testers; Give implementers certainty as to whether a particular test result is passing (whether the location of an error is “close enough” to the canonical position); Be able to detect process errors (especially errors of omission) – that is, tests improperly run (for instance, files compiled in the wrong order where the ACATS requires an order), or not run at all (if one is checking off lines in a listing, it's hard to notice that some test or portion of a test is missing). The tools also will optionally give feedback to implementers about quality of error message positioning and of error cascades (does one error generate multiple messages?). (Since “goodness of an implementation” is not something that the ACATS tests for, this is not an official goal for the tools.) This is an ambitious set of goals. It's unlikely that they'll be completely met by the initial versions of the tools. As such, their use will be completely optional (but encouraged!) for ACATS 4.1. The tools will be updated periodically by the normal process for updating the ACATS – an ACATS Modification List like this one. Details on the operation of the tools can be found in the ACATS 4.1 documentation (that documentation can be found at http://www.ada-auth.org/acats-files/4.1/docs/UG-6.HTM). As always, if you have questions, contact the ACAA Technical Agent at agent@ada-auth.org. 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 '@'; 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: .[.]: These references are to the Ada standard as available at http://www.adaic.org/resources/add-contentstandards/12rm/html/RM-TOC.html. Main list: ===== Core Language ===== Name Category Version label (effective date; old version label) Short description. B38003D [Modified] VCS Label: A4_1A Corrected error tags @70,76,82,88 so “optional” and “error” are on the same line, as required by the test standards. C3A0030 [New] VCS Label: A4_1A Check that an access discriminant is only null excluding if it includes a null exclusion. B3A1001 [Modified] VCS Label: A4_1A Split Pack6 so possible error sets don't intersect; fixed overlong lines. B3A1002 [Modified] VCS Label: A4_1A Split Pack6 so possible error sets don't intersect; fixed overlong lines. B455002 [Modified] VCS Label: A4_1A Corrected casing of error tags and fixed overlong lines. C460014 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 Check that Constraint_Error is raised appropriately when converting access-to-classwide to another access type. C460015 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 Check that Constraint_Error is raised appropriately when converting access-to-limited-classwide to another access type. C480001 [New] VCS Label: A4_1A Check that an initialized allocator for a class-wide type does an accessibility check on the tag of the initializing object. C52101A [Modified] VCS Label: A4_1A Corrected comment @49 not to have the form of an error tag. B611001 [New] VCS Label: A4_1A Check that Pre and Post are only allowed on subprograms and entries (and not on subprogram instances). B611002 [New] VCS Label: A4_1A Check that Pre and Post are not allowed on subprograms acting as completions. B611002 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A Required after 2017-07-01 Corrected several error location codes. B611003 [New] VCS Label: A4_1A Check that Pre'Class and Post'Class are only allowed on primitive subprograms of tagged types. (Normal tagged types and interfaces.) B611004 [New] VCS Label: A4_1A Check that Pre'Class and Post'Class are not allowed on subprograms acting as completions. B611005 [New] VCS Label: A4_1A Check that Pre and Post are not allowed on abstract subprograms and null procedures. B611006 [New] VCS Label: A4_1A Check that the restrictions on Pre'Class and Post'Class expressions added by AI12-0113-1 are enforced. B611006 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A Required after 2017-07-01 Clarified error @208; changed error @233 & @247 to OK (as the inherited Proc4 routine is abstract and thus is not subject to the new rule). B611007 [New] VCS Label: A4_1A Check that Pre'Class and Post'Class are not allowed on entries and protected subprograms of untagged task and protected types. B611008 [New] VCS Label: A4_1A Check various rules about the use of the Result attribute. B611009 [New] VCS Label: A4_1A Check that F'Result is not allowed in the body of F. B611010 [New] VCS Label: A4_1A Check that the Old attribute is not allowed in a subprogram or entry body, or in an accept statement. B611011 [New] VCS Label: A4_1A Check the Old attribute cannot be used within a precondition expression nor in a generic specification outside of a postcondition expression. B611012 [New] VCS Label: A4_1A Check that the prefix of an Old attribute cannot contain the Result attribute, another Old attribute, nor the index of a quantified expression. B611013 [New] VCS Label: A4_1A For a discrete X, check that X'Old has the nominal subtype of X. B611014 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 [VCS Label A4_1B] If an Old attribute reference occurs in at a place where it is potentially unevaluated, check that the prefix must statically denote an object. [VCS Label A4_1C] Corrected error location codes @240 and @252. B611015 [Pending New] New VCS Label: A4_1B Required after 2017-07-01 Check that the prefix of an Old attribute cannot have a limited type. B611016 [Pending New] New VCS Label: A4_1B Required after 2017-07-01 Check that tagged task and tagged protected types do not allow Pre'Class and Post'Class, nor are they allow on operations of those types. B611017 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 [VCS Label A4_1B] Check that Pre'Class cannot be specified for an overriding of a subprogram that does not specify Pre'Class. [VCS Label A4_1C] Declaration of New_Proc @358 is not overriding and thus not subject to the rule. The declaration of Shine @149 never overrides primitives of the actual type by 12.3(18), thus this rule does not apply to instances of Gen2. Added an example using a generic derived type. B611018 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 [VCS Label A4_1B] Check 6.1.1(10-16/3). [VCS Label A4_1C] Type T08 @230 and @241 needs to be declared abstract. B611019 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 [VCS Label A4_1B] Check 6.1.1(17/3). [VCS Label A4_1C] The declaration of Get_Count @112 never overrides primitives of the actual type by 12.3(18), thus this rule does not apply to instances of Gen2. Added examples using generic derived types. C611A01 [New] VCS Label: A4_1A Check that preconditions and postconditions where both specific and class-wide contracts apply are checked properly. C611A02 [New] VCS Label: A4_1A Check that the correct expressions are evaluated for specific preconditions and postconditions, and that they are evaluated at the correct point. C611A02 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A Required after 2017-07-01 The main subprogram name was corrected to follow the rules of the ACATS User's Guide, clause 4.3.3. C611A03 [New] VCS Label: A4_1A Check that the correct expressions are evaluated for class-wide preconditions and postconditions, and that they are evaluated at the correct point. C611A03 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A Required after 2017-07-01 The main subprogram name was corrected to follow the rules of the ACATS User's Guide, clause 4.3.3. C611A04 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 Check that the correct expressions are evaluated for class-wide preconditions and postconditions of an interface type, and that they are evaluated at the correct point. C611B01 [New] VCS Label: A4_1A Check that X'Old has the tag of X and not the tag of the nominal subtype of X (for Post). C611B01 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A Required after 2017-07-01 The main subprogram name was corrected to follow the rules of the ACATS User's Guide, clause 4.3.3. C611B02 [New] VCS Label: A4_1A Check that X'Old has the tag of X and not the tag of the nominal subtype of X (for Post'Class). C611B02 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A Required after 2017-07-01 The main subprogram name was corrected to follow the rules of the ACATS User's Guide, clause 4.3.3. C611B03 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 Check that X'Old has the tag of X and not the tag of the nominal subtype of X (for Post'Class of an interface type). B62001C [Modified] VCS Label: A4_1A Changed error @35 to be optional, as the syntax error @33 is required (and the comment that only one error need be detected is bogus). B62001D [Modified] VCS Label: A4_1A Changed error @41 to be optional, as the syntax error @33 is required (and the comment that only one error need be detected is bogus). B65005A [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B65005B [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. C650B04 [New] VCS Label: A4_1A Check that the result of a function that returns a class-wide tagged type does an accessibility check on the tag of the result object when the result expression is class-wide. B730006 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Corrected format of error tags; added location indicators. B730011 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 Test various rules about completions of private types and extensions; replaces test B74001A. B730012 [Pending New] New VCS Label: A4_1C Required after 2017-10-01 Test various rules about completions of private types and extensions in generic units; replaces test B74001B. B73001A [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B73001B [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B73001C [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B73001D [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B73001E [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B73001F [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B73001G [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B73001H [Allowed Modification] New VCS Label: A4_1P Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B740003 [Modified] VCS Label: A4_1A Modified criteria @75 so that it doesn't look like an error tag to the grading tools; also fixed an overlong line. B74001A [Withdrawn] VCS Label: A4_1P Replaced by B730011. B74001B [Withdrawn] VCS Label: A4_1P Replaced by B730012. B750A07 [New] VCS Label: A4_1A Check that only legal expressions are allowed in the return expression of an expression function that returns a limited type. B83F02C [Modified] VCS Label: A4_1A Updated many optional error markers to match ACATS standards. B91003A [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B91003B [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B91003C [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B91003D [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B940003 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added additional error locations to directly support common error reporting strategies. B940004 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Split into 8 files; added location indicators. B95007B [Modified] VCS Label: A4_1A Fixed error markers @62,66,70 to match ACATS standards. BB42001 [New] VCS Label: A4_1A Check that the arguments of a pragma Assert have to have the correct types. BB42001 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A Required after 2017-07-01 Corrected two incorrect error location codes. CB42001 [New] VCS Label: A4_1A Check the usual operation of pragma Assert, including the optional message. BB42002 [New] New VCS Label: A4_1A Check that the arguments of a pragma Assert cannot be reordered even if named notation is used. CB42002 [New] New VCS Label: A4_1A Check that if the assertion policy is Ignore, none of the expressions of a pragma Assert are evaluated and no exception is raised by the pragma. BB42003 [New] VCS Label: A4_1A Check that a pragma Assertion_Policy is illegal if the policy is not recognized. CB42003 [New] VCS Label: A4_1A Check that procedure Ada.Assertions.Assert evaluates its arguments and raises Assertion_Error regardless of the assertion policy. CD11001 [New] VCS Label: A4_1A Check that appropriate entities are visible in an aspect specification. BD4003A [Modified] VCS Label: A4_1A Moved error marker from @66 to @67 so it is on the incorrect construct. CXB3023 [New] VCS Label: A4_1A Check that a value of an unchecked union type (defined with pragma Unchecked_Union) can be passed to a C function. CXB3024 [New] VCS Label: A4_1A Check that a value of an unchecked union type (defined with aspect Unchecked_Union) can be passed to a C function. ===== Annex C ===== [None.] ===== Annex D ===== CXD2007 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing N/A => Error tag. LXD7001 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tag. LXD7003 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tag. LXD7004 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tag. LXD7005 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tag. LXD7006 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tag. LXD7007 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tag. LXD7008 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tag. LXD7009 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added location indicators. CXDB001 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing N/A => Error tag. CXDB002 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing N/A => Error tag. CXDB003 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing N/A => Error tag. CXDB004 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing N/A => Error tag. ===== Annex E ===== [None.] ===== Annex F ===== [None.] ===== Annex G ===== [None.] ===== Annex H ===== LXH4001 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Corrected format of error tag; added location indicators. LXH4003 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Corrected format of error tag; added location indicators. LXH4006 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tags. LXH4009 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tags. LXH4013 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tags. LXH4014 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Added missing error tags. ===== Support ===== F611A00 [New] VCS Label: A4_1A Foundation for tests C611A01, C611A02, and C611A03. F611A00 [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1A Required after 2017-07-01 Added additional data for test C611A04. The changes are only needed for that test. F611B00 [New] VCS Label: A4_1A Foundation for tests C611B01, C611B02, and C611B03. GRADE.A [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Allowed manual grading for tests that are missing execution (with no earlier errors). Corrected the result for binder crashes. Added category totals to the summary. SUMMARY.A [Allowed Modification] New VCS Label: A4_1C Org VCS Label: A4_1 Required after 2017-07-01 Corrected identification of main subprograms in modern tests. Changed the unit name for subunits to be the full expanded name including the parent name. 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 at www.ada-auth.org. The complete set of official new and modified tests are available in the Mod_4_1C.Zip and Tar files on the ACAA web site. As always, when a multi-file test is modified, we provide all of the files, including the unmodified files. 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 4.1 is available in various formats on the ACAA web site. Summary lists: Withdrawn Tests (Refer to the main list for details) B74001A B74001B Allowed Modification Tests (Refer to the main list for details) B611006 2017-07-01 B63005A 2017-07-01 B65005B 2017-07-01 B730006 2017-07-01 B73001A 2017-07-01 B73001B 2017-07-01 B73001C 2017-07-01 B73001D 2017-07-01 B73001E 2017-07-01 B73001F 2017-07-01 B73001G 2017-07-01 B73001H 2017-07-01 B732C02 2017-07-01 B91003A 2017-07-01 B91003B 2017-07-01 B91003C 2017-07-01 B91003D 2017-07-01 B940003 2017-07-01 B940004 2017-07-01 BB42001 2017-07-01 C611A02 2017-07-01 C611A03 2017-07-01 C611B01 2017-07-01 C611B02 2017-07-01 CXD2007 2017-07-01 CXDB001 2017-07-01 CXDB002 2017-07-01 CXDB003 2017-07-01 CXDB004 2017-07-01 F611A00 2017-07-01 LXD7001 2017-07-01 LXD7003 2017-07-01 LXD7004 2017-07-01 LXD7005 2017-07-01 LXD7006 2017-07-01 LXD7007 2017-07-01 LXD7008 2017-07-01 LXD7009 2017-07-01 LXH4001 2017-07-01 LXH4003 2017-07-01 LXH4006 2017-07-01 LXH4009 2017-07-01 LXH4013 2017-07-01 LXH4014 2017-07-01 GRADE 2017-07-01 SUMMARY 2017-07-01 Modified Tests (Refer to the main list for details) B38003D B3A1001 B3A1002 B455002 B62001C B62001D B740003 B83F02C B95007B BD4003A C52101A New Tests (Refer to the main list for details) B611001 B611002 B611003 B611004 B611005 B611006 B611007 B611008 B611009 B611010 B611011 B611012 B611013 B750A07 BB42001 BB42002 BB42003 C3A0030 C480001 C611A01 C611A02 C611A03 C611B01 C611B02 C650B04 CB42001 CB42002 CB42003 CD11001 F611A00 F611B00 Pending New Tests (Refer to the main list for details) B611014 2017-10-01 B611015 2017-07-01 B611016 2017-07-01 B611017 2017-10-01 B611018 2017-10-01 B611019 2017-10-01 B730011 2017-10-01 B730012 2017-10-01 C460014 2017-10-01 C460015 2017-10-01 C611A04 2017-10-01 C611B03 2017-10-01