Mark k-induction test as CORE

kroening · kroening · commit a74642ef8819 · 2024-08-30T15:32:45.000-07:00
The test should have been marked as CORE when merging the bugfix.
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$`