Activate two instanceof regression tests

smowton · Mar 6, 2018 · ae276ef · ae276ef
1 parent 8995fce
commit ae276ef
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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$