From fe05d1a1e8c247352d83f0bbe07a3be97762a9e6 Mon Sep 17 00:00:00 2001 From: Lev Date: Tue, 25 Dec 2018 22:49:51 +0530 Subject: [PATCH] fix the tests Signed-off-by: Lev --- src/util/lp/nla_solver.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/lp/nla_solver.cpp b/src/util/lp/nla_solver.cpp index f7ad9147b..709985ef3 100644 --- a/src/util/lp/nla_solver.cpp +++ b/src/util/lp/nla_solver.cpp @@ -1938,7 +1938,7 @@ void solver::test_basic_lemma_for_mon_neutral_from_factors_to_monomial_0() { lp::explanation exp; // set abcde = ac * bde - // ac = 1, bde = 3 -> abcde = bde, but we have abcde set to 2 + // ac = 1 then abcde = bde, but we have abcde < bde s.set_column_value(lp_a, rational(4)); s.set_column_value(lp_b, rational(4)); s.set_column_value(lp_c, rational(4));