Skip to content
Snippets Groups Projects
Commit 322f8d30 authored by David Bühler's avatar David Bühler Committed by Andre Maroneze
Browse files

[Eva] Registers the octagons domain in the engine.

parent e6397cda
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/engine/abstractions.ml
+ 1
− 0
View file @ 322f8d30
...@@ -98,6 +98,7 @@ module Config = struct ...@@ -98,6 +98,7 @@ module Config = struct
let cvalue = make 9 "cvalue" CvalueDomain.get (module Cvalue_domain.State) let cvalue = make 9 "cvalue" CvalueDomain.get (module Cvalue_domain.State)
let gauges = make 6 "gauges" GaugesDomain.get (module Gauges_domain.D) 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 inout = make 5 "inout" InoutDomain.get (module Inout_domain.D)
let traces = make 2 "traces" TracesDomain.get (module Traces_domain.D) let traces = make 2 "traces" TracesDomain.get (module Traces_domain.D)
let printer = make 2 "printer" PrinterDomain.get (module Printer_domain) let printer = make 2 "printer" PrinterDomain.get (module Printer_domain)
......
src/plugins/value/engine/abstractions.mli
+ 1
− 0
View file @ 322f8d30
...@@ -132,6 +132,7 @@ module Config : sig ...@@ -132,6 +132,7 @@ module Config : sig
val equality: flag val equality: flag
val symbolic_locations: flag val symbolic_locations: flag
val gauges: flag val gauges: flag
val octagons: flag
val bitwise: flag val bitwise: flag
val inout: flag val inout: flag
val sign: flag val sign: flag
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment