test-suite/failure/Case4.v


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.