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

[Frama-c-discuss] Journal File



Hi,

On 06/04/2015 02:39 PM, Gaurav Tripathi wrote:
> How do I open Journal file ?

With your favorite text editor:
$ emacs journal_name.ml

In case you want to execute it with Frama-C, you could run:
$ frama-c -load-script journal_name.ml

> What are the contents in it ?

It is an OCaml file which is a valid Frama-C script. It replays the very 
same results as the ones computed in the original Frama-C session.

Please read the User Manual, Section 8.3 for additional details.

--
Julien