Module Goblint_lib.ApronAnalysis

Relational integer value analysis using Apron domains (apron).

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