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

update assert example

Browse source
This commit is contained in:
dark64 2021-04-15 19:40:10 +02:00
parent 0ac66da9ae
commit abcf2f050e
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
zokrates_cli/examples/book/assert.zok
View file

@ -1,3 +1,3 @@
def main() -> ():
assert(1f == 2f)
assert(2f == 2f)
return