From eaefbbd9b42e0e80c0701b5c20b7906e88fbb954 Mon Sep 17 00:00:00 2001 From: Gagandeep Singh Date: Mon, 23 May 2022 17:39:35 -0500 Subject: [PATCH] fixed a precision bug for handling non-linear assignment --- elina_linearize/elina_interval_arith.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/elina_linearize/elina_interval_arith.c b/elina_linearize/elina_interval_arith.c index a3c26fb2..fb641f50 100644 --- a/elina_linearize/elina_interval_arith.c +++ b/elina_linearize/elina_interval_arith.c @@ -375,7 +375,7 @@ void elina_interval_magnitude(elina_scalar_t *a, elina_interval_t *b) void elina_interval_range_rel(elina_scalar_t *a, elina_interval_t *b, elina_scalar_discr_t discr) { elina_scalar_reinit(a,discr); - elina_scalar_add(a,b->sup,b->inf,discr); + elina_scalar_sub(a,b->sup,b->inf,discr); if (!elina_scalar_infty(a)) { elina_scalar_t * tmp = elina_scalar_alloc(); elina_interval_magnitude(tmp,b);