package goblint
Static analysis framework for C
Install
Dune Dependency
Authors
Maintainers
Sources
goblint-1.1.1.tbz
sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141
sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d
doc/goblint.lib/Defaults/index.html
Module Defaults
Default values for GobConfig
-style configuration.
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.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>