Module Metrics_parameters.ValueCoverage


module ValueCoverage: Metrics.WithOutput(sig
val option_name : string
val help : string
val output_by_default : bool
end)
Give an estimation about value analysis code penetration. Only works on CIL AST.