--- layout: fc_discuss_archives title: Message 8 from Frama-C-discuss on February 2017 ---
Hello Jens, Le 2017-02-05 à 09:38, Gerlach, Jens a écrit : > Since our ACSL examples build on each other we run WP on the command line when we have changed something. > If our scripts indicate that something is not verified anymore, then we start the GUI. > As of now this means that we have to rerun the analysis just to display the results of a previous run. Have you tried the -save and -load options? Are there WP specific things that are missing from the loaded session? Best regards, david