namespace test {
-class TestMapBlack : public TestInternal
+class TestBaseBlackMap : public TestInternal
{
protected:
/** Returns a map containing {"key"->"value", "other"->"entry"}. */
}
};
-TEST_F(TestMapBlack, map)
+TEST_F(TestBaseBlackMap, map)
{
std::map<std::string, std::string> map = default_map();
ASSERT_TRUE(CVC4::ContainsKey(map, "key"));
ASSERT_EQ(FindOrDie(map, "other"), "new value");
}
-TEST_F(TestMapBlack, constant_map)
+TEST_F(TestBaseBlackMap, constant_map)
{
const std::map<std::string, std::string> map = default_map();
ASSERT_TRUE(CVC4::ContainsKey(map, "key"));
ASSERT_DEATH(FindOrDie(map, "asdf"), "The map does not contain the key.");
}
-TEST_F(TestMapBlack, unordered_map)
+TEST_F(TestBaseBlackMap, unordered_map)
{
std::unordered_map<std::string, std::string> map(default_map().begin(),
default_map().end());
ASSERT_EQ(FindOrDie(map, "other"), "new value");
}
-TEST_F(TestMapBlack, const_unordered_map)
+TEST_F(TestBaseBlackMap, const_unordered_map)
{
const std::unordered_map<std::string, std::string> map(default_map().begin(),
default_map().end());
ASSERT_DEATH(FindOrDie(map, "asdf"), "The map does not contain the key.");
}
-TEST_F(TestMapBlack, set)
+TEST_F(TestBaseBlackMap, set)
{
std::set<std::string> set{"entry", "other"};
ASSERT_TRUE(CVC4::ContainsKey(set, "entry"));
ASSERT_FALSE(CVC4::ContainsKey(const_set, "non member"));
}
-TEST_F(TestMapBlack, unordered_set)
+TEST_F(TestBaseBlackMap, unordered_set)
{
std::unordered_set<std::string> set{"entry", "other"};
ASSERT_TRUE(CVC4::ContainsKey(set, "entry"));
ASSERT_FALSE(CVC4::ContainsKey(const_set, "non member"));
}
-TEST_F(TestMapBlack, CDHashMap)
+TEST_F(TestBaseBlackMap, CDHashMap)
{
Context context;
CDHashMap<std::string, std::string> map(&context);
ASSERT_EQ(FindOrDie(map, "other"), "entry");
}
-TEST_F(TestMapBlack, const_CDHashMap)
+TEST_F(TestBaseBlackMap, const_CDHashMap)
{
Context context;
CDHashMap<std::string, std::string> store(&context);
ASSERT_EQ(FindOrDie(map, "other"), "entry");
}
-TEST_F(TestMapBlack, CDInsertHashMap)
+TEST_F(TestBaseBlackMap, CDInsertHashMap)
{
Context context;
CDInsertHashMap<std::string, std::string> map(&context);
ASSERT_EQ(FindOrDie(map, "other"), "entry");
}
-TEST_F(TestMapBlack, const_CDInsertHashMap)
+TEST_F(TestBaseBlackMap, const_CDInsertHashMap)
{
Context context;
CDInsertHashMap<std::string, std::string> store(&context);