--- layout: fc_discuss_archives title: Message 30 from Frama-C-discuss on June 2015 ---
Thanx Juliean. On Thu, Jun 4, 2015 at 6:24 PM, Julien Signoles <Julien.Signoles at cea.fr> wrote: > 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 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150604/58461a7f/attachment.html>