On Thu, Jun 18, 2020 at 9:01 AM Jerry James <loganje...@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/
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
Fedora Code of Conduct: 
https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: 
https://lists.fedoraproject.org/archives/list/users@lists.fedoraproject.org

Reply via email to