--- layout: fc_discuss_archives title: Message 97 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 David,

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

The error message was the following.

$ frama-c -count-for tmp1.c
[kernel] error: unexpected error Not_found
[kernel] error: please report as `crash' at http://bts.frama-c.com

So I expected that this was clear enough, wasn't it?
By the way, this bug is fixed now (http://bts.frama-c.com/view.php?id=163).

br,
Julien Signoles