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    
 
  CounterPBConstrOnRandomCardProblemsTest       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.constraints;
8   
9    import junit.framework.TestCase;
10   
11    import org.sat4j.minisat.SolverFactory;
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 CounterPBConstrOnRandomCardProblemsTest extends
21    AbstractRandomCardProblemsTest {
22   
23    /**
24    * @param arg0
25    */
 
26  32 toggle public CounterPBConstrOnRandomCardProblemsTest(String arg0) {
27  32 super(arg0);
28    }
29   
30    /**
31    * @see TestCase#setUp()
32    */
 
33  32 toggle @Override
34    protected ISolver createSolver() {
35  32 return SolverFactory.newMiniLearning(new PBMaxDataStructure());
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.