Clover coverage report -
Coverage timestamp: jeu. sept. 29 2005 23:57:39 CEST
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 587   Methods: 24
NCLOC: 368   Classes: 5
Files: 4  
 
 Package Conditionals Statements Methods TOTAL
org.sat4j 0% 0% 0% 0%
coverage
 
 Classes Conditionals Statements Methods TOTAL
Lanceur 0% 0% 0% 0%
coverage
Lanceur.ExitCode 0% 0% 0% 0%
coverage
LanceurPseudo2005 0% 0% 0% 0%
coverage
LanceurPseudo2005Dicho 0% 0% 0% 0%
coverage
MoreThanSAT 0% 0% 0% 0%
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.