Add KNOWNBUG to float-trace as a temporary fix

TGWDB · TGWDB · commit b6e8e2f57b58 · 2021-09-10T02:14:20.000+01:00
This is broken in some CI due to a Windows upgrade. This is a quick
and temporary fix so that other things can progress until CI is
properly resolved.
diff --git a/regression/cbmc/float-trace/test.desc b/regression/cbmc/float-trace/test.desc
@@ -1,4 +1,4 @@
-CORE
+KNOWNBUG
 test.c
 --trace --xml-ui
 ^EXIT=10$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE`
	`1`	`+KNOWNBUG`
`2`	`2`	`test.c`
`3`	`3`	`--trace --xml-ui`
`4`	`4`	`^EXIT=10$`