From 19fc69173f6494302966c8b316834eb2814fb49e Mon Sep 17 00:00:00 2001
From: Noam Cohen <noam.chn1@gmail.com>
Date: Sat, 8 Jun 2024 19:36:39 +0200
Subject: [PATCH] coverage

---
 src/optimization/ConstantPropagation.cpp | 2 ++
 src/snl/snl/kernel/SNLInstance.cpp       | 4 ++++
 2 files changed, 6 insertions(+)

diff --git a/src/optimization/ConstantPropagation.cpp b/src/optimization/ConstantPropagation.cpp
index 915ca3fa..116949b5 100644
--- a/src/optimization/ConstantPropagation.cpp
+++ b/src/optimization/ConstantPropagation.cpp
@@ -176,7 +176,9 @@ unsigned ConstantPropagation::computeOutputValue(DNLID instanceID) {
   const SNLTruthTable& truthTable =
       SNLDesignTruthTable::getTruthTable(instance.getSNLInstance()->getModel());
   if (not truthTable.isInitialized()) {
+    // LCOV_EXCL_START
     return (unsigned)-1;
+    // LCOV_EXCL_STOP
   }
   std::vector<std::pair<SNLID::DesignObjectID, int>> constTerms;
   for (DNLID termId = instance.getTermIndexes().first;
diff --git a/src/snl/snl/kernel/SNLInstance.cpp b/src/snl/snl/kernel/SNLInstance.cpp
index 87d05c86..1c604cfe 100644
--- a/src/snl/snl/kernel/SNLInstance.cpp
+++ b/src/snl/snl/kernel/SNLInstance.cpp
@@ -81,7 +81,9 @@ void SNLInstance::preCreate(SNLDesign* design, const SNLDesign* model, const SNL
     if (name.empty()) {
       reason << " <anonymous>";
     } else {
+      // LCOV_EXCL_START
       reason << " with name: " << name.getString();
+      // LCOV_EXCL_STOP
     }
     if (model) {
       reason << " and model: " << model->getString();
@@ -100,7 +102,9 @@ void SNLInstance::preCreate(SNLDesign* design, const SNLDesign* model, const SNL
       reason << " <anonymous>";
       // LCOV_EXCL_STOP
     } else {
+      // LCOV_EXCL_START
       reason << " with name: " << name.getString();
+      // LCOV_EXCL_STOP
     }
     reason << " in design: " << design->getString();
     reason << " has a NULL model argument";