--- layout: fc_discuss_archives title: Message 22 from Frama-C-discuss on March 2009 ---
Hello and thank you for the ongoing help, I would like to know, whether the information I get when I prove a function in cmd (without gui) can be increased. So far, there is only a statistic wether VC are proven. The gui is a lot more precise, I would like to get all the information of the gui mode in a text file as well. Is that possible or not yet implemented. Best regards Christoph -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20090304/b078b7e0/attachment.htm