--- layout: fc_discuss_archives title: Message 7 from Frama-C-discuss on January 2012 ---
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.