--- layout: fc_discuss_archives title: Message 2 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,

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 ?

Regards

Jens