projects / tatoo.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ce09a30)
Make the output graph nodes rectangular.
authorKim Nguyễn <kn@lri.fr>
Fri, 15 Mar 2013 14:23:11 +0000 (15:23 +0100)
committerKim Nguyễn <kn@lri.fr>
Fri, 15 Mar 2013 14:23:11 +0000 (15:23 +0100)
src/auto/html.ml patch | blob | history

diff --git a/src/auto/html.ml b/src/auto/html.ml
index 06f04a5..6c45c93 100644 (file)
--- a/src/auto/html.ml
+++ b/src/auto/html.ml
@@ -52,7 +52,7 @@ let gen_trace (type s)  = (); fun t tree ->
   let ohtml_ = open_out "tests/trace/trace.html" in
   let odot = formatter_of_out_channel odot_ in
   let ohtml = formatter_of_out_channel ohtml_ in
   let ohtml_ = open_out "tests/trace/trace.html" in
   let odot = formatter_of_out_channel odot_ in
   let ohtml = formatter_of_out_channel ohtml_ in
-  fprintf odot "digraph G {\n";
+  fprintf odot "digraph G {\n node[shape=box, style=filled, fillcolor=white];splines=false;";
   fprintf ohtml "<html>\
 <head><title></title>
 <link rel='stylesheet' type='text/css' href='trace.css' />\
   fprintf ohtml "<html>\
 <head><title></title>
 <link rel='stylesheet' type='text/css' href='trace.css' />\
@@ -65,7 +65,6 @@ let gen_trace (type s)  = (); fun t tree ->
   fprintf odot "\n}\n%!";
   pp_print_flush odot ();
   close_out odot_;
   fprintf odot "\n}\n%!";
   pp_print_flush odot ();
   close_out odot_;
-  
   ignore (Sys.command "dot -o tests/trace/trace.svg -Tsvg tests/trace/trace.dot");
   ignore (Sys.command "./tools/add_onclick.sh tests/trace/trace.svg > tests/trace/trace2.svg");
   fprintf ohtml "var activate = function (id) {\
   ignore (Sys.command "dot -o tests/trace/trace.svg -Tsvg tests/trace/trace.dot");
   ignore (Sys.command "./tools/add_onclick.sh tests/trace/trace.svg > tests/trace/trace2.svg");
   fprintf ohtml "var activate = function (id) {\
Tree Automata TOOlkit