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