From de6e4e0a2fc8e80574ccd2f271bd77c608791a00 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Fri, 4 Dec 2020 12:07:51 -0800 Subject: google test: context: Migrate cdo_black. (#5586) --- test/unit/context/cdo_black.h | 55 ------------------------------------------- 1 file changed, 55 deletions(-) delete mode 100644 test/unit/context/cdo_black.h (limited to 'test/unit/context/cdo_black.h') diff --git a/test/unit/context/cdo_black.h b/test/unit/context/cdo_black.h deleted file mode 100644 index 6c4540ae4..000000000 --- a/test/unit/context/cdo_black.h +++ /dev/null @@ -1,55 +0,0 @@ -/********************* */ -/*! \file cdo_black.h - ** \verbatim - ** Top contributors (to current version): - ** Dejan Jovanovic, Morgan Deters, Andres Noetzli - ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS - ** in the top-level source directory and their institutional affiliations. - ** All rights reserved. See the file COPYING in the top-level source - ** directory for licensing information.\endverbatim - ** - ** \brief Black box testing of CVC4::context::CDO<>. - ** - ** Black box testing of CVC4::context::CDO<>. - **/ - -#include - -#include -#include - -#include "base/check.h" -#include "context/cdlist.h" -#include "context/cdo.h" -#include "context/context.h" - -using namespace std; -using namespace CVC4; -using namespace CVC4::context; - -class CDOBlack : public CxxTest::TestSuite { -private: - - Context* d_context; - - public: - void setUp() override { d_context = new Context; } - - void tearDown() override { delete d_context; } - - void testIntCDO() - { - // Test that push/pop maintains the original value - CDO a1(d_context); - a1 = 5; - TS_ASSERT(d_context->getLevel() == 0); - d_context->push(); - a1 = 10; - TS_ASSERT(d_context->getLevel() == 1); - TS_ASSERT(a1 == 10); - d_context->pop(); - TS_ASSERT(d_context->getLevel() == 0); - TS_ASSERT(a1 == 5); - } -}; -- cgit v1.2.3