Clover Test Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
App    Test    Results   
Overview    Package    File    Test
    FRAMES   NO FRAMES     
 
Class Tests Fail Error % Tests Success
ModelIteratorTest 4 4 0 0 0 0 0,18 100%
 
Tests Status Message
ModelIteratorTest.testIsSatisfiableVecIntModelIteratorTest.testIsSatisfiableVecInt 1 PASS 0.010,01
ModelIteratorTest.testModelIteratorModelIteratorTest.testModelIterator 1 PASS 0.1230,123
ModelIteratorTest.testCardModelModelIteratorTest.testCardModel 1 PASS 0.0290,029
ModelIteratorTest.testIncModelModelIteratorTest.testIncModel 1 PASS 0.0180,018
 
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.