public static Test suite() {
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| AllTests | Line # 18 | 3 | 1 | 0% |
0.0
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
| No Tests | |||
| 1 | /* | |
| 2 | * Created on 15 juin 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; | |
| 8 | ||
| 9 | import junit.framework.Test; | |
| 10 | import junit.framework.TestSuite; | |
| 11 | ||
| 12 | /** | |
| 13 | * @author leberre | |
| 14 | * | |
| 15 | * To change the template for this generated type comment go to Window - | |
| 16 | * Preferences - Java - Code Generation - Code and Comments | |
| 17 | */ | |
| 18 | public class AllTests { | |
| 19 | ||
| 20 | 0 |
public static Test suite() { |
| 21 | 0 | TestSuite suite = new TestSuite("Test for org.sat4j"); |
| 22 | // $JUnit-BEGIN$ | |
| 23 | 0 | suite.addTestSuite(ModelIteratorTest.class); |
| 24 | // $JUnit-END$ | |
| 25 | 0 | return suite; |
| 26 | } | |
| 27 | } | |
|
||||||||||
