On Thu, Jun 18, 2020 at 9:01 AM Jerry James <loganjerry(a)gmail.com> wrote:
I see this in the log:
[wp] User Error: Prover 'alt-ergo' not found in why3.conf
which is a lie. Prover alt-ergo is most definitely listed in
why3.conf. I'll debug this. Stand by.
Run "why3 config --full-config", then start frama-c again. For the
long version of the story, read
https://git.frama-c.com/pub/frama-c/-/issues/12
--
Jerry James
http://www.jamezone.org/