diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2019-10-30 15:27:10 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-30 15:27:10 -0700 |
| commit | 43ab3f4cd1aa5549cb1aa3c20a2d589614bcb8fc (patch) | |
| tree | cf7b5d7f73a4d4ddc34492334a7d0eb90b57b77b /test/unit/preprocessing | |
| parent | 8dda9531995953c3cec094339002f2ee7cadae08 (diff) | |
Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. (#3366)
Diffstat (limited to 'test/unit/preprocessing')
| -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; |