--- layout: fc_discuss_archives title: Message 16 from Frama-C-discuss on June 2015 ---
[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