1
0
Fork 0
mirror of synced 2025-09-23 04:08:33 +00:00
ZoKrates/zokrates_cli/examples/empty_spread_propagation.zok
2022-06-28 19:23:45 +02:00

15 lines
No EOL
271 B
Text

def func<N>() -> bool {
u64[N] y = [...[0; N-1], 1]; // the rhs should *not* be reduced to [1] because the spread is not empty
u64 mut q = 0;
for u32 i in 0..N {
q = y[i];
}
return true;
}
def main() {
assert(func::<2>());
return;
}