Condition Coverage

blib/lib/Algorithm/SAT/Backtracking.pm

Criterion	Covered	Total	%
condition	12	17	70.5

and 2 conditions

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

and 3 conditions

line	!l	l&&!r	l&&r	condition
36	53	0	67	defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 1
49	53	43	0	defined $self->satisfiable($_, $model) && $self->satisfiable($_, $model) == 0
119	1844	1160	488	defined $self->resolve($_, $model) && $self->resolve($_, $model) == 0
131	1844	486	1160	defined $self->resolve($_, $model) && $self->resolve($_, $model) == 1

or 3 conditions

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