Add third property as discussed in #1008

Author: mmuesly

java/java-ranger-regression/nanoxml_eqchk/nanoxml_prop3.yml

@@ -0,0 +1,11 @@
+format_version: "2.0"
+input_files:
+  - ../../common/
+  - impl/
+  - prop3/
+properties:
+  - property_file: ../../properties/assert.prp
+    expected_verdict: false
+
+options:
+  language: Java

java/java-ranger-regression/nanoxml_eqchk/prop3/Main.java

@@ -0,0 +1,29 @@
+import java.util.ArrayList;
+import org.sosy_lab.sv_benchmarks.Verifier;
+
+public class Main {
+
+    public static void main(String[] args) {
+        char c0 = Verifier.nondetChar();
+        char c1 = Verifier.nondetChar();
+        char c2 = Verifier.nondetChar();
+        char c3 = Verifier.nondetChar();
+        char c4 = Verifier.nondetChar();
+        char c5 = Verifier.nondetChar();
+        char c6 = Verifier.nondetChar();
+        char c7 = Verifier.nondetChar();
+        char c8 = Verifier.nondetChar();
+        DumpXML d = new DumpXML();
+        int out1 = d.mainProcess(c0, c1, c2, c3, c4, c5, c6, c7, c8);
+        int out2 = d.mainProcess(c0, c1, c2, c3, c4, c5, c6, c7, c8);
+        checkEquality(out1, out2);
+    }
+
+    public static void checkEquality(int outSPF, int outJR) {
+        if (outSPF == outJR) System.out.println("Match");
+        else {
+            System.out.println("Mismatch");
+            assert(false);
+        }
+    }
+}