Up – Package index » goblint index » Library goblint.common » MessageCategory » Behavior

Module `MessageCategory.Behavior`

goblint index
- CHANGELOG
- README
- Library goblint.common
- Library goblint.backtrace
  - Goblint_backtrace
- Library goblint.build-info
- Library goblint.common
- Library goblint.lib
  - Goblint_lib
- Library goblint.sites
  - Goblint_sites
- Library goblint.std
  - Goblint_std
- Library goblint.timing
  - Goblint_timing
- Library goblint_build_info_dune
- Library goblint_build_info_js
- Library goblint_sites_dune
  - Goblint_sites
- Library goblint_sites_js
  - Goblint_sites
- Sources

type t = behavior

val create : t -> category

val undefined : undefined_behavior -> category

val implementation : category

val machine : category

module Undefined : sig ... end

val from_string_list : string list -> category

val path_show : t -> string list