A simple Ada compiler invalidation test
Anders Ardö, Lars Philipson · ACM SIGAda Ada Letters · 1984
This small program tests some of the not-so-easily implemented features of Ada. Among the things tested are separate compilation, overloading, generics, aggregates, tasking and various real time facilities. The program can be used to get a quick assessment of the completeness of a non validated Ada compiler.