Disabling full slice tests

thk123 · thk123 · commit f79bcc585fb7 · 2017-06-15T19:17:24.000+01:00
diff --git a/regression/cbmc/full_slice1/test.desc b/regression/cbmc/full_slice1/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --full-slice --property main.assertion.1 --unwind 1
 ^EXIT=10$
diff --git a/regression/cbmc/full_slice2/test.desc b/regression/cbmc/full_slice2/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --full-slice --property main.assertion.2 --unwind 1
 ^EXIT=10$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`main.c`
`3`	`3`	`--full-slice --property main.assertion.1 --unwind 1`
`4`	`4`	`^EXIT=10$`