--- layout: fc_discuss_archives title: Message 4 from Frama-C-discuss on September 2020 ---
Thanks Jens for this feedback ! We will try to investigate those problem on a dedicated Mac, then. Regarding the GUI crash, do you have any additional info or idea ? Best regards, Loïc. > Le 13 sept. 2020 à 21:20, Gerlach, Jens <jens.gerlach at fokus.fraunhofer.de> a écrit : > > Hello Frama-C users on macOS, > > As I am using Frama-C most of the time on macOS I have tried to install it on the beta release > of the upcoming macOS version âBig Surâ (a.k.a 11.0). > After some failures, I am now able to install Frama-C using opam and homebrew. > The Frama-C GUI (for WP) crashes when selecting âAll Goals" but the command line version can > process âACSL by Exampleâ (https://github.com/fraunhoferfokus/acsl-by-example) without ptoblems > > Regarding provers, I could not yet install CVC4 because installation with homebrew fails. > For "ACSL by Exampleâ this is currently not an issue since all proof obligations are discharged by a combination > of alt-ergo, z3, and coq. > > Regards > > Jens > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > https://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss