diff options
| author |  Dietrich <dgeisler50@gmail.com> | 2015-04-27 09:41:09 -0600 |
|---|---|---|
| committer | Dietrich <dgeisler50@gmail.com> | 2015-04-27 09:41:09 -0600 |
| commit | 1058d935425fa9c9544fbf18dad184cd8333e0d9 (patch) | |
| tree | f1d65b7b9e4326cf6728f1e3aafe28ca20ac9398 /float_test3.bpl | |
| parent | 2dae113e5996e050ca6595542de5030747245929 (diff) | |
modified the third float_test slightly
Diffstat (limited to 'float_test3.bpl')
| -rw-r--r-- | float_test3.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/float_test3.bpl b/float_test3.bpl index cd0ea59e..1b70ebf4 100644 --- a/float_test3.bpl +++ b/float_test3.bpl @@ -2,5 +2,5 @@ var x : float; var y : float; y := x - x; - assert y != x; + assert y == x; }
\ No newline at end of file |