--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on February 2013 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Strange results




Le 08/02/2013 12:07, Boris Yakobowski a ?crit :
> Can you re-run the analysis with the following instrumentation ?
>
> and report your results ?

Ok. I'll try that.
Thanks,
-- 
Anne.