diff options
Diffstat (limited to 'tests/source/updown.scade')
| -rw-r--r-- | tests/source/updown.scade | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/source/updown.scade b/tests/source/updown.scade index 089293a..c736dd8 100644 --- a/tests/source/updown.scade +++ b/tests/source/updown.scade @@ -4,7 +4,6 @@ node updown() returns(probe x: int) var last_x: int; let last_x = 0 -> pre x; - guarantee x_bounded: x >= -bound and x <= bound; automaton initial state UP let x = last_x + 1; tel @@ -15,6 +14,7 @@ let until if x <= -bound resume UP; returns x; + guarantee x_bounded: x >= -bound and x <= bound; tel node test(i: int) returns(a, b, c: int; exit: bool) |