--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on December 2016 ---
Hi Faraz, The documentation of several options of Value is indeed lacking, mainly due to their sheer number and lack of time. *-val-stop-at-nth-alarm * is also a bit weird, in that the same alarm may be counted multiple times. The meaning of n is thus particularly unclear... Currently all existing documentation can be found either within Value's manual, or in the posts tagged *value* in the blog ( http://blog.frama-c.com/index.php?tag/value) HTH *,* On Mon, Nov 28, 2016 at 11:38 PM, Faraz Hussain <fh.faraz.hussain at gmail.com> wrote: > 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 >> > > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > -- Boris -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161201/f15f8158/attachment-0001.html>