--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on March 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] precision for expression evaluation in a condition



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.