--- layout: fc_discuss_archives title: Message 5 from Frama-C-discuss on September 2009 ---
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