module Metrics_parameters: sig
.. end
Activate metrics
include Plugin.S
module Enabled: Parameter_sig.With_output
Activate metrics
module ByFunction: Parameter_sig.Bool
Activate metrics by function
module ValueCoverage: Parameter_sig.With_output
Give an estimation about value analysis code penetration.
module AstType: Parameter_sig.String
Set the ASTs on which the metrics should be computed
module OutputFile: Parameter_sig.String
Pretty print metrics to the given file.
module SyntacticallyReachable: Parameter_sig.Kernel_function_set
Set of functions for which we compute the functions they may call
module LocalsSize: Parameter_sig.Kernel_function_set
Compute and print the total size of local variables for all functions in
this set (option -metrics-locals-size)
module Libc: Parameter_sig.Bool