tests/sav/splay_test.res

   1 digraph g {
   2 [label = 6];
   3  ->  [label = "left"];
   4 [label = "AB" shape = rect];
   5  -> [label = "contains"];
   6  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
   7  ->  [label = "right"];
   8 [label = 4];
   9  ->  [label = "left"];
  10 [label = "CD" shape = rect];
  11  -> [label = "contains"];
  12  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
  13  ->  [label = "right"];
  14 [label = "EF" shape = rect];
  15  -> [label = "contains"];
  16  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
  17 }
  18
  19 ABCDEF
  20 digraph g {
  21 [label = 6];
  22  ->  [label = "left"];
  23 [label = 4];
  24  ->  [label = "left"];
  25 [label = "AB" shape = rect];
  26  -> [label = "contains"];
  27  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
  28  ->  [label = "right"];
  29 [label = "CD" shape = rect];
  30  -> [label = "contains"];
  31  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
  32  ->  [label = "right"];
  33 [label = "EF" shape = rect];
  34  -> [label = "contains"];
  35  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
  36 }
  37
  38 ABCDEF
  39 ABCDEFGH
  40 digraph g {
  41 [label = 8];
  42  ->  [label = "left"];
  43 [label = 6];
  44  ->  [label = "left"];
  45 [label = 4];
  46  ->  [label = "left"];
  47 [label = "AB" shape = rect];
  48  -> [label = "contains"];
  49  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
  50  ->  [label = "right"];
  51 [label = "CD" shape = rect];
  52  -> [label = "contains"];
  53  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
  54  ->  [label = "right"];
  55 [label = "EF" shape = rect];
  56  -> [label = "contains"];
  57  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
  58  ->  [label = "right"];
  59 [label = "GH" shape = rect];
  60  -> [label = "contains"];
  61  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
  62 }
  63
  64 ABCDEFGH
  65 digraph g {
  66 [label = 8];
  67  ->  [label = "left"];
  68 [label = "AB" shape = rect];
  69  -> [label = "contains"];
  70  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
  71  ->  [label = "right"];
  72 [label = 6];
  73  ->  [label = "left"];
  74 [label = 4];
  75  ->  [label = "left"];
  76 [label = "CD" shape = rect];
  77  -> [label = "contains"];
  78  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
  79  ->  [label = "right"];
  80 [label = "EF" shape = rect];
  81  -> [label = "contains"];
  82  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
  83  ->  [label = "right"];
  84 [label = "GH" shape = rect];
  85  -> [label = "contains"];
  86  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
  87 }
  88
  89 ABCDEFGH
  90 digraph g {
  91 [label = 8];
  92  ->  [label = "left"];
  93 [label = "AB" shape = rect];
  94  -> [label = "contains"];
  95  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
  96  ->  [label = "right"];
  97 [label = 6];
  98  ->  [label = "left"];
  99 [label = "CD" shape = rect];
 100  -> [label = "contains"];
 101  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 102  ->  [label = "right"];
 103 [label = 4];
 104  ->  [label = "left"];
 105 [label = "EF" shape = rect];
 106  -> [label = "contains"];
 107  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 108  ->  [label = "right"];
 109 [label = "GH" shape = rect];
 110  -> [label = "contains"];
 111  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
 112 }
 113
 114 ABCDEFGH
 115 digraph g {
 116 [label = 8];
 117  ->  [label = "left"];
 118 [label = 6];
 119  ->  [label = "left"];
 120 [label = "AB" shape = rect];
 121  -> [label = "contains"];
 122  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 123  ->  [label = "right"];
 124 [label = 4];
 125  ->  [label = "left"];
 126 [label = "CD" shape = rect];
 127  -> [label = "contains"];
 128  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 129  ->  [label = "right"];
 130 [label = "EF" shape = rect];
 131  -> [label = "contains"];
 132  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 133  ->  [label = "right"];
 134 [label = "GH" shape = rect];
 135  -> [label = "contains"];
 136  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
 137 }
 138
 139 ABCDEFGH
 140 digraph g {
 141 [label = 8];
 142  ->  [label = "left"];
 143 [label = 6];
 144  ->  [label = "left"];
 145 [label = "AB" shape = rect];
 146  -> [label = "contains"];
 147  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 148  ->  [label = "right"];
 149 [label = 4];
 150  ->  [label = "left"];
 151 [label = "CD" shape = rect];
 152  -> [label = "contains"];
 153  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 154  ->  [label = "right"];
 155 [label = "EF" shape = rect];
 156  -> [label = "contains"];
 157  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 158  ->  [label = "right"];
 159 [label = "GH" shape = rect];
 160  -> [label = "contains"];
 161  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
 162 }
 163
 164 ABCDEFGH
 165 digraph g {
 166 [label = 8];
 167  ->  [label = "left"];
 168 [label = 4];
 169  ->  [label = "left"];
 170 [label = "AB" shape = rect];
 171  -> [label = "contains"];
 172  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 173  ->  [label = "right"];
 174 [label = "CD" shape = rect];
 175  -> [label = "contains"];
 176  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 177  ->  [label = "right"];
 178 [label = 4];
 179  ->  [label = "left"];
 180 [label = "EF" shape = rect];
 181  -> [label = "contains"];
 182  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 183  ->  [label = "right"];
 184 [label = "GH" shape = rect];
 185  -> [label = "contains"];
 186  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
 187 }
 188
 189 ABCDEFGH
 190 digraph g {
 191 [label = 8];
 192  ->  [label = "left"];
 193 [label = "AB" shape = rect];
 194  -> [label = "contains"];
 195  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 196  ->  [label = "right"];
 197 [label = 6];
 198  ->  [label = "left"];
 199 [label = 4];
 200  ->  [label = "left"];
 201 [label = "CD" shape = rect];
 202  -> [label = "contains"];
 203  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 204  ->  [label = "right"];
 205 [label = "EF" shape = rect];
 206  -> [label = "contains"];
 207  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 208  ->  [label = "right"];
 209 [label = "GH" shape = rect];
 210  -> [label = "contains"];
 211  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
 212 }
 213
 214 ABCDEFGH
 215 digraph g {
 216 [label = 8];
 217  ->  [label = "left"];
 218 [label = 4];
 219  ->  [label = "left"];
 220 [label = "AB" shape = rect];
 221  -> [label = "contains"];
 222  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = AB"];
 223  ->  [label = "right"];
 224 [label = "CD" shape = rect];
 225  -> [label = "contains"];
 226  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = CD"];
 227  ->  [label = "right"];
 228 [label = 4];
 229  ->  [label = "left"];
 230 [label = "EF" shape = rect];
 231  -> [label = "contains"];
 232  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = EF"];
 233  ->  [label = "right"];
 234 [label = "GH" shape = rect];
 235  -> [label = "contains"];
 236  [label="FlatString\nindex_from = 0\nindex_to = 1\nNativeString = GH"];
 237 }
 238