[ldv-project] Multiple c files as Input, testcases

[shchepetkov]

Hi,

The attached archive contains two folders: "preprocessed_single" with 
preprocessed with cil files (as separate files) and "preprocessed_merge" 
with preprocessed with cil files merged together in one file.

> 28.08.2013, 17:37, "Thomas Stieglmaier" <stieglma at fim.uni-passau.de>:
>  
> Hi,
> I have another question. Could you please send me, the files which
> you are normally using for validation with CPAchecker (I need them to
> proove my implementation).
>  So in total i need following things:
> - the files you sent me preprocessed with cil but still as separate 
> files
>  - the files preprocessed with cil merged together in one file (for
> testing purposes)
> It would be great if you could send me these!
> Regards,
>  Thomas
> Am 27.08.2013 15:15, schrieb Илья Щепетков:
> 
>> Hi Thomas,
>>  I'm sending you several sets of preprocessed C files that can be 
>> used as test cases.
>>  
>> 17.08.2013, 11:21, "Evgeny Novikov" <eugenenovikov at yandex.ru>:
>> 
>>> Hi Thomas,
>>>  
>>> we have many cases when we need to run CIL to merge several C files 
>>> together. Reasons are CPAchecker cannot take several C files as input 
>>> and CPAchecker doesn't like C files that were not processed by CIL. I 
>>> think that you can perform the latter by yourself if you will need 
>>> it, so we will send several sets of preprocessed C files that should 
>>> be analyzed together.
>>>  
>>> 17.08.2013, 11:03, "Vadim Mutilin" <vadim at morshansk.ru>:
>>> 
>>>> Hi!
>>>> I'm on vacation now, so I'm forwarding the mail to my colleagues.
>>>> Best,
>>>> Vadim
>>>> -------- Исходное сообщение --------Тема:Дата:От:Кому:
>>>> Multiple c files as Input, testcases
>>>> Tue, 13 Aug 2013 15:05:37 +0200
>>>> Thomas Stieglmaier <stieglma at fim.uni-passau.de>
>>>> Vadim Mutilin <mutilin at ispras.ru>
>>>> Hi,
>>>> i'm currently working on making CPAchecker handle multiple c files 
>>>> as input.
>>>> Philipp Wendler told me, that you are the right one, I could ask 
>>>> for
>>>> some testcases.
>>>> It would be great if you could send me some!
>>>> Regards,
>>>> Thomas
>>>  
>>>  
>>> --
>>> Best regards, Evgeny Novikov.
>>  
>>  
>> --
>> Ilya Shchepetkov
>> Linux Verification Center, ISPRAS
>> web: http://linuxtesting.org [1]
>> e-mail: shchepetkov at ispras.ru

-- 
Ilya Shchepetkov
Linux Verification Center, ISPRAS
web: http://linuxtesting.org
e-mail: shchepetkov at ispras.ru
-------------- next part --------------
A non-text attachment was scrubbed...
Name: preprocessed2.zip
Type: application/zip
Size: 1209203 bytes
Desc: not available
URL: <http://linuxtesting.org/pipermail/ldv-project/attachments/20130829/47bc6d70/attachment.zip>