diff options
Diffstat (limited to 'test/unit/context/context_mm_black.cpp')
-rw-r--r-- | test/unit/context/context_mm_black.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/context/context_mm_black.cpp b/test/unit/context/context_mm_black.cpp index 024bfd47b..b0259e71e 100644 --- a/test/unit/context/context_mm_black.cpp +++ b/test/unit/context/context_mm_black.cpp @@ -27,14 +27,14 @@ using namespace context; namespace test { -class TestContextMMBlack : public TestInternal +class TestContextBlackMM : public TestInternal { protected: void SetUp() override { d_cmm.reset(new ContextMemoryManager()); } std::unique_ptr<ContextMemoryManager> d_cmm; }; -TEST_F(TestContextMMBlack, push_pop) +TEST_F(TestContextBlackMM, push_pop) { #ifdef CVC4_DEBUG_CONTEXT_MEMORY_MANAGER #warning "Using the debug context memory manager, omitting unit tests" |