Class Metrics_coverage.coverageByFun

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