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

add compile errors

Browse source
This commit is contained in:
schaeff 2021-03-24 15:37:38 +01:00
parent 23ee9a4c6d
commit 2306420c3b
3 changed files with 7 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
zokrates_cli/examples/compile_errors/double_negation.zok Normal file
View file

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

3
zokrates_cli/examples/compile_errors/double_power.zok Normal file
View file

@ -0,0 +1,3 @@
def main():
field a = 1**2**3 // parentheses are required here
return

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

@ -14,6 +14,7 @@ def main():
assert(0x00 ^ 0x00 == 0x00) assert(0x00 ^ 0x00 == 0x00)
assert(0 - 2 ** 2 == -4) assert(0 - 2 ** 2 == -4)
assert(-2**2 == -4)
//check if all statements have evalutated to true //check if all statements have evalutated to true
assert(a * b * c * d * e * f == 1) assert(a * b * c * d * e * f == 1)