| line |
!l |
l&&!r |
l&&r |
condition |
|
67
|
0 |
0 |
7 |
$k > 0 and $k < $n |
|
|
0 |
2 |
5 |
$k > 0 and $k < $n and $r > 0 |
|
|
2 |
0 |
5 |
$k > 0 and $k < $n and $r > 0 and $s > 0 |
|
|
2 |
0 |
5 |
$k > 0 and $k < $n and $r > 0 and $s > 0 and length $r->to_bytes == 32 |
|
|
0 |
0 |
5 |
$k > 0 and $k < $n and $r > 0 and $s > 0 and length $r->to_bytes == 32 and length $s->to_bytes == 32 |
|
|
0 |
3 |
2 |
$k > 0 and $k < $n and $r > 0 and $s > 0 and length $r->to_bytes == 32 and length $s->to_bytes == 32 and _are_rs_canonical($r, $s) |
|
84
|
2 |
0 |
0 |
my $error = $@ and not $i |
|
121
|
0 |
0 |
2 |
$r > 0 and $r < $n |
|
|
0 |
0 |
2 |
$r > 0 and $r < $n and $s > 0 |
|
|
0 |
0 |
2 |
$r > 0 and $r < $n and $s > 0 and $s < $n |
|
138
|
1 |
0 |
2 |
$Qprime->x == $Q->x and $Qprime->y == $Q->y |
|
152
|
0 |
0 |
4 |
$i >= 0 and $i < 4 |