blib/lib/Algorithm/SAT/Backtracking/Ordered/DPLL.pm | |||
---|---|---|---|
Criterion | Covered | Total | % |
subroutine | 8 | 9 | 88.8 |
pod | 1 | 1 | 100.0 |
line | count | pod | subroutine |
---|---|---|---|
2 | 2 | n/a | BEGIN |
3 | 2 | n/a | BEGIN |
5 | 2 | n/a | BEGIN |
6 | 2 | n/a | BEGIN |
7 | 2 | n/a | BEGIN |
12 | 18 | Yes | solve |
20 | 15 | n/a | _up |
47 | 0 | n/a | _add_literal |
66 | 14 | n/a | _choice |