package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
val prefix : string
val with_timeout : string list
val wout_timeout : string list
val others : string list
val arinc_special : string list
val special : string list
val ret_success : ArincUtil.return_code list
val ret_error : ArincUtil.return_code list
val ret_any : ArincUtil.return_code list
val ret_no_timeout : ArincUtil.return_code list
val vd : ArincUtil.return_code list -> [> `Int of ValueDomain.ID.t ]
val effects : string -> Prelude.Ana.exp list -> (Prelude.Ana.lval * [> `Int of ValueDomain.ID.t ]) list option
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