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

[Frama-c-discuss] Frama-c flag -stop-at-first-alarm 'unknown'



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>