--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on October 2013 ---
Hello, We were used to the old interface of Frama-c/Jessie/Why. Now, we are using the Why3 Verification Platform 0.81, Fluorine-20130601 and we have some doubts: 1 - how to find the statistics? In the old version, the provers were shown in columns and in the right it was shown how many VCS were generated and proved. 2 - when a VC is selected, in the bottom right window is shown the code with highlighted lines in yellow and green. What does the colors mean? In the old version, the related code lines were shown only in yellow. 3 - is there a manual that explain the new interface? Regards Nanci Naomi ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Treat the Earth well. It was not given to you by your parents, it was loaned to you by your children. (Kenyan proverb) ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20131009/23b41a8e/attachment.html>