diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-04 03:58:24 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-07-04 03:58:24 -0700 |
commit | 714ede2487fb58ea46858380eecfff72c2e2d4ac (patch) | |
tree | 24be60e0bd7b89cf6e65b65ff720427ecc67aac3 /test/unit | |
parent | 9eb2c735f8c34d4980b37e337e711a629f997834 (diff) |
Remove unused CDVector (#2139)
Diffstat (limited to 'test/unit')
-rw-r--r-- | test/unit/Makefile.am | 1 | ||||
-rw-r--r-- | test/unit/context/cdvector_black.h | 140 |
2 files changed, 0 insertions, 141 deletions
diff --git a/test/unit/Makefile.am b/test/unit/Makefile.am index 0ab305039..d58ee411f 100644 --- a/test/unit/Makefile.am +++ b/test/unit/Makefile.am @@ -40,7 +40,6 @@ UNIT_TESTS += \ context/cdlist_black \ context/cdmap_black \ context/cdmap_white \ - context/cdvector_black \ util/array_store_all_black \ util/assert_white \ util/check_white \ diff --git a/test/unit/context/cdvector_black.h b/test/unit/context/cdvector_black.h deleted file mode 100644 index 3769b2cce..000000000 --- a/test/unit/context/cdvector_black.h +++ /dev/null @@ -1,140 +0,0 @@ -/********************* */ -/*! \file cdvector_black.h - ** \verbatim - ** Top contributors (to current version): - ** Tim King - ** This file is part of the CVC4 project. - ** Copyright (c) 2009-2018 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 [[ Add one-line brief description here ]] - ** - ** [[ Add lengthier description here ]] - ** \todo document this file - **/ - -#include <cxxtest/TestSuite.h> - -#include <vector> -#include <iostream> - -#include <limits.h> - -#include "context/context.h" -#include "context/cdvector.h" - -using namespace std; -using namespace CVC4::context; - -struct DtorSensitiveObject { - bool& d_dtorCalled; - DtorSensitiveObject(bool& dtorCalled) : d_dtorCalled(dtorCalled) {} - ~DtorSensitiveObject() { d_dtorCalled = true; } -}; - - - -class CDListBlack : public CxxTest::TestSuite { -private: - - Context* d_context; - -public: - - void setUp() { - d_context = new Context(); - } - - void tearDown() { - delete d_context; - } - - void testCDVector17() { vectorTest(17); } - void testCDVector31() { vectorTest(31); } - void testCDVector191() { vectorTest(113); } - - void vectorTest(unsigned P){ - vectorTest(P, 2); - vectorTest(P, 5); - vectorTest(P, P/3 + 1); - } - - void vectorTest(unsigned P, unsigned m){ - for(unsigned g=2; g< P; g++){ - vectorTest(P, g, m, 1); - vectorTest(P, g, m, 3); - } - } - vector<unsigned> copy(CDVector<unsigned>& v){ - vector<unsigned> ret; - for(unsigned i=0; i < v.size(); ++i){ - ret.push_back(v[i]); - } - return ret; - } - - void equal(vector<unsigned>& copy, CDVector<unsigned>& v){ - TS_ASSERT_EQUALS(copy.size(), v.size()); - for(unsigned i = 0; i < v.size(); ++i){ - TS_ASSERT_EQUALS(copy[i], v[i]); - } - } - - void vectorTest(unsigned P, unsigned g, unsigned m, unsigned r) { - CDVector<unsigned> vec(d_context); - vector< vector<unsigned> > copies; - - copies.push_back( copy(vec) ); - d_context->push(); - - TS_ASSERT(vec.empty()); - for(unsigned i = 0; i < P; ++i){ - vec.push_back(i); - TS_ASSERT_EQUALS(vec.size(), i+1); - } - TS_ASSERT(!vec.empty()); - TS_ASSERT_EQUALS(vec.size(), P); - - copies.push_back( copy(vec) ); - d_context->push(); - - for(unsigned i = 0, g_i = 1; i < r*P; ++i, g_i = (g_i * g)% P){ - if(i % m == 0){ - copies.push_back( copy(vec) ); - d_context->push(); - } - - vec.set(g_i, i); - - TS_ASSERT_EQUALS(vec.get(g_i), i); - } - TS_ASSERT_EQUALS(vec.size(), P); - - copies.push_back( copy(vec) ); - - while(d_context->getLevel() >= 1){ - TS_ASSERT_EQUALS(vec.size(), P); - equal(copies[d_context->getLevel()], vec); - d_context->pop(); - } - } - - void testTreeUpdate() { - CDVector<int> vec(d_context); - vec.push_back(-1); - - vec.set(0, 0); - d_context->push(); - d_context->push(); - vec.set(0, 1); - d_context->pop(); - d_context->pop(); - - d_context->push(); - d_context->push(); - TS_ASSERT_EQUALS(vec.get(0), 0); - } - -}; |