diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java index 9d54a83..eaad5a1 100644 --- a/src/test/java/UnifyTest.java +++ b/src/test/java/UnifyTest.java @@ -670,8 +670,8 @@ public class UnifyTest { FiniteClosure finiteClosure = new FiniteClosure(fcConstraints, new NullWriter()); TypeUnify unifyAlgo = new TypeUnify(); ConstraintSet< Pair> cons = new ConstraintSet<>(); - UnifyResultModel urm = new UnifyResultModel(cons, finiteClosure); - UnifyTaskModel tasks = new UnifyTaskModel(); + UnifyResultModelParallel urm = new UnifyResultModelParallel(cons, finiteClosure); + UnifyTaskModelParallel tasks = new UnifyTaskModelParallel(); Set> solution = unifyAlgo.unify(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks); System.out.println(solution); System.out.println(solution.size());