Switch on KNOWNBUG test from issue 5952 original example

thomasspriggs · thomasspriggs · commit 5da3a04ddc2c · 2023-06-15T20:15:11.000+01:00
This is also fixed by support for dynamic object sizes.
diff --git a/regression/cbmc/issue_5952_soundness_bug_smt_encoding/test_original.desc b/regression/cbmc/issue_5952_soundness_bug_smt_encoding/test_original.desc
@@ -1,4 +1,4 @@
-KNOWNBUG broken-smt-backend
+CORE smt-backend new-smt-backend
 original_repro.c
 --smt2
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-KNOWNBUG broken-smt-backend`
	`1`	`+CORE smt-backend new-smt-backend`
`2`	`2`	`original_repro.c`
`3`	`3`	`--smt2`
`4`	`4`	`^EXIT=0$`