--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on April 2009 ---
> Secondly, when I add the second invariant (the \sum one), Jessie fails > with the following error: > Fatal error: exception Assert_failure("src/jessie/interp.ml", 564, 19) > Is the syntax incorrect? Please read http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-March/000453.html http://lists.gforge.inria.fr/pipermail/frama-c-discuss/2009-March/000457.html Pascal