Commit 8daf5c8f authored by Daniel Le Berre's avatar Daniel Le Berre

Removed dependencies to core tests to avoid issues with java 11 modules.

parent fbb9a07c
Pipeline #5374 failed with stages
in 5 minutes and 12 seconds
......@@ -47,13 +47,6 @@
<artifactId>org.ow2.sat4j.core</artifactId>
<version>${project.version}</version>
</dependency>
<dependency>
<groupId>org.ow2.sat4j</groupId>
<artifactId>org.ow2.sat4j.core</artifactId>
<version>${project.version}</version>
<type>test-jar</type>
<scope>test</scope>
</dependency>
<dependency>
<groupId>junit</groupId>
<artifactId>junit</artifactId>
......
......@@ -33,7 +33,6 @@ package org.sat4j.pb.constraints;
import java.io.FileNotFoundException;
import java.io.IOException;
import org.sat4j.minisat.AbstractAcceptanceTestCase;
import org.sat4j.reader.ParseFormatException;
import org.sat4j.specs.ISolver;
......@@ -44,7 +43,7 @@ import org.sat4j.specs.ISolver;
* Window&gt;Preferences&gt;Java&gt;Code Generation&gt;Code and Comments
*/
public abstract class AbstractPigeonHoleWithCardinalityTest<T extends ISolver>
extends AbstractAcceptanceTestCase<T> {
extends AbstractAcceptanceTestCase {
protected static final String PREFIX = System.getProperty("test.pbprefix");
......@@ -58,68 +57,68 @@ public abstract class AbstractPigeonHoleWithCardinalityTest<T extends ISolver>
super(arg);
}
public void testPN34() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN34()
throws FileNotFoundException, IOException, ParseFormatException {
assertTrue(solveInstance(PREFIX + "pigeons/PN-3-4.opb"));
}
public void testPN4() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN4()
throws FileNotFoundException, IOException, ParseFormatException {
assertFalse(solveInstance(PREFIX + "pigeons/PN-4-3.opb"));
}
public void testPN45() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN45()
throws FileNotFoundException, IOException, ParseFormatException {
assertTrue(solveInstance(PREFIX + "pigeons/PN-4-5.opb"));
}
public void testPN5() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN5()
throws FileNotFoundException, IOException, ParseFormatException {
assertFalse(solveInstance(PREFIX + "pigeons/PN-5-4.opb"));
}
public void testPN56() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN56()
throws FileNotFoundException, IOException, ParseFormatException {
assertTrue(solveInstance(PREFIX + "pigeons/PN-5-6.opb"));
}
public void testPN6() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN6()
throws FileNotFoundException, IOException, ParseFormatException {
assertFalse(solveInstance(PREFIX + "pigeons/PN-6-5.opb"));
}
public void testPN67() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN67()
throws FileNotFoundException, IOException, ParseFormatException {
assertTrue(solveInstance(PREFIX + "pigeons/PN-6-7.opb"));
}
public void testPN7() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN7()
throws FileNotFoundException, IOException, ParseFormatException {
assertFalse(solveInstance(PREFIX + "pigeons/PN-7-6.opb"));
}
public void testPN78() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN78()
throws FileNotFoundException, IOException, ParseFormatException {
assertTrue(solveInstance(PREFIX + "pigeons/PN-7-8.opb"));
}
public void testPN8() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN8()
throws FileNotFoundException, IOException, ParseFormatException {
assertFalse(solveInstance(PREFIX + "pigeons/PN-8-7.opb"));
}
public void testPN89() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN89()
throws FileNotFoundException, IOException, ParseFormatException {
assertTrue(solveInstance(PREFIX + "pigeons/PN-8-9.opb"));
}
public void testPN9() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN9()
throws FileNotFoundException, IOException, ParseFormatException {
assertFalse(solveInstance(PREFIX + "pigeons/PN-9-8.opb"));
}
public void testPN910() throws FileNotFoundException, IOException,
ParseFormatException {
public void testPN910()
throws FileNotFoundException, IOException, ParseFormatException {
assertTrue(solveInstance(PREFIX + "pigeons/PN-9-10.opb"));
}
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment