TerminationPreprocessing.loopCounterVisitor
inherit GoblintCil.nopCilVisitor
val mutable vcounter : int Stdlib.ref
method vfunc : GoblintCil.fundec -> GoblintCil.fundec GoblintCil.visitAction
method vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitAction