interval_abstract_value::output fix displaying upper limit when lower is -INF

jezhiggins · jezhiggins · commit e059490d2955 · 2021-06-15T08:59:58.000+01:00
diff --git a/src/analyses/variable-sensitivity/interval_abstract_value.cpp b/src/analyses/variable-sensitivity/interval_abstract_value.cpp
@@ -332,7 +332,7 @@ void interval_abstract_valuet::output(
     else
     {
       INVARIANT(
-        interval.get_lower().id() == ID_constant,
+        interval.get_upper().id() == ID_constant,
         "We only support constant limits");
       upper_string =
         id2string(to_constant_expr(interval.get_upper()).get_value());

Original file line number	Diff line number	Diff line change
`@@ -332,7 +332,7 @@ void interval_abstract_valuet::output(`
`332`	`332`	`else`
`333`	`333`	`{`
`334`	`334`	`INVARIANT(`
`335`		`- interval.get_lower().id() == ID_constant,`
	`335`	`+ interval.get_upper().id() == ID_constant,`
`336`	`336`	`"We only support constant limits");`
`337`	`337`	`upper_string =`
`338`	`338`	`id2string(to_constant_expr(interval.get_upper()).get_value());`