--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on February 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] [frama-c-discuss] Is it possible to run jessie without gui?



Hello everyone!

The question is in the title.
Is there any way to run jessie (so that a .mlw file is created with
why3) without displaying the gui? i.e. just create the .mlw file with
the .locs etc.

Thanks in advance!

-- 
Maria Christofi