diff options
Diffstat (limited to 'tests/source/test6.scade')
| -rw-r--r-- | tests/source/test6.scade | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tests/source/test6.scade b/tests/source/test6.scade new file mode 100644 index 0000000..e3257cc --- /dev/null +++ b/tests/source/test6.scade @@ -0,0 +1,9 @@ +function test(probe i: int) returns(probe a, b, c: int; exit: bool) +let + assume i_bounded : i >= -10 and i <= 10; + a = i; + guarantee a_eq_i : a = i; + b = 0; + c = 0; + exit = i >= 5; +tel |