--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on June 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem running frama-c in Windows



Hello

On Thu, Jun 17, 2010 at 8:02 AM, Virgile Prevosto
<virgile.prevosto at cea.fr>wrote:

>
> Well, by default if you only pass a filename as argument without any
> option, frama-c will only attempt to typecheck the source. This
> operation generates output only in case of a syntax or type-checking
> error[1]. Try e.g.
> frama-c.exe -print first.i
> This command should output on stdout the code of first.i as normalized
> by CIL.
>

Thanks for the explanation. I just tried that and I got the expected result.

Ricardo
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20100621/52474f41/attachment.htm>