ACATS 3.1 User's Guide
Title Page
Contents   Index   References   Previous   Next 

D.2.1 Value of Machine_Overflows is False

If Machine_Overflows is False for floating point types, then the tests contained in the following files should report NOT_APPLICABLE:
C45322A.ADAC45523A.ADAC4A012B.ADA  

Contents   Index   References   Previous   Next