ACATS

Hello,

I have written a LLVM pass for strongly typed languages. My pass implements the ABCD algorithm. I'm not going to get into what is ABCD, since it has been discussed here.

I would like to test it, and on my proposal Duncan Sands told me to use Ada ACATS.
Can someone tell me how to use ACATS? I have searched for documentation, but found none.

Thanks,

Hi Andre,

I have written a LLVM pass for strongly typed languages. My pass implements the ABCD algorithm. I'm not going to get into what is ABCD, since it has been discussed here.

I would like to test it, and on my proposal Duncan Sands told me to use Ada ACATS.
Can someone tell me how to use ACATS? I have searched for documentation, but found none.

after building llvm-gcc with Ada support, from the build directory do:

  cd gcc
  make -k check-acats

Ciao,

Duncan.