Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] How to print changes made by frama c while pre processing



Hello David,
But suppose my code contains kloc then wouldn't it be difficult ?

There might be some way where we could check all the changes made ; on
which line of source code, isn't it ?

Regards,
Gaurav

On Thu, Jun 4, 2015 at 2:04 PM, David MENTRE <d.mentre at fr.merce.mee.com>
wrote:

> Hello Gaurav,
>
> Le 04/06/2015 10:28, Gaurav Tripathi a écrit :
>
>> Is there any method or log file or warning message which shows all the
>> changes made by frama-c.
>>
>
> No but you can use the -print option of frama-c:
>   frama-c -print my_c_file.c
>
> Then you can use a regular diff between the printed source code and your
> original source code to see the differences.
>
> Best regards,
> david
> --
> David MENTRÉ - Research engineer, Ph.D.
>   Formal Methods and tools
> Mitsubishi Electric R&D Centre Europe (MERCE)
> Phone: +33 2 23 45 58 29 / Fax: +33 2 23 45 58 59
> http://www.fr.mitsubishielectric-rce.eu
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150604/53b2440d/attachment.html>