---
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
- Subject: [Frama-c-discuss] Simplify prover instalation problem
- From: Claude.Marche at inria.fr (Claude Marche)
- Date: Fri, 01 May 2015 09:35:12 +0200
- In-reply-to: <CADH2bc8Y2PcO7YE3grJ+Bi6GegRzD4myePYj_-8uqOr5avFY-g@mail.gmail.com>
- References: <CADH2bc8Y2PcO7YE3grJ+Bi6GegRzD4myePYj_-8uqOr5avFY-g@mail.gmail.com>
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 |