From 403179087e2f8a1b7fd0a0d6f409f5e6b765bbc5 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 4 Jan 2015 16:04:07 +0100
Subject: [PATCH] dotty: fix combination of 's' with 'n'

* src/tgbaalgos/dotty.cc: Add empty label to each cluster
if both 's' and 'n' are used.
* src/tgbatest/neverclaimread.test: Test it.
---
 src/tgbaalgos/dotty.cc           | 4 ++++
 src/tgbatest/neverclaimread.test | 6 +++++-
 2 files changed, 9 insertions(+), 1 deletion(-)

diff --git a/src/tgbaalgos/dotty.cc b/src/tgbaalgos/dotty.cc
index 48f66f9d3..5341411a4 100644
--- a/src/tgbaalgos/dotty.cc
+++ b/src/tgbaalgos/dotty.cc
@@ -143,6 +143,10 @@ namespace spot
 	    for (unsigned i = 0; i < sccs; ++i)
 	      {
 		os_ << "  subgraph cluster_" << i << " {\n";
+		if (opt_name_)
+		  // Reset the label, otherwise the graph label would
+		  // be inherited by the cluster.
+		  os_ << "  label=\"\"\n";
 		for (auto s: si->states_of(i))
 		  process_state(s);
 		os_ << "  }\n";
diff --git a/src/tgbatest/neverclaimread.test b/src/tgbatest/neverclaimread.test
index a5267ff30..bfbd29edf 100755
--- a/src/tgbatest/neverclaimread.test
+++ b/src/tgbatest/neverclaimread.test
@@ -322,17 +322,21 @@ accept_all:
   skip
 }
 EOF
-../../bin/autfilt --dot=sc <input >stdout 2>stderr && exit 1
+../../bin/autfilt --name=%F --dot=nsc <input >stdout 2>stderr && exit 1
 cat >expected <<EOF
 digraph G {
   rankdir=LR
+  label="-"
+  labelloc="t"
   node [shape="circle"]
   I [label="", style=invis, width=0]
   I -> 0
   subgraph cluster_0 {
+  label=""
   1 [label="1", peripheries=2]
   }
   subgraph cluster_1 {
+  label=""
   0 [label="0"]
   }
   0 -> 1 [label="b"]