--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on May 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Simplify prover instalation problem




On 04/25/2015 08:14 PM, Allberson Dantas wrote:
> But every time I want to prove something using it, the vc's proof reach
> timeout.
> 
> How to solve it?

Do not use Simplify anymore ?

- Claude

-- 
Claude March?                          | tel: +33 1 69 15 66 08
INRIA Saclay - ?le-de-France           |
Universit? Paris-sud, Bat. 650         | http://www.lri.fr/~marche/
F-91405 ORSAY Cedex                    |