Clover coverage report -
Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 842   Methods: 52
NCLOC: 431   Classes: 8
Files: 6  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.orders 75% 78,6% 71,2% 76,5%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
VarOrderHeapObjective 12,5% 13,3% 50% 16%
coverage coverage
MyOrder.Temp 50% 62,5% 66,7% 60%
coverage coverage
VarOrderHeap 72,7% 75,6% 68,8% 73,5%
coverage coverage
VarOrder 83,3% 85,7% 75% 83,3%
coverage coverage
JWOrder.Temp 100% 87,5% 66,7% 86,7%
coverage coverage
MyOrder 100% 93,3% 66,7% 90,9%
coverage coverage
PureOrder 100% 91,7% 75% 90,9%
coverage coverage
JWOrder 100% 95,7% 80% 93,8%
coverage coverage
 
CloverReport generated by Clover Code Coverage v1.3.9
jeu. juin 15 2006 08:24:39 CEST.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.