YamlWitness (p.goblint.2.0.0.doc.goblint.lib.Goblint

val uuid_random_state : 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

module Query
  (Spec : Analyses.Spec)
  (EQSys : 
    Analyses.GlobConstrSys
      with module LVar = Analyses.VarF(Spec.C)
       and module GVar = Analyses.GVarF(Spec.V)
       and module D = Spec.D
       and module G = Analyses.GVarG(Spec.G)(Spec.C))
  (GHT : BatHashtbl.S with type key = EQSys.GVar.t) : 
  sig ... end

module Make
  (File : WitnessUtil.File)
  (Cfg : MyCFG.CfgBidir)
  (Spec : Analyses.Spec)
  (EQSys : 
    Analyses.GlobConstrSys
      with module LVar = Analyses.VarF(Spec.C)
       and module GVar = Analyses.GVarF(Spec.V)
       and module D = Spec.D
       and module G = Analyses.GVarG(Spec.G)(Spec.C))
  (LHT : BatHashtbl.S with type key = EQSys.LVar.t)
  (GHT : BatHashtbl.S with type key = EQSys.GVar.t) : 
  sig ... end

module ValidationResult : sig ... end

module Validator
  (Spec : Analyses.Spec)
  (EQSys : 
    Analyses.GlobConstrSys
      with module LVar = Analyses.VarF(Spec.C)
       and module GVar = Analyses.GVarF(Spec.V)
       and module D = Spec.D
       and module G = Analyses.GVarG(Spec.G)(Spec.C))
  (LHT : BatHashtbl.S with type key = EQSys.LVar.t)
  (GHT : BatHashtbl.S with type key = EQSys.GVar.t) : 
  sig ... end