package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val computeFileCFG : Cil.file -> unit
val clearFileCFG : Cil.file -> unit
val cfgFun : Cil.fundec -> int
val clearCFGinfo : Cil.fundec -> unit
val printCfgChannel : out_channel -> Cil.fundec -> unit
val printCfgFilename : string -> Cil.fundec -> unit
val start_id : int ref
val allStmts : Cil.file -> Cil.stmt list