From 6742003891028d566edf23dc7092c34f6d40255f Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 24 Jul 2014 10:18:30 +0200 Subject: Plug into Apron Box domain for intervals. --- tests/source/updown.scade | 2 +- tests/source/updown2.scade | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'tests') diff --git a/tests/source/updown.scade b/tests/source/updown.scade index c736dd8..4bfa5e3 100644 --- a/tests/source/updown.scade +++ b/tests/source/updown.scade @@ -1,4 +1,4 @@ -const bound: int = 7; +const bound: int = 10; node updown() returns(probe x: int) var last_x: int; diff --git a/tests/source/updown2.scade b/tests/source/updown2.scade index 72d5bed..29069e5 100644 --- a/tests/source/updown2.scade +++ b/tests/source/updown2.scade @@ -1,4 +1,4 @@ -const bound: int = 7; +const bound: int = 10; node updown2() returns(probe x, probe y, probe z: int) var last_x, last_y: int; -- cgit v1.2.3