--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on May 2010 ---
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.