--- layout: fc_discuss_archives title: Message 91 from Frama-C-discuss on June 2009 ---
Hello, > I have a problem with the "untyped_metrics" example: > > frama-c -count-for tmp1.c > [kernel] error: unexpected error Not_found > [kernel] error: please report as `crash' at http://bts.frama-c.com > > Do you have the same problem or I have something wrong in my procedure ? Yes, I have. Please could you report this bug on the bts (as explained by the error message)? Thanks, Julien