From 4b940bde111e1e5d3984772a49650fd197f0dabc Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 30 Apr 2016 11:46:25 -0700 Subject: [PATCH] fix compilation of unit tests Signed-off-by: Nikolaj Bjorner --- src/test/model_based_opt.cpp | 21 +++++++++------------ 1 file changed, 9 insertions(+), 12 deletions(-) diff --git a/src/test/model_based_opt.cpp b/src/test/model_based_opt.cpp index 83e21bf7a..ad1ff1a85 100644 --- a/src/test/model_based_opt.cpp +++ b/src/test/model_based_opt.cpp @@ -34,9 +34,8 @@ static void test1() { vars.push_back(var(x, rational(2))); mbo.set_objective(vars, rational(0)); - rational value; - opt::bound_type bound = mbo.maximize(value); - std::cout << bound << ": " << value << "\n"; + opt::inf_eps value = mbo.maximize(); + std::cout << value << "\n"; } // test with lower bounds @@ -58,9 +57,8 @@ static void test2() { vars.push_back(var(x, rational(-2))); mbo.set_objective(vars, rational(0)); - rational value; - opt::bound_type bound = mbo.maximize(value); - std::cout << bound << ": " << value << "\n"; + opt::inf_eps value = mbo.maximize(); + std::cout << value << "\n"; } // test unbounded @@ -81,9 +79,9 @@ static void test3() { vars.push_back(var(x, rational(2))); mbo.set_objective(vars, rational(0)); - rational value; - opt::bound_type bound = mbo.maximize(value); - std::cout << bound << ": " << value << "\n"; + opt::inf_eps value = mbo.maximize(); + std::cout << value << "\n"; + } // test strict @@ -105,9 +103,8 @@ static void test4() { vars.push_back(var(x, rational(2))); mbo.set_objective(vars, rational(0)); - rational value; - opt::bound_type bound = mbo.maximize(value); - std::cout << bound << ": " << value << "\n"; + opt::inf_eps value = mbo.maximize(); + std::cout << value << "\n"; } // test with mix of upper and lower bounds