diff options
Diffstat (limited to 'test/unit/base')
-rw-r--r-- | test/unit/base/map_util_black.cpp | 52 |
1 files changed, 26 insertions, 26 deletions
diff --git a/test/unit/base/map_util_black.cpp b/test/unit/base/map_util_black.cpp index 13e842653..76238ad04 100644 --- a/test/unit/base/map_util_black.cpp +++ b/test/unit/base/map_util_black.cpp @@ -27,7 +27,7 @@ #include "context/context.h" #include "test.h" -namespace CVC4 { +namespace CVC5 { using context::CDHashMap; using context::CDInsertHashMap; @@ -63,8 +63,8 @@ class TestBaseBlackMap : public TestInternal TEST_F(TestBaseBlackMap, map) { std::map<std::string, std::string> map = default_map(); - ASSERT_TRUE(CVC4::ContainsKey(map, "key")); - ASSERT_FALSE(CVC4::ContainsKey(map, "non key")); + ASSERT_TRUE(CVC5::ContainsKey(map, "key")); + ASSERT_FALSE(CVC5::ContainsKey(map, "non key")); ASSERT_EQ(FindOrNull(map, "non key"), nullptr); if (std::string* found_value = FindOrNull(map, "other")) @@ -78,8 +78,8 @@ TEST_F(TestBaseBlackMap, map) TEST_F(TestBaseBlackMap, constant_map) { const std::map<std::string, std::string> map = default_map(); - ASSERT_TRUE(CVC4::ContainsKey(map, "key")); - ASSERT_FALSE(CVC4::ContainsKey(map, "non key")); + ASSERT_TRUE(CVC5::ContainsKey(map, "key")); + ASSERT_FALSE(CVC5::ContainsKey(map, "non key")); if (const std::string* found_value = FindOrNull(map, "other")) { @@ -94,8 +94,8 @@ TEST_F(TestBaseBlackMap, unordered_map) { std::unordered_map<std::string, std::string> map(default_map().begin(), default_map().end()); - ASSERT_TRUE(CVC4::ContainsKey(map, "key")); - ASSERT_FALSE(CVC4::ContainsKey(map, "non key")); + ASSERT_TRUE(CVC5::ContainsKey(map, "key")); + ASSERT_FALSE(CVC5::ContainsKey(map, "non key")); ASSERT_EQ(FindOrNull(map, "non key"), nullptr); if (std::string* found_value = FindOrNull(map, "other")) @@ -110,8 +110,8 @@ TEST_F(TestBaseBlackMap, const_unordered_map) { const std::unordered_map<std::string, std::string> map(default_map().begin(), default_map().end()); - ASSERT_TRUE(CVC4::ContainsKey(map, "key")); - ASSERT_FALSE(CVC4::ContainsKey(map, "non key")); + ASSERT_TRUE(CVC5::ContainsKey(map, "key")); + ASSERT_FALSE(CVC5::ContainsKey(map, "non key")); if (const std::string* found_value = FindOrNull(map, "other")) { @@ -125,23 +125,23 @@ TEST_F(TestBaseBlackMap, const_unordered_map) TEST_F(TestBaseBlackMap, set) { std::set<std::string> set{"entry", "other"}; - ASSERT_TRUE(CVC4::ContainsKey(set, "entry")); - ASSERT_FALSE(CVC4::ContainsKey(set, "non member")); + ASSERT_TRUE(CVC5::ContainsKey(set, "entry")); + ASSERT_FALSE(CVC5::ContainsKey(set, "non member")); const std::set<std::string> const_set{"entry", "other"}; - ASSERT_TRUE(CVC4::ContainsKey(const_set, "entry")); - ASSERT_FALSE(CVC4::ContainsKey(const_set, "non member")); + ASSERT_TRUE(CVC5::ContainsKey(const_set, "entry")); + ASSERT_FALSE(CVC5::ContainsKey(const_set, "non member")); } TEST_F(TestBaseBlackMap, unordered_set) { std::unordered_set<std::string> set{"entry", "other"}; - ASSERT_TRUE(CVC4::ContainsKey(set, "entry")); - ASSERT_FALSE(CVC4::ContainsKey(set, "non member")); + ASSERT_TRUE(CVC5::ContainsKey(set, "entry")); + ASSERT_FALSE(CVC5::ContainsKey(set, "non member")); const std::unordered_set<std::string> const_set{"entry", "other"}; - ASSERT_TRUE(CVC4::ContainsKey(const_set, "entry")); - ASSERT_FALSE(CVC4::ContainsKey(const_set, "non member")); + ASSERT_TRUE(CVC5::ContainsKey(const_set, "entry")); + ASSERT_FALSE(CVC5::ContainsKey(const_set, "non member")); } TEST_F(TestBaseBlackMap, CDHashMap) @@ -150,8 +150,8 @@ TEST_F(TestBaseBlackMap, CDHashMap) CDHashMap<std::string, std::string> map(&context); insert_all(default_map(), &map); - ASSERT_TRUE(CVC4::ContainsKey(map, "key")); - ASSERT_FALSE(CVC4::ContainsKey(map, "non key")); + ASSERT_TRUE(CVC5::ContainsKey(map, "key")); + ASSERT_FALSE(CVC5::ContainsKey(map, "non key")); if (const std::string* found_value = FindOrNull(map, "other")) { @@ -168,8 +168,8 @@ TEST_F(TestBaseBlackMap, const_CDHashMap) insert_all(default_map(), &store); const auto& map = store; - ASSERT_TRUE(CVC4::ContainsKey(map, "key")); - ASSERT_FALSE(CVC4::ContainsKey(map, "non key")); + ASSERT_TRUE(CVC5::ContainsKey(map, "key")); + ASSERT_FALSE(CVC5::ContainsKey(map, "non key")); if (const std::string* found_value = FindOrNull(map, "other")) { @@ -185,8 +185,8 @@ TEST_F(TestBaseBlackMap, CDInsertHashMap) CDInsertHashMap<std::string, std::string> map(&context); insert_all(default_map(), &map); - ASSERT_TRUE(CVC4::ContainsKey(map, "key")); - ASSERT_FALSE(CVC4::ContainsKey(map, "non key")); + ASSERT_TRUE(CVC5::ContainsKey(map, "key")); + ASSERT_FALSE(CVC5::ContainsKey(map, "non key")); if (const std::string* found_value = FindOrNull(map, "other")) { @@ -203,8 +203,8 @@ TEST_F(TestBaseBlackMap, const_CDInsertHashMap) insert_all(default_map(), &store); const auto& map = store; - ASSERT_TRUE(CVC4::ContainsKey(map, "key")); - ASSERT_FALSE(CVC4::ContainsKey(map, "non key")); + ASSERT_TRUE(CVC5::ContainsKey(map, "key")); + ASSERT_FALSE(CVC5::ContainsKey(map, "non key")); if (const std::string* found_value = FindOrNull(map, "other")) { ASSERT_EQ(*found_value, "entry"); @@ -213,4 +213,4 @@ TEST_F(TestBaseBlackMap, const_CDInsertHashMap) ASSERT_EQ(FindOrDie(map, "other"), "entry"); } } // namespace test -} // namespace CVC4 +} // namespace CVC5 |