--- layout: fc_discuss_archives title: Message 18 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,

2015-06-04 10:28 GMT+02:00 Gaurav Tripathi <tripathigaurav.gt at gmail.com>:
> 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.

You can have a look at the answer I provided to you on SO
https://stackoverflow.com/a/30640332/1633665

I'd kindly suggest not to duplicate questions across the mailing-list
and SO. On the other hand, sharing a link here to relevant SO
questions seems entirely appropriate.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile