[Eva] Registration of the traces domain.

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)

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. *)