--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on December 2016 ---
Thanks a lot, Boris. That does help. Faraz. On Thu, Dec 1, 2016 at 2:42 AM, Boris Yakobowski <boris at yakobowski.org> wrote: > 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 > > *,* > > Boris > > > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161204/73532fa5/attachment.html>