From f7868083de2f351b5195149870e6e77398da44f9 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Fri, 13 Jun 2014 11:31:50 +0200
Subject: Parse activate blocks.

---
 tests/limitera.scade | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 tests/limitera.scade

(limited to 'tests')

diff --git a/tests/limitera.scade b/tests/limitera.scade
new file mode 100644
index 0000000..1e4927e
--- /dev/null
+++ b/tests/limitera.scade
@@ -0,0 +1,26 @@
+const bound: int = 128;
+
+node limiter(x: int; d: int) returns (probe y: int)
+    var s, r: int;
+    let
+        assume in_bounded: x >= -bound and x <= bound;
+        guarantee out_bounded: y >= -bound and y <= bound;
+        s = 0 -> pre y;
+        r = x - s;
+        activate
+          if r <= -d then
+            let y = s - d; tel
+          else if r >= d then
+            let y = s + d; tel
+          else 
+            let y = x; tel
+        returns y;
+    tel
+
+node test(i: int) returns(a, b, c: int; exit: bool)
+    let
+        exit = i >= 30;
+        a = (i * 21 + 122) mod (2 * bound) - bound;  -- not really random
+        b = 16;
+        c = limiter(a, b);
+    tel
-- 
cgit v1.2.3