|Anonymous | Login||2017-11-19 09:08 EST|
|Main | My View | View Issues | Change Log | Roadmap | My Account|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0001764||graphviz||Dot||public||2009-11-27 23:11||2011-04-28 04:03|
|Platform||OS||x86-Linux-kernel 2.6.31 (Ubuntu)||OS Version|
|Summary||0001764: 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 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,
(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 :) .
Ah yes, I'm using Dia v.0.97.
|Tags||No tags attached.|
|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|