Mark known failing tests as KNOWNBUG

reuk · reuk · commit 101a65d87973 · 2017-03-10T10:09:26.000Z
diff --git a/regression/cbmc-java/nondetGenericArray/test.desc b/regression/cbmc-java/nondetGenericArray/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 NondetGenericArray.class
 --function NondetGenericArray.foo
 ^VERIFICATION SUCCESSFUL$
diff --git a/regression/cbmc-java/nondetGenericRecursive2/test.desc b/regression/cbmc-java/nondetGenericRecursive2/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 NondetGenericRecursive2.class
 --function NondetGenericRecursive2.foo
 ^VERIFICATION SUCCESSFUL$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`NondetGenericArray.class`
`3`	`3`	`--function NondetGenericArray.foo`
`4`	`4`	`^VERIFICATION SUCCESSFUL$`