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/MessageCategory/index.html
Module MessageCategory
val equal_array_oob : array_oob -> array_oob -> Ppx_deriving_runtime.bool
val equal_undefined_behavior :
undefined_behavior ->
undefined_behavior ->
Ppx_deriving_runtime.bool
val equal_behavior : behavior -> behavior -> Ppx_deriving_runtime.bool
val equal_integer : integer -> integer -> Ppx_deriving_runtime.bool
val equal_cast : cast -> cast -> Ppx_deriving_runtime.bool
val equal_category : category -> category -> Ppx_deriving_runtime.bool
type t = category
val equal : t -> t -> Ppx_deriving_runtime.bool
module Behavior : sig ... end
module Integer : sig ... end
module Cast : sig ... end
val should_warn : category -> bool
val path_show : category -> string list
val show : category -> string
val behaviorName : behavior -> string
val categoryName : category -> string
val from_string_list : string list -> category
val to_yojson : category -> [> `List of [> `String of string ] list ]
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>