Skip to content
Snippets Groups Projects
Commit a9202d12 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by David Bühler
Browse files

[Dive] Fix correct representation of nodes

parent fff2c503
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/dive/imprecision_graph.ml
+ 2
− 2
View file @ a9202d12
...@@ -130,8 +130,8 @@ let ouptput_to_dot out_channel g = ...@@ -130,8 +130,8 @@ let ouptput_to_dot out_channel g =
l := build_label text :: !l; l := build_label text :: !l;
let shape = match v.node_kind with let shape = match v.node_kind with
| Scalar _ -> [`Shape `Box] | Scalar _ -> [`Shape `Box]
| Composite _ -> [ `Shape `Parallelogram ] | Composite _ -> [ `Shape `Box3d ]
| Scattered _ -> [ `Shape `Box3d ] | Scattered _ -> [ `Shape `Parallelogram ]
| Alarm _ -> [ `Shape `Doubleoctagon ; `Style `Bold ] | Alarm _ -> [ `Shape `Doubleoctagon ; `Style `Bold ]
| File -> [ `Style `Invis ] | File -> [ `Style `Invis ]
in in
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment