[Termtools] benchmarks for new categories needed

[Matthias Heizmann]

Hi,

I uploaded C programs from our repository to the public space with id=34525
    Termination/matthias_heizmann/benchmarks

As time permits I am going to extends the benchmark set in the next days.

I am not very familiar with this StarExec. If there is something strange with 
these benchmarks, please let me know.


There might be some overlap with the benchmarks from Thomas, because our 
benchmark set contains also the SV-COMP examples.
https://svn.sosy-lab.org/software/sv-benchmarks/trunk/c/termination-crafted/
However, our benchmark set contains slightly revised versions of these where 
some files might have been renamed and each uninitialized local int variable is 
explicitly initialized with __VERIFIER_nondet_int() to avoid unexpected 
behavior.


Matthias



On Saturday 14 June 2014 16:48:53 Johannes Waldmann wrote:
> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 836 bytes
Desc: This is a digitally signed message part.
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20140623/6bc9679a/attachment.pgp>