Module `Goblint_lib.VarEq`

Symbolic expression equalities analysis (var_eq).

module Addr = ValueDomain.Addr

module Offs = ValueDomain.Offs

module AD = ValueDomain.AD

module Exp = CilType.Exp

module LF = LibraryFunctions

module Spec : sig ... end