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

Mode	Name	Size
-rw-r--r--	DeviceCache.bpl	7279	log plain
-rw-r--r--	DeviceCache.bpl.expect	61	log plain
-rw-r--r--	FlanaganQadeer.bpl	1902	log plain
-rw-r--r--	FlanaganQadeer.bpl.expect	60	log plain
-rw-r--r--	Program1.bpl	636	log plain
-rw-r--r--	Program1.bpl.expect	60	log plain
-rw-r--r--	Program2.bpl	703	log plain
-rw-r--r--	Program2.bpl.expect	60	log plain
-rw-r--r--	Program3.bpl	674	log plain
-rw-r--r--	Program3.bpl.expect	60	log plain
-rw-r--r--	Program4.bpl	1528	log plain
-rw-r--r--	Program4.bpl.expect	60	log plain
-rw-r--r--	Program5.bpl	3066	log plain
-rw-r--r--	Program5.bpl.expect	61	log plain
-rw-r--r--	StoreBuffer.bpl	9156	log plain
-rw-r--r--	StoreBuffer.bpl.expect	61	log plain
-rw-r--r--	akash.bpl	2436	log plain
-rw-r--r--	akash.bpl.expect	60	log plain
-rw-r--r--	bar.bpl	812	log plain
-rw-r--r--	bar.bpl.expect	412	log plain
-rw-r--r--	chris.bpl	607	log plain
-rw-r--r--	chris.bpl.expect	60	log plain
-rw-r--r--	chris2.bpl	509	log plain
-rw-r--r--	chris2.bpl.expect	772	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	4987	log plain
-rw-r--r--	civl-paper.bpl.expect	61	log plain
-rw-r--r--	foo.bpl	801	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	3018	log plain
-rw-r--r--	linear-set.bpl.expect	60	log plain
-rw-r--r--	linear-set2.bpl	2954	log plain
-rw-r--r--	linear-set2.bpl.expect	60	log plain
-rw-r--r--	lock-introduced.bpl	2451	log plain
-rw-r--r--	lock-introduced.bpl.expect	61	log plain
-rw-r--r--	lock.bpl	1055	log plain
-rw-r--r--	lock.bpl.expect	60	log plain
-rw-r--r--	lock2.bpl	1224	log plain
-rw-r--r--	lock2.bpl.expect	60	log plain
-rw-r--r--	multiset.bpl	10911	log plain
-rw-r--r--	multiset.bpl.expect	61	log plain
-rw-r--r--	new1.bpl	1042	log plain
-rw-r--r--	new1.bpl.expect	60	log plain
-rw-r--r--	one.bpl	291	log plain
-rw-r--r--	one.bpl.expect	60	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	688	log plain
-rw-r--r--	parallel1.bpl.expect	271	log plain
-rw-r--r--	parallel2.bpl	1445	log plain
-rw-r--r--	parallel2.bpl.expect	60	log plain
-rw-r--r--	parallel4.bpl	1064	log plain
-rw-r--r--	parallel4.bpl.expect	191	log plain
-rw-r--r--	parallel5.bpl	1444	log plain
-rw-r--r--	parallel5.bpl.expect	60	log plain
-rw-r--r--	perm.bpl	1314	log plain
-rw-r--r--	perm.bpl.expect	60	log plain
-rw-r--r--	t1.bpl	2640	log plain
-rw-r--r--	t1.bpl.expect	285	log plain
-rw-r--r--	termination.bpl	386	log plain
-rw-r--r--	termination.bpl.expect	182	log plain
-rw-r--r--	termination2.bpl	429	log plain
-rw-r--r--	termination2.bpl.expect	60	log plain
-rw-r--r--	ticket.bpl	4294	log plain
-rw-r--r--	ticket.bpl.expect	61	log plain
-rw-r--r--	treiber-stack.bpl	9242	log plain
-rw-r--r--	treiber-stack.bpl.expect	60	log plain
-rw-r--r--	wsq.bpl	23062	log plain
-rw-r--r--	wsq.bpl.expect	60	log plain