| 1 |
|
|
| 2 |
|
|
| 3 |
|
|
| 4 |
|
|
| 5 |
|
|
| 6 |
|
|
| 7 |
|
package org.sat4j.minisat; |
| 8 |
|
|
| 9 |
|
import junit.framework.Test; |
| 10 |
|
import junit.framework.TestSuite; |
| 11 |
|
|
| 12 |
|
|
| 13 |
|
@author |
| 14 |
|
|
| 15 |
|
|
| 16 |
|
|
| 17 |
|
|
|
|
|
| 0% |
Uncovered Elements: 22 (22) |
Complexity: 1 |
Complexity Density: 0,05 |
|
| 18 |
|
public class AllTests { |
| 19 |
|
|
|
|
|
| 0% |
Uncovered Elements: 21 (21) |
Complexity: 1 |
Complexity Density: 0,05 |
|
| 20 |
0
|
 public static Test suite() {... |
| 21 |
0
|
TestSuite suite = new TestSuite("Test for org.sat4j.minisat"); |
| 22 |
|
|
| 23 |
0
|
suite.addTestSuite(TestAssertion.class); |
| 24 |
0
|
suite.addTestSuite(M2MiniActiveLearningTest.class); |
| 25 |
0
|
suite.addTestSuite(VarOrderTest.class); |
| 26 |
0
|
suite.addTestSuite(M2MiniLearning23Test.class); |
| 27 |
0
|
suite.addTestSuite(M2MiniLearning2Test.class); |
| 28 |
0
|
suite.addTestSuite(M2MiniSATTest.class); |
| 29 |
0
|
suite.addTestSuite(TestsFonctionnels.class); |
| 30 |
0
|
suite.addTestSuite(M2MiniLearningTest.class); |
| 31 |
0
|
suite.addTestSuite(M2RelsatTest.class); |
| 32 |
0
|
suite.addTestSuite(M2CardMinYannTest.class); |
| 33 |
0
|
suite.addTestSuite(M2AtLeastTest.class); |
| 34 |
0
|
suite.addTestSuite(M2BackjumpingTest.class); |
| 35 |
0
|
suite.addTestSuite(M2MiniLearningCBTest.class); |
| 36 |
0
|
suite.addTest(GenericM2Test.suite()); |
| 37 |
0
|
suite.addTestSuite(M2CardMaxYannTest.class); |
| 38 |
0
|
suite.addTestSuite(WatchedPBConstrWithPBConstrLearningOnCNFTest.class); |
| 39 |
0
|
suite.addTestSuite(WatchedPBConstrWithClauseLearningOnCNFTest.class); |
| 40 |
0
|
suite.addTestSuite(CounterPBConstrWithPBConstrLearningOnCNFTest.class); |
| 41 |
0
|
suite.addTestSuite(CounterPBConstrWithClauseLearningOnCNFTest.class); |
| 42 |
|
|
| 43 |
0
|
return suite; |
| 44 |
|
} |
| 45 |
|
} |
