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

[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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150715/cd46424d/attachment.html>