Ada Compiler Validation Summary Report: Certificate Number: 900228W1.11001,Verdix Corporation, VAda-110-6161, Version 6.0.2, DECstation 3100 Greater Than or Equal to DECstation 3100

摘要

The Ada implementation described above was tested according to the Ada ValidationProcedures (Pro90) against the Ada Standard (Ada83) using the current Ada Compiler Validation Capability (ACVC). The Validation Summary Report (VSR) gives an account of the testing of the Ada implementation.