mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-12-21 09:11:39 +03:00
14 lines
182 B
Plaintext
14 lines
182 B
Plaintext
|
function main(a: bool) {
|
||
|
|
let mut b = 0u32;
|
||
|
|
|
||
|
|
if a {
|
||
|
|
for i in 0..4 {
|
||
|
|
b += i;
|
||
|
|
}
|
||
|
|
}
|
||
|
|
|
||
|
|
let r: u32 = if a ? 6 : 0;
|
||
|
|
|
||
|
|
console.assert(r == b);
|
||
|
|
}
|