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

[Frama-c-discuss] How to re-run command-line analyses?



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