--- layout: fc_discuss_archives title: Message 96 from Frama-C-discuss on June 2009 ---
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