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