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

Mode	Name	Size
-rw-r--r--	DeviceCache.bpl	7144	log plain
-rw-r--r--	DeviceCache.bpl.expect	63	log plain
-rw-r--r--	FlanaganQadeer.bpl	1750	log plain
-rw-r--r--	FlanaganQadeer.bpl.expect	62	log plain
-rw-r--r--	Program1.bpl	667	log plain
-rw-r--r--	Program1.bpl.expect	62	log plain
-rw-r--r--	Program2.bpl	738	log plain
-rw-r--r--	Program2.bpl.expect	62	log plain
-rw-r--r--	Program3.bpl	708	log plain
-rw-r--r--	Program3.bpl.expect	62	log plain
-rw-r--r--	Program4.bpl	1378	log plain
-rw-r--r--	Program4.bpl.expect	62	log plain
-rw-r--r--	Program5.bpl	2851	log plain
-rw-r--r--	Program5.bpl.expect	63	log plain
-rw-r--r--	akash.bpl	2518	log plain
-rw-r--r--	akash.bpl.expect	62	log plain
-rw-r--r--	bar.bpl	867	log plain
-rw-r--r--	bar.bpl.expect	430	log plain
-rw-r--r--	civl-paper.bpl	5156	log plain
-rw-r--r--	civl-paper.bpl.expect	63	log plain
-rw-r--r--	foo.bpl	856	log plain
-rw-r--r--	foo.bpl.expect	266	log plain
-rw-r--r--	linear-set.bpl	2562	log plain
-rw-r--r--	linear-set.bpl.expect	62	log plain
-rw-r--r--	linear-set2.bpl	2475	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	1110	log plain
-rw-r--r--	lock.bpl.expect	62	log plain
-rw-r--r--	lock2.bpl	1285	log plain
-rw-r--r--	lock2.bpl.expect	62	log plain
-rw-r--r--	multiset.bpl	11183	log plain
-rw-r--r--	multiset.bpl.expect	63	log plain
-rw-r--r--	new1.bpl	1380	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	734	log plain
-rw-r--r--	parallel1.bpl.expect	284	log plain
-rw-r--r--	parallel2.bpl	1290	log plain
-rw-r--r--	parallel2.bpl.expect	62	log plain
-rw-r--r--	parallel4.bpl	897	log plain
-rw-r--r--	parallel4.bpl.expect	185	log plain
-rw-r--r--	parallel5.bpl	1289	log plain
-rw-r--r--	parallel5.bpl.expect	62	log plain
-rw-r--r--	perm.bpl	1817	log plain
-rw-r--r--	perm.bpl.expect	62	log plain
-rw-r--r--	t1.bpl	2559	log plain
-rw-r--r--	t1.bpl.expect	319	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	4120	log plain
-rw-r--r--	ticket.bpl.expect	63	log plain
-rw-r--r--	treiber-stack.bpl	10838	log plain
-rw-r--r--	treiber-stack.bpl.expect	62	log plain