--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on July 2010 ---
Hi, gWhy contains an option "Live update" in menu "Proof" and an option "Cache enabled" in menu "Configuration". What is the function of these? At least, these options don't seem to enable incremental proving as in Spec#. It would be very convenient if gWhy watched the source file and ran the prover just for the lines that were changed in the source. -- Regards, Boris