Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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