---
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
- Subject: [Frama-c-discuss] trouble debugging assertions
- From: dmentre at linux-france.org (David MENTRÉ)
- Date: Tue, 18 Aug 2015 21:06:36 +0200
- In-reply-to: <CAGSRWbjSM2aCh_gXOgv-jZexYb5OcCJOu=QAGS2mLy1p+hHDXw@mail.gmail.com>
- References: <CAGSRWbiNW1JwsppB0D3=Cz5G-V95TrpetE5cC4XkMDNLBDyWVA@mail.gmail.com> <55D2D767.4040603@free.fr> <CAGSRWbhVJxPyUYwyLJEKkGLixcK4cj9wk-4N=JqNWXXD4QydPA@mail.gmail.com> <CAGSRWbgQUQ-SUztAQgy1hc_VZjmRpadtq6tModvUx=+MEJ0xOg@mail.gmail.com> <CAGSRWbibox8zFG9JD6ywzSDTCOxNjnbssDsqx0qADEOvYaGgxQ@mail.gmail.com> <55D2F945.5070709@linux-france.org> <CAGSRWbjSM2aCh_gXOgv-jZexYb5OcCJOu=QAGS2mLy1p+hHDXw@mail.gmail.com>
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