package goblint-cil

  1. Overview
  2. Docs
exception ParseError of string
exception CabsOnly
val args : (string * Stdlib.Arg.spec * string) list
val resetErrors : unit -> unit
val parse : string -> unit -> Cil.file
val parse_with_cabs : string -> unit -> Cabs.file * Cil.file
val parse_standalone_exp : string -> Cabs.expression
OCaml

Innovation. Community. Security.