github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
Code Issues Projects Releases Wiki Activity

Added integration test to make sure returning nothing works as expected

Browse source
This commit is contained in:
JacobEberhardt 2019-07-09 16:15:58 +02:00
parent df1ef5947a
commit 3e3087966b
3 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
zokrates_cli/tests/code/no_return.arguments.json Normal file
View file

@ -0,0 +1 @@
[0]

3
zokrates_cli/tests/code/no_return.code Normal file
View file

@ -0,0 +1,3 @@
def main(field a, field b) -> ():
a==b
return

0
zokrates_cli/tests/code/no_return.witness Normal file
View file