From 3791eb82ef136b12c8051173db8a8ea794d00ccd Mon Sep 17 00:00:00 2001
From: Florian Sattler <vuld3r@gmail.com>
Date: Wed, 19 Jul 2023 11:38:19 +0200
Subject: [PATCH] Implements output string printing for dot views

---
 include/vara/Feature/FeatureModel.h | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/include/vara/Feature/FeatureModel.h b/include/vara/Feature/FeatureModel.h
index af98ee87..3928e597 100644
--- a/include/vara/Feature/FeatureModel.h
+++ b/include/vara/Feature/FeatureModel.h
@@ -599,8 +599,9 @@ struct GraphWriter<vara::feature::FeatureModel *> {
         "<<table align=\"center\" valign=\"middle\" border=\"0\" "
         "cellborder=\"0\" "
         "cellpadding=\"5\">{0}{1}{2}</table>>",
-        llvm::formatv("<tr><td><b>{0}</b></td></tr>",
-                      DOT::EscapeString(F->getName().str())),
+        llvm::formatv("<tr><td><b>{0} (Flag: {1})</b></td></tr>",
+                      DOT::EscapeString(F->getName().str()),
+                      F->getOutputString().trim().str()),
         CS.str(), LS.str());
   }