--- layout: fc_discuss_archives title: Message 34 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?



Hi David,

"-main" option should do it!

Best,
D.

-----Message d'origine-----
De?: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] De la part de David MENTRE
Envoy??: vendredi 25 avril 2014 17:29
??: Frama-C public discussion
Objet?: [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

_______________________________________________
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