From d0165b2cd48fb800c0e3bcacfc85e452233f4525 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= Date: Fri, 15 Mar 2013 15:23:11 +0100 Subject: [PATCH] Make the output graph nodes rectangular. --- src/auto/html.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) 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) {\ -- 2.17.1