package goblint

  1. Overview
  2. Docs
Static analysis framework for C

Install 

dune-project
 Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (9)

Authors

  1. V
    Vesal Vojdani
  2. K
    Kalmer Apinis
  3. R
    Ralf Vogler
  4. M
    Michael Schwarz
  5. J
    Julian Erhard
  6. S
    Simmo Saan

Maintainers

  1. M
    Michael Schwarz <michael.schwarz93@gmail.com>
  2. S
    Simmo Saan <simmo.saan@gmail.com>
  3. R
    Ralf Vogler <ralf.vogler@gmail.com>

Sources

goblint-1.1.1.tbz
sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141
sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

doc/goblint.lib/Pml_arinc/index.html

Module Pml_arinc

type return_code =
  1. | SUCCESS
  2. | ERROR
and partition_mode =
  1. | IDLE
  2. | COLD_START
  3. | WARM_START
  4. | NORMAL
and status =
  1. | NOTCREATED
  2. | STOPPED
  3. | SUSPENDED
  4. | WAITING
  5. | READY
  6. | DONE
and waiting_for =
  1. | NONE
  2. | BLACKBOARD
  3. | SEMA
  4. | EVENT
  5. | TIME
and queuing_discipline =
  1. | FIFO
  2. | PRIO
val show_return_code : return_code -> Ppx_deriving_runtime.string
val show_partition_mode : partition_mode -> Ppx_deriving_runtime.string
val show_status : status -> Ppx_deriving_runtime.string
val show_waiting_for : waiting_for -> Ppx_deriving_runtime.string
val show_queuing_discipline : queuing_discipline -> Ppx_deriving_runtime.string
val min_return_code : int
val max_return_code : int
val return_code_to_enum : return_code -> int
val return_code_of_enum : int -> return_code option
val min_partition_mode : int
val max_partition_mode : int
val partition_mode_to_enum : partition_mode -> int
val partition_mode_of_enum : int -> partition_mode option
val min_status : int
val max_status : int
val status_to_enum : status -> int
val status_of_enum : int -> status option
val min_waiting_for : int
val max_waiting_for : int
val waiting_for_to_enum : waiting_for -> int
val waiting_for_of_enum : int -> waiting_for option
val min_queuing_discipline : int
val max_queuing_discipline : int
val queuing_discipline_to_enum : queuing_discipline -> int
val queuing_discipline_of_enum : int -> queuing_discipline option
val extract_types : string list
val init : ?nproc:int -> ?nsema:int -> ?nevent:int -> ?nbboard:int -> unit -> unit * string