Do no use xrange from Boost.Test, to improve compatibility with Ubunt…

…u 16.04. (closes #3)
giomasce · Apr 9, 2018 · 6fbc084 · 6fbc084
1 parent 3a7644a
commit 6fbc084
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/provers/z3prover.cpp b/provers/z3prover.cpp
@@ -604,8 +604,10 @@ struct Z3Adapter {
 RegisteredProver refute_rp = LibraryToolbox::register_prover({"|- ( -. ph -> F. )"}, "|- ph");
 RegisteredProver efald_rp = LibraryToolbox::register_prover({"|- ( ( ph /\\ -. ps ) -> F. )"}, "|- ( ph -> ps )");
 
+std::vector< int > range3 = { 0, 1, 2 };
+
 #ifdef ENABLE_TEST_CODE
-BOOST_DATA_TEST_CASE(test_wff_minisat_prover, boost::unit_test::data::xrange(3), i) {
+BOOST_DATA_TEST_CASE(test_wff_minisat_prover, boost::unit_test::data::make(range3), i) {
     auto &data = get_set_mm();
     //auto &lib = data.lib;
     auto &tb = data.tb;

diff --git a/test/test.h b/test/test.h
@@ -9,7 +9,6 @@
 #endif
 #define ENABLE_TEST_CODE
 #include <boost/test/unit_test.hpp>
-#include <boost/test/data/monomorphic/generators/xrange.hpp>
 #include <boost/test/data/test_case.hpp>
 #include <boost/test/data/monomorphic.hpp>
 #endif