[Termtools] C category: .i files

[Thomas Ströder]

Dear all,

I just noticed that the C category contains .i files now. For us this is
no problem as we also participate in SV-COMP and know that format from
there, but I'm not so sure about other participants. Just to be sure: Is
everyone ok with having .i files in the C category or should we rename
them (as far as I know, these programs are valid C programs and just the
file ending might be confusing)?

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/20150709/0e647b2b/attachment.sig>