diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java index 9ca780b..5eb0dab 100644 --- a/src/test/java/UnifyTest.java +++ b/src/test/java/UnifyTest.java @@ -1534,8 +1534,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.size()); }