diff --git a/README.md b/README.md
index 73adc7ec..575a75f1 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,9 @@
Prototype
run with:
+
mvn test -Dtest="TestComplete#matrixTest"
+
+mvn test -Dtest="typeinference.JavaTXCompilerTest#importTest"
+
+then the output is in: /tmp/output
diff --git a/pom.xml b/pom.xml
index 185b9fa0..02ceb0cc 100644
--- a/pom.xml
+++ b/pom.xml
@@ -53,8 +53,8 @@ http://maven.apache.org/maven-v4_0_0.xsd">
maven-compiler-plugin
3.11.0
-
- 21
+
+ 22
diff --git a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
index ebdd7005..2ce92844 100644
--- a/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
+++ b/src/main/java/de/dhbwstuttgart/typeinference/typeAlgo/TYPE.java
@@ -36,7 +36,7 @@ public class TYPE {
ret.addAll(getConstraintsClass(cl, new TypeInferenceInformation(allClasses)));
}
writeASP(ret);
- System.exit(0);
+ //System.exit(0);
return ret;
}
diff --git a/src/test/java/typeinference/JavaTXCompilerTest.java b/src/test/java/typeinference/JavaTXCompilerTest.java
index 50bd0350..a2651f23 100644
--- a/src/test/java/typeinference/JavaTXCompilerTest.java
+++ b/src/test/java/typeinference/JavaTXCompilerTest.java
@@ -34,7 +34,7 @@ public class JavaTXCompilerTest {
@Test
public void importTest() throws IOException, ClassNotFoundException {
- execute(new File(rootDirectory + "Import.jav"));
+ execute(new File(rootDirectory + "OrConsTest.jav"));
}
@Test
diff --git a/src/test/resources/javFiles/OrConsTest.jav b/src/test/resources/javFiles/OrConsTest.jav
new file mode 100644
index 00000000..d2217c11
--- /dev/null
+++ b/src/test/resources/javFiles/OrConsTest.jav
@@ -0,0 +1,52 @@
+
+import java.lang.Integer;
+import java.lang.String;
+
+
+public class OrConsTest {
+
+ ol(var1) {
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ var1.equals(var1);
+ return new OrConsTest();
+ }
+
+}
\ No newline at end of file