--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on June 2015 ---
Hello, Ya ok Virgile and thanks for the response. Regards, Gaurav On Thu, Jun 4, 2015 at 3:15 PM, Virgile Prevosto <virgile.prevosto at m4x.org> wrote: > [image: Boxbe] <https://www.boxbe.com/overview> This message is eligible > for Automatic Cleanup! (virgile.prevosto at m4x.org) Add cleanup rule > <https://www.boxbe.com/popup?url=https%3A%2F%2Fwww.boxbe.com%2Fcleanup%3Ftoken%3DwndkcUSqZh2DiuM%252F9secDYZPZVyYGaczJKAVLhHSawjZHWG3TO3Wp3OyS4N7dArp0%252FsE3RWZSCLiIBCFtQsqFMJcWOD0%252BP%252FZRN%252BHEPNg68oYv0LArMVHE7L6MKbmWgiEMSJMMqasHfEWP832L0yoXA%253D%253D%26key%3DyVPbjc8Q9zIqAioRusX2gT%252F%252BS0SpXJp3CUCT%252FK%252Bgbfk%253D&tc_serial=21543907203&tc_rand=2056291991&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001> > | More info > <http://blog.boxbe.com/general/boxbe-automatic-cleanup?tc_serial=21543907203&tc_rand=2056291991&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001> > > 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 > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150604/999876ae/attachment.html>