Merge pull request #741 from Zokrates/add-memoize-test

Add array memoize test

zokrates_core_test/tests/tests/memoize/no_array_memoization.json

@@ -0,0 +1,15 @@
+{
+	"entry_point": "./tests/tests/memoize/no_array_memoization.zok",
+	"tests": [
+		{
+			"input": {
+				"values": []
+			},
+			"output": {
+				"Ok": {
+					"values": []
+				}
+			}
+		}
+	]
+}

zokrates_core_test/tests/tests/memoize/no_array_memoization.zok

@@ -0,0 +1,10 @@
+def foo(field[1] a) -> field:
+	return a[0]
+
+def main():
+	field[1] a = [1]
+	field b = foo(a)
+	a[0] = 0
+	field c = foo(a)
+	assert(c == 0)
+	return