predicates « tests « Chalice - debian-boogie

Mode	Name	Size
-rw-r--r--	FoldUnfoldExperiments.chalice	543	log plain
-rw-r--r--	FoldUnfoldExperiments.output.txt	146	log plain
-rw-r--r--	aux-info.chalice	609	log plain
-rw-r--r--	aux-info.output.txt	133	log plain
-rw-r--r--	framing-fields.chalice	778	log plain
-rw-r--r--	framing-fields.output.txt	225	log plain
-rw-r--r--	framing-functions.chalice	638	log plain
-rw-r--r--	framing-functions.output.txt	228	log plain
-rw-r--r--	generate_reference.bat	41	log plain
-rw-r--r--	generate_reference_all.bat	41	log plain
-rw-r--r--	mutual-dependence.chalice	427	log plain
-rw-r--r--	mutual-dependence.output.txt	228	log plain
-rw-r--r--	reg_test.bat	41	log plain
-rw-r--r--	reg_test_all.bat	41	log plain
-rw-r--r--	setset.chalice	1015	log plain
-rw-r--r--	setset.output.txt	418	log plain
-rw-r--r--	test.bat	41	log plain
-rw-r--r--	test.chalice	894	log plain
-rw-r--r--	test.output.txt	215	log plain
-rw-r--r--	test1.chalice	1468	log plain
-rw-r--r--	test1.output.txt	130	log plain
-rw-r--r--	test10.chalice	388	log plain
-rw-r--r--	test10.output.txt	131	log plain
-rw-r--r--	test2.chalice	1275	log plain
-rw-r--r--	test2.output.txt	130	log plain
-rw-r--r--	test3.chalice	450	log plain
-rw-r--r--	test3.output.txt	130	log plain
-rw-r--r--	test4.chalice	1328	log plain
-rw-r--r--	test4.output.txt	215	log plain
-rw-r--r--	test7.chalice	1887	log plain
-rw-r--r--	test7.output.txt	952	log plain
-rw-r--r--	test8.chalice	885	log plain
-rw-r--r--	test8.output.txt	130	log plain
-rw-r--r--	unfolding.chalice	569	log plain
-rw-r--r--	unfolding.output.txt	220	log plain