--- 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



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.