From 82f267be66c1932365bb52b42f54ef03b4211081 Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 3 Jul 2014 10:55:14 +0200 Subject: Fix some tests. --- tests/source/rfollow.scade | 2 +- tests/source/updown2.scade | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'tests/source') 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; -- cgit v1.2.3