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.