--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on January 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Evaluation of an expression?



2012/1/9 Pascal Cuoq <pascal.cuoq at gmail.com>:
> If you want to see what is propagated through a specific point chosen
> in advance of the analysis, insert Frama_C_dump_each(); at that point,
> or, in your case, since you know what you want to observe,
> Frama_C_show_each_x_y(x,y);
> The two arguments are allowed specifically so that you can see
> the values of x in relation to the values of y.

OK, thank you for the tip!

Best regards,
d.