From 579ea666ea6d4fa6d2aefbe8aa0838d3c1fcaa17 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 16 Sep 2019 15:06:55 +0200
Subject: [PATCH] [Eva] Registration of the traces domain.
---
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 d9be7442f74..5781d60bf76 100644
--- a/src/plugins/value/engine/abstractions.ml
+++ b/src/plugins/value/engine/abstractions.ml
@@ -99,6 +99,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 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)
let symbolic_locations =
make 7 "symbolic_locations" SymbolicLocsDomain.get (module Symbolic_locs.D)
diff --git a/src/plugins/value/engine/abstractions.mli b/src/plugins/value/engine/abstractions.mli
index dce550f64bf..4c2909dbb75 100644
--- a/src/plugins/value/engine/abstractions.mli
+++ b/src/plugins/value/engine/abstractions.mli
@@ -135,6 +135,7 @@ module Config : sig
val bitwise: flag
val inout: flag
val sign: flag
+ val traces: flag
val printer: flag
val default: t (** The default configuration of Eva. *)
--
GitLab