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