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

[Frama-c-discuss] Verifying recursive functions



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