From 8e2151bfc285dba6eefcfdd2aada60e51105fece Mon Sep 17 00:00:00 2001
From: NoName11234 <47484268+NoName11234@users.noreply.github.com>
Date: Wed, 15 May 2024 17:31:55 +0200
Subject: [PATCH] reworked tests with UnifyResultModelParallel

---
 src/test/java/UnifyTest.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/test/java/UnifyTest.java b/src/test/java/UnifyTest.java
index 4515e28..aca2add 100644
--- a/src/test/java/UnifyTest.java
+++ b/src/test/java/UnifyTest.java
@@ -196,7 +196,7 @@ public class UnifyTest {
 
         TypeUnify unifyAlgo = new TypeUnify();
         ConstraintSet< Pair> cons = new ConstraintSet<>();
-        UnifyResultModel urm = new UnifyResultModel(cons, finiteClosure);
+        UnifyResultModelParallel urm = new UnifyResultModelParallel(cons, finiteClosure);
         UnifyTaskModel tasks = new UnifyTaskModel();
         Set<Set<UnifyPair>> solution = unifyAlgo.unify(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks);
         System.out.println(solution.size());
@@ -671,7 +671,7 @@ 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);
+        UnifyResultModelParallel urm = new UnifyResultModelParallel(cons, finiteClosure);
         UnifyTaskModel tasks = new UnifyTaskModel();
         Set<Set<UnifyPair>> solution = unifyAlgo.unify(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks);
         System.out.println(solution);