Clover Test Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Test
testEnigmaProblem 1,4% 1 PASS 0.016
 
    testEnigmaProblem.
org.sat4j.reader.GoodOPBReader   org.sat4j.reader.GoodOPBReader 0.0 0.52903223 52,9%
org.sat4j.minisat.reader.ReturnCounterStub   org.sat4j.minisat.reader.ReturnCounterStub 0.5 50% 0.5 50%
org.sat4j.core.Vec   org.sat4j.core.Vec 0.0 0.13934426 13,9%
org.sat4j.core.VecInt   org.sat4j.core.VecInt 0.0 0.09415584 9,4%
 
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.