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 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>