Condition Coverage

blib/lib/Algorithm/SAT/Backtracking.pm

Criterion	Covered	Total	%
condition	12	17	70.5

and 2 conditions

line	l	!l	condition
86	0	33	$choice = $variable and last

and 3 conditions

line	!l	l&&!r	l&&r	condition
38	53	0	67	defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1
51	53	43	0	defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0
127	1804	1104	482	defined $self->resolve($_, $model) && $self->resolve($_, $model) == 0
139	1804	480	1104	defined $self->resolve($_, $model) && $self->resolve($_, $model) == 1

or 3 conditions

line	l	!l&&r	!l&&!r	condition
74	27	0	0	$self->solve($variables, $clauses, $self->update($model, $choice, 1)) \|\| $self->solve($variables, $clauses, $self->update($model, $choice, 0))