Merge branch 'vara-dev' into f-FeatureGui

se-sic · Jul 26, 2023 · c38dc49 · c38dc49
2 parents 004cfaa + c6374ff
commit c38dc49
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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());
   }