Branch Coverage

blib/lib/Algorithm/SAT/Backtracking/DPLLProb.pm

Criterion	Covered	Total	%
branch	2	2	100.0

line	true	false	branch
16	16	11	unless exists $$model{$variable}