Test for abstract class with two generic arguments

Author: romainbrenguier

regression/jbmc-cover/generics/AbstractImpl.class

@@ -0,0 +1,23 @@
+interface AbstractInt<K,V> { V get(); }
+
+class AbstractImpl<K,V> implements AbstractInt<K,V> {
+    V t;
+    public V get() { return t; }
+}
+
+public class AbstractTest
+{
+    class Dummy { private boolean b; }
+    class ClassA { private int id; }
+    class ClassB {
+        private int id;
+        int getId() { return id; }
+    }
+
+    public int getFromAbstract(AbstractInt<ClassA, ClassB> arg) {
+        AbstractImpl<Dummy, Dummy> dummy = new AbstractImpl<>();
+        ClassB b = arg.get();
+        int i = b.getId();
+	return i;
+    }
+}

regression/jbmc-cover/generics/AbstractInt.class

@@ -0,0 +1,11 @@
+CORE
+AbstractTest.class
+--cover location --function AbstractTest.getFromAbstract
+^EXIT=0$
+^SIGNAL=0$
+file AbstractTest.java line 18 .* SATISFIED
+file AbstractTest.java line 19 .* SATISFIED
+file AbstractTest.java line 20 .* SATISFIED
+file AbstractTest.java line 21 .* SATISFIED
+
+