Module Metrics_parameters.ValueCoverage

module ValueCoverage: 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.