Module Value_parameters.KeepOnlyLastRun


module KeepOnlyLastRun: False(sig
val option_name : string
val descr : string
end)
Keep only last run of value analysis. This is a debugging option.