package goblint-cil

  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = {
  1. mutable fd_enabled : bool;
  2. fd_name : string;
  3. fd_description : string;
  4. fd_extraopt : (string * Arg.spec * string) list;
  5. fd_doit : Cil.file -> unit;
  6. fd_post_check : bool;
}
val register : t -> unit
val list_registered : unit -> t list
val registered : string -> bool
val find : string -> t
val enable : string -> unit
val enabled : string -> bool
val init : unit -> unit
val loadWithDeps : string -> unit
val loadFromArgv : string -> unit
val loadFromEnv : string -> string list -> unit