test

peterschrammel · peterschrammel · commit df73a7bd0856 · 2019-03-10T21:25:48.000Z
diff --git a/regression/cbmc-incr-oneloop/unwind-forever1/test.desc b/regression/cbmc-incr-oneloop/unwind-forever1/test.desc
@@ -1,6 +1,6 @@
-CORE
+KNOWNBUG
 main.c
- --incremental-loop main.0 --unwinding-assertions
+--incremental-loop main.0 --unwinding-assertions
 EXIT=142$
 ^SIGNAL=0$
 --
diff --git a/regression/cbmc-incr-oneloop/unwind-forever2/test.desc b/regression/cbmc-incr-oneloop/unwind-forever2/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 main.c
 --incremental-loop main.0 --unwinding-assertions
 EXIT=142$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`main.c`
`3`	`3`	`--incremental-loop main.0 --unwinding-assertions`
`4`	`4`	`EXIT=142$`