--- layout: fc_discuss_archives title: Message 27 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Journal File



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