--- layout: fc_discuss_archives title: Message 19 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 whilepre processing



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>