From 322f8d3041f86e5b7360ac186c028dc8a69a3102 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr> Date: Tue, 3 Sep 2019 16:19:13 +0200 Subject: [PATCH] [Eva] Registers the octagons domain in the engine. --- src/plugins/value/engine/abstractions.ml | 1 + src/plugins/value/engine/abstractions.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/src/plugins/value/engine/abstractions.ml b/src/plugins/value/engine/abstractions.ml index 5781d60bf76..3af8944a3a2 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 4c2909dbb75..fe9179641e5 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 -- GitLab