Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
12   76   3   2,4
0   42   0,58   5
5     1,4  
1    
 
  AbstractAcceptanceTestCase       Line # 26 12 3 94,1% 0.9411765
 
  (172)
 
1    /*
2    * Created on 1 sept. 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 java.io.FileNotFoundException;
10    import java.io.IOException;
11   
12    import junit.framework.TestCase;
13   
14    import org.sat4j.reader.InstanceReader;
15    import org.sat4j.reader.ParseFormatException;
16    import org.sat4j.specs.ContradictionException;
17    import org.sat4j.specs.ISolver;
18    import org.sat4j.specs.TimeoutException;
19   
20    /**
21    * @author leberre
22    *
23    * To change the template for this generated type comment go to Window -
24    * Preferences - Java - Code Generation - Code and Comments
25    */
 
26    public abstract class AbstractAcceptanceTestCase extends TestCase {
27   
28    /**
29    *
30    */
 
31  57 toggle public AbstractAcceptanceTestCase() {
32  57 super();
33    }
34   
35    /**
36    * @param arg0
37    */
 
38  2452 toggle public AbstractAcceptanceTestCase(String arg0) {
39  2452 super(arg0);
40    }
41   
42    protected ISolver solver;
43   
44    protected InstanceReader reader;
45   
46    protected abstract ISolver createSolver();
47   
48    /**
49    * @see TestCase#setUp()
50    */
 
51  2509 toggle @Override
52    protected void setUp() {
53  2509 solver = createSolver();
54  2509 reader = new InstanceReader(solver);
55    }
56   
 
57  2509 toggle @Override
58    protected void tearDown() {
59  2509 solver.reset();
60    }
61   
 
62  2501 toggle protected boolean solveInstance(String filename)
63    throws FileNotFoundException, ParseFormatException, IOException {
64  2501 try {
65  2501 reader.parseInstance(filename);
66  2411 solver.setTimeout(300); // set timeout to 5mn
67  2411 return solver.isSatisfiable();
68    } catch (ContradictionException ce) {
69  90 return false;
70    } catch (TimeoutException ce) {
71  112 fail("Timeout: need more time to complete!");
72  0 return false;
73    }
74    }
75   
76    }
 
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.