unit-tests - smtcoq - Fork of https://github.com/smtcoq/smtcoq.

Mode	Name	Size
-rw-r--r--	Makefile	1219	log stats plain
-rw-r--r--	Tests_lfsc_tactics.v	18194	log stats plain
-rw-r--r--	Tests_verit_tactics.v	39608	log stats plain
-rw-r--r--	Tests_verit_vernac.v	16339	log stats plain
-rw-r--r--	Tests_zchaff_tactics.v	9220	log stats plain
-rw-r--r--	Tests_zchaff_vernac.v	2705	log stats plain
-rw-r--r--	bv1.log	400	log stats plain
-rw-r--r--	bv1.smt2	92	log stats plain
-rw-r--r--	bv2.log	542	log stats plain
-rw-r--r--	bv2.smt2	92	log stats plain
-rw-r--r--	cmu-bmc-barrel6.cnf	139970	log stats plain
-rw-r--r--	debug_coq.v	2143	log stats plain
-rw-r--r--	demo_lfsc_bool.v	4418	log stats plain
-rw-r--r--	demo_lfsc_prop.v	4723	log stats plain
-rw-r--r--	ex1.lfsc	1348	log stats plain
-rw-r--r--	ex1.smt2	167	log stats plain
-rw-r--r--	hole4.cnf	1442	log stats plain
-rw-r--r--	hole4.smt2	2346	log stats plain
-rw-r--r--	large1.v	2699	log stats plain
-rw-r--r--	let1.smt2	130	log stats plain
-rw-r--r--	let2.smt2	150	log stats plain
-rw-r--r--	lia1.smt2	202	log stats plain
-rw-r--r--	lia2.smt2	105	log stats plain
-rw-r--r--	lia3.smt2	127	log stats plain
-rw-r--r--	lia4.smt2	126	log stats plain
-rw-r--r--	lia5.smt2	160	log stats plain
-rw-r--r--	lia6.smt2	127	log stats plain
-rw-r--r--	lia7.smt2	105	log stats plain
-rwxr-xr-x	runverit.sh	196	log stats plain
-rwxr-xr-x	runzchaff.sh	100	log stats plain
-rw-r--r--	sat0.smt2	52	log stats plain
-rw-r--r--	sat1.cnf	30	log stats plain
-rw-r--r--	sat1.smt2	86	log stats plain
-rw-r--r--	sat10.smt2	135	log stats plain
-rw-r--r--	sat11.smt2	199	log stats plain
-rw-r--r--	sat12.smt2	221	log stats plain
-rw-r--r--	sat13.smt2	148	log stats plain
-rw-r--r--	sat14.smt2	204	log stats plain
-rw-r--r--	sat2.cnf	84	log stats plain
-rw-r--r--	sat2.smt2	157	log stats plain
-rw-r--r--	sat3.cnf	38	log stats plain
-rw-r--r--	sat3.smt2	93	log stats plain
-rw-r--r--	sat4.smt2	91	log stats plain
-rw-r--r--	sat5.cnf	116	log stats plain
-rw-r--r--	sat5.smt2	209	log stats plain
-rw-r--r--	sat6.cnf	84	log stats plain
-rw-r--r--	sat6.smt2	210	log stats plain
-rw-r--r--	sat7.cnf	84	log stats plain
-rw-r--r--	sat7.smt2	198	log stats plain
-rw-r--r--	sat8.smt2	98	log stats plain
-rw-r--r--	sat9.smt2	159	log stats plain
-rw-r--r--	uf1.smt2	248	log stats plain
-rw-r--r--	uf2.smt2	212	log stats plain
-rw-r--r--	uf3.smt2	194	log stats plain
-rw-r--r--	uf4.smt2	214	log stats plain
-rw-r--r--	uf5.smt2	251	log stats plain
-rw-r--r--	uf6.smt2	195	log stats plain
-rw-r--r--	uf7.smt2	203	log stats plain
-rw-r--r--	velev-sss-1.0-05.cnf	193858	log stats plain