--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on September 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Problem with new gWhy



On  0, "Hollas Boris (CR/AEY1)" <Boris.Hollas at de.bosch.com> wrote:
> Hello,
> 
> I've just run gWhy from the Beryllium release on Windows. Now, I see a column "Statistics" that shows number of proved VC/all VC. However, I don't see which VC have been proved and which ones have not. Is this a bug? How do I get the nice red/green icons back?
> 

As far as I know, this is normal in the newer version of gWhy (2.19).
I think that the point is (in general) you want to know whether a
given proof obligation has been proved. Which prover has done the job
is a secondary information which might be not very interesting. But I
agree that this can be interesting is some other situations and it
would be nice to have a checkbox to active/desactivate it.

Best regards,

-- 
Mehdi Dogguy