Tests for unique java bytecode instrumentation selection

regression/cbmc-cover/unique-bytecode1/Test.java

@@ -0,0 +1,6 @@
+class Test {
+  public static void main(String[] args) {
+    for (int i=0; i<3; i++) {
+    }
+  }
+}

regression/cbmc-cover/unique-bytecode1/test.desc

@@ -0,0 +1,7 @@
+CORE
+Test.class
+--cover location --show-properties --verbosity 10
+^EXIT=0$
+^SIGNAL=0$
+--
+^Ignoring block .* java::Test\.main

regression/cbmc-cover/unique-bytecode2/Test.java

@@ -0,0 +1,3 @@
+class Test {
+  static int s=5;
+}

regression/cbmc-cover/unique-bytecode2/test.desc

@@ -0,0 +1,8 @@
+CORE
+Test.class
+--cover location --show-properties --verbosity 10
+^EXIT=0$
+^SIGNAL=0$
+^java::Test\.<clinit>:\(\)V block 2, location 4: bytecode-index 1 already instrumented
+^Ignoring block 2 location .* file Test\.java line 2 function java::Test\.<clinit>:\(\)V bytecode-index .* \(bytecode-index already instrumented\)
+--

regression/cbmc-cover/unique-bytecode3/Test.java

@@ -0,0 +1,4 @@
+class Test {
+  static int x = 0;
+  static int y = 1;
+}

regression/cbmc-cover/unique-bytecode3/test.desc

@@ -0,0 +1,9 @@
+CORE
+Test.class
+--cover location --show-properties --verbosity 10
+^EXIT=0$
+^SIGNAL=0$
+^java::Test\.<clinit>:\(\)V block 2, location 4: bytecode-index 1 already instrumented
+^java::Test\.<clinit>:\(\)V block 2: location 5, bytecode-index 3 selected for instrumentation
+--
+^Ignoring block 2 location .* file Test\.java line 3 function java::Test\.<clinit>:\(\)V bytecode-index .* \(bytecode-index already instrumented\)