--- layout: fc_discuss_archives title: Message 43 from Frama-C-discuss on May 2009 ---
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