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