From 94d436cbaf4b03ba3f6f4cde3c9c3ba06dee17d9 Mon Sep 17 00:00:00 2001
From: Neil Brown <neil@twistedsquare.com>
Date: Thu, 19 Mar 2009 11:47:31 +0000
Subject: [PATCH] Added the testcase I'm using for the implicit mobility stuff

---
 testcases/large-arrays.occ | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)
 create mode 100644 testcases/large-arrays.occ

diff --git a/testcases/large-arrays.occ b/testcases/large-arrays.occ
new file mode 100644
index 0000000..faac6f8
--- /dev/null
+++ b/testcases/large-arrays.occ
@@ -0,0 +1,35 @@
+PROC id.picture(CHAN [256][256]INT in?, CHAN [256][256]INT out!)
+  [256][256]INT pic:
+  SEQ i = 0 FOR 100
+    SEQ
+      in ? pic
+      out ! pic
+:
+
+PROC m (CHAN BYTE out!)
+  [1000]CHAN [256][256]INT cs:
+  [256][256]INT start.pic, end.pic:
+  TIMER tim:
+  [128]BYTE str:
+  INT len:
+  INT t, t2:
+  SEQ
+    SEQ i = 0 FOR 256
+      SEQ j = 0 FOR 256
+        start.pic[i][j] := 0
+    PAR
+      PAR i = 0 FOR 999
+        id.picture(cs[i]?, cs[i+1]!)
+      SEQ
+        tim ? t
+        PAR
+          SEQ i = 0 FOR 100
+            cs[0] ! start.pic
+          SEQ i = 0 FOR 100
+            cs[999] ? end.pic
+        tim ? t2
+        t2 := t2 - t
+        INTTOSTRING(len,str,t2)
+        SEQ i = 0 FOR len
+          out ! str[i]
+: