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