Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
App   
Overview   Package   File
    FRAMES   NO FRAMES     
6   141   1   0,75
0   39   1,33   4
8   2   1  
2    
 
 Package
org.sat4j.minisat.uip org.sat4j.minisat.uip 2.0 2 1.0 1 0.71428573 71,4% 0.71428573
 
 Class
DecisionUIP DecisionUIP 4.0 4 1.0 1 0.6666667 66,7% 0.6666667
FirstUIP FirstUIP 4.0 4 1.0 1 0.75 75% 0.75
 
CloverReport generated by Clover Code Coverage v2.0a5
mer. juin 27 2007 07:27:33 CEST.		   Beta Testers License registered to clover-support@cenqua.com. This license of Clover2 is provided for beta testing only. You have 5 day(s) before your Beta Tester License expires.