Merge branch 'performanceTestBase' into performanceTestRecursionOptimization

src/test/java/UnifyTest.java

@@ -9,6 +9,9 @@ import de.dhbwstuttgart.typeinference.unify.model.*;
 import org.apache.commons.io.output.NullWriter;
 import org.junit.Test;
 
+import java.io.File;
+import java.io.FileWriter;
+import java.io.IOException;
 import java.util.ArrayList;
 import java.util.HashSet;
 
@@ -80,6 +83,16 @@ public class UnifyTest {
         UnifyTaskModel tasks = new UnifyTaskModel();
         Set<Set<UnifyPair>> solution = unifyAlgo.unify(undConstraints, oderConstraints, finiteClosure, new NullWriter(), false, urm, tasks);
         System.out.println(solution.size());
+        if(false){
+            try {
+                FileWriter fw = new FileWriter(new File("C:\\Users\\ykont\\Downloads"));
+                fw.write(solution.toString());
+                fw.flush();
+                fw.close();
+            } catch (IOException e) {
+                throw new RuntimeException(e);
+            }
+        }
         //System.out.println(solution);
     }}