--- layout: fc_discuss_archives title: Message 19 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'



Hello,

That option has been renamed to `-stop-at-nth-alarm 1`.

Note that several other options have changed since the C-Reduce webpage 
was made, so it is unlikely that the script will work without further 
changes. Unfortunately it did not say which version of Frama-C it was 
written with, so the phrase "which assumes that you have installed the 
latest version of Frama-C" is no longer up-to-date. Still, most options 
should be findable via `frama-c -kernel-help`, `frama-c -value-help`, or 
via the Changelog (unless the renaming was forgotten).


On 27/11/2016 22:31, Faraz Hussain wrote:
> 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.
>
>
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss

-- 
André Maroneze
Ingénieur-chercheur CEA/LIST
Laboratoire Sûreté et Sécurité des Logiciels

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161128/d633c42b/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 3797 bytes
Desc: S/MIME Cryptographic Signature
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161128/d633c42b/attachment.bin>