Module Metrics_parameters

module Metrics_parameters: sig .. end

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 
module UsedFiles: Parameter_sig.Bool