--- layout: fc_discuss_archives title: Message 24 from Frama-C-discuss on September 2015 ---
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. Kurt