fixup Add test for printing different float values in the trace

Co-authored-by: Peter Schrammel <[email protected]>

Author: Thomas Kiley

regression/cbmc/float-trace/test.desc

@@ -28,5 +28,5 @@ VERIFICATION FAILED
 <full_lhs_value binary="[01]{64}">\+NAN</full_lhs_value>
 --
 --
-Add tests to check the binary value is printed for floating
+Checks that the binary value is printed for floating point types
 point types