1
1
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-29 05:02:52 +03:00
leo/asg/tests/pass/integers/i32/le.leo

3 lines
75 B
Plaintext
Raw Normal View History

2021-01-25 18:17:42 +03:00
function main(a: i32, b: i32, c: bool) {
console.assert(a <= b == c);
}