[Termtools] Expected result of C/AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c

[Ton-Chanh Le]

Dear C category participants,

I think the expected result of

C/AProVE_memory_alloca/svcomp_PodelskiRybalchenko-2004VMCAI-Ex2_true-alloca.c

should be FALSE (non-terminating).

Please help me to confirm.

Thank you.

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/cb3b9177/attachment.html>