Up – Package index » goblint » Library goblint.lib » Termination » loopCounterVisitor

Class `Termination.loopCounterVisitor`

inherit Prelude.Ana.nopCilVisitor

method vstmt : Prelude.Ana.stmt -> Prelude.Ana.stmt Prelude.Ana.visitAction