Skip to content
Snippets Groups Projects
Commit 7b06fe36 authored by Maxime Jacquemin's avatar Maxime Jacquemin Committed by David Bühler
Browse files

[Eva] Adding context to the Apron domain

parent b53c47d8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/eva/domains/apron/apron_domain.ml
+ 1
− 0
View file @ 7b06fe36
...@@ -428,6 +428,7 @@ module Make (Man : Input) = struct ...@@ -428,6 +428,7 @@ module Make (Man : Input) = struct
let s = Abstract1.meet man s1 s2 in let s = Abstract1.meet man s1 s2 in
if Abstract1.is_bottom man s then `Bottom else `Value s if Abstract1.is_bottom man s then `Bottom else `Value s
include Domain_builder.No_context
include Domain_builder.Complete include Domain_builder.Complete
(struct (struct
include D include D
......
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