| line |
l |
!l&&r |
!l&&!r |
condition |
|
49
|
0 |
0 |
0 |
$type == "inner_random_stream_id" or $type == "inner_random_stream_key" |
|
|
0 |
0 |
0 |
$type == "inner_random_stream_id" or $type == "inner_random_stream_key" or $type == "transform_seed" |
|
|
0 |
0 |
0 |
$type == "inner_random_stream_id" or $type == "inner_random_stream_key" or $type == "transform_seed" or $type == "transform_rounds" |
|
|
0 |
0 |
0 |
$type == "inner_random_stream_id" or $type == "inner_random_stream_key" or $type == "transform_seed" or $type == "transform_rounds" or $type == "stream_start_bytes" |
|
234
|
25 |
0 |
0 |
to_inner_header_constant($type) // $type |