Clover Coverage Report
Coverage timestamp: mer. juin 27 2007 07:27:16 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
103   572   1   0,99
0   419   1,01   104
104     1  
1    
 
  AbstractM2Test       Line # 36 103 1 99% 0.99033815
 
  (101)
 
1    /*
2    * The OpenSAT project
3    * Copyright (c) 2002, Joao Marques-Silva and Daniel Le Berre
4    *
5    *
6    * This library is free software; you can redistribute it and/or
7    * modify it under the terms of the GNU Lesser General Public
8    * License as published by the Free Software Foundation; either
9    * version 2.1 of the License, or (at your option) any later version.
10    *
11    * This library is distributed in the hope that it will be useful,
12    * but WITHOUT ANY WARRANTY; without even the implied warranty of
13    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14    * Lesser General Public License for more details.
15    *
16    * You should have received a copy of the GNU Lesser General Public
17    * License along with this library; if not, write to the Free Software
18    * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
19    *
20    * Created on 14 d?c. 2002
21    *
22    */
23    package org.sat4j.minisat;
24   
25    import java.io.FileNotFoundException;
26    import java.io.IOException;
27   
28    import org.sat4j.reader.ParseFormatException;
29   
30    /**
31    * Class responsability.
32    *
33    * @author leberre
34    *
35    */
 
36    public abstract class AbstractM2Test extends AbstractAcceptanceTestCase {
37   
38    // private static final String PREFIX = "C:\\Documents and
39    // Settings\\Daniel\\Mes documents\\SAT\\";
40    protected static final String PREFIX = System.getProperty("test.prefix");
41   
 
42  0 toggle public static void main(String[] args) {
43  0 junit.swingui.TestRunner.run(AbstractM2Test.class);
44    }
45   
 
46  57 toggle public AbstractM2Test() {
47    }
48   
49    /**
50    * Constructor for DPLLTest.
51    *
52    * @param arg0
53    */
 
54  1624 toggle public AbstractM2Test(String arg0) {
55  1624 super(arg0);
56    }
57   
 
58  16 toggle public void testAim50SAT1() throws FileNotFoundException, IOException,
59    ParseFormatException {
60  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-1_6-yes1-1.cnf"));
61    }
62   
 
63  16 toggle public void testAim50SAT2() throws FileNotFoundException, IOException,
64    ParseFormatException {
65  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-1_6-yes1-2.cnf"));
66    }
67   
 
68  16 toggle public void testAim50SAT3() throws FileNotFoundException, IOException,
69    ParseFormatException {
70  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-1_6-yes1-3.cnf"));
71    }
72   
 
73  16 toggle public void testAim50SAT4() throws FileNotFoundException, IOException,
74    ParseFormatException {
75  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-1_6-yes1-4.cnf"));
76    }
77   
 
78  16 toggle public void testAim50SAT5() throws FileNotFoundException, IOException,
79    ParseFormatException {
80  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-2_0-yes1-1.cnf"));
81    }
82   
 
83  16 toggle public void testAim50SAT6() throws FileNotFoundException, IOException,
84    ParseFormatException {
85  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-2_0-yes1-2.cnf"));
86    }
87   
 
88  16 toggle public void testAim50SAT7() throws FileNotFoundException, IOException,
89    ParseFormatException {
90  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-2_0-yes1-3.cnf"));
91    }
92   
 
93  16 toggle public void testAim50SAT8() throws FileNotFoundException, IOException,
94    ParseFormatException {
95  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-2_0-yes1-4.cnf"));
96    }
97   
 
98  16 toggle public void testAim50SAT9() throws FileNotFoundException, IOException,
99    ParseFormatException {
100  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-3_4-yes1-1.cnf"));
101    }
102   
 
103  16 toggle public void testAim50SAT10() throws FileNotFoundException, IOException,
104    ParseFormatException {
105  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-3_4-yes1-2.cnf"));
106    }
107   
 
108  16 toggle public void testAim50SAT11() throws FileNotFoundException, IOException,
109    ParseFormatException {
110  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-3_4-yes1-3.cnf"));
111    }
112   
 
113  16 toggle public void testAim50SAT12() throws FileNotFoundException, IOException,
114    ParseFormatException {
115  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-3_4-yes1-4.cnf"));
116    }
117   
 
118  16 toggle public void testAim50SAT13() throws FileNotFoundException, IOException,
119    ParseFormatException {
120  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-6_0-yes1-1.cnf"));
121    }
122   
 
123  16 toggle public void testAim50SAT14() throws FileNotFoundException, IOException,
124    ParseFormatException {
125  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-6_0-yes1-2.cnf"));
126    }
127   
 
128  16 toggle public void testAim50SAT15() throws FileNotFoundException, IOException,
129    ParseFormatException {
130  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-6_0-yes1-3.cnf"));
131    }
132   
 
133  16 toggle public void testAim50SAT16() throws FileNotFoundException, IOException,
134    ParseFormatException {
135  16 assertTrue(solveInstance(PREFIX + "aim/aim-50-6_0-yes1-4.cnf"));
136    }
137   
 
138  16 toggle public void testAim50UNSAT1() throws FileNotFoundException, IOException,
139    ParseFormatException {
140  16 assertTrue(!solveInstance(PREFIX + "aim/aim-50-1_6-no-1.cnf"));
141    }
142   
 
143  16 toggle public void testAim50UNSAT2() throws FileNotFoundException, IOException,
144    ParseFormatException {
145  16 assertTrue(!solveInstance(PREFIX + "aim/aim-50-1_6-no-2.cnf"));
146    }
147   
 
148  16 toggle public void testAim50UNSAT3() throws FileNotFoundException, IOException,
149    ParseFormatException {
150  16 assertTrue(!solveInstance(PREFIX + "aim/aim-50-1_6-no-3.cnf"));
151    }
152   
 
153  16 toggle public void testAim50UNSAT4() throws FileNotFoundException, IOException,
154    ParseFormatException {
155  16 assertTrue(!solveInstance(PREFIX + "aim/aim-50-1_6-no-4.cnf"));
156    }
157   
 
158  16 toggle public void testAim50UNSAT5() throws FileNotFoundException, IOException,
159    ParseFormatException {
160  16 assertTrue(!solveInstance(PREFIX + "aim/aim-50-2_0-no-1.cnf"));
161    }
162   
 
163  16 toggle public void testAim50UNSAT6() throws FileNotFoundException, IOException,
164    ParseFormatException {
165  16 assertTrue(!solveInstance(PREFIX + "aim/aim-50-2_0-no-2.cnf"));
166    }
167   
 
168  16 toggle public void testAim50UNSAT7() throws FileNotFoundException, IOException,
169    ParseFormatException {
170  16 assertTrue(!solveInstance(PREFIX + "aim/aim-50-2_0-no-3.cnf"));
171    }
172   
 
173  16 toggle public void testAim50UNSAT8() throws FileNotFoundException, IOException,
174    ParseFormatException {
175  16 assertTrue(!solveInstance(PREFIX + "aim/aim-50-2_0-no-4.cnf"));
176    }
177   
 
178  16 toggle public void testIi1() throws FileNotFoundException, IOException,
179    ParseFormatException {
180  16 assertTrue(solveInstance(PREFIX + "ii/ii8a1.cnf"));
181    }
182   
 
183  16 toggle public void testIi2() throws FileNotFoundException, IOException,
184    ParseFormatException {
185  16 assertTrue(solveInstance(PREFIX + "ii/ii8a2.cnf"));
186    }
187   
 
188  16 toggle public void testIi3() throws FileNotFoundException, IOException,
189    ParseFormatException {
190  16 assertTrue(solveInstance(PREFIX + "ii/ii8a3.cnf"));
191    }
192   
 
193  16 toggle public void testIi4() throws FileNotFoundException, IOException,
194    ParseFormatException {
195  16 assertTrue(solveInstance(PREFIX + "ii/ii8a4.cnf"));
196    }
197   
 
198  16 toggle public void testIi5() throws FileNotFoundException, IOException,
199    ParseFormatException {
200  16 assertTrue(solveInstance(PREFIX + "ii/ii8b1.cnf"));
201    }
202   
 
203  16 toggle public void testIi6() throws FileNotFoundException, IOException,
204    ParseFormatException {
205  16 assertTrue(solveInstance(PREFIX + "ii/ii8b2.cnf"));
206    }
207   
 
208  16 toggle public void testIi7() throws FileNotFoundException, IOException,
209    ParseFormatException {
210  16 assertTrue(solveInstance(PREFIX + "ii/ii8b3.cnf"));
211    }
212   
 
213  16 toggle public void testIi8() throws FileNotFoundException, IOException,
214    ParseFormatException {
215  16 assertTrue(solveInstance(PREFIX + "ii/ii8b4.cnf"));
216    }
217   
 
218  16 toggle public void testIi9() throws FileNotFoundException, IOException,
219    ParseFormatException {
220  16 assertTrue(solveInstance(PREFIX + "ii/ii8c1.cnf"));
221    }
222   
 
223  16 toggle public void testIi10() throws FileNotFoundException, IOException,
224    ParseFormatException {
225  16 assertTrue(solveInstance(PREFIX + "ii/ii8c2.cnf"));
226    }
227   
 
228  16 toggle public void testIi11() throws FileNotFoundException, IOException,
229    ParseFormatException {
230  16 assertTrue(solveInstance(PREFIX + "ii/ii8d1.cnf"));
231    }
232   
 
233  16 toggle public void testIi12() throws FileNotFoundException, IOException,
234    ParseFormatException {
235  16 assertTrue(solveInstance(PREFIX + "ii/ii8d2.cnf"));
236    }
237   
 
238  16 toggle public void testIi13() throws FileNotFoundException, IOException,
239    ParseFormatException {
240  16 assertTrue(solveInstance(PREFIX + "ii/ii8e1.cnf"));
241    }
242   
 
243  16 toggle public void testIi14() throws FileNotFoundException, IOException,
244    ParseFormatException {
245  16 assertTrue(solveInstance(PREFIX + "ii/ii8e2.cnf"));
246    }
247   
 
248  16 toggle public void testIi15() throws FileNotFoundException, IOException,
249    ParseFormatException {
250  16 assertTrue(solveInstance(PREFIX + "ii/ii16a1.cnf"));
251    }
252   
 
253  16 toggle public void testIi16() throws FileNotFoundException, IOException,
254    ParseFormatException {
255  16 assertTrue(solveInstance(PREFIX + "ii/ii16a2.cnf"));
256    }
257   
 
258  16 toggle public void testIi17() throws FileNotFoundException, IOException,
259    ParseFormatException {
260  16 assertTrue(solveInstance(PREFIX + "ii/ii16b1.cnf"));
261    }
262   
 
263  16 toggle public void testIi18() throws FileNotFoundException, IOException,
264    ParseFormatException {
265  16 assertTrue(solveInstance(PREFIX + "ii/ii16b2.cnf"));
266    }
267   
268    // public void testIi19()
269    // throws FileNotFoundException, IOException, ParseFormatException {
270    // assertTrue(solveInstance(PREFIX + "ii/ii16c1.cnf"));
271    // }
272   
 
273  16 toggle public void testIi20() throws FileNotFoundException, IOException,
274    ParseFormatException {
275  16 assertTrue(solveInstance(PREFIX + "ii/ii16c2.cnf"));
276    }
277   
 
278  16 toggle public void testIi21() throws FileNotFoundException, IOException,
279    ParseFormatException {
280  16 assertTrue(solveInstance(PREFIX + "ii/ii16d1.cnf"));
281    }
282   
 
283  16 toggle public void testIi22() throws FileNotFoundException, IOException,
284    ParseFormatException {
285  16 assertTrue(solveInstance(PREFIX + "ii/ii16d2.cnf"));
286    }
287   
 
288  16 toggle public void testIi23() throws FileNotFoundException, IOException,
289    ParseFormatException {
290  16 assertTrue(solveInstance(PREFIX + "ii/ii16e1.cnf"));
291    }
292   
 
293  16 toggle public void testIi24() throws FileNotFoundException, IOException,
294    ParseFormatException {
295  16 assertTrue(solveInstance(PREFIX + "ii/ii16e2.cnf"));
296    }
297   
 
298  16 toggle public void testJNH1() throws FileNotFoundException, IOException,
299    ParseFormatException {
300  16 assertTrue(solveInstance(PREFIX + "jnh/jnh1.cnf"));
301    }
302   
 
303  16 toggle public void testJNH2() throws FileNotFoundException, IOException,
304    ParseFormatException {
305  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh2.cnf"));
306    }
307   
 
308  16 toggle public void testJNH3() throws FileNotFoundException, IOException,
309    ParseFormatException {
310  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh3.cnf"));
311    }
312   
 
313  16 toggle public void testJNH4() throws FileNotFoundException, IOException,
314    ParseFormatException {
315  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh4.cnf"));
316    }
317   
 
318  16 toggle public void testJNH5() throws FileNotFoundException, IOException,
319    ParseFormatException {
320  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh5.cnf"));
321    }
322   
 
323  16 toggle public void testJNH6() throws FileNotFoundException, IOException,
324    ParseFormatException {
325  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh6.cnf"));
326    }
327   
 
328  16 toggle public void testJNH7() throws FileNotFoundException, IOException,
329    ParseFormatException {
330  16 assertTrue(solveInstance(PREFIX + "jnh/jnh7.cnf"));
331    }
332   
 
333  16 toggle public void testJNH8() throws FileNotFoundException, IOException,
334    ParseFormatException {
335  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh8.cnf"));
336    }
337   
 
338  16 toggle public void testJNH9() throws FileNotFoundException, IOException,
339    ParseFormatException {
340  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh9.cnf"));
341    }
342   
 
343  16 toggle public void testJNH10() throws FileNotFoundException, IOException,
344    ParseFormatException {
345  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh10.cnf"));
346    }
347   
 
348  16 toggle public void testJNH11() throws FileNotFoundException, IOException,
349    ParseFormatException {
350  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh11.cnf"));
351    }
352   
 
353  16 toggle public void testJNH12() throws FileNotFoundException, IOException,
354    ParseFormatException {
355  16 assertTrue(solveInstance(PREFIX + "jnh/jnh12.cnf"));
356    }
357   
 
358  16 toggle public void testJNH13() throws FileNotFoundException, IOException,
359    ParseFormatException {
360  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh13.cnf"));
361    }
362   
 
363  16 toggle public void testJNH14() throws FileNotFoundException, IOException,
364    ParseFormatException {
365  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh14.cnf"));
366    }
367   
 
368  16 toggle public void testJNH15() throws FileNotFoundException, IOException,
369    ParseFormatException {
370  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh15.cnf"));
371    }
372   
 
373  16 toggle public void testJNH16() throws FileNotFoundException, IOException,
374    ParseFormatException {
375  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh16.cnf"));
376    }
377   
 
378  16 toggle public void testJNH17() throws FileNotFoundException, IOException,
379    ParseFormatException {
380  16 assertTrue(solveInstance(PREFIX + "jnh/jnh17.cnf"));
381    }
382   
 
383  16 toggle public void testJNH18() throws FileNotFoundException, IOException,
384    ParseFormatException {
385  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh18.cnf"));
386    }
387   
 
388  16 toggle public void testJNH19() throws FileNotFoundException, IOException,
389    ParseFormatException {
390  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh19.cnf"));
391    }
392   
 
393  16 toggle public void testJNH20() throws FileNotFoundException, IOException,
394    ParseFormatException {
395  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh20.cnf"));
396    }
397   
 
398  16 toggle public void testJNH21() throws FileNotFoundException, IOException,
399    ParseFormatException {
400  16 assertTrue(solveInstance(PREFIX + "jnh/jnh201.cnf"));
401    }
402   
 
403  16 toggle public void testJNH22() throws FileNotFoundException, IOException,
404    ParseFormatException {
405  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh202.cnf"));
406    }
407   
 
408  16 toggle public void testJNH23() throws FileNotFoundException, IOException,
409    ParseFormatException {
410  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh203.cnf"));
411    }
412   
 
413  16 toggle public void testJNH24() throws FileNotFoundException, IOException,
414    ParseFormatException {
415  16 assertTrue(solveInstance(PREFIX + "jnh/jnh204.cnf"));
416    }
417   
 
418  16 toggle public void testJNH25() throws FileNotFoundException, IOException,
419    ParseFormatException {
420  16 assertTrue(solveInstance(PREFIX + "jnh/jnh205.cnf"));
421    }
422   
 
423  16 toggle public void testJNH26() throws FileNotFoundException, IOException,
424    ParseFormatException {
425  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh206.cnf"));
426    }
427   
 
428  16 toggle public void testJNH27() throws FileNotFoundException, IOException,
429    ParseFormatException {
430  16 assertTrue(solveInstance(PREFIX + "jnh/jnh207.cnf"));
431    }
432   
 
433  16 toggle public void testJNH28() throws FileNotFoundException, IOException,
434    ParseFormatException {
435  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh208.cnf"));
436    }
437   
 
438  16 toggle public void testJNH29() throws FileNotFoundException, IOException,
439    ParseFormatException {
440  16 assertTrue(solveInstance(PREFIX + "jnh/jnh209.cnf"));
441    }
442   
 
443  16 toggle public void testJNH30() throws FileNotFoundException, IOException,
444    ParseFormatException {
445  16 assertTrue(solveInstance(PREFIX + "jnh/jnh210.cnf"));
446    }
447   
 
448  16 toggle public void testJNH31() throws FileNotFoundException, IOException,
449    ParseFormatException {
450  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh211.cnf"));
451    }
452   
 
453  16 toggle public void testJNH32() throws FileNotFoundException, IOException,
454    ParseFormatException {
455  16 assertTrue(solveInstance(PREFIX + "jnh/jnh212.cnf"));
456    }
457   
 
458  16 toggle public void testJNH33() throws FileNotFoundException, IOException,
459    ParseFormatException {
460  16 assertTrue(solveInstance(PREFIX + "jnh/jnh213.cnf"));
461    }
462   
 
463  16 toggle public void testJNH34() throws FileNotFoundException, IOException,
464    ParseFormatException {
465  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh214.cnf"));
466    }
467   
 
468  16 toggle public void testJNH35() throws FileNotFoundException, IOException,
469    ParseFormatException {
470  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh215.cnf"));
471    }
472   
 
473  16 toggle public void testJNH36() throws FileNotFoundException, IOException,
474    ParseFormatException {
475  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh216.cnf"));
476    }
477   
 
478  16 toggle public void testJNH37() throws FileNotFoundException, IOException,
479    ParseFormatException {
480  16 assertTrue(solveInstance(PREFIX + "jnh/jnh217.cnf"));
481    }
482   
 
483  16 toggle public void testJNH38() throws FileNotFoundException, IOException,
484    ParseFormatException {
485  16 assertTrue(solveInstance(PREFIX + "jnh/jnh218.cnf"));
486    }
487   
 
488  16 toggle public void testJNH39() throws FileNotFoundException, IOException,
489    ParseFormatException {
490  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh219.cnf"));
491    }
492   
 
493  16 toggle public void testJNH40() throws FileNotFoundException, IOException,
494    ParseFormatException {
495  16 assertTrue(solveInstance(PREFIX + "jnh/jnh220.cnf"));
496    }
497   
 
498  16 toggle public void testJNH41() throws FileNotFoundException, IOException,
499    ParseFormatException {
500  16 assertTrue(solveInstance(PREFIX + "jnh/jnh301.cnf"));
501    }
502   
 
503  16 toggle public void testJNH42() throws FileNotFoundException, IOException,
504    ParseFormatException {
505  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh302.cnf"));
506    }
507   
 
508  16 toggle public void testJNH43() throws FileNotFoundException, IOException,
509    ParseFormatException {
510  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh303.cnf"));
511    }
512   
 
513  16 toggle public void testJNH44() throws FileNotFoundException, IOException,
514    ParseFormatException {
515  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh304.cnf"));
516    }
517   
 
518  16 toggle public void testJNH45() throws FileNotFoundException, IOException,
519    ParseFormatException {
520  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh305.cnf"));
521    }
522   
 
523  16 toggle public void testJNH46() throws FileNotFoundException, IOException,
524    ParseFormatException {
525  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh306.cnf"));
526    }
527   
 
528  16 toggle public void testJNH47() throws FileNotFoundException, IOException,
529    ParseFormatException {
530  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh307.cnf"));
531    }
532   
 
533  16 toggle public void testJNH48() throws FileNotFoundException, IOException,
534    ParseFormatException {
535  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh308.cnf"));
536    }
537   
 
538  16 toggle public void testJNH49() throws FileNotFoundException, IOException,
539    ParseFormatException {
540  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh309.cnf"));
541    }
542   
 
543  16 toggle public void testJNH50() throws FileNotFoundException, IOException,
544    ParseFormatException {
545  16 assertTrue(!solveInstance(PREFIX + "jnh/jnh310.cnf"));
546    }
547   
 
548  16 toggle public void testHole6() throws FileNotFoundException, IOException,
549    ParseFormatException {
550  16 assertFalse(solveInstance(PREFIX + "pigeons/hole6.cnf"));
551    }
552   
 
553  16 toggle public void testHole7() throws FileNotFoundException, IOException,
554    ParseFormatException {
555  16 assertFalse(solveInstance(PREFIX + "pigeons/hole7.cnf"));
556    }
557   
 
558  16 toggle public void testHole8() throws FileNotFoundException, IOException,
559    ParseFormatException {
560  16 assertFalse(solveInstance(PREFIX + "pigeons/hole8.cnf"));
561    }
562   
 
563  16 toggle public void testHole9() throws FileNotFoundException, IOException,
564    ParseFormatException {
565  16 assertFalse(solveInstance(PREFIX + "pigeons/hole9.cnf"));
566    }
567   
568    // public void testHole10() throws FileNotFoundException, IOException,
569    // ParseFormatException {
570    // assertFalse(solveInstance(PREFIX + "pigeons/hole10.cnf"));
571    // }
572    }
 
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.