--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on November 2016 ---
Hi, I'm a new user trying to use frama-c ver. Magnesium-20151002 (installed via an Ubuntu 16.04 package). I was able to successfully execute the following command: *frama-c "-cpp-extra-args=-I ." -val -obviously-terminates -machdep x86_64 file.c* I want to use the flag -stop-at-first-alarm as shown in this script ( https://embed.cs.utah.edu/creduce/using/wrong1/test2.sh). However, on doing that I get the message below: *[kernel] user error: option `-stop-at-first-alarm' is unknown.* * use `frama-c -help' for more information.* *[kernel] Frama-C aborted: invalid user input.* Has the name of this flag been changed or is there some other issue here? Thanks. Regards Faraz. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161127/898bcc72/attachment.html>