--- layout: fc_discuss_archives title: Message 21 from Frama-C-discuss on November 2016 ---
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>