--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on June 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Question on new -eva-precision option in 19



On 10/06/2019 14:35, Andre Maroneze wrote:
> Indeed, the manuals have not been entirely updated for the beta 
> releases. That said, the help message of `frama-c -eva-help` does 
> resume its behavior most succinctly:

Thanks... I was taking the unusual step of reading the manuals _before_ 
I installed the new toolset... :-)

  - Rod


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190610/89e127e9/attachment-0001.html>