diff options
Diffstat (limited to 'test/unit/preprocessing/pass_bv_gauss_white.h')
-rw-r--r-- | test/unit/preprocessing/pass_bv_gauss_white.h | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/test/unit/preprocessing/pass_bv_gauss_white.h b/test/unit/preprocessing/pass_bv_gauss_white.h index 7f7af40b9..4037c7191 100644 --- a/test/unit/preprocessing/pass_bv_gauss_white.h +++ b/test/unit/preprocessing/pass_bv_gauss_white.h @@ -20,6 +20,7 @@ #include "preprocessing/passes/bv_gauss.h" #include "smt/smt_engine.h" #include "smt/smt_engine_scope.h" +#include "test_utils.h" #include "theory/bv/theory_bv_utils.h" #include "theory/rewriter.h" #include "util/bitvector.h" @@ -116,14 +117,6 @@ static void testGaussElimX(Integer prime, } } -template <class T> -static void testGaussElimT(Integer prime, - std::vector<Integer> rhs, - std::vector<std::vector<Integer>> lhs) -{ - TS_ASSERT_THROWS(BVGauss::gaussElim(prime, rhs, lhs), T); -} - class TheoryBVGaussWhite : public CxxTest::TestSuite { ExprManager *d_em; @@ -319,7 +312,7 @@ class TheoryBVGaussWhite : public CxxTest::TestSuite {Integer(2), Integer(3), Integer(5)}, {Integer(4), Integer(0), Integer(5)}}; std::cout << "matrix 0, modulo 0" << std::endl; // throws - testGaussElimT<AssertionException>(Integer(0), rhs, lhs); + TS_UTILS_EXPECT_ABORT(BVGauss::gaussElim(Integer(0), rhs, lhs)); std::cout << "matrix 0, modulo 1" << std::endl; testGaussElimX(Integer(1), rhs, lhs, BVGauss::Result::UNIQUE); std::cout << "matrix 0, modulo 2" << std::endl; |