Module Goblint_lib.YamlWitness

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
val loc_of_location : YamlWitnessType.Location.t -> GoblintCil.Cil.location
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