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



Thanks Andre.  I was able to find it using 'value-help':
*-val-stop-at-nth-alarm
<n>*

For the future, where can I find details about the meaning of options
provided for a particular analysis? I couldn't find '*val-stop-at-nth-alarm'
*in the framac user manual or the documentation for value-analysis.


Faraz.


On Mon, Nov 28, 2016 at 1:04 AM, Andre Maroneze <
Andre.OLIVEIRAMARONEZE at cea.fr> wrote:

> 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 listFrama-c-discuss at lists.gforge.inria.frhttp://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
>
>
> --
> André Maroneze
> Ingénieur-chercheur CEA/LIST
> Laboratoire Sûreté et Sécurité des Logiciels
>
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161128/c629ce1f/attachment.html>