Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
21   54   1   21
0   35   0,05   1
1     1  
1    
 
  AllTests       Line # 18 21 1 0% 0.0
 
No Tests
 
1    /*
2    * Created on 18 juin 2004
3    *
4    * To change the template for this generated file go to
5    * Window - Preferences - Java - Code Generation - Code and Comments
6    */
7    package org.sat4j.minisat.constraints;
8   
9    import junit.framework.Test;
10    import junit.framework.TestSuite;
11   
12    /**
13    * @author leberre
14    *
15    * To change the template for this generated type comment go to Window -
16    * Preferences - Java - Code Generation - Code and Comments
17    */
 
18    public class AllTests {
19   
 
20  0 toggle public static Test suite() {
21  0 TestSuite suite = new TestSuite(
22    "Test for org.sat4j.minisat.constraints");
23    // $JUnit-BEGIN$
24  0 suite.addTestSuite(LitTest.class);
25  0 suite.addTestSuite(WatchedPBConstrWithClauseLearningTest.class);
26  0 suite.addTestSuite(PuebloWatchedPBConstrWithClauseLearningTest.class);
27  0 suite.addTestSuite(CounterPBConstrWithClauseLearningTest.class);
28  0 suite.addTestSuite(WatchedPBConstrWithPBConstrLearningTest.class);
29  0 suite.addTestSuite(PuebloWatchedPBConstrWithPBConstrLearningTest.class);
30  0 suite
31    .addTestSuite(PuebloWatchedPbClauseAtLeastConstrWithPBConstrLearningTest.class);
32  0 suite
33    .addTestSuite(PuebloWatchedPBClauseCardConstrWithPBConstrLearningTest.class);
34  0 suite.addTestSuite(CounterPBConstrWithPBConstrLearningTest.class);
35  0 suite
36    .addTestSuite(CounterPBConstrClauseImpliedWithClauseCardConstrLearning.class);
37  0 suite
38    .addTestSuite(CounterPBConstrWithClauseCardConstrLearningTest.class);
39  0 suite
40    .addTestSuite(CounterPBConstrWithClauseAtLeastConstrLearningTest.class);
41  0 suite
42    .addTestSuite(CounterPBConstrWithCBClauseCardConstrLearningTest.class);
43    // suite.addTestSuite(AbstractPigeonHoleWithCardinalityTest.class);
44  0 suite.addTestSuite(WatchedCardConstrOnRandomCardProblemsTest.class);
45  0 suite.addTestSuite(CounterCardConstrOnRandomCardProblemsTest.class);
46  0 suite.addTestSuite(WatchedPBConstrOnRandomCardProblemsTest.class);
47  0 suite.addTestSuite(PuebloWatchedPBConstrOnRandomCardProblemsTest.class);
48  0 suite.addTestSuite(CounterPBConstrOnRandomCardProblemsTest.class);
49  0 suite
50    .addTestSuite(CounterPBWithClauseCardConstrLearningReduceToClauseTest.class);
51    // $JUnit-END$
52  0 return suite;
53    }
54    }
 
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.