Commit 2c193a23 authored by Daniel Le Berre's avatar Daniel Le Berre

Fix compilation error.

parent 983eed9b
Pipeline #3358 passed with stages
in 42 minutes and 20 seconds
......@@ -31,6 +31,8 @@ package org.sat4j;
import static org.junit.Assert.assertTrue;
import java.io.Serializable;
import org.junit.Test;
import org.sat4j.core.VecInt;
import org.sat4j.minisat.SolverFactory;
......@@ -84,7 +86,7 @@ public class BugSAT50 {
@Test(expected = TimeoutException.class)
public void test3() throws ContradictionException, TimeoutException {
Solver<DataStructureFactory> solver = SolverFactory.newGlucose();
solver.setSearchListener(new TextOutputTracing<Object>(null));
solver.setSearchListener(new TextOutputTracing<Serializable>(null));
int[] backdoor = { 1, 2, 3 };
IOrder order = new SubsetVarOrder(backdoor);
solver.setOrder(order);
......
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