| line |
!l |
l&&!r |
l&&r |
condition |
|
77
|
0 |
39210 |
54637 |
$tree and not $tree->right |
|
96
|
4858 |
4571 |
31 |
$tree->right and not $tree->right->leaf |
|
97
|
4571 |
4850 |
8 |
$tree->left and not $tree->left->leaf |
|
116
|
0 |
154 |
572 |
$tree->up and $tree->up->left |
|
122
|
0 |
46 |
124 |
$tree->up and $tree->up->right |
|
355
|
9 |
26 |
454 |
$p->up and $p->up->right |
|
|
35 |
214 |
240 |
$p->up and $p->up->right and $p->up->right == $p |
|
368
|
1 |
0 |
54 |
$p->up and $p->up->left |
|
|
1 |
26 |
28 |
$p->up and $p->up->left and $p->up->left == $p |
|
410
|
236 |
354 |
595 |
@{$source->keys} > 0 and @{$target->keys} < $target->keysPerNode |
|
425
|
93 |
679 |
418 |
@{$source->keys} > 0 and @{$target->keys} < $target->keysPerNode |
|
488
|
88 |
74 |
81 |
$t->up && $t->up->left && $t->up->left == $t |
|
|
36 |
0 |
126 |
$t->up && $t->up->right && $t->up->right == $t |
|
490
|
21 |
5 |
74 |
$t->left && $t->right |
|
512
|
0 |
0 |
81 |
$N and $N > 0 |
|
564
|
34087 |
39607 |
0 |
not $tree->leaf || $tree->isRoot and @{$tree->keys} != $tree->keysPerNode |
|
570
|
0 |
4600 |
67762 |
$tree->up and $tree->up->left |
|
|
4600 |
31452 |
36310 |
$tree->up and $tree->up->left and $tree == $tree->up->left |
|
|
0 |
0 |
36052 |
$tree->up and $tree->up->right |
|
|
0 |
0 |
36052 |
$tree->up and $tree->up->right and $tree == $tree->up->right |
|
574
|
37384 |
36310 |
0 |
$tree->left and !$tree->left->up || $tree->left->up != $tree |
|
577
|
37642 |
36052 |
0 |
$tree->right and !$tree->right->up || $tree->right->up != $tree |
|
580
|
64236 |
9420 |
38 |
$tree->simplex and not $tree->simplexWithLeaf |
|
|
73656 |
32 |
6 |
$tree->simplex and not $tree->simplexWithLeaf and $tree->up |
|
|
9452 |
6 |
0 |
$tree->simplex and not $tree->simplexWithLeaf and $tree->up and not $tree->up->isRoot |
|
|
38 |
0 |
0 |
$tree->simplex and not $tree->simplexWithLeaf and $tree->up and not $tree->up->isRoot and not $tree->up->duplex |