diff options
Diffstat (limited to 'test/unit/util/check_white.h')
-rw-r--r-- | test/unit/util/check_white.h | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/test/unit/util/check_white.h b/test/unit/util/check_white.h index 052a35110..1a169f320 100644 --- a/test/unit/util/check_white.h +++ b/test/unit/util/check_white.h @@ -19,7 +19,7 @@ #include <cstring> #include <string> -#include "base/cvc4_check.h" +#include "base/check.h" #include "test_utils.h" using namespace std; @@ -40,25 +40,25 @@ class CheckWhite : public CxxTest::TestSuite "return type."; } - void testCheck() { CVC4_CHECK(kOne >= 0) << kOne << " must be positive"; } + void testCheck() { AlwaysAssert(kOne >= 0) << kOne << " must be positive"; } void testDCheck() { - CVC4_DCHECK(kOne == 1) << "always passes"; + Assert(kOne == 1) << "always passes"; #ifndef CVC4_ASSERTIONS - CVC4_DCHECK(false) << "Will not be compiled in when CVC4_ASSERTIONS off."; + Assert(false) << "Will not be compiled in when CVC4_ASSERTIONS off."; #endif /* CVC4_ASSERTIONS */ } void testPointerTypeCanBeTheCondition() { const int* one_pointer = &kOne; - CVC4_CHECK(one_pointer); + AlwaysAssert(one_pointer); } void testExpectAbort() { - TS_UTILS_EXPECT_ABORT(CVC4_CHECK(false)); - TS_UTILS_EXPECT_ABORT(CVC4_DCHECK(false)); + TS_UTILS_EXPECT_ABORT(AlwaysAssert(false)); + TS_UTILS_EXPECT_ABORT(Assert(false)); } }; |