--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on August 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] trouble debugging assertions



Le 2015-08-18 19:31, Tim Newsham a écrit :
> I'm not sure I understand.  I already have the slevel set to 300 and
> my input buffer is at most 105 bytes long and the values of
> paysz are [0..69].  Is 300 insufficient for this analysis?
>

A priori yes. So the issue might be elsewhere.

Best regards,
david