--- layout: fc_discuss_archives title: Message 39 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/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