Frama-C:
Plug-ins:
Libraries:

Frama-C API - Metrics

Metrics plugin.

module Metrics_coverage : sig ... end

See Metrics_coverage.

module Metrics_base : sig ... end

See Metrics_base.

module Metrics_cilast : sig ... end

See Metrics_cilast.