| line |
!l |
l&&!r |
l&&r |
condition |
|
78
|
0 |
3386 |
3660 |
$tree and not $tree->right |
|
108
|
907 |
608 |
3758 |
$tree->up and $tree->up->left |
|
114
|
0 |
2 |
118 |
$tree->up and $tree->up->right |
|
361
|
6 |
5 |
149 |
$p->up and $p->up->right |
|
|
11 |
72 |
77 |
$p->up and $p->up->right and $p->up->right == $p |
|
374
|
1 |
0 |
54 |
$p->up and $p->up->left |
|
|
1 |
26 |
28 |
$p->up and $p->up->left and $p->up->left == $p |
|
414
|
164 |
548 |
723 |
@{$source->keys} > 0 and @{$target->keys} < $tree->keysPerNode |
|
|
712 |
0 |
723 |
@{$source->keys} > 0 and @{$target->keys} < $tree->keysPerNode and not $tree->singleton |
|
427
|
71 |
287 |
358 |
@{$source->keys} and @{$target->keys} < $tree->keysPerNode |
|
|
358 |
0 |
358 |
@{$source->keys} and @{$target->keys} < $tree->keysPerNode and not $tree->singleton |
|
496
|
53 |
61 |
71 |
$t->up && $t->up->left && $t->up->left == $t |
|
|
24 |
0 |
90 |
$t->up && $t->up->right && $t->up->right == $t |
|
498
|
8 |
10 |
61 |
$t->left && $t->right |
|
520
|
0 |
0 |
55 |
$N and $N > 0 |
|
575
|
0 |
0 |
0 |
$tree->up and $tree->up->left |
|
|
0 |
0 |
0 |
$tree->up and $tree->up->left and $tree == $tree->up->left |
|
|
0 |
0 |
0 |
$tree->up and $tree->up->right |
|
|
0 |
0 |
0 |
$tree->up and $tree->up->right and $tree == $tree->up->right |
|
579
|
0 |
0 |
0 |
$tree->left and !$tree->left->up || $tree->left->up != $tree |
|
582
|
0 |
0 |
0 |
$tree->right and !$tree->right->up || $tree->right->up != $tree |