From: Kim Nguyễn Date: Fri, 15 Mar 2013 14:23:11 +0000 (+0100) Subject: Make the output graph nodes rectangular. X-Git-Tag: v0.1~117 X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=d0165b2cd48fb800c0e3bcacfc85e452233f4525 Make the output graph nodes rectangular. --- 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) {\