class coverageAuxVisitor : object .. end
object
end
Visitor.frama_c_inplace
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