| 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
|