--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on November 2019 ---
Hello Jens, Le jeu. 7 nov. 2019 à 13:50, Gerlach, Jens <jens.gerlach at fokus.fraunhofer.de> a écrit : > Hello, > > thanks for releasing this beta. > You write that the native interfaces to alt-ergo and coq have been > _deprecated_. > We have already switched to 'why3:alt-ergo' but for the time being we > would like to use our Coq scripts in "wp0.script". > The corresponding '-wp-script' option, however, is now marked as > 'unknown'. > Is there a way to still use the native coq interface ? > > you now have to specify -wp-prover native:coq instead of -wp-prover coq Best regards, -- E tutto per oggi, a la prossima volta Virgile -------------- section suivante -------------- Une pièce jointe HTML a été nettoyée... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20191107/a90ab2f9/attachment.html>