On Thu, Jun 18, 2020 at 03:15:13PM -0600, Jerry James wrote: > 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. That works, thanks! > For the > long version of the story, read > https://git.frama-c.com/pub/frama-c/-/issues/12 Subscribed. Thanks for the detective work! Rich. -- Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones Read my programming and virtualization blog: http://rwmj.wordpress.com virt-p2v converts physical machines to virtual machines. Boot with a live CD or over the network (PXE) and turn machines into KVM guests. http://libguestfs.org/virt-v2v _______________________________________________ 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
