--- layout: fc_discuss_archives title: Message 12 from Frama-C-discuss on October 2015 ---
On Wed, Sep 30, 2015 at 11:06:10PM +0200, Kurt Roeckx wrote: > On Wed, Sep 30, 2015 at 12:11:26PM +0200, Boris Yakobowski wrote: > > Hello again, > > Thanks for taking the time to look at this. I can see that your > suggestion has some kind of effect, but it's not yet solving my > problem. I'll try to make a reduced case that still has my > effect. I've been adding more and more code but still don't see > it. So after spending some more time with it, I can prove most things (in a somewhat reduced version), but I still seem to have a small problem that I can't figure out. I tried just substracting a small part of it, but then it has no problem proving it. I've attached my current test program. Can someone take a look at what I'm missing? Kurt -------------- next part -------------- A non-text attachment was scrubbed... Name: test.c Type: text/x-csrc Size: 5190 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20151004/d46267cc/attachment.c>