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 | |
| parent | 2073dd00710add906cc94099cd4bfb7aa3a2f85e (diff) | |
| download | scade-analyzer-6742003891028d566edf23dc7092c34f6d40255f.tar.gz scade-analyzer-6742003891028d566edf23dc7092c34f6d40255f.zip | |
Plug into Apron Box domain for intervals.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/source/updown.scade | 2 | ||||
| -rw-r--r-- | tests/source/updown2.scade | 2 |
2 files changed, 2 insertions, 2 deletions
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; |