Activate two instanceof regression tests

peterschrammel · peterschrammel · commit ae276efb3f95 · 2018-03-06T18:02:04.000Z
diff --git a/regression/cbmc-java/instanceof1/test.desc b/regression/cbmc-java/instanceof1/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 instanceof1.class
 
 ^EXIT=0$
diff --git a/regression/cbmc-java/instanceof3/test.desc b/regression/cbmc-java/instanceof3/test.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 instanceof3.class
 
 ^EXIT=0$
