Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
App   Test   Results
Overview   Package   File
    FRAMES   NO FRAMES     
20   94   6   10
8   47   0,35   2
2   1   3,5  
1    
 
 Package
org.sat4j.minisat.constraints.pb org.sat4j.minisat.constraints.pb 1.0 1 3.5 3,5 0.96666664 96,7% 0.96666664
 
 Class
WatchPbTest WatchPbTest 2.0 2 3.5 3,5 0.96666664 96,7% 0.96666664
 
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.