Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
2   36   1   1
0   12   1   2
2     1  
1    
 
  M2BackjumpingTest       Line # 19 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.specs.ISolver;
12   
13    /**
14    * @author leberre
15    *
16    * To change the template for this generated type comment go to Window -
17    * Preferences - Java - Code Generation - Code and Comments
18    */
 
19    public class M2BackjumpingTest extends AbstractM2Test {
20   
21    /**
22    * @param arg0
23    */
 
24  101 toggle public M2BackjumpingTest(String arg0) {
25  101 super(arg0);
26    }
27   
28    /**
29    * @see TestCase#setUp()
30    */
 
31  101 toggle @Override
32    protected ISolver createSolver() {
33  101 return SolverFactory.newBackjumping();
34    }
35   
36    }
 
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.