--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on June 2015 ---
Hello Gaurav, Le 04/06/2015 14:39, Gaurav Tripathi a écrit : > How do I open Journal file ? > What are the contents in it ? Look at Frama-C User manual, it is written in it. I won't tell you the relevant section, you need to find it by yourself. Frama-C has a lot of documentation, with nice table of content and index. You'd rather read them (or at least skim through them) before asking questions. Best regards, david