projects
/
tatoo.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (from parent 1:
ce09a30
)
Make the output graph nodes rectangular.
author
Kim Nguyễn
<kn@lri.fr>
Fri, 15 Mar 2013 14:23:11 +0000
(15:23 +0100)
committer
Kim 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) {\