Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] new GWhy - statistics

  • Subject: [Frama-c-discuss] new GWhy - statistics
  • From: nnarai at gmail.com (Nanci Naomi)
  • Date: Wed, 9 Oct 2013 15:17:57 -0300
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>