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 577 0 if (@ret)
95 131 446 if ($ret[0] == $state)
96 130 1 if $result->is_state($state)
115 2158 12459 if (1 == grep(defined($_), @final{$s1, $s2}))
122 36765 29924 if @t == 1
124 6301 23623 unless ($equiv[$t[0]][$t[1]])
131 137 518 unless $changed
137 191 800 if exists $newstate{$s}
173 0 10972 unless (@next)
178 1651 0 if $self->is_accepting($current)
196 1176 5328 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;}]))
309 649 47 unless (exists $dflabel_ref->{$adjacent})
326 235 547 $self->array_is_subset([$start], $accepting_ref) ? :
344 125 657 unless (@substack)
350 231 426 if ($r->{'string'})
367 2023 2 ref $dflabel_ref eq 'HASH' ? :
368 2023 2 if ($max and $c1 < $max)
372 1369 566 if ($c2 < $max)
391 1424 601 $self->array_is_subset([$start], $accepting_ref) ? :
413 125 1900 unless (@substack)
419 1420 480 if ($r->{'string'})
428 125 0 @_ ? :