--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on July 2010 ---
[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.

-- 
Regards,
Boris