module Metrics_parameters: sig
.. end
Activate metrics
module Metrics: Plugin.Register
(
sig
end
)
val plugin_name : string
module Enabled: Metrics.WithOutput
(
sig
end
)
Activate metrics
module ByFunction: Metrics.False
(
sig
end
)
Activate metrics by function
module OutputFile: Metrics.EmptyString
(
sig
end
)
Pretty print metrics to the given file.
module ValueCoverage: Metrics.WithOutput
(
sig
end
)
Give an estimation about value analysis code penetration.
module AST_type: Metrics.String
(
sig
end
)
Set the ASTs on which the metrics should be computetd
module SyntacticallyReachable: Metrics.StringSet
(
sig
end
)
List of functions for which we compute the functions they may call