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

[Frama-c-discuss] Opening GUI on a specific file and function?



Hello,

For a demonstration involving Frama-C, I would like to open the Frama-C 
GUI (frama-c-gui) on a specific function of a specific file, i.e. the 
same result as selecting the file in the upper left panel and then the 
wanted function in the sub-menu.

Is it possible to do that directly from the command line?

I know about the -load option that allows me to load a given state of 
Frama-C with proofs, files and so on. The GUI remembers the positions of 
the panels. But I found no way to tell the GUI to open a given function 
of a given file.

Best regards,
david