--- layout: fc_discuss_archives title: Message 6 from Frama-C-discuss on June 2019 ---
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>