Clover Test Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
App    Test    Results   
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Package Tests Fail Error % Pass
org.sat4j.minisat.core 24 24 0 0 0 0 0,206 100%
 
Test Classes Tests Fail Error % Pass
HeapTestHeapTest 8 8 0 0 0 0 0.0859999950,086 1.0100% 1.0
QueueTestQueueTest 4 4 0 0 0 0 0.0299999970,03 1.0100% 1.0
MarkableLitsTestMarkableLitsTest 12 12 0 0 0 0 0.0899999960,09 1.0100% 1.0
 
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.