Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
16   182   1   1
0   72   1   16
16     1  
1    
 
  AbstractPigeonHoleWithCardinalityTest       Line # 23 16 1 93,8% 0.9375
 
  (14)
 
1    /*
2    * Created on 20 mai 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 junit.swingui.TestRunner;
13   
14    import org.sat4j.minisat.AbstractAcceptanceTestCase;
15    import org.sat4j.reader.ParseFormatException;
16   
17    /**
18    * @author leberre
19    *
20    * To change the template for this generated type comment go to
21    * Window>Preferences>Java>Code Generation>Code and Comments
22    */
 
23    public abstract class AbstractPigeonHoleWithCardinalityTest extends
24    AbstractAcceptanceTestCase {
25   
26    protected static final String PREFIX = System.getProperty("test.pbprefix");
27   
28    /**
29    * Cr?ation d'un test
30    *
31    * @param arg
32    * argument ?ventuel
33    */
 
34  828 toggle public AbstractPigeonHoleWithCardinalityTest(String arg) {
35  828 super(arg);
36    }
37   
38    /**
39    * Lancement du test
40    *
41    * @param args
42    */
 
43  0 toggle public static void main(String[] args) {
44  0 TestRunner.run(AbstractPigeonHoleWithCardinalityTest.class);
45    }
46   
 
47  18 toggle public void testPN34() throws FileNotFoundException, IOException,
48    ParseFormatException {
49  18 assertTrue(solveInstance(PREFIX + "pigeons/PN-3-4.opb"));
50    }
51   
 
52  18 toggle public void testPN4() throws FileNotFoundException, IOException,
53    ParseFormatException {
54  18 assertFalse(solveInstance(PREFIX + "pigeons/PN-4-3.opb"));
55    }
56   
 
57  18 toggle public void testPN45() throws FileNotFoundException, IOException,
58    ParseFormatException {
59  18 assertTrue(solveInstance(PREFIX + "pigeons/PN-4-5.opb"));
60    }
61   
 
62  18 toggle public void testPN5() throws FileNotFoundException, IOException,
63    ParseFormatException {
64  18 assertFalse(solveInstance(PREFIX + "pigeons/PN-5-4.opb"));
65    }
66   
 
67  18 toggle public void testPN56() throws FileNotFoundException, IOException,
68    ParseFormatException {
69  18 assertTrue(solveInstance(PREFIX + "pigeons/PN-5-6.opb"));
70    }
71   
 
72  18 toggle public void testPN6() throws FileNotFoundException, IOException,
73    ParseFormatException {
74  18 assertFalse(solveInstance(PREFIX + "pigeons/PN-6-5.opb"));
75    }
76   
 
77  18 toggle public void testPN67() throws FileNotFoundException, IOException,
78    ParseFormatException {
79  18 assertTrue(solveInstance(PREFIX + "pigeons/PN-6-7.opb"));
80    }
81   
 
82  18 toggle public void testPN7() throws FileNotFoundException, IOException,
83    ParseFormatException {
84  18 assertFalse(solveInstance(PREFIX + "pigeons/PN-7-6.opb"));
85    }
86   
 
87  18 toggle public void testPN78() throws FileNotFoundException, IOException,
88    ParseFormatException {
89  18 assertTrue(solveInstance(PREFIX + "pigeons/PN-7-8.opb"));
90    }
91   
 
92  18 toggle public void testPN8() throws FileNotFoundException, IOException,
93    ParseFormatException {
94  18 assertFalse(solveInstance(PREFIX + "pigeons/PN-8-7.opb"));
95    }
96   
 
97  18 toggle public void testPN89() throws FileNotFoundException, IOException,
98    ParseFormatException {
99  18 assertTrue(solveInstance(PREFIX + "pigeons/PN-8-9.opb"));
100    }
101   
 
102  18 toggle public void testPN9() throws FileNotFoundException, IOException,
103    ParseFormatException {
104  18 assertFalse(solveInstance(PREFIX + "pigeons/PN-9-8.opb"));
105    }
106   
 
107  18 toggle public void testPN910() throws FileNotFoundException, IOException,
108    ParseFormatException {
109  18 assertTrue(solveInstance(PREFIX + "pigeons/PN-9-10.opb"));
110    }
111   
 
112  18 toggle public void testPN10() throws FileNotFoundException, IOException,
113    ParseFormatException {
114  18 assertFalse(solveInstance(PREFIX + "pigeons/PN-10-9.opb"));
115    }
116   
117    // public void testPN11() throws FileNotFoundException, IOException,
118    // ParseFormatException {
119    // assertFalse(solveInstance(PREFIX + "pigeons/PN-11-10.opb"));
120    // }
121    //
122    // public void testPN12() throws FileNotFoundException, IOException,
123    // ParseFormatException {
124    // assertFalse(solveInstance(PREFIX + "pigeons/PN-12-11.opb"));
125    // }
126    //
127    // public void testPN13() throws FileNotFoundException, IOException,
128    // ParseFormatException {
129    // assertFalse(solveInstance(PREFIX + "pigeons/PN-13-12.opb"));
130    // }
131    //
132    // public void testPN14() throws FileNotFoundException, IOException,
133    // ParseFormatException {
134    // assertFalse(solveInstance(PREFIX + "pigeons/PN-14-13.opb"));
135    // }
136    //
137    // public void testPN15() throws FileNotFoundException, IOException,
138    // ParseFormatException {
139    // assertFalse(solveInstance(PREFIX + "pigeons/PN-15-14.opb"));
140    // }
141    //
142    // public void testPN16() throws FileNotFoundException, IOException,
143    // ParseFormatException {
144    // assertFalse(solveInstance(PREFIX + "pigeons/PN-16-15.opb"));
145    // }
146    //
147    // public void testPN17() throws FileNotFoundException, IOException,
148    // ParseFormatException {
149    // assertFalse(solveInstance(PREFIX + "pigeons/PN-17-16.opb"));
150    // }
151    //
152    // public void testPN18() throws FileNotFoundException, IOException,
153    // ParseFormatException {
154    // assertFalse(solveInstance(PREFIX + "pigeons/PN-18-17.opb"));
155    // }
156    //
157    // public void testPN19() throws FileNotFoundException, IOException,
158    // ParseFormatException {
159    // assertFalse(solveInstance(PREFIX + "pigeons/PN-19-18.opb"));
160    // }
161   
162    // public void testPN6160() throws FileNotFoundException, IOException,
163    // ParseFormatException {
164    // assertFalse(solveInstance(PREFIX + "pigeons/PN-61-60.opb"));
165    // }
166   
167    // public void testPN75() throws FileNotFoundException, IOException,
168    // ParseFormatException {
169    // assertFalse(solveInstance(PREFIX + "pigeons/PN-75-74.opb"));
170    // }
171   
172    // public void testPN130() throws FileNotFoundException, IOException,
173    // ParseFormatException {
174    // assertFalse(solveInstance(PREFIX + "pigeons/PN-130-129.opb"));
175    // }
176   
177    // public void testPN201() throws FileNotFoundException, IOException,
178    // ParseFormatException {
179    // assertFalse(solveInstance(PREFIX + "pigeons/PN-201-200.opb"));
180    // }
181   
182    }
 
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.