--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on July 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] frama-c install help



>I can't edit when I open frama-c,

It is normal. The GUI of frama-c is not an editor.
It only displays the C code you load (either through the command line
or through the GUI).
It also gives a clickable interface to the various analyses provided
by the plug-ins.
I suggest you start by reading the user manual at
http://frama-c.com/download/user-manual-Boron-20100401.pdf

Cheers,

-- 
Richard Bonichon