Module Metrics_parameters.ValueCoverage

module ValueCoverage: Parameter_sig.With_output 
Give an estimation about value analysis code penetration. Only works on CIL AST.

include Parameter_sig.Bool
val set_output_dependencies : State.t list -> unit
Set the dependencies for the output of the option. Two successive calls to output below will cause only one output, unless some of the supplied dependencies have changed between the two calls.
val output : (unit -> unit) -> unit
To be used by the plugin to output the results of the option in a controlled way. See set_output_dependencies details.