--- layout: fc_discuss_archives title: Message 25 from Frama-C-discuss on February 2014 ---
Hello, Le 11/02/2014 19:52, Wolfram Kahl a ?crit : > Therefore, my normal course of action is to just Exit > the current Frama-C-GUI, and restart it from the command-line. This is what I'm doing daily. > I there a better way? If your analysis takes a lot of time, you can use -save and -load options of Frama-C to save the result of the analysis and then launch quickly the GUI on the saved result, several times if needed. Best regards, david