github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
Code Issues Projects Releases Wiki Activity

add breaking test

Browse source
This commit is contained in:
schaeff 2021-06-07 16:13:24 +02:00
parent b5a2689937
commit 3d05d7386b
3 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_core_test/tests/tests/constants/import/destination.json Normal file
View file

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

3
zokrates_core_test/tests/tests/constants/import/destination.zok Normal file
View file

@ -0,0 +1,3 @@
from "./origin.zok" import foo
def main():
return

3
zokrates_core_test/tests/tests/constants/import/origin.zok Normal file
View file

@ -0,0 +1,3 @@
const u32 N = 42
def foo(field[N] a) -> bool:
return true