From 0bca1e210bd8216b7605a3a60d238e3f566695c3 Mon Sep 17 00:00:00 2001
From: Adrien Guatto <adrien.guatto@laposte.net>
Date: Tue, 17 Aug 2010 15:31:39 +0200
Subject: [PATCH] New test with automata and arrays

---
 test/good/array_fill.ept | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 test/good/array_fill.ept

diff --git a/test/good/array_fill.ept b/test/good/array_fill.ept
new file mode 100644
index 0000000..3cac5b9
--- /dev/null
+++ b/test/good/array_fill.ept
@@ -0,0 +1,16 @@
+const n : int = 33
+
+node stopbb(shiftenable : bool) returns (dataout : bool^n)
+var last dataint : bool^n = false^n;
+let
+  dataout = (false^n) fby dataint;
+  switch shiftenable
+    | true do dataint = [true] @ dataout[0 .. n - 2];
+    | false do
+  end
+tel
+
+node main() returns (dataout : bool^n)
+let
+  dataout = stopbb(true);
+tel