--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on November 2019 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Frama-C 20 beta



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>