Let Laurel support conditional assignments in an expression context #282
Description
procedure conditionalAssignmentInExpression(x: int) {
var a: bool;
var b := if (x > 0) { a := true; } else { a := false; }
assert x > 0 == a;
}
{{ message }}
procedure conditionalAssignmentInExpression(x: int) {
var a: bool;
var b := if (x > 0) { a := true; } else { a := false; }
assert x > 0 == a;
}