Branch Coverage

blib/lib/FLAT/DFA.pm
Criterion Covered Total %
branch 46 68 67.6


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 580 0 if (@ret)
95 138 442 if ($ret[0] == $state)
96 135 3 if $result->is_state($state)
115 2183 12625 if (1 == grep(defined($_), @final{$s1, $s2}))
122 36741 30430 if @t == 1
124 6487 23943 unless ($equiv[$t[0]][$t[1]])
131 137 508 unless $changed
137 206 803 if exists $newstate{$s}
173 0 11084 unless (@next)
178 1689 0 if $self->is_accepting($current)
196 1236 5244 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 667 87 unless (exists $dflabel_ref->{$adjacent})
326 248 568 $self->array_is_subset([$start], $accepting_ref) ? :
344 125 691 unless (@substack)
350 242 449 if ($r->{'string'})
367 2413 5 ref $dflabel_ref eq 'HASH' ? :
368 2413 5 if ($MAXLEVEL and $c1 < $MAXLEVEL)
372 1508 856 if ($c2 < $MAXLEVEL)
391 1453 965 $self->array_is_subset([$start], $accepting_ref) ? :
414 125 2293 unless (@substack)
420 1447 846 if ($r->{'string'})