summaryrefslogtreecommitdiff
path: root/tests/source
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ansys.com>2014-07-03 10:55:14 +0200
committerAlex Auvolat <alex.auvolat@ansys.com>2014-07-03 10:55:14 +0200
commit82f267be66c1932365bb52b42f54ef03b4211081 (patch)
tree47515646586545a77c522db28cd290aaf926636e /tests/source
parent5a0d3c3f29dd9d5c021fc7fee96540a6abe6131b (diff)
downloadscade-analyzer-82f267be66c1932365bb52b42f54ef03b4211081.tar.gz
scade-analyzer-82f267be66c1932365bb52b42f54ef03b4211081.zip
Fix some tests.
Diffstat (limited to 'tests/source')
-rw-r--r--tests/source/rfollow.scade2
-rw-r--r--tests/source/updown2.scade2
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;