--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on April 2014 ---
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