class coverageAuxVisitor : Project.t -> object .. end
Project.t ->
object
end
Visitor.generic_frama_c_visitor
method private visit_function : Cil_types.varinfo -> unit
Cil_types.varinfo -> unit
method private visit_non_function_var : Cil_types.varinfo -> Cil_types.init option
Cil_types.varinfo -> Cil_types.init option