llvm dev - Aug 2009 - [LLVMdev] 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,

-- 
Andre Tavares
Master Student in Computer Science - UFMG - Brasil
http://dcc.ufmg.br/~andrelct

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.