[LLVMdev] ACATS

[Duncan Sands]

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.