Graphviz Issue Tracker
Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001764graphvizDotpublic2009-11-27 23:112011-04-28 04:03
ReporterYves McDonald 
Assigned Togviz 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSx86-Linux-kernel 2.6.31 (Ubuntu)OS Version
Summary0001764: dot files processed with dot, using -Tdia option, lose their arrows in dia
Description



Here's my user story:



I'm performing software model checking with SPIN and Promela.
The tool I'm using (spinSpider) generates automata graphs with Dot.



However, some of the edges were not looking very good so I tried to convert
a Dot graph into Dia file format. It would be possible for me to
edit some of odd-looking graphs manually.



Here's the command I used:



dot -Tdia ricecooker.dot -o cooker.dia



Surprise! no arrow heads... I tried a bitmap format (png): worked fine.
I tried a vector-based format (svg): worked fine too.



A correct Dia file would have been great for manual editions of graphs
prior to showing them off in a term paper.



Thanks for reading this,



Yves






(the file I'm processing is the control panel of the
controller module of an hypothetical rice cooking device:
my teacher must enjoy eating rice :) .
Additional Information
Ah yes, I'm using Dia v.0.97.
TagsNo tags attached.
AUXILLARY-FILES
DATE-FIXED
FIX-COMMENT
FORMER-ID1824
INPUT-FILEhttp://www.graphviz.org/bugs/b1824.dot [^]
OUTPUT-FILEhttp://www.graphviz.org/bugs/b1824.dia [^]
STATUS-COMMENT*
VERSION     2.20.2
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2011-04-28 04:03 user1 New Issue
2011-04-28 04:03 user1 Assigned To => user1


MantisBT 1.2.5[^]
Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker