Andre Tavares wrote:

Can someone tell me how to use ACATS? I have searched for documentation,
but found none.

The ACATS is here:

including various documentation. It stands for "Ada Conformity Assessment Test

- Bob

Thanks for the link Duff.

I downloaded ACATS, but could not run it on LLVM. Could not find any instructions that could lead me to do so. Do you know how can do it?

André Tavares

Bob Duff wrote: