Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] provers freeze

  • Subject: [Frama-c-discuss] provers freeze
  • From: Christoph.Weber at first.fraunhofer.de (Christoph Weber)
  • Date: Thu Nov 6 08:14:45 2008
  • In-reply-to: <491192EE.5010008@inria.fr>
  • References: <769DEF79D24B4CD8A9177EDC35EE38BC@AHARDPLACE> <491192EE.5010008@inria.fr>
Hello,

as described, sometimes the provers won't terminate. If this happens the 
timeout does not kick in. The phenomenon appeared on Windows OS, with 
Hydrogen and Lithium.

The why-config causes:
$ why-config
starting autodetection...
Found prover Alt-Ergo version 0.8
Found prover Simplify version 1.5.4
Found prover Z3 version 1.3
Found prover Yices version 1.0.15
Found prover CVC3 version 1.5
Der Befehl "coqc" ist entweder falsch geschrieben oder
konnte nicht gefunden werden.
command coqc failed
Der Befehl "coqc" ist entweder falsch geschrieben oder
konnte nicht gefunden werden.
command coqc failed
detection of prover Coq failed
detection done.
writing rc file...

If that happens I have to terminate the processes in the Task-manager 
manually. They wont be terminated with the closing of the jessie-gui.

Cheers

Christoph

----- Original Message ----- 
From: "Claude March?" <Claude.Marche@inria.fr>
To: "Christoph Weber" <Christoph.Weber@first.fraunhofer.de>
Sent: Wednesday, November 05, 2008 1:34 PM
Subject: Re: [Frama-c-discuss] YASE, back to the roots


>
> Dear Christoph Weber,
>
> Christoph Weber wrote:
>> -Z3, CVC3, and Yices get stuck and wont abort, the timeout never worked 
>> on any release yet (on my pc)
>
> Could you give more details ? what is the result of "why-config" ?
> Which OS are you using ?
>
> -- 
> Claude March?                          | tel: +33 1 72 92 59 69
> INRIA Saclay - ?le-de-France           | mobile: +33 6 33 14 57 93
> Parc Orsay Universit?                  | fax: +33 1 74 85 42 29
> 4, rue Jacques Monod - B?timent N      | http://www.lri.fr/~marche/
> F-91893 ORSAY Cedex                    |
>
>
>
>
>
>