module Metrics_coverage:sig
..end
libc
to true
will
include functions/variables from the C stdlib in the metrics.val compute_syntactic : libc:bool -> Kernel_function.t -> Cil_datatype.Varinfo.Set.t
val compute_semantic : libc:bool -> Cil_datatype.Varinfo.Set.t
type
coverage_metrics = {
|
syntactic : |
(* |
syntactically reachable functions
| *) |
|
semantic : |
(* |
semantically reachable functions
| *) |
|
initializers : |
(* |
initializers
| *) |
val percent_coverage : coverage_metrics -> float
val compute : libc:bool -> coverage_metrics
val compute_coverage_by_fun : unit -> unit
val get_coverage : Kernel_function.t -> int * int * float
Not_found
if it has
not been computed for the function.val is_computed_by_fun : unit -> bool
val clear_coverage_by_fun : unit -> unit
class syntactic_printer :libc:bool -> Cil_datatype.Varinfo.Set.t ->
object
..end
class semantic_printer :libc:bool -> coverage_metrics ->
object
..end