diff options
Diffstat (limited to 'float_test8.bpl')
| -rw-r--r-- | float_test8.bpl | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/float_test8.bpl b/float_test8.bpl index 32fb8863..554dcf00 100644 --- a/float_test8.bpl +++ b/float_test8.bpl @@ -1,5 +1,3 @@ procedure F() returns () { - var x : float; - x := fp(0.1) + fp(0.1); - assert x == fp(0.2); + assert fp(-oo)==fp(-oo); }
\ No newline at end of file |