From ca3c0763945653660ec8273fe5a72750cecaca04 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 2 Jul 2018 08:26:10 -0700 Subject: [PATCH] fixed reduce Signed-off-by: Nikolaj Bjorner --- src/test/lp/lp.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/test/lp/lp.cpp b/src/test/lp/lp.cpp index 35c9aeccb..e5375a0df 100644 --- a/src/test/lp/lp.cpp +++ b/src/test/lp/lp.cpp @@ -3505,7 +3505,7 @@ void test_maximize_term() { std::cout << "calling int_solver\n"; lar_term t; mpq k; explanation ex; bool upper; lia_move lm = i_solver.check(t, k, ex, upper); - lp_assert(lm == lia_move::sat); + VERIFY(lm == lia_move::sat); impq term_max; lp_status st = solver.maximize_term(term_2x_pl_2y, term_max);