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