--- layout: fc_discuss_archives title: Message 96 from Frama-C-discuss on June 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Beryllium "complete behaviors"



Hi,

thanks for releasing Beryllium beta!
I have to admit that I have not installed it yet (mainly because  
macports.org only provides version 2.10.1_0
of lablgtk, whereas beryllium requires a version >= 2.12.2).

On behalf of a client I would like to know whether Jessie can now  
handle complete and disjoint behaviors,
e.g. by giving some kind of diagnostics.

Regards

Jens Gerlach