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

[Frama-c-discuss] Beryllium beta1 / untyped_metrics plugin example



Hello Julien,

Julien Signoles <Julien.Signoles at cea.fr> writes:

> Yes, I have. Please could you report this bug on the bts

http://bts.frama-c.com/

> (as explained by the error message)?

The error message could give the above URL.

Yours,
d.
-- 
GPG/PGP key: A3AD7A2A David MENTRE <dmentre at linux-france.org>
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A