Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
9   56   2   2,25
2   27   0,56   4
4     1,25  
1    
 
  GenericM2Test       Line # 19 9 2 100% 1.0
 
No Tests
 
1    /*
2    * Created on 6 juil. 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.TestSuite;
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 GenericM2Test extends AbstractM2Test {
20   
21    private String solvername;
22   
23    private static final SolverFactory factory = SolverFactory.instance();
24   
25    /**
26    * @param arg0
27    */
 
28  57 toggle public GenericM2Test(String arg0) {
29  57 setName("AbstractM2Test" + arg0);
30  57 solvername = arg0;
31    }
32   
33    /*
34    * (non-Javadoc)
35    *
36    * @see junit.framework.TestCase#setUp()
37    */
 
38  57 toggle @Override
39    protected ISolver createSolver() {
40  57 return factory.createSolverByName(solvername);
41    }
42   
 
43  1 toggle public static TestSuite suite() {
44  1 TestSuite suite = new TestSuite();
45  1 String[] names = factory.solverNames();
46  58 for (int i = 0; i < names.length; i++) {
47  57 suite.addTest(new GenericM2Test(names[i]));
48    }
49  1 return suite;
50    }
51   
 
52  57 toggle @Override
53    protected void runTest() throws Throwable {
54  57 assertFalse(solveInstance(PREFIX + "pigeons/hole9.cnf"));
55    }
56    }
 
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.