[Termtools] C category: .i files

[Thiemann, Rene]

Okay, then I will change the file-names to .c files in the TPDB.

Best regards,
René

> Am 09.07.2015 um 12:21 schrieb Matthias Heizmann <heizmann at informatik.uni-freiburg.de>:
> 
> 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
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools

-- 
René Thiemann                    mailto:rene.thiemann at uibk.ac.at
Computational Logic Group        http://cl-informatik.uibk.ac.at/~thiemann/
Institute of Computer Science    phone: +43 512 507-53234
University of Innsbruck