package goblint-cil

  1. Overview
  2. Docs
val name : string
val debug : bool ref
type t = VS.t
val pretty : unit -> VS.t -> GoblintCil.Pretty.doc
val stmtStartData : VS.t IH.t
val funcExitData : VS.t
val combineStmtStartData : GoblintCil.stmt -> old:t -> t -> VS.t option
val combineSuccessors : VS.t -> VS.t -> VS.t
val doInstr : GoblintCil.instr -> 'a -> VS.t DF.action
val filterStmt : 'a -> 'b -> bool
OCaml

Innovation. Community. Security.