github-mig/ZoKrates
github-mig/ZoKrates
1
0
Fork 0
mirror of synced 2025-09-23 04:08:33 +00:00
Code Issues Projects Releases Wiki Activity

Update zokrates_core_test/tests/tests/precedence.zok

Browse source 
Co-Authored-By: Thibaut Schaeffer <schaeffer.thibaut@gmail.com>
This commit is contained in:
Paul Etscheit 2019-10-03 09:31:24 +02:00 committed by GitHub
parent 809d852df9
commit 6cd54343bb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
zokrates_core_test/tests/tests/precedence.zok
View file

@ -9,8 +9,8 @@ def main(field g) -> (field):
field c = if 4 < 5 && 3 == 3 then 1 else 0 fi
field d = if 4 > 5 && 2 >= 1 || 1 == 1 then 1 else 0 fi
field e = if 2 >= 1 && 4 > 5 || 1 == 1 then 1 else 0 fi
field f = if 1 < 2 && false || 4 < 5 && 2 >= 1then 1 else 0 fi
field f = if 1 < 2 && false || 4 < 5 && 2 >= 1 then 1 else 0 fi
//check if all statements have evalutated to true
a * b * c * d * e * f == 1
return g
return g