Up – Package index » goblint » Library goblint.lib » Goblint_lib » Control » AnalyzeCFG » CompareGlobSys

Module `AnalyzeCFG.CompareGlobSys`

module G : sig ... end

module PP : sig ... end

val compare_globals : G.t GHT.t -> G.t GHT.t -> unit

val compare_locals : Spec.D.t PP.t -> Spec.D.t PP.t -> unit

val compare_locals_ctx : Spec.D.t LHT.t -> Spec.D.t LHT.t -> unit

val compare : 
  (string * string) ->
  (Spec.D.t LHT.t * G.t GHT.t) ->
  (Spec.D.t LHT.t * G.t GHT.t) ->
  unit