--- layout: fc_discuss_archives title: Message 15 from Frama-C-discuss on June 2015 ---
Hello, In frama-C when I load my source file it does pre processing and does automatic error correction like "automatic typecast " as shown in attachment. Now how can I see all the changes made after preprocessing. Is there any method or log file or warning message which shows all the changes made by frama-c. Thanks, Regards, Gaurav Tripathi -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150604/1d4188fe/attachment-0001.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: cast.png Type: image/png Size: 94550 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150604/1d4188fe/attachment-0001.png>