---
layout: fc_discuss_archives
title: Message 1 from Frama-C-discuss on December 2009
---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Frama-c-discuss] Why/Jessie plugin version 2.22 is out
- Subject: [Frama-c-discuss] Why/Jessie plugin version 2.22 is out
- From: Boris.Hollas at de.bosch.com (Hollas Boris (CR/AEY1))
- Date: Tue, 1 Dec 2009 13:32:08 +0100
- In-reply-to: <4B13D286.5000605@inria.fr>
- References: <4B13D286.5000605@inria.fr>
I just installed why 2.22 and Frama-C Beryllium 2 for Windows. I have two problems:
- there's no why-config
- Invoking "frama-c -jessie" gives me
[kernel] user error: option `-jessie' is unknown.
Jessie is in Why/bin and in the path.