Temporary vars tests for goto-diff

Author: peterschrammel

regression/goto-diff/java-tmp-vars-array/new.jar

@@ -0,0 +1,11 @@
+public class Test {
+  public int[] f00(int[] x) {
+    int[] y = new int[x.length];
+    return y;
+  }
+
+  public int[] f01(int[] z) {
+    int[] w = new int[z.length];
+    return w;
+  }
+}

regression/goto-diff/java-tmp-vars-array/new/Test.java

@@ -0,0 +1,11 @@
+public class Test {
+  public int[] f00(int[] x) {
+    int[] y = x;
+    return y;
+  }
+
+  public int[] f01(int[] z) {
+    int[] w = new int[z.length];
+    return w;
+  }
+}

regression/goto-diff/java-tmp-vars-array/old.jar

@@ -0,0 +1,10 @@
+CORE
+new.jar
+old.jar
+// Enable multi-line checking
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+new functions:\nmodified functions:\n  Test\.java: java::Test\.f00:\(\[I\)\[I\ndeleted functions:
+--
+^warning: ignoring

regression/goto-diff/java-tmp-vars-array/old/Test.java

@@ -0,0 +1,11 @@
+public class Test {
+  public int f00(int x) {
+    int y = x++;
+    return y;
+  }
+
+  public int f01(int z) {
+    int w = z++;
+    return w;
+  }
+}

regression/goto-diff/java-tmp-vars-array/test.desc

@@ -0,0 +1,11 @@
+public class Test {
+  public int f00(int x) {
+    int y = x;
+    return y;
+  }
+
+  public int f01(int z) {
+    int w = z++;
+    return w;
+  }
+}

regression/goto-diff/java-tmp-vars-inc/new.jar

@@ -0,0 +1,10 @@
+CORE
+new.jar
+old.jar
+// Enable multi-line checking
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+new functions:\nmodified functions:\n  Test\.java: java::Test\.f00:\(I\)I\ndeleted functions:
+--
+^warning: ignoring

regression/goto-diff/java-tmp-vars-inc/new/Test.java

@@ -0,0 +1,17 @@
+class B {
+  void foo() {}
+}
+
+class A {
+  B b = new B();
+}
+
+public class Test {
+  public A f00(A x) {
+    return org.cprover.CProver.nondetWithoutNull();
+  }
+
+  public A f01(A z) {
+    return org.cprover.CProver.nondetWithoutNull();
+  }
+}

regression/goto-diff/java-tmp-vars-inc/old.jar

@@ -0,0 +1,17 @@
+class B {
+  void foo() {}
+}
+
+class A {
+  B b = new B();
+}
+
+public class Test {
+  public A f00(A x) {
+    return x;
+  }
+
+  public A f01(A z) {
+    return org.cprover.CProver.nondetWithoutNull();
+  }
+}

regression/goto-diff/java-tmp-vars-inc/old/Test.java

@@ -0,0 +1,10 @@
+CORE
+new.jar
+old.jar
+// Enable multi-line checking
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+new functions:\nmodified functions:\n  Test\.java: java::Test\.f00:\(LA;\)LA;\ndeleted functions:
+--
+^warning: ignoring

regression/goto-diff/java-tmp-vars-inc/test.desc

@@ -0,0 +1,11 @@
+public class Test {
+  public String f00(String x) {
+    String y = x + "abc";
+    return y;
+  }
+
+  public String f01(String z) {
+    String w = z + "abc";
+    return w;
+  }
+}

regression/goto-diff/java-tmp-vars-new/new.jar

@@ -0,0 +1,11 @@
+public class Test {
+  public String f00(String x) {
+    String y = x;
+    return y;
+  }
+
+  public String f01(String z) {
+    String w = z + "abc";
+    return w;
+  }
+}

regression/goto-diff/java-tmp-vars-new/new/Test.java

@@ -0,0 +1,10 @@
+CORE
+new.jar
+old.jar
+// Enable multi-line checking
+activate-multi-line-match
+EXIT=0
+SIGNAL=0
+new functions:\nmodified functions:\n  Test\.java: java::Test\.f00:\(Ljava/lang/String;\)Ljava/lang/String;\ndeleted functions:
+--
+^warning: ignoring