|
|||||||||||||||||||||||||
Package | Conditionals | Statements | Methods | TOTAL | |||||||||||||||||||||
org.sat4j.minisat.core | 90,2% | 81,7% | 73,9% | 81,9% |
|
||||||||||||||||||||
Classes | Conditionals | Statements | Methods | TOTAL | |||||||||||||||||||||
TextOutputListener | - | 0% | 0% | 0% |
|
||||||||||||||||||||
IntQueue | 16,7% | 50% | 83,3% | 50% |
|
||||||||||||||||||||
SearchParams | - | 45,5% | 62,5% | 50% |
|
||||||||||||||||||||
SolverStats | - | 50% | 50% | 50% |
|
||||||||||||||||||||
Solver | 93,4% | 88,1% | 78,5% | 88% |
|
||||||||||||||||||||
NullSearchListener | - | - | 88,9% | 88,9% |
|
||||||||||||||||||||
Heap | 100% | 95,1% | 87,5% | 94% |
|
||||||||||||||||||||
ActivityComparator | - | 100% | 100% | 100% |
|
||||||||||||||||||||
Lbool | - | 100% | 100% | 100% |
|
||||||||||||||||||||
|