Clover Test Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
 
Test
testVec 0% 1 PASS 0.013
 
    testVec.
org.sat4j.core.Vec   org.sat4j.core.Vec 0.0 0.024590164 2,5%