--- layout: fc_discuss_archives title: Message 28 from Frama-C-discuss on June 2015 ---
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