Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 446   Methods: 28
NCLOC: 163   Classes: 7
Files: 7  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j.minisat.learning 100% 92,1% 75% 86,5%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
NoLearningNoHeuristics - - 0% 0%
coverage
FixedLengthLearning - 66,7% 66,7% 66,7%
coverage coverage
AbstractLearning 100% 100% 50% 80%
coverage coverage
ActiveLearning 100% 88,9% 80% 88,9%
coverage coverage
LimitedLearning 100% 94,4% 88,9% 93,1%
coverage coverage
MiniSATLearning - 100% 100% 100%
coverage
NoLearningButHeuristics - 100% 100% 100%
coverage
 
CloverReport generated by Clover Code Coverage v1.3.9
jeu. sept. 29 2005 23:57:47 CEST.		   Open Source License registered to the OpenSAT Project. This license of Clover is provided to support the development of OpenSAT only.