frama-c-metrics index

Library frama-c-metrics.core

The entry point of this library is the module: Metrics.

Library frama-c-metrics.gui

The entry point of this library is the module: Metrics_gui.