package goblint
Class LoopUnrolling.checkNoBreakVisitor
inherit GoblintCil.nopCilVisitormethod vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitActionLoopUnrolling.checkNoBreakVisitorinherit GoblintCil.nopCilVisitormethod vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitAction