Clover Test Report
Coverage timestamp: mer. avr. 11 2007 09:35:45 CEST
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Test
AbstractM2TestMiniLearningHeapEZSimpLongRestarts 3 FAIL 300.011
Timeout: need more time to complete!
junit.framework.AssertionFailedError: Timeout: need more time to complete! at org.sat4j.minisat.AbstractAcceptanceTestCase.solveInstance(AbstractAcceptanceTestCase.java:71) at org.sat4j.minisat.GenericM2Test.runTest(GenericM2Test.java:54)
 
No classes hit.
 
CloverReport generated by Clover Code Coverage v2.0a4
mer. avr. 11 2007 09:35:57 CEST.		   Beta Testers License registered to clover-support@cenqua.com. This license of Clover2 is provided for beta testing only. You have 52 day(s) before your Beta Tester License expires.