From fb552ba8b284a71a864b5cff2a3d8cc220a26dea Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 14 Feb 2022 11:20:59 -0500 Subject: [PATCH] update expected test --- src/tests/regression/reg_model_lra1.out.expected | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) diff --git a/src/tests/regression/reg_model_lra1.out.expected b/src/tests/regression/reg_model_lra1.out.expected index 13fd1fb2..7a2ad496 100644 --- a/src/tests/regression/reg_model_lra1.out.expected +++ b/src/tests/regression/reg_model_lra1.out.expected @@ -2,10 +2,8 @@ (true := true) (false := false) (a := 5/3) - (_sk_lra__le0 := 5) - ((to_real _sk_lra__le0) := 5) - ((= 5 (to_real _sk_lra__le0)) := true) - (((to_real _sk_lra__le0) >= 5) := true) - (((to_real _sk_lra__le0) <= 5) := true) - ((a <= 5/3) := true) - ((a >= 5/3) := true)) + ((* 3 a) := 5) + (5 := 5) + ((= (* 3 a) 5) := true) + ((<= (* 3 a) 5) := true) + ((>= (* 3 a) 5) := true))