diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-03 10:55:14 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-03 10:55:14 +0200 |
| commit | 82f267be66c1932365bb52b42f54ef03b4211081 (patch) | |
| tree | 47515646586545a77c522db28cd290aaf926636e /tests/source/rfollow.scade | |
| parent | 5a0d3c3f29dd9d5c021fc7fee96540a6abe6131b (diff) | |
| download | scade-analyzer-82f267be66c1932365bb52b42f54ef03b4211081.tar.gz scade-analyzer-82f267be66c1932365bb52b42f54ef03b4211081.zip | |
Fix some tests.
Diffstat (limited to 'tests/source/rfollow.scade')
| -rw-r--r-- | tests/source/rfollow.scade | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/source/rfollow.scade b/tests/source/rfollow.scade index c62c90d..16c862c 100644 --- a/tests/source/rfollow.scade +++ b/tests/source/rfollow.scade @@ -8,7 +8,7 @@ let pf = 0. -> pre f; f = (pf + a) / 2.0; - prop = (f >= 0 and f <= 1.); + prop = (f >= 0. and f <= 1.); guarantee g1: (true -> pre prop) and prop; tel |