diff options
| author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 11:34:36 +0200 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-18 11:34:36 +0200 |
| commit | 5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1 (patch) | |
| tree | c03d6741f565f1ed5a5b27efb2c96a8d9a098581 /tests | |
| parent | f04de3faad13a3904836dd1bd8c334b6634d60a4 (diff) | |
| download | scade-analyzer-5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1.tar.gz scade-analyzer-5ac14cee1bdb9f2ccc40ad6eb1841b5c2ed584d1.zip | |
Pretty printing.
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/source/test4.scade | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/source/test4.scade b/tests/source/test4.scade index c66a56f..b32a37d 100644 --- a/tests/source/test4.scade +++ b/tests/source/test4.scade @@ -1,7 +1,7 @@ node test(i: int) returns(probe a, b, c: int; exit: bool) let exit = i >= 5; - a = 0 -> (if pre a > 10 then 0 else pre a + 1); + a = 0 -> (if pre a >= 10 then 0 else pre a + 1); b = 0 -> pre i; c = 0; tel |