Module `Goblint_lib.MessageCategory`

type array_oob =

| PastEnd
| BeforeStart
| Unknown

val equal_array_oob : array_oob -> array_oob -> Ppx_deriving_runtime.bool

val compare_array_oob : array_oob -> array_oob -> Ppx_deriving_runtime.int

val hash_array_oob : array_oob -> int

type undefined_behavior =

| ArrayOutOfBounds of array_oob
| NullPointerDereference
| UseAfterFree
| Uninitialized

val equal_undefined_behavior : 
  undefined_behavior ->
  undefined_behavior ->
  Ppx_deriving_runtime.bool

val compare_undefined_behavior : 
  undefined_behavior ->
  undefined_behavior ->
  Ppx_deriving_runtime.int

val hash_undefined_behavior : undefined_behavior -> int

type behavior =

| Undefined of undefined_behavior
| Implementation
| Machine

val equal_behavior : behavior -> behavior -> Ppx_deriving_runtime.bool

val compare_behavior : behavior -> behavior -> Ppx_deriving_runtime.int

val hash_behavior : behavior -> int

type integer =

| Overflow
| DivByZero

val equal_integer : integer -> integer -> Ppx_deriving_runtime.bool

val compare_integer : integer -> integer -> Ppx_deriving_runtime.int

val hash_integer : integer -> int

type cast =

| TypeMismatch

val equal_cast : cast -> cast -> Ppx_deriving_runtime.bool

val compare_cast : cast -> cast -> Ppx_deriving_runtime.int

val hash_cast : cast -> int

type category =

| Assert
| Behavior of behavior
| Call
| Integer of integer
| Float
| Race
| Deadlock
| Cast of cast
| Deadcode
| Unknown
| Analyzer
| Unsound
| Imprecise
| Witness
| Program

val equal_category : category -> category -> Ppx_deriving_runtime.bool

val compare_category : category -> category -> Ppx_deriving_runtime.int

val hash_category : category -> int

type t = category

val equal : t -> t -> Ppx_deriving_runtime.bool

val compare : t -> t -> Ppx_deriving_runtime.int

val hash : t -> int

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 ]

val of_yojson : 
  [> `List of Yojson__Safe.t list ] ->
  (category, string) Batteries.Result.t

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint.lib/Goblint_lib/MessageCategory/index.html

Module `Goblint_lib.MessageCategory`

package goblint

Install

Dune Dependency

Authors

Maintainers

Sources

doc/goblint.lib/Goblint_lib/MessageCategory/index.html

Module Goblint_lib.MessageCategory

Module `Goblint_lib.MessageCategory`