[Termtools] C category: .i files

[Matthias Heizmann]

On Thursday, July 09, 2015 10:44:29 Thomas Ströder wrote:
> (as far as I know, these programs are valid C programs and just the
> file ending might be confusing)?
Yes. In the SV-COMP these .i files were obtained by resolving the #include 
directive. Each #include was replaced by the content of the corresponding 
header file.

For me it would also be ok to rename all to .c files.


Another warning about these files.
Some of them are tagged with _true-termination or _false-termination. This 
label might not always be correct. I think the reason is that the file once had 
the correct label but afterwards someone modified the content without changing 
the label.
I will check these files more carefully in the next days and propose a renaming 
for these labels if needed.

Best,
Matthias


> 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 819 bytes
Desc: This is a digitally signed message part.
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150709/a278da0c/attachment.sig>