Number: 1209
Title: Segmentation fault
Submitter: Cory Simpson
Date: Tue Oct 16 14:27:54 2007
Subsys: Dot
Version: 2.13.20070327.0440
System: x86-Linux-Gentoo 4.1.1-r1
Severity: minor
Problem:
dot -v -Tpng -otest.png error.dot

Main problem I see is that the verbose output indicates a incorrect number of edges and nodes. Maybe a recursion issue? The offending edge is S233 -> S234.
Input file: b1209.dot
Output file: b1209.txt
Comments:
[erg] As a work-around, remove the constraint=false specifications. They aren't really necessary, since you've already specified that S235 and S236 are both sinks, and for some reason, they cause problems.

Simplified input:


digraph state_machine_97 {
  {
    rank=sink;
    S234
    S235
    S236
  }
  S233 -> S234
  S236 -> S235
  S235 -> S236 [constraint="false"]
  S233 -> S236
}

Owner: *
Status: *