--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on June 2019 ---
Hello, Â I am just starting out using Frama-C on a new project. First question: The announcement (in this list) of release 19 mentioned a new option "-eva-precision", but I cannot find any mention of it in the EVA manual that accompanied the second beta release. Am I missing something? Â Many thanks, Â Rod Chapman, Protean Code Limited -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20190610/78a44a10/attachment.html>