--- layout: fc_discuss_archives title: Message 33 from Frama-C-discuss on November 2010 ---
Hi, I was using the Frama GUI interface and I can find the interval of values of the variables and returns of the functions, but how can I output these values in the console? Thanks in advance, Davidson