diff options
author | Dietrich <dgeisler50@gmail.com> | 2015-05-05 04:50:47 -0600 |
---|---|---|
committer | Dietrich <dgeisler50@gmail.com> | 2015-05-05 04:50:47 -0600 |
commit | f9df0e2ea8e0b03352f5bbba54f091f2ee25b161 (patch) | |
tree | f5a38d6009175fee669d71464d60fa07bb36a60d /float_test4.bpl | |
parent | ed8913170a86b73dc14ba09e40de1eba0cad4c9d (diff) |
added decimal reading functionality to the float type
Diffstat (limited to 'float_test4.bpl')
-rw-r--r-- | float_test4.bpl | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/float_test4.bpl b/float_test4.bpl index a962713b..2388a281 100644 --- a/float_test4.bpl +++ b/float_test4.bpl @@ -1,6 +1,5 @@ procedure F() returns () { var x : float; - var y : float; - y := x - x; - assert y == fp (0,0,23,8); + x := fp (0 0); + assert x == fp (0 0 23 8); }
\ No newline at end of file |