diff options
| author |  Checkmate50 <dgeisler50@gmail.com> | 2016-07-22 16:00:48 -0600 |
|---|---|---|
| committer | Checkmate50 <dgeisler50@gmail.com> | 2016-07-22 16:00:48 -0600 |
| commit | f678d42190391708ae09fa68347421da54d9a7b4 (patch) | |
| tree | 5de4a0e0f0bb713e1323b3078cb9fe03ec200b3c | |
| parent | ce9d174eba6a4efd321e78fed4a6e00aab1fda2c (diff) | |
corrected minor error in test
| -rw-r--r-- | Test/floats/float13.bpl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Test/floats/float13.bpl b/Test/floats/float13.bpl index 9b9fa7cb..4aab608a 100644 --- a/Test/floats/float13.bpl +++ b/Test/floats/float13.bpl @@ -16,6 +16,10 @@ procedure main() returns () { fc := TO_FLOAT32_INT(5); assert(f == fc); + f := -0e126f24e8; + fc := TO_FLOAT32_REAL(0.5); + assert(f == fc); + f := 1048576e128f24e8; fc := TO_FLOAT32_REAL(2.25); assert(f == fc); @@ -26,5 +30,5 @@ procedure main() returns () { d := 562949953421312e1024f53e11; dc := TO_FLOAT64_REAL(2.25); - //assert(d == dc); + assert(d == dc); }
\ No newline at end of file |