--- layout: fc_discuss_archives title: Message 11 from Frama-C-discuss on November 2013 ---
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