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

[Frama-c-discuss] Jessie-Plugin inconsistence between batch- and GUI-mode



Hello,

On Mon, May 18, 2009 at 16:57, Kerstin Hartig
<kerstin.hartig at first.fraunhofer.de> wrote:
> frama-c -jessie-analysis -jessie-atp alt-ergo file.c
[...]
> If I try to run it in gui-mode:
> frama-c -jessie-analysis -jessie-gui file.c

You don't use option "-jessie-atp alt-ergo" as for the non-GUI case?

> the results of alt-ergo in the GWhy-Interface are not consistent with the
> batch-mode results, actually there are no results. Clicking on the prover
> just makes it run fast through the PO's, but no results. (I could post a
> screenshot of this if required)

Sorry, it is not clear to me what issue you might have. A screenshot might help.

Can you provide file.c or a test case to reproduce the issue?

Yours,
david