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

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