aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/set.out
blob: 4b72d73eb3ad1afa45ad3a972f0e1228f7a41870 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
1 subgoal
  
  y1 := 0 : nat
  x := 0 + 0 : nat
  ============================
  x = x
1 subgoal
  
  y1, y2 := 0 : nat
  x := y2 + 0 : nat
  ============================
  x = x
1 subgoal
  
  y1, y2, y3 := 0 : nat
  x := y2 + y3 : nat
  ============================
  x = x