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 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) {\