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