From 48d91e36e2ab677616c422ad545674a862ef814e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Fri, 4 May 2012 06:13:31 +0000
Subject: [PATCH] add an invalid testcase for array access from parameter
---
testcases/regression/invalid/Array4.scala | 9 +++++++++
1 file changed, 9 insertions(+)
create mode 100644 testcases/regression/invalid/Array4.scala
diff --git a/testcases/regression/invalid/Array4.scala b/testcases/regression/invalid/Array4.scala
new file mode 100644
index 000000000..5b5e74061
--- /dev/null
+++ b/testcases/regression/invalid/Array4.scala
@@ -0,0 +1,9 @@
+import leon.Utils._
+
+object Array4 {
+
+ def foo(a: Array[Int]): Int = {
+ a(2)
+ }
+
+}
--
GitLab