package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module PmlResTbl : sig ... end

PmlResTbl module maps resources to unique ids used as prefix for edge labeling

module AdjacencyMatrix : sig ... end
module Action : sig ... end
module Writer : sig ... end
val tabulate : string -> string
val define : string -> string
val goto_str : string -> string
val escape : string list -> string list
val if_clause : string list -> string list
val run : ?arg:string -> string -> string
val string_of_node : Goblint_lib.PthreadDomain.Pred.Base.t -> string
val save_promela_model : unit -> unit