---
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
- Subject: [Frama-c-discuss] Frama-C 18 (Argon) - beta
- From: jens.gerlach at fokus.fraunhofer.de (Gerlach, Jens)
- Date: Fri, 2 Nov 2018 07:12:35 +0000
- In-reply-to: <mailman.5.1541070012.13365.frama-c-discuss@lists.gforge.inria.fr>
- References: <mailman.5.1541070012.13365.frama-c-discuss@lists.gforge.inria.fr>
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