Frama-C cannot use Alt-Ergo 2.5.x by default with Why3 1.7.0
Installing Frama-C on Ubuntu 22.04 with opam consistently fails on several machines, including mine and all of my student's using Ubuntu 22.04.
A solution is to downgrade from fraam-28.0 to framac-26.0.
Current patch for installing on Ubuntu 22.04:
- follow the instructions at https://frama-c.com/html/get-frama-c.html
- opam remove --force frama-c
- opam install frama-c.26.0
- why3 config detect