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 
PlatformOSx86-Linux-kernel 2.6.31 (Ubuntu)OS Version
Summary0001764: dot files processed with dot, using -Tdia option, lose their arrows in dia

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 -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,


(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.
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