civl « Test - debian-boogie - Debian packaging for Boogie

Mode	Name	Size
-rw-r--r--	DeviceCache.bpl	7489	log plain
-rw-r--r--	DeviceCache.bpl.expect	63	log plain
-rw-r--r--	FlanaganQadeer.bpl	1976	log plain
-rw-r--r--	FlanaganQadeer.bpl.expect	62	log plain
-rw-r--r--	Program1.bpl	669	log plain
-rw-r--r--	Program1.bpl.expect	62	log plain
-rw-r--r--	Program2.bpl	740	log plain
-rw-r--r--	Program2.bpl.expect	62	log plain
-rw-r--r--	Program3.bpl	710	log plain
-rw-r--r--	Program3.bpl.expect	62	log plain
-rw-r--r--	Program4.bpl	1596	log plain
-rw-r--r--	Program4.bpl.expect	62	log plain
-rw-r--r--	Program5.bpl	3047	log plain
-rw-r--r--	Program5.bpl.expect	63	log plain
-rw-r--r--	StoreBuffer.bpl	9156	log plain
-rw-r--r--	StoreBuffer.bpl.expect	61	log plain
-rw-r--r--	akash.bpl	2541	log plain
-rw-r--r--	akash.bpl.expect	62	log plain
-rw-r--r--	bar.bpl	869	log plain
-rw-r--r--	bar.bpl.expect	412	log plain
-rw-r--r--	chris.bpl	635	log plain
-rw-r--r--	chris.bpl.expect	62	log plain
-rw-r--r--	chris2.bpl	543	log plain
-rw-r--r--	chris2.bpl.expect	790	log plain
-rw-r--r--	chris3.bpl	320	log plain
-rw-r--r--	chris3.bpl.expect	123	log plain
-rw-r--r--	chris4.bpl	268	log plain
-rw-r--r--	chris4.bpl.expect	167	log plain
-rw-r--r--	civl-paper.bpl	5162	log plain
-rw-r--r--	civl-paper.bpl.expect	63	log plain
-rw-r--r--	foo.bpl	858	log plain
-rw-r--r--	foo.bpl.expect	253	log plain
-rw-r--r--	ghost.bpl	882	log plain
-rw-r--r--	ghost.bpl.expect	60	log plain
-rw-r--r--	linear-set.bpl	3123	log plain
-rw-r--r--	linear-set.bpl.expect	62	log plain
-rw-r--r--	linear-set2.bpl	3060	log plain
-rw-r--r--	linear-set2.bpl.expect	62	log plain
-rw-r--r--	lock-introduced.bpl	2551	log plain
-rw-r--r--	lock-introduced.bpl.expect	63	log plain
-rw-r--r--	lock.bpl	1112	log plain
-rw-r--r--	lock.bpl.expect	62	log plain
-rw-r--r--	lock2.bpl	1287	log plain
-rw-r--r--	lock2.bpl.expect	62	log plain
-rw-r--r--	multiset.bpl	11235	log plain
-rw-r--r--	multiset.bpl.expect	63	log plain
-rw-r--r--	new1.bpl	1084	log plain
-rw-r--r--	new1.bpl.expect	62	log plain
-rw-r--r--	one.bpl	309	log plain
-rw-r--r--	one.bpl.expect	62	log plain
-rw-r--r--	par-incr.bpl	568	log plain
-rw-r--r--	par-incr.bpl.expect	60	log plain
-rw-r--r--	parallel1.bpl	736	log plain
-rw-r--r--	parallel1.bpl.expect	271	log plain
-rw-r--r--	parallel2.bpl	1504	log plain
-rw-r--r--	parallel2.bpl.expect	62	log plain
-rw-r--r--	parallel4.bpl	1109	log plain
-rw-r--r--	parallel4.bpl.expect	197	log plain
-rw-r--r--	parallel5.bpl	1503	log plain
-rw-r--r--	parallel5.bpl.expect	62	log plain
-rw-r--r--	perm.bpl	1362	log plain
-rw-r--r--	perm.bpl.expect	62	log plain
-rw-r--r--	t1.bpl	2743	log plain
-rw-r--r--	t1.bpl.expect	285	log plain
-rw-r--r--	termination.bpl	404	log plain
-rw-r--r--	termination.bpl.expect	184	log plain
-rw-r--r--	termination2.bpl	448	log plain
-rw-r--r--	termination2.bpl.expect	62	log plain
-rw-r--r--	ticket.bpl	4441	log plain
-rw-r--r--	ticket.bpl.expect	63	log plain
-rw-r--r--	treiber-stack.bpl	9441	log plain
-rw-r--r--	treiber-stack.bpl.expect	62	log plain
-rw-r--r--	wsq.bpl	23621	log plain
-rw-r--r--	wsq.bpl.expect	62	log plain