1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
ZoKrates/examples/test1.code
Jacob Eberhardt f7b197791f Code samples adapted so they have a main function
Code samples now reflect the changes made to the absy by adding functions.
2017-06-13 17:39:20 +02:00

13 lines
244 B
Text

// only using sub, no need to flatten
def main(x):
a = 5
b = 7
c = if a == b then 4 else 3 fi
c == 3
d = if a == 5 then 1 else 2 fi
d == 1
e = if a < b then 5 else 6 fi
e == 5
f = if b < a then 7 else 8 fi
f == 8
return x