[lttv.git] / trunk / verif / examples / spin-increment.spin.trail

-4:-4:-4
1:0:4
2:0:5
3:0:7
4:0:5
5:0:7
6:0:9
7:0:13
8:2:0
9:1:0
10:2:1
11:2:2
12:2:3
13:1:1
14:1:2
15:1:3
16:0:15
17:0:17
18:0:17
19:0:20
20:0:24
21:0:25
Commit	Line	Data
0b55f123	1	-4:-4:-4
	2	1:0:4
	3	2:0:5
	4	3:0:7
	5	4:0:5
	6	5:0:7
	7	6:0:9
	8	7:0:13
	9	8:2:0
	10	9:1:0
	11	10:2:1
	12	11:2:2
	13	12:2:3
	14	13:1:1
	15	14:1:2
	16	15:1:3
	17	16:0:15
	18	17:0:17
	19	18:0:17
	20	19:0:20
	21	20:0:24
	22	21:0:25