--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on October 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] new GWhy - statistics



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>