On Thu, Jun 18, 2020 at 9:01 AM Jerry James <loganjerry@xxxxxxxxx> 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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx 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@xxxxxxxxxxxxxxxxxxxxxxx
