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

Mode	Name	Size
-rw-r--r--	DeviceCache.bpl	7096	log plain
-rw-r--r--	DeviceCache.bpl.expect	63	log plain
-rw-r--r--	FlanaganQadeer.bpl	1748	log plain
-rw-r--r--	FlanaganQadeer.bpl.expect	62	log plain
-rw-r--r--	Program1.bpl	599	log plain
-rw-r--r--	Program1.bpl.expect	62	log plain
-rw-r--r--	Program2.bpl	690	log plain
-rw-r--r--	Program2.bpl.expect	62	log plain
-rw-r--r--	Program3.bpl	661	log plain
-rw-r--r--	Program3.bpl.expect	62	log plain
-rw-r--r--	Program4.bpl	1329	log plain
-rw-r--r--	Program4.bpl.expect	62	log plain
-rw-r--r--	Program5.bpl	3186	log plain
-rw-r--r--	Program5.bpl.expect	63	log plain
-rw-r--r--	akash.bpl	2503	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	447	log plain
-rw-r--r--	civl-paper.bpl	4032	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	274	log plain
-rw-r--r--	linear-set.bpl	2547	log plain
-rw-r--r--	linear-set.bpl.expect	62	log plain
-rw-r--r--	linear-set2.bpl	2460	log plain
-rw-r--r--	linear-set2.bpl.expect	62	log plain
-rw-r--r--	lock-introduced.bpl	2547	log plain
-rw-r--r--	lock-introduced.bpl.expect	63	log plain
-rw-r--r--	lock.bpl	1127	log plain
-rw-r--r--	lock.bpl.expect	62	log plain
-rw-r--r--	lock2.bpl	1308	log plain
-rw-r--r--	lock2.bpl.expect	62	log plain
-rw-r--r--	multiset.bpl	13364	log plain
-rw-r--r--	multiset.bpl.expect	63	log plain
-rw-r--r--	new1.bpl	1371	log plain
-rw-r--r--	new1.bpl.expect	62	log plain
-rw-r--r--	one.bpl	354	log plain
-rw-r--r--	one.bpl.expect	62	log plain
-rw-r--r--	parallel1.bpl	724	log plain
-rw-r--r--	parallel1.bpl.expect	298	log plain
-rw-r--r--	parallel2.bpl	1282	log plain
-rw-r--r--	parallel2.bpl.expect	62	log plain
-rw-r--r--	parallel4.bpl	894	log plain
-rw-r--r--	parallel4.bpl.expect	200	log plain
-rw-r--r--	parallel5.bpl	1281	log plain
-rw-r--r--	parallel5.bpl.expect	62	log plain
-rw-r--r--	perm.bpl	1808	log plain
-rw-r--r--	perm.bpl.expect	62	log plain
-rw-r--r--	t1.bpl	2544	log plain
-rw-r--r--	t1.bpl.expect	313	log plain
-rw-r--r--	termination.bpl	404	log plain
-rw-r--r--	termination.bpl.expect	154	log plain
-rw-r--r--	termination2.bpl	448	log plain
-rw-r--r--	termination2.bpl.expect	62	log plain
-rw-r--r--	ticket.bpl	4554	log plain
-rw-r--r--	ticket.bpl.expect	63	log plain
-rw-r--r--	treiber-stack.bpl	2334	log plain