Css_html | |
Metrics |
Metrics plugin.
|
Metrics_acsl |
Visitor to compute various metrics about annotations
|
Metrics_base |
Tag functions handling html tags for Format
|
Metrics_cabs |
Metrics computing on Cabs
|
Metrics_cilast |
In the definitions below, setting argument
libc to true will
include functions/variables from the C stdlib in the metrics.
|
Metrics_coverage |
In the definitions below, setting argument
libc to true will
include functions/variables from the C stdlib in the metrics.
|
Metrics_gui |
GUI utilities for Metrics
|
Metrics_parameters |
Activate metrics
|
Register | |
Register_gui |
This module defines abstraction for Metrics use
|