[dive] update tests

src/plugins/dive/tests/dive/oracle/const.dot

@@ -11,7 +11,7 @@ digraph G {
   cp10 [label=<y>, shape=box, fillcolor="#FFBBBB", color="#FF0000",
         style="filled", ];
   cp12 [label=<i>, shape=box, fillcolor="#FFBBBB", color="#FF0000",
-        style="filled,dotted", ];
+        style="filled", ];
   
   subgraph cluster_cs_1 { label=<main>; cp12;cp1;
     subgraph cluster_cs_2 { label=<f>; cp10;cp8;cp6;cp4;cp2;

src/plugins/dive/tests/dive/oracle/global.dot

@@ -5,7 +5,7 @@ digraph G {
   cp4 [label=<x>, shape=box, fillcolor="#FFBBBB", color="#FF0000",
        style="filled", ];
   cp6 [label=<y>, shape=box, fillcolor="#FFBBBB", color="#FF0000",
-       style="filled,dotted", ];
+       style="filled", ];
   
   subgraph cluster_cs_1 { label=<main>; cp6;cp4;cp1;
      };
@@ -14,6 +14,7 @@ digraph G {
   
   cp2 -> cp1;
   cp4 -> cp1;
+  cp4 -> cp6;
   cp6 -> cp2;
   
   }
\ No newline at end of file

src/plugins/dive/tests/dive/oracle/manydeps.dot

@@ -22,13 +22,13 @@ digraph G {
   cp21 [label=<t6>, shape=box, fillcolor="#AACCFF", color="#88AAFF",
         style="filled", ];
   cp23 [label=<t5>, shape=box, fillcolor="#AACCFF", color="#88AAFF",
-        style="filled,dotted", ];
+        style="filled", ];
   cp25 [label=<t4>, shape=box, fillcolor="#AACCFF", color="#88AAFF",
-        style="filled,dotted", ];
+        style="filled", ];
   cp27 [label=<t3>, shape=box, fillcolor="#AACCFF", color="#88AAFF",
-        style="filled,dotted", ];
+        style="filled", ];
   cp29 [label=<t2>, shape=box, fillcolor="#AACCFF", color="#88AAFF",
-        style="filled,dotted", ];
+        style="filled", ];
   cp31 [label=<__retres>, shape=box, ];
   cp32 [label=<*(pt[x])>, shape=parallelogram, fillcolor="#AACCFF",
         color="#88AAFF", style="filled,dotted", ];

src/plugins/dive/tests/dive/oracle/pointed_param.dot

@@ -9,9 +9,11 @@ digraph G {
   cp8 [label=<__retres>, shape=box, fillcolor="#FFBBBB", color="#FF0000",
        style="filled", ];
   cp10 [label=<x>, shape=box, fillcolor="#FFBBBB", color="#FF0000",
+        style="filled", ];
+  cp12 [label=<x>, shape=box, fillcolor="#FFBBBB", color="#FF0000",
         style="filled,dotted", ];
   
-  subgraph cluster_cs_1 { label=<main>; cp2;cp1;
+  subgraph cluster_cs_1 { label=<main>; cp12;cp2;cp1;
     subgraph cluster_cs_2 { label=<f>; cp10;cp4;
       subgraph cluster_cs_3 { label=<g>; cp6;
         subgraph cluster_cs_4 { label=<h>; cp8;
@@ -25,5 +27,6 @@ digraph G {
   cp6 -> cp4;
   cp8 -> cp6;
   cp10 -> cp8;
+  cp12 -> cp10;
   
   }
\ No newline at end of file