CVS log for acats/new/testobj.txt

to acats/new/

Request differences between arbitrary revisions

Created 3 new tests for ACATS Modification List 4.1EE.

Created two new tests.

Added new tests for AML 4.1CC.

Added two new tests and corrected one.

New tests from Brad Moore.

Created two new tests from previous CXA4034, adding many cases to check bounds, additional routines, and unbounded strings.

New tests, some from Jeff Cousins, some derived from his work.

New tests to check incompatibilities, by Randy Brukardt.

Three new tests.

Added two new tests for Predicate_Failure.

Created tests based on now withdrawn tests B83004A, B83004B, B83004C, B83004D.

Added new test to replace BC2001D and BC2001E (which usually required splitting).

Added new tests for out parameters of scalar types with a specified Default_Value.

Updated objectives for B611006.

Created two new tests.

New tests checking preelaboration for containers.

New tests to check basic operation of Default_Component_Value.

Created new tests.

Created a new test to check multiple aspect specification.

A number of new tests (Stream_Size, Default_Value, Default_Component_Value) and test corrections.

Added two new tests.

New tests for aggregates (to test AI12-0115-1).

Created new tests to check additional rules about the use of abstract types.

Added test B631001.

Added more new tests for protected interfaces and "implementing".

Issued an old submitted test about overriding indicators.

Created new tests.

Created three tests from an older submitted test.

Created test; unable to compile so may be buggy.

Various editorial fixes.

Fixed up objectives.

Created tests for null exclusion matching in instances.

Created new test.

Created three new tests for "known to be constrained".

Created tests to check access types with Storage_Size = 0.

Created two tests to check that limited function results are built-in-place.

New tests inspired by existing test BA1101E and BA3006B.

Created a new test.

Various new and modified tests.

A variety of new tests.

Fixed various tests, including overlong lines.

Two new tests, and fixed lines in another.

New tests for Mod attribute.

Updated with changes for various new tests.

Added two tests submitted by Jeff Cousins and then extensively modified by me.

Added interface tests submitted by Jeff Cousins.

Added 6 new tests for ACATS Modification List 4.1B.

Added a tenth objective which is closely related to the other 9.

The remaining parts of Jeff's test; various fixes and improvements to the previously created tests.

Created a new test out of part of a test submitted by Jeff COusins.

A new test to check pre/post objectives.

Added some tests submitted by Jeff Cousins.

Created 4 new tests for the Old attribute.

Created three new tests for 6.1.1, corrected one.

New tests for 6.1.1.

Created a pair of new tests.

Added new test to check that access discriminants are not null excluding.

Created 6 tests on pragma Assert and Assertion_Policy.

Created new test to check dynamic tag accessibility checks.

Created new tests for 13.1.1.

Created test to check resolution of literals in conditional expressions.

Created test to check overloading resolution of conditional expressions.

Created new tests to check 5.4(13) and 4.5.7(21/3) with ignored static predicates.

Created new tests from example in AI12-0040-1 and some imagination.

Renamed two tests whose names referred to a non-existent subclause.

Created new test to check 4.5.7(7/3).

Issued a pair of submitted tests from Brad Moore.

Created three new tests out of existing ones.

Various new tests to check restrictions on limited expressions.

Various new tests.

Editorial fixes.

Created three new B-tests for formal abstract subprograms.

Created a bunch of new tests, and fixed issues with previous ones.

Created new tests for generalized references and generalized indexing.

Issued four submitted tests for Unchecked_Unions.

Created four new tests out of submitted tests for Unchecked_Union.

Fixed incorrect headers.

Created test from C433005.

Created test from similar test C433005.A.

Created tests from submitted test B832606.A.

New tests for package use clause rules.

Additional tests for type invariants.

Issued tests based on those submitted by Brad Moore.

Eliminated overlong lines and tab characters.

Various new Type_Invariant tests (inspired by Jeff Cousins, a few submitted by him).

Created new tests for package Environment_Variables.

Created tests to check that uses of objects with an incomplete view cannot be used as prefixes.

New tests to check parameter passing of objects of a tagged incomplete type.

Created new test for nested controlled types.

New tests created for the ACATS from existing tests.

Created new tests from existing tests and AIs.

4 new tests for Legality Rules in 4.5.7.

Created new tests from existing tests.

Header corrections.

Two new tests for Chapter 10 objectives.

New tests created from existing or submitted tests Dec 22nd.

Created new tests for the ACATS.

Created three tests out of previously submitted tests.

A variety of new aggregate tests, mostly for new Ada 2012 things.

Created tests that Sets don't allow modification of elements via indexing.

Created tests to check that hashed containers do not allow reverse iterators.

Added new tests for exception messages in raise statements and expressions.

Issued tests submitted by Brad Moore.

Added objective for C760014.

Corrected name of test.

Various updates for ACATS 4.0.

Added various new test objectives.

Moved container tests for ACATS 4.0.

Added new tests to coverage and objectives.

Converted submitted tests to ACATS tests (using a foundation).

Added two new tests.

Added new test B951002.

Added objectives for various new tests.

Issued AML 3.0G; corrected test objectives based on ARG comments.

Test corrections and new tests in AML 3.0F.

Created new test.

Added five new tests to cover object renaming objectives.

Created several new tests for incomplete views.

Added another new test.

New tests created from existing tests.

More new tests and corrected many others to break optimization that could remove the checks.

Created new tests to check null exclusions actually exclude null.

Created new tests for null exclusion legality rules.

Added new tests for anonymous access types.

Updated with changes for new tests in AML 3.0C.

AML 3.0B.

Moved files for ACATS 3.0 (moving new tests to final locations).

Added new tests.

Created and updated tests.

Added a test for controlling access results.

New tests for ACATS 3.0 dev D.

Added a number of new tests for prefixed views and record aggregates.

Various corrected and new tests.

Created three new tests from submitted tests.

Editorial corrections and new tests.

Various corrected and added tests.

Another new test.

Added a new test.

A new test.

New tests for limited with, plus updates for special processing to take into account limited views.

A new test and corrections to an older one.

Created a new test.

Added a test of limited private with visibility.

Created a new test to check that private with doesn't make private parts visible.

A new test to check that private with does not allow too much.

Added a new test.

Created a new test for 10.1.2(10/2).

Created a new test to check 10.1.2(21-22/2).

Added generic cases to test, fixed errors.

Created a new test.

New test to check that limited views have the correct contents.

Added a new test; other updates.

Created renamed test BDD2003 from BXAC004, which was widely separated from the rules and a similar test on the other stream attributes.

Test updates for 2.5N.

Added new test; corrected existing one.

Updated for Mod list 2.5D.

Added new tests.

Added new tests.

Added six new tests for various corrigendum rules.

Added and updated a variety of tests for Technical Corrigendum 1 objectives.

Various corrections.

Moved and updated files for ACATS 2.3 baseline.

Added the new tests added in AML 2.2G.

Added various new tests.

Revised for new tests.

Added tests B455002 and C455001.

Merged modifications with ACATS 2.2.