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

> 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>