Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

>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