Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
2   40   1   1
0   14   1   2
2     1  
1    
 
  CounterPBConstrWithPBConstrLearningTest       Line # 20 2 1 100% 1.0
 
No Tests
 
1    /*
2    * Created on 20 mai 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 Propri?taire
16    *
17    * To change the template for this generated type comment go to
18    * Window>Preferences>Java>Code Generation>Code and Comments
19    */
 
20    public class CounterPBConstrWithPBConstrLearningTest extends
21    AbstractPseudoBooleanAndPigeonHoleTest {
22   
23    /**
24    * Cr?ation d'un test
25    *
26    * @param arg
27    * argument ?ventuel
28    */
 
29  106 toggle public CounterPBConstrWithPBConstrLearningTest(String arg) {
30  106 super(arg);
31    }
32   
33    /**
34    * @see TestCase#setUp()
35    */
 
36  53 toggle @Override
37    protected ISolver createSolver() {
38  53 return SolverFactory.newMiniOPBMax();
39    }
40    }
 
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.