--- layout: fc_discuss_archives title: Message 73 from Frama-C-discuss on November 2013 ---
I'm not sure I followed the discussion. Finally, is the default mode "strict" convenient or not? - Claude On 11/07/2013 11:05 PM, John Regehr wrote: > Pascal, I agree that your solution is the correct one, not only from the > point of view of making the solver's work easier, but also because some > unknown fraction of unsigned wraparounds in C code are buggy -- so we > should make no-overflow be the default behavior. Wraparound hides bugs. > > John > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss