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] three newbie questions

On Wed, 2010-07-21 at 14:25 -0400, Alwyn Goodloe wrote:

> Question 3.
> ------------------
> Finally, I have installed CVC3 and frama-c recognizes it's there (at
> lest the GUI does) but all the calls seem to break. Is this just me or
> is some special switch needed for this one. 

The same is true for Simplify. It seems that Alt-Ergo is the only prover
that is useful for Jessie. I dont't know if this is a bug in Boron.