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