line |
!l |
l&&!r |
l&&r |
condition |
105
|
0 |
0 |
0 |
$push_or_pop ne 'push' and $push_or_pop ne 'pop' |
|
0 |
0 |
0 |
$push_or_pop ne 'push' and $push_or_pop ne 'pop' and $push_or_pop ne 'no' |
144
|
0 |
0 |
0 |
$push_or_pop ne 'push' and $push_or_pop ne 'pop' |
|
0 |
0 |
0 |
$push_or_pop ne 'push' and $push_or_pop ne 'pop' and $push_or_pop ne 'no' |
182
|
0 |
0 |
0 |
$push_or_pop ne 'push' and $push_or_pop ne 'pop' |
|
0 |
0 |
0 |
$push_or_pop ne 'push' and $push_or_pop ne 'pop' and $push_or_pop ne 'no' |
229
|
0 |
0 |
0 |
defined $$model{$self->init_state} and defined $$model{$self->final_state} |
335
|
0 |
0 |
0 |
$key ne $self->init_state and $key ne $self->final_state |