Class Metrics_coverage.coverageAuxVisitor

class coverageAuxVisitor : object .. end
Inherits
method private visit_function : Cil_types.varinfo -> unit
method private visit_non_function_var : Cil_types.varinfo -> Cil_types.init option