diff --git a/src/test/java/AllgemeinTest.java b/src/test/java/AllgemeinTest.java index 43ea42b3..ddc5b060 100644 --- a/src/test/java/AllgemeinTest.java +++ b/src/test/java/AllgemeinTest.java @@ -57,7 +57,8 @@ public class AllgemeinTest { //String className = "UseWildcardPair"; //String className = "Assign"; //String className = "StreamTest"; - String className = "Iteration"; + //String className = "Iteration"; + String className = "TripleTest"; //PL 2019-10-24: genutzt fuer unterschiedliche Tests path = System.getProperty("user.dir")+"/resources/AllgemeinTest/" + className + ".jav"; //path = System.getProperty("user.dir")+"/src/test/resources/AllgemeinTest/Overloading_Generics.jav";