package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

YAML witness generation and validation.

val uuid_random_state : Stdlib.Random.State.t
val sha256_file_cache : (string, string) BatCache.manual_cache
val sha256_file : string -> string
module Entry : sig ... end
val yaml_entries_to_file : Yaml.value list -> Fpath.t -> unit
val entry_type_enabled : string -> bool
val invariant_type_enabled : string -> bool
module Make (R : ResultQuery.SpecSysSol2) : sig ... end
val init : unit -> unit
module ValidationResult : sig ... end
val cnt_confirmed : int Stdlib.ref
val cnt_unconfirmed : int Stdlib.ref
val cnt_refuted : int Stdlib.ref
val cnt_unchecked : int Stdlib.ref
val cnt_unsupported : int Stdlib.ref
val cnt_error : int Stdlib.ref
val cnt_disabled : int Stdlib.ref
module Validator (R : ResultQuery.SpecSysSol2) : sig ... end
OCaml

Innovation. Community. Security.