Module Goblint_lib.LinearTwoVarEqualityAnalysis

Relational integer value analysis using an OCaml implementation of the linear two-variable equalities domain (lin2vareq).

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 spec_module : (module Analyses.MCPSpec) Stdlib.Lazy.t
val get_spec : unit -> (module Analyses.MCPSpec)
val after_config : unit -> unit