Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
2   38   1   1
0   14   1   2
2     1  
1    
 
  M2CardMaxYannTest       Line # 20 2 1 100% 1.0
 
No Tests
 
1    /*
2    * Created on 17 mars 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;
8   
9    import junit.framework.TestCase;
10   
11    import org.sat4j.minisat.constraints.CardinalityDataStructureYanMax;
12    import org.sat4j.specs.ISolver;
13   
14    /**
15    * @author leberre
16    *
17    * To change the template for this generated type comment go to Window -
18    * Preferences - Java - Code Generation - Code and Comments
19    */
 
20    public class M2CardMaxYannTest extends AbstractM2Test {
21   
22    /**
23    * @param arg0
24    */
 
25  101 toggle public M2CardMaxYannTest(String arg0) {
26  101 super(arg0);
27    }
28   
29    /**
30    * @see TestCase#setUp()
31    */
 
32  101 toggle @Override
33    protected ISolver createSolver() {
34  101 return SolverFactory
35    .newMiniLearning(new CardinalityDataStructureYanMax());
36    }
37   
38    }
 
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.