--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on May 2009 ---
>Did you use the binary distribution or compile Frama-C yourself? >I remember putting the then-current distribution of alt-ergo in >the MacOS X binary distribution so that you'd have at least one automatic >prover to experiment with. >I can confirm that this behavior exists, and I even had located >the line in the sources of Why where something strange was >happening, but I didn't have time to investigate more and have >forgotten the details now. I used the source distribution and compiled it myself. The strange thing is that I even saw it working today on another Mac with different provers (not only alt-ergo). Thanks a lot for your advice, Regards, Kerstin