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 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