add tests

zokrates_core_test/tests/tests/constants/issue_1038/a.json

@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/issue_1038/a.zok",
+    "tests": []
+}

zokrates_core_test/tests/tests/constants/issue_1038/a.zok

@@ -0,0 +1,5 @@
+from "./b" import SIZE_WORDS
+
+def main(field[SIZE_WORDS] a):
+    assert(a == [0; SIZE_WORDS])
+    return

zokrates_core_test/tests/tests/constants/issue_1038/b.zok

@@ -0,0 +1,2 @@
+const u32 SIZE_BYTES = 136
+const u32 SIZE_WORDS = SIZE_BYTES/8

zokrates_core_test/tests/tests/constants/issue_1038/reversed/a.zok

@@ -0,0 +1,2 @@
+const u32 SIZE_BYTES = 136
+const u32 SIZE_WORDS = SIZE_BYTES/8

zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.json

@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/issue_1038/reversed/b.zok",
+    "tests": []
+}

zokrates_core_test/tests/tests/constants/issue_1038/reversed/b.zok

@@ -0,0 +1,5 @@
+from "./a" import SIZE_WORDS
+
+def main(field[SIZE_WORDS] a):
+    assert(a == [0; SIZE_WORDS])
+    return

zokrates_core_test/tests/tests/constants/issue_1047/a.json

@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/issue_1047/a.zok",
+    "tests": []
+}

zokrates_core_test/tests/tests/constants/issue_1047/a.zok

@@ -0,0 +1,4 @@
+from "./b" import B
+
+def main():
+    return

zokrates_core_test/tests/tests/constants/issue_1047/b.zok

@@ -0,0 +1,2 @@
+const field A = 1
+const field B = A + 1

zokrates_core_test/tests/tests/constants/issue_1047/reversed/a.zok

@@ -0,0 +1,2 @@
+const field A = 1
+const field B = A + 1

zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.json

@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/issue_1047/reversed/b.zok",
+    "tests": []
+}

zokrates_core_test/tests/tests/constants/issue_1047/reversed/b.zok

@@ -0,0 +1,4 @@
+from "./a" import B
+
+def main():
+    return