Branch Coverage

blib/lib/FLAT/DFA.pm
Criterion Covered Total %
branch 47 70 67.1


line true false branch
15 0 292 if $num != 1
23 6 74 $self->is_accepting($s) ? :
52 0 6 unless grep {not $dfas[$_]->is_accepting($start[$_]);} 0 .. $#dfas
63 74 406 unless (exists $newstates{_TUPLE_ID(@next)})
66 0 74 unless grep {not $dfas[$_]->is_accepting($next[$_]);} 0 .. $#dfas
83 0 0 if $num != 1
94 552 0 if (@ret)
95 135 417 if ($ret[0] == $state)
96 134 1 if $result->is_state($state)
115 2157 12198 if (1 == grep(defined($_), @final{$s1, $s2}))
122 36281 29109 if @t == 1
124 6132 22977 unless ($equiv[$t[0]][$t[1]])
131 137 511 unless $changed
137 207 776 if exists $newstate{$s}
173 0 10752 unless (@next)
178 1603 0 if $self->is_accepting($current)
196 1110 4566 if (defined $t)
227 0 0 unless (exists $dflabel_ref->{$startNode})
230 0 0 unless (exists $dflabel_ref->{$adjacent})
234 0 0 if ($self->array_is_subset([$adjacent], [$self->get_accepting]))
253 0 0 if 1 < $_[0]
276 0 0 if ($DEPTH >= $c1)
280 0 0 if ($DEPTH > $c2)
286 0 0 if ($self->array_is_subset([$adjacent], [@{$goals_ref;}]))
308 572 80 unless (exists $dflabel_ref->{$adjacent})
325 208 507 $self->array_is_subset([$start], $accepting_ref) ? :
343 125 590 unless (@substack)
349 203 387 if ($r->{'string'})
366 2075 3 ref $dflabel_ref eq 'HASH' ? :
367 2075 3 if ($max and $c1 < $max)
371 1343 663 if ($c2 < $max)
390 1405 673 $self->array_is_subset([$start], $accepting_ref) ? :
412 125 1953 unless (@substack)
418 1400 553 if ($r->{'string'})
427 125 0 @_ ? :