Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
2   28   1   1
0   14   1   2
2     1  
1    
 
  CounterPBConstrWithClauseAtLeastConstrLearningTest       Line # 8 2 1 100% 1.0
 
No Tests
 
1    package org.sat4j.minisat.constraints;
2   
3    import junit.framework.TestCase;
4   
5    import org.sat4j.minisat.SolverFactory;
6    import org.sat4j.specs.ISolver;
7   
 
8    public class CounterPBConstrWithClauseAtLeastConstrLearningTest extends
9    AbstractPseudoBooleanAndPigeonHoleTest {
10    /**
11    * Cr?ation d'un test
12    *
13    * @param arg
14    * argument ?ventuel
15    */
 
16  53 toggle public CounterPBConstrWithClauseAtLeastConstrLearningTest(String arg) {
17  53 super(arg);
18    }
19   
20    /**
21    * @see TestCase#setUp()
22    */
 
23  53 toggle @Override
24    protected ISolver createSolver() {
25  53 return SolverFactory.newMiniOPBClauseAtLeastConstrMax();
26    }
27   
28    }
 
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.