package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type

Default values for GobConfig-style configuration.

type category =
  1. | Std
    (*

    Parsing input, includes, standard stuff, etc.

    *)
  2. | Analyses
    (*

    Analyses

    *)
  3. | Incremental
    (*

    Incremental features

    *)
  4. | Semantics
    (*

    Semantics

    *)
  5. | Transformations
    (*

    Transformations

    *)
  6. | Experimental
    (*

    Experimental features of analyses

    *)
  7. | Debugging
    (*

    Debugging, tracing, etc.

    *)
  8. | Warnings
    (*

    Filtering warnings

    *)

Main categories of configuration variables.

val min_category : int
val max_category : int
val category_to_enum : category -> int
val category_of_enum : int -> category option
val all_categories : category list
val catDescription : category -> string

Description strings for categories.

val registrar : (category * (string * (string * string))) Prelude.List.t Prelude.ref

A place to store registered variables

val reg : category -> string -> string -> string -> unit

A function to register a variable

val assoc_all : 'a -> ('a * 'b) Prelude.List.t -> 'b Prelude.List.t

find all associations in the list

val printCategory : 'a BatInnerIO.output -> category -> unit

Prints out all registered options with descriptions and defaults for one category.

val printAllCategories : 'a BatInnerIO.output -> unit

Prints out all registered options.

val default_schema : string
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct