1
0
Fork 0
mirror of synced 2025-09-24 04:40:05 +00:00
ZoKrates/examples/runtime_errors/lt_overflow_p_minus_one.code
2018-08-09 09:06:47 +02:00

5 lines
No EOL
197 B
Text

// as p - 1 is greater than p/2, comparing to it should fail
def main(a):
p = 21888242871839275222246405745257275088548364400416034343698204186575808495617
return if 0 < p - 1 then 1 else 0 fi