Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
19   120   1   1
0   82   1   19
19     1  
1    
 
  AbstractRandomCardProblemsTest       Line # 20 19 1 100% 1.0
 
  (18)
 
1    /*
2    * Created on 29 aout 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 java.io.FileNotFoundException;
10    import java.io.IOException;
11   
12    import org.sat4j.reader.ParseFormatException;
13   
14    /**
15    * @author leberre
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 abstract class AbstractRandomCardProblemsTest extends
21    AbstractPigeonHoleWithCardinalityTest {
22   
23    /**
24    *
25    */
 
26  192 toggle public AbstractRandomCardProblemsTest(String name) {
27  192 super(name);
28    }
29   
 
30  6 toggle public void testRndDeg1() throws FileNotFoundException, IOException,
31    ParseFormatException {
32  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg1.opb"));
33    }
34   
 
35  6 toggle public void testRndDeg2() throws FileNotFoundException, IOException,
36    ParseFormatException {
37  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg2.opb"));
38    }
39   
 
40  6 toggle public void testRndDeg3() throws FileNotFoundException, IOException,
41    ParseFormatException {
42  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg3.opb"));
43    }
44   
 
45  6 toggle public void testRndDeg4() throws FileNotFoundException, IOException,
46    ParseFormatException {
47  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg4.opb"));
48    }
49   
 
50  6 toggle public void testRndDeg5() throws FileNotFoundException, IOException,
51    ParseFormatException {
52  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg5.opb"));
53    }
54   
 
55  6 toggle public void testRndDeg6() throws FileNotFoundException, IOException,
56    ParseFormatException {
57  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg6.opb"));
58    }
59   
 
60  6 toggle public void testRndDeg7() throws FileNotFoundException, IOException,
61    ParseFormatException {
62  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg7.opb"));
63    }
64   
 
65  6 toggle public void testRndDeg8() throws FileNotFoundException, IOException,
66    ParseFormatException {
67  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg8.opb"));
68    }
69   
 
70  6 toggle public void testRndDeg9() throws FileNotFoundException, IOException,
71    ParseFormatException {
72  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg9.opb"));
73    }
74   
 
75  6 toggle public void testRndDeg10() throws FileNotFoundException, IOException,
76    ParseFormatException {
77  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg10.opb"));
78    }
79   
 
80  6 toggle public void testRndDeg11() throws FileNotFoundException, IOException,
81    ParseFormatException {
82  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg11.opb"));
83    }
84   
 
85  6 toggle public void testRndDeg12() throws FileNotFoundException, IOException,
86    ParseFormatException {
87  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg12.opb"));
88    }
89   
 
90  6 toggle public void testRndDeg13() throws FileNotFoundException, IOException,
91    ParseFormatException {
92  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg13.opb"));
93    }
94   
 
95  6 toggle public void testRndDeg14() throws FileNotFoundException, IOException,
96    ParseFormatException {
97  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg14.opb"));
98    }
99   
 
100  6 toggle public void testRndDeg15() throws FileNotFoundException, IOException,
101    ParseFormatException {
102  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg15.opb"));
103    }
104   
 
105  6 toggle public void testRndDeg16() throws FileNotFoundException, IOException,
106    ParseFormatException {
107  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg16.opb"));
108    }
109   
 
110  6 toggle public void testRndDeg17() throws FileNotFoundException, IOException,
111    ParseFormatException {
112  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg17.opb"));
113    }
114   
 
115  6 toggle public void testRndDeg18() throws FileNotFoundException, IOException,
116    ParseFormatException {
117  6 assertFalse(solveInstance(PREFIX + "random-opb/rnddeg18.opb"));
118    }
119   
120    }
 
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.