[Termtools] TPDB: C/AProVE_numeric/ex2.c

[Thomas Ströder]

Dear Le Ton Chanh,

Yes, that makes sense. Akihisa, could you apply that patch, please?

Best regards,

  Thomas


Am 15.07.2015 um 11:24 schrieb Ton-Chanh Le:
> Dear all,
> 
> In the test C/AProVE_numeric/ex2.c, should we
> change the code
> 
> int rec1(int i) {
>         if(i <= 0)
>                 return 0;
>         rec2(rec1(i+1));        
> }
> 
> into
> 
> int rec1(int i) {
>         if(i <= 0)
>                 return 0;
>         return rec2(rec1(i+1));        
> }
> 
> like rec2?
> 
> Best Regards,
> 
> Le Ton Chanh
> Email: chanhle at comp.nus.edu.sg <http://comp.nus.edu.sg>
> 
> 
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
> 

-- 
Thomas Ströder        mailto:stroeder at informatik.rwth-aachen.de
LuFG Informatik 2     http://verify.rwth-aachen.de/stroeder
RWTH Aachen           phone: +49 241 80-21241

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: OpenPGP digital signature
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150715/01f24b0c/attachment.sig>