diff --git a/src/plugins/value/engine/abstractions.ml b/src/plugins/value/engine/abstractions.ml index 5781d60bf7672faf0129790ab98f89cde419dd68..3af8944a3a2e42d667759e238f70be12f2757b89 100644 --- a/src/plugins/value/engine/abstractions.ml +++ b/src/plugins/value/engine/abstractions.ml @@ -98,6 +98,7 @@ module Config = struct let cvalue = make 9 "cvalue" CvalueDomain.get (module Cvalue_domain.State) let gauges = make 6 "gauges" GaugesDomain.get (module Gauges_domain.D) + let octagons = make 6 "octagons" OctagonsDomain.get (module Octagons) let inout = make 5 "inout" InoutDomain.get (module Inout_domain.D) let traces = make 2 "traces" TracesDomain.get (module Traces_domain.D) let printer = make 2 "printer" PrinterDomain.get (module Printer_domain) diff --git a/src/plugins/value/engine/abstractions.mli b/src/plugins/value/engine/abstractions.mli index 4c2909dbb757e52966e0dab66ec42e86473b87b2..fe9179641e5d5e39cf873237b5d93be6f9d88d99 100644 --- a/src/plugins/value/engine/abstractions.mli +++ b/src/plugins/value/engine/abstractions.mli @@ -132,6 +132,7 @@ module Config : sig val equality: flag val symbolic_locations: flag val gauges: flag + val octagons: flag val bitwise: flag val inout: flag val sign: flag