package goblint
Class LoopUnrolling.patchLabelsGotosVisitor
inherit GoblintCil.nopCilVisitormethod vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitActionLoopUnrolling.patchLabelsGotosVisitorinherit GoblintCil.nopCilVisitormethod vstmt : GoblintCil.stmt -> GoblintCil.stmt GoblintCil.visitAction