X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=blobdiff_plain;f=src%2Fauto%2Fhtml.ml;fp=src%2Fauto%2Fhtml.ml;h=6c45c930197fffcc763e0beef43da3feb654a4f0;hp=06f04a55fe25dbd2db267a73b744b1a90f1a60fd;hb=d0165b2cd48fb800c0e3bcacfc85e452233f4525;hpb=ce09a30489dce8ac9e389c8c1525a34d1e02354e
diff --git a/src/auto/html.ml b/src/auto/html.ml
index 06f04a5..6c45c93 100644
--- 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
- fprintf odot "digraph G {\n";
+ fprintf odot "digraph G {\n node[shape=box, style=filled, fillcolor=white];splines=false;";
fprintf ohtml "\
\
@@ -65,7 +65,6 @@ let gen_trace (type s) = (); fun t tree ->
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) {\