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