[Termtools] benchmarks for new categories needed

[Thomas Ströder]

Dear Johannes,

I uploaded the 208 C programs used for the experimental evaluation of 
our paper "Proving Termination and Memory Safety for Programs with 
Pointer Arithmetic". These include all C programs used in the crafted 
termination category of SV-COMP.
The public subspace containing these examples has the ID 32448.

Best regards,
Thomas


Am 14.06.2014 16:48, schrieb Johannes Waldmann:
> Dear all,
>
> I think the proposed new categories
> (integer transitions systems, C language, ...)
> need benchmarks (problem sets) for testing.
>
> Please upload some to starexec, and make them public
> (and announce here).
>
> - Johannes.
> _______________________________________________
> 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