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

fix tests

Browse source
This commit is contained in:
dark64 2021-04-19 10:59:23 +02:00
parent a94cb9f9de
commit a271993832
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_cli/examples/left_side_call.zok
View file

@ -2,5 +2,5 @@ def foo() -> field:
return 1
def main():
assert(foo() + (1 + 44*3) == 1)
assert(foo() + (1 + 44*3) == 134)
return

2
zokrates_cli/examples/propagate_call.zok
View file

@ -1,5 +1,5 @@
def foo(field a, field b) -> (field, field):
assert(a == b + 2)
assert(a == b)
return a, b
def main() -> field: