Temp: disable test to see if anything else fails

antlechner · antlechner · commit cbf532086459 · 2019-09-19T14:20:24.000+01:00
diff --git a/jbmc/regression/jbmc/context-include-exclude/test_excluded_has_parameter_info.desc b/jbmc/regression/jbmc/context-include-exclude/test_excluded_has_parameter_info.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 ExcludedProperties.class
 --context-exclude org.cprover.other --show-symbol-table --function ExcludedProperties.parameters
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`ExcludedProperties.class`
`3`	`3`	`--context-exclude org.cprover.other --show-symbol-table --function ExcludedProperties.parameters`
`4`	`4`	`^EXIT=0$`