Module Metrics_parameters

module Metrics_parameters: sig .. end
Activate metrics

module Metrics: Plugin.Register(sig
val name : string
val shortname : string
val help : string
end)
module Enabled: Metrics.WithOutput(sig
val option_name : string
val help : string
val output_by_default : bool
end)
Activate metrics
module ByFunction: Metrics.WithOutput(sig
val option_name : string
val help : string
val output_by_default : bool
end)
Activate metrics by function
module OutputFile: Metrics.EmptyString(sig
val option_name : string
val arg_name : string
val help : string
end)
Pretty print metrics to the given file.
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.
module AstType: Metrics.String(sig
val option_name : string
val arg_name : string
val help : string
val default : string
end)
Set the ASTs on which the metrics should be computetd
module SyntacticallyReachable: Metrics.StringSet(sig
val option_name : string
val arg_name : string
val help : string
end)
List of functions for which we compute the functions they may call