--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on November 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-c - wp on Windows/Cygwin



Hello,

2013/11/3 David Cok <dcok at grammatech.com>:
> Thanks, Pascal,
>
> Given your comments, I would expect that
>> frama-c -wp swap.c
> is closest to working, but can't find alt-ergo, even though it is on the
> PATH.
> Can you - or someone - comment on where wp expects alt-ergo (and under what
> name)  on Windows?

Pascal is right, this should work. I don't think WP expects alt-ergo
to be anywhere (except on the PATH that is), but there might be subtle
issues. In particular, you might encounter these symptoms if the
alt-ergo file that is in your PATH is in fact a link to the real
executable. You might also want to add the option -kernel-msg-key task
to see which command is launched and which is its exit status.

Best regards,
-- 
E tutto per oggi, a la prossima volta
Virgile