--- layout: fc_discuss_archives title: Message 39 from Frama-C-discuss on March 2011 ---
Hello Pascal, 2011/3/15 Pascal Cuoq <pascal.cuoq at gmail.com>: > This said, note that your version does > not claim it gives you the values of bar after the statement. It says > it gives you the value "at next statement" (which should in some cases > be "at next statements"). Would it be possible for Frama-C to give the set of next statements in the original code (line and character numbers for example) next to the "at next statement" sentence? Best regards, david