--- layout: fc_discuss_archives title: Message 2 from Frama-C-discuss on September 2020 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C on macOS (Big Sur beta)



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