--- layout: fc_discuss_archives title: Message 45 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



>> 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?

I case I did not make that clear enough, it is already confirmed
that this is a MacOS X-specific issue. Don't waste time making a
screenshot, anyone should be able to reproduce it all too easily
if ey have access to a Mac OS X workstation.

Pascal