class coverageByFun : Project.t -> object .. end
Project.t ->
object
end
Visitor.generic_frama_c_visitor
val mutable total : int
int
val mutable value : int
method vstmt : Cil_types.stmt -> Cil_types.stmt Cil.visitAction
Cil_types.stmt -> Cil_types.stmt Cil.visitAction
method result : int * int
int * int