fixup! cbmc-library/Float* cleanup: rename or move to cbmc/

tautschnig · tautschnig · commit 720c03312ced · 2021-01-25T22:38:51.000Z
diff --git a/regression/cbmc/Float-no-simp9/test.desc b/regression/cbmc/Float-no-simp9/test.desc
@@ -1,4 +1,4 @@
-CORE broken-smt-backend
+CORE broken-smt-backend thorough-paths
 main.c
 --floatbv --no-simplify
 ^EXIT=0$

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-CORE broken-smt-backend`
	`1`	`+CORE broken-smt-backend thorough-paths`
`2`	`2`	`main.c`
`3`	`3`	`--floatbv --no-simplify`
`4`	`4`	`^EXIT=0$`