--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on May 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Issue understanding Value analysis approximation on loop bounds



Hello Pascal,

I just noticed that the default value for the -slevel option is 0
where I always though it was 1. Could you explain what
this default value means in term of time and precision
compared to 1 or other values ?

Thank you,
Anne.