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