Module Metrics_parameters

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