From 4bb0e9b6337fda57e114229f6cb482e67d6900da Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 1 Dec 2017 00:52:06 -0800 Subject: [PATCH 1/2] fix test build Signed-off-by: Nikolaj Bjorner --- src/test/expr_rand.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/expr_rand.cpp b/src/test/expr_rand.cpp index f1b20ba8e..f04cfe74f 100644 --- a/src/test/expr_rand.cpp +++ b/src/test/expr_rand.cpp @@ -43,7 +43,7 @@ void tst_expr_arith(unsigned num_files) { buffer << "random_arith_" << i << ".smt"; std::cout << buffer.str() << "\n"; std::ofstream file(buffer.str().c_str()); - pp.display(file, e.get()); + pp.display_smt2(file, e.get()); file.close(); } @@ -86,7 +86,7 @@ void tst_expr_rand(unsigned num_files) { buffer << "random_bv_" << i << ".smt"; std::cout << buffer.str() << "\n"; std::ofstream file(buffer.str().c_str()); - pp.display(file, e.get()); + pp.display_smt2(file, e.get()); file.close(); } From c31ad147473c086ae82155823258dd34a5a031b8 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 1 Dec 2017 00:52:32 -0800 Subject: [PATCH 2/2] fix test build Signed-off-by: Nikolaj Bjorner --- src/test/expr_rand.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/test/expr_rand.cpp b/src/test/expr_rand.cpp index f04cfe74f..e52bfbc1a 100644 --- a/src/test/expr_rand.cpp +++ b/src/test/expr_rand.cpp @@ -40,7 +40,7 @@ void tst_expr_arith(unsigned num_files) { pp.set_logic(symbol("QF_AUFLIA")); std::ostringstream buffer; - buffer << "random_arith_" << i << ".smt"; + buffer << "random_arith_" << i << ".smt2"; std::cout << buffer.str() << "\n"; std::ofstream file(buffer.str().c_str()); pp.display_smt2(file, e.get()); @@ -83,7 +83,7 @@ void tst_expr_rand(unsigned num_files) { pp.set_logic(symbol("QF_AUFBV")); std::ostringstream buffer; - buffer << "random_bv_" << i << ".smt"; + buffer << "random_bv_" << i << ".smt2"; std::cout << buffer.str() << "\n"; std::ofstream file(buffer.str().c_str()); pp.display_smt2(file, e.get());