Module Goblint_lib.AffineEqualityAnalysis

Relational integer value analysis using an OCaml implementation of the affine equalities domain (affeq).

include module type of struct include RelationAnalysis end

Contains most of the implementation of the original apronDomain, but now solely operates with functions provided by relationDomain.

module M = Messages
module SpecFunctor = RelationAnalysis.SpecFunctor
val get_domain : (module RelationDomain.RD) Stdlib.Lazy.t
val spec_module : (module Analyses.MCPSpec) Stdlib.Lazy.t
val get_spec : unit -> (module Analyses.MCPSpec)
val after_config : unit -> unit