[Termtools] C integer transitions - need benchmarks for testing

[Thomas Ströder]

Dear all,

Johannes conducted a few tests for the C integer programs category:
http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions/12

It seems AProVE and UltimateBuchiAutomizer work fine, but HipTNT+ seems
to throw parser errors on all tests. Please have a look and tell me if
there are any problems w.r.t. the grammar.

Best regards,

  Thomas


-- 
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/20150706/dfe0807a/attachment.sig>