CilCfg (p.goblint.2.6.0.doc.goblint.lib.Goblint

include module type of struct include CilCfg0 end

class allBBVisitor : object ... end

val end_basic_blocks : GoblintCil.file -> unit

class countLoopsVisitor : int ref -> object ... end

val loopCount : GoblintCil.file -> int

val createCFG : GoblintCil.file -> unit