[LLVMdev] ACATS

[Andre Tavares]

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:
> 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
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
>
>   

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