--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on May 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Uncaught exception



On Fri, May 7, 2010 at 9:12 AM, Pascal Cuoq <pascal.cuoq at gmail.com> wrote:
>
> Either you did not pay attention to this warning, or you typed "frama-c t.c".

Thanks.  I didn't notice this warning.  I guess I would have expected
the tool to reject contracts that are in obvious conflict.