diff options
author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-24 10:18:30 +0200 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-07-24 10:18:30 +0200 |
commit | 6742003891028d566edf23dc7092c34f6d40255f (patch) | |
tree | 9768a5fadaf1668726bcc055197fc3ae944d05fe /tests/source/updown2.scade | |
parent | 2073dd00710add906cc94099cd4bfb7aa3a2f85e (diff) | |
download | scade-analyzer-6742003891028d566edf23dc7092c34f6d40255f.tar.gz scade-analyzer-6742003891028d566edf23dc7092c34f6d40255f.zip |
Plug into Apron Box domain for intervals.
Diffstat (limited to 'tests/source/updown2.scade')
-rw-r--r-- | tests/source/updown2.scade | 2 |
1 files changed, 1 insertions, 1 deletions
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; |