--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on March 2011 ---
Hello Pascal, 2011/3/16 Pascal Cuoq <pascal.cuoq at gmail.com>: >> 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? > > I should have spelt it out more clearly. The last version does not > say "at next statement" any more*. It says "after statement", and shows > the state with the effects of the selected statement taken into account. Good news! Yours, d.