From 4861de6f36447f6f92fe188994350ebe30a2b321 Mon Sep 17 00:00:00 2001
From: nanocoh <noam.chn1@gmail.com>
Date: Sun, 20 Oct 2024 13:14:34 +0200
Subject: [PATCH] coverage

---
 test/snl/snl/kernel/SNLEquipotentialTest.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/test/snl/snl/kernel/SNLEquipotentialTest.cpp b/test/snl/snl/kernel/SNLEquipotentialTest.cpp
index 966876d8..5d54792a 100644
--- 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);