leo/tests/compiler/integers/i128/ternary.leo

14 lines
207 B
Plaintext

/*
namespace: Compile
expectation: Pass
input_file:
- inputs/tern.in
- inputs/tern_rev.in
*/
function main(s: bool, a: i128, b: i128, c: i128) -> bool {
let r: i128 = s ? a : b;
return r == c;
}