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

[Frama-c-discuss] Frama-C 18 (Argon) - beta



Hello,

thanks a lot for providing a pre-release of Frama-C 18.
Regarding WP, which version of Why3 is recommended for WP?
With Frama-C 17, WP only worked (at least in my case) with version 0.88.3 of Why3.
Does this still hold?

Regards

Jens