Merge pull request #652 from diffblue/k-induction5.k-3.desc

tautschnig · web-flow · commit 4558ee0939b9 · 2024-08-31T08:39:02.000+02:00
Mark k-induction test as CORE
diff --git a/regression/ebmc/k-induction/k-induction5.k-3.desc b/regression/ebmc/k-induction/k-induction5.k-3.desc
@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 k-induction5.v
 --module main --bound 3 --k-induction
 ^EXIT=10$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-KNOWNBUG`
	`1`	`+CORE`
`2`	`2`	`k-induction5.v`
`3`	`3`	`--module main --bound 3 --k-induction`
`4`	`4`	`^EXIT=10$`