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 | |
parent | 5a0d3c3f29dd9d5c021fc7fee96540a6abe6131b (diff) | |
download | scade-analyzer-82f267be66c1932365bb52b42f54ef03b4211081.tar.gz scade-analyzer-82f267be66c1932365bb52b42f54ef03b4211081.zip |
Fix some tests.
Diffstat (limited to 'tests/source')
-rw-r--r-- | tests/source/rfollow.scade | 2 | ||||
-rw-r--r-- | tests/source/updown2.scade | 2 |
2 files changed, 2 insertions, 2 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 diff --git a/tests/source/updown2.scade b/tests/source/updown2.scade index 73d111a..29c34ff 100644 --- a/tests/source/updown2.scade +++ b/tests/source/updown2.scade @@ -1,6 +1,6 @@ const bound: int = 7; -node updown() returns(probe x, probe y, probe z: int) +node updown2() returns(probe x, probe y, probe z: int) var last_x, last_y: int; let last_x = 0 -> pre x; |