--- layout: fc_discuss_archives title: Message 44 from Frama-C-discuss on November 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] adding a new prover



Thanks, that worked.
(I created symlink to Simplify OS X binary and called it "simplify")
-s

On Nov 29, 2011, at 1:00 PM, Jens Gerlach wrote:

> Hello Stephen,
> 
> after downloading and installing the prover you have to call why-config.
> 
> Regards
> 
> Jens
> 
> On 29.11.2011, at 18:43, Stephen Siegel wrote:
> 
>> I am using the binary Carbon release for OS X.
>> How do I install a new prover----e.g., Simplify?
>> Right now I have alt-ergo and CVC3 just working (I didn't have to do anything).
>> Thx,
>> Steve
>> 
>> 
>> _______________________________________________
>> Frama-c-discuss mailing list
>> Frama-c-discuss at lists.gforge.inria.fr
>> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
> 
> 
> 
> 
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss