From 3d05d7386b963c472ff3e94b570879b797d07c7b Mon Sep 17 00:00:00 2001
From: schaeff <thibaut@schaeff.fr>
Date: Mon, 7 Jun 2021 16:13:24 +0200
Subject: [PATCH] add breaking test

---
 .../tests/tests/constants/import/destination.json             | 4 ++++
 .../tests/tests/constants/import/destination.zok              | 3 +++
 zokrates_core_test/tests/tests/constants/import/origin.zok    | 3 +++
 3 files changed, 10 insertions(+)
 create mode 100644 zokrates_core_test/tests/tests/constants/import/destination.json
 create mode 100644 zokrates_core_test/tests/tests/constants/import/destination.zok
 create mode 100644 zokrates_core_test/tests/tests/constants/import/origin.zok

diff --git a/zokrates_core_test/tests/tests/constants/import/destination.json b/zokrates_core_test/tests/tests/constants/import/destination.json
new file mode 100644
index 00000000..552e9778
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/import/destination.json
@@ -0,0 +1,4 @@
+{
+    "entry_point": "./tests/tests/constants/import/destination.zok",
+    "tests": []
+}
diff --git a/zokrates_core_test/tests/tests/constants/import/destination.zok b/zokrates_core_test/tests/tests/constants/import/destination.zok
new file mode 100644
index 00000000..b8236f53
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/import/destination.zok
@@ -0,0 +1,3 @@
+from "./origin.zok" import foo
+def main():
+   return
\ No newline at end of file
diff --git a/zokrates_core_test/tests/tests/constants/import/origin.zok b/zokrates_core_test/tests/tests/constants/import/origin.zok
new file mode 100644
index 00000000..b1a7d63d
--- /dev/null
+++ b/zokrates_core_test/tests/tests/constants/import/origin.zok
@@ -0,0 +1,3 @@
+const u32 N = 42
+def foo(field[N] a) -> bool:
+   return true
\ No newline at end of file