--- layout: fc_discuss_archives title: Message 76 from Frama-C-discuss on March 2009 ---
Dear Boris, When Frama-C terminates abruptly with a message such as > Fatal error: exception Assert_failure("src/jessie/interp.ml", 564, 19) it is always a bug. You can report it in the bug tracking system. Please see http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-January/000331.html Pascal