--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on November 2009 ---
Hi, There's something curious in this exemple. Depending the type of i, the range is not the same. The range of i in the loop is [0..10] (for int) or [0..15] for char or short. any idea ? St?phane void main(void) { char i=0; int j=0; while (i<10) i++; while (j<10) j++; } [value] ====== VALUES COMPUTED ====== [value] Values for function main: i ? {10; 11; 12; 13; 14; 15; } j ? {10; } -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20091106/ddd57e22/attachment.htm