--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on March 2009 ---
Hello, I have proven a lot of properties on a C program using gWhy ("frama-c -jessie-analysis -jessie-gui"). While most of properties are OK, I few ones need some work. I need to look in detail at each one of them, make appropriate modification in my code, re-compute assertions, etc. Is there any way to save the whole state of gWhy (assertions proven or not, texts display on the right frames), so as to reload it at a later time? Re-computing the whole set of properties takes a loooonnng time. :-) Once I've worked on an issue, I would like to work on the next one that I have seen in my previous "prove all" pass. I hope I'm clear. Sincerely yours, david