aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/Case4.v
blob: de63c3f79a0a428d9a78e6e76c55187c9d20af5a (plain)
1
2
3
4
5
6
7

Definition Berry (x y z : bool) :=
  match x, y, z with
  | true, false, _ => 0
  | false, _, true => 1
  | _, true, false => 2
  end.