Module Metrics_parameters

module Metrics_parameters: sig .. end
Activate metrics

include struct ... end
module Enabled: WithOutput(sig
val option_name : string
val help : string
val output_by_default : bool
end)
Activate metrics
module ByFunction: WithOutput(sig
val option_name : string
val help : string
val output_by_default : bool
end)
Activate metrics by function
module OutputFile: Empty_string(sig
val option_name : string
val arg_name : string
val help : string
end)
Pretty print metrics to the given file.
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.
module AstType: 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: Kernel_function_set(sig
val option_name : string
val arg_name : string
val help : string
end)
Set of functions for which we compute the functions they may call