coverage

najaeda · Oct 20, 2024 · 4861de6 · 4861de6
1 parent b4eb3f8
commit 4861de6
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/test/snl/snl/kernel/SNLEquipotentialTest.cpp b/test/snl/snl/kernel/SNLEquipotentialTest.cpp
@@ -95,6 +95,19 @@ TEST_F(SNLEquipotentialTest, test) {
   EXPECT_EQ(equipotentialTopOut.getInstTermOccurrences(), naja::NajaCollection(new naja::NajaSTLCollection(&instTermOccurrences)));
   { auto print = equipotentialTopOut.getString(); }
 
+  std::set<SNLInstTermOccurrence> instTermOccurrences1;
+  instTermOccurrences.insert(aapio);
+  instTermOccurrences.insert(bbpio);
+  instTermOccurrences.insert(cpio);
+  std::set<SNLInstTermOccurrence> instTermOccurrences2;
+  instTermOccurrences.insert(aapio);
+  instTermOccurrences.insert(bbpio);
+  instTermOccurrences.insert(bbpio);
+  EXPECT_EQ(equipotentialTopOut.getInstTermOccurrences() ==  naja::NajaCollection(new naja::NajaSTLCollection(&instTermOccurrences1)), false);
+  EXPECT_EQ(equipotentialTopOut.getInstTermOccurrences() == naja::NajaCollection(new naja::NajaSTLCollection(&instTermOccurrences2)), false);
+
+
+
   //Test compaerators
   EXPECT_EQ(equipotentialTopI0 == equipotentialTopI1, true);
   EXPECT_EQ(equipotentialTopI0 == equipotentialTopOut, true);