coverage + restore comprators

najaeda · Nov 5, 2024 · e9cc527 · e9cc527
1 parent 67ebb3a
commit e9cc527
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/src/snl/snl/kernel/SNLPath.cpp b/src/snl/snl/kernel/SNLPath.cpp
@@ -134,11 +134,11 @@ SNLDesign* SNLPath::getModel() const {
 }
 
 bool SNLPath::operator==(const SNLPath& path) const {
-  return !(*this < path or path < *this);
+  return *sharedPath_ == *path.sharedPath_;
 }
 
 bool SNLPath::operator!=(const SNLPath& path) const {
-  return not (*this == path);
+  return *sharedPath_ != *path.sharedPath_;
 }
 
 bool SNLPath::operator<(const SNLPath& path) const {

diff --git a/test/snl/python/snl_wrapping/test_snloccurrence.py b/test/snl/python/snl_wrapping/test_snloccurrence.py
@@ -60,6 +60,8 @@ def testFunctions(self):
     insttermoccurrence = snl.SNLInstTermOccurrence()
     insttermoccurrence1 = snl.SNLInstTermOccurrence(path0, instTerms[0])
     insttermoccurrence2 = snl.SNLInstTermOccurrence(instTerms[0])
+
+    instTerm = insttermoccurrence1.getInstTerm()
 
     uniq = snl.SNLUniquifier(insttermoccurrence1.getPath())
     uniqPath = uniq.getPathUniqCollection()

diff --git a/test/snl/snl/kernel/SNLPathTest2.cpp b/test/snl/snl/kernel/SNLPathTest2.cpp
@@ -82,6 +82,8 @@ TEST_F(SNLPathTest2, testCompare) {
   EXPECT_EQ(uniquifier0 > uniquifier1, false);
   EXPECT_EQ(uniquifier0 <= uniquifier1, true);
   EXPECT_EQ(uniquifier0 >= uniquifier1, false);
+
+  EXPECT_NE(uniquifier0.getString(), uniquifier1.getString());
 }
 
 TEST_F(SNLPathTest2, testDestroy0) {