we need to consider lower and upper limits to support the OR operator

Lucas Cordeiro · Lucas Cordeiro · commit e375c415ac67 · 2016-07-08T11:09:38.000-03:00
Signed-off-by: Lucas Cordeiro &lt;lucas.cordeiro@cs.ox.ac.uk&gt;
diff --git a/src/analyses/interval_domain.cpp b/src/analyses/interval_domain.cpp
@@ -429,9 +429,9 @@ void interval_domaint::assume_rec(
   }
   else if(cond.id()==ID_or)
   {
-    if(!negation)
+    if(negation)
       forall_operands(it, cond)
-        assume_rec(*it, false);
+        assume_rec(*it, true);
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -429,9 +429,9 @@ void interval_domaint::assume_rec(`
`429`	`429`	`}`
`430`	`430`	`else if(cond.id()==ID_or)`
`431`	`431`	`{`
`432`		`- if(!negation)`
	`432`	`+ if(negation)`
`433`	`433`	`forall_operands(it, cond)`
`434`		`- assume_rec(*it, false);`
	`434`	`+ assume_rec(*it, true);`
`435`	`435`	`}`
`436`	`436`	`}`
`437`	`437`