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

fix tests

Browse source
This commit is contained in:
schaeff 2020-07-15 23:00:12 +02:00
parent 9f2fecf7ec
commit 91c4747b5b
3 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
zokrates_cli/tests/code/sha_round.expected.witness
View file

@ -0,0 +1 @@
~out_0 1

4
zokrates_cli/tests/code/sha_round.zok
View file

@ -1,6 +1,6 @@
import "EMBED/sha256round" as sha256
def main(private bool[256] expected) -> ():
def main(private bool[256] expected) -> (field):
bool[256] a = [false; 256]
bool[256] b = [false; 256]
@ -11,4 +11,4 @@ def main(private bool[256] expected) -> ():
assert(expected == sha256([...a, ...b], IV))
return
return 1

2
zokrates_pest_ast/src/lib.rs
View file

@ -1175,7 +1175,7 @@ mod tests {
field a = 1
a[32 + x][55] = y
for field i in 0..3 do
a == 1 + 2 + 3+ 4+ 5+ 6+ 6+ 7+ 8 + 4+ 5+ 3+ 4+ 2+ 3
assert(a == 1 + 2 + 3+ 4+ 5+ 6+ 6+ 7+ 8 + 4+ 5+ 3+ 4+ 2+ 3)
endfor
a.member == 1
return a