diff options
| author | Tim King <taking@cs.nyu.edu> | 2018-02-09 12:34:47 -0800 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-02-09 14:34:47 -0600 |
| commit | a7f08481352ea1c45091b681e990ccc513ae175f (patch) | |
| tree | 76eabd2efdce313cde9aed1e9eb0be7e1c310b93 /test/unit/util | |
| parent | d4b136c10ac3a226061d12cdf8e12340ad0a974d (diff) | |
Renaming CHECK to CVC4_CHECK. This avoids name collisions with other popular assertion macros. This name is likely temporary while Assert() is deprecated. (#1590)
Diffstat (limited to 'test/unit/util')
| -rw-r--r-- | test/unit/util/check_white.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/util/check_white.h b/test/unit/util/check_white.h index e57afa6c7..b0c540265 100644 --- a/test/unit/util/check_white.h +++ b/test/unit/util/check_white.h @@ -39,19 +39,19 @@ class CheckWhite : public CxxTest::TestSuite "return type."; } - void testCheck() { CHECK(kOne >= 0) << kOne << " must be positive"; } + void testCheck() { CVC4_CHECK(kOne >= 0) << kOne << " must be positive"; } void testDCheck() { - DCHECK(kOne == 1) << "always passes"; + CVC4_DCHECK(kOne == 1) << "always passes"; #ifndef CVC4_ASSERTIONS - DCHECK(false) << "Will not be compiled in when CVC4_ASSERTIONS off."; + CVC4_DCHECK(false) << "Will not be compiled in when CVC4_ASSERTIONS off."; #endif /* CVC4_ASSERTIONS */ } void testPointerTypeCanBeTheCondition() { const int* one_pointer = &kOne; - CHECK(one_pointer); + CVC4_CHECK(one_pointer); } }; |