--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on June 2015 ---
Hello, > You can have a look at the answer I provided to you on SO >https://stackoverflow.com/a/30640332/1633665 I can't find cil/src/frontc/cabs2cil.mli Regards, Gaurav On Thu, Jun 4, 2015 at 3:55 PM, Gaurav Tripathi <tripathigaurav.gt at gmail.com > wrote: > 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/dc7e3797/attachment.html>