ACATS

Project Infrastructure LLVM Dev List Archives
1

Andre Tavares wrote:

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

The ACATS is here:

http://www.ada-auth.org/acats.html

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

- Bob

2

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: