--- layout: fc_discuss_archives title: Message 17 from Frama-C-discuss on July 2010 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] gWhy: Live update and Cache



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