Number: 315
Title: dot.exe cannot handle this file (init_rank)
Submitter: Lev Nachmanson
Date: Thu Jun 26 EDT 2003
Subsys: Dot
Version: 1.9.0
System: *-*-*
Severity: major
Problem: dot.exe cannot produce layout for the attached file
Input file: b315.dot
Comments: [erg] trouble in init_rank
Owner: *
Status: *