leo/tests/compiler/statements/reverse_loops.leo
2021-07-27 09:31:23 -07:00

19 lines
331 B
Plaintext

/*
namespace: Compile
expectation: Pass
input_file: inputs/dummy.in
*/
function main(k: bool) -> bool {
let reverse: u32 = 0;
for i in 25..1 {
reverse += i;
}
let reverse_inclusive: u32 = 0;
for a in 25..=1 {
reverse_inclusive += a;
}
return (reverse + 1 == reverse_inclusive) && k;
}