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 stdout 2>stderr && exit 1 +../../bin/autfilt --name=%F --dot=nsc stdout 2>stderr && exit 1 cat >expected < 0 subgraph cluster_0 { + label="" 1 [label="1", peripheries=2] } subgraph cluster_1 { + label="" 0 [label="0"] } 0 -> 1 [label="b"]