[Dot] Erroneously duplicated edge between clusters

[GadgetSteve]

Ported Issue from Mantis Original ID: 1622 Attached file(s) currently only available on Mantis Reported By: Ben Butler-Cole

SEVERITY: MAJOR Submitted: 2009-06-17 17:24:26

OS: --*

VERSION: 2.23.20090616.0445

DESCRIPTION

The attached input (processed with 'dot -Tpng -otmp.png tmp.dot') produces output with an extra edge (between nodes a and c).

This appears to be a minimal repro case: removing any of the nodes, edges, clusters or constraint specifiers makes the problem go away.

Output in dot format contains only the expected edges.

STEPS TO REPRODUCE

digraph G {
    subgraph cluster_one {
        a;
        b;
    }
    subgraph cluster_two {
        c;
    }
    a -> b [constraint=false];
    a -> c [constraint=false];
}