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