git.libre-soc.org Git - cvc5.git/tree - test/regress/regress0/datatypes/

drwxr-xr-x		..
-rw-r--r--	123	Test1-tup-mp.cvc	blob \| history \| raw
-rw-r--r--	62	boolean-equality.cvc	blob \| history \| raw
-rw-r--r--	112	boolean-terms-datatype.cvc	blob \| history \| raw
-rw-r--r--	165	boolean-terms-parametric-datatype-1.cvc	blob \| history \| raw
-rw-r--r--	93	boolean-terms-record.cvc	blob \| history \| raw
-rw-r--r--	119	boolean-terms-rewrite.cvc	blob \| history \| raw
-rw-r--r--	75	boolean-terms-tuple.cvc	blob \| history \| raw
-rw-r--r--	81	bug286.cvc	blob \| history \| raw
-rw-r--r--	145	bug438.cvc	blob \| history \| raw
-rw-r--r--	183	bug438b.cvc	blob \| history \| raw
-rw-r--r--	288	bug597-rbt.smt2	blob \| history \| raw
-rw-r--r--	363	bug604.smt2	blob \| history \| raw
-rw-r--r--	430	bug625.smt2	blob \| history \| raw
-rw-r--r--	413	cdt-model-cade15.smt2	blob \| history \| raw
-rw-r--r--	264	cdt-non-canon-stream.smt2	blob \| history \| raw
-rw-r--r--	345	coda_simp_model.smt2	blob \| history \| raw
-rw-r--r--	1797	conqueue-dt-enum-iloop.smt2	blob \| history \| raw
-rw-r--r--	546	data-nested-codata.smt2	blob \| history \| raw
-rw-r--r--	463	datatype-dump.cvc	blob \| history \| raw
-rw-r--r--	117	datatype.cvc	blob \| history \| raw
-rw-r--r--	106	datatype0.cvc	blob \| history \| raw
-rw-r--r--	159	datatype1.cvc	blob \| history \| raw
-rw-r--r--	388	datatype13.cvc	blob \| history \| raw
-rw-r--r--	326	datatype2.cvc	blob \| history \| raw
-rw-r--r--	207	datatype3.cvc	blob \| history \| raw
-rw-r--r--	115	datatype4.cvc	blob \| history \| raw
-rw-r--r--	293	dt-2.6.smt2	blob \| history \| raw
-rw-r--r--	673	dt-match-pat-param-2.6.smt2	blob \| history \| raw
-rw-r--r--	464	dt-param-2.6-print.smt2	blob \| history \| raw
-rw-r--r--	779	dt-param-2.6.smt2	blob \| history \| raw
-rw-r--r--	357	dt-param-card4-bool-sat.smt2	blob \| history \| raw
-rw-r--r--	364	dt-sel-2.6.smt2	blob \| history \| raw
-rw-r--r--	438	empty_tuprec.cvc	blob \| history \| raw
-rw-r--r--	222	example-dailler-min.smt2	blob \| history \| raw
-rw-r--r--	154	is_test.smt2	blob \| history \| raw
-rw-r--r--	190	issue1433.smt2	blob \| history \| raw
-rw-r--r--	297	issue2838.cvc	blob \| history \| raw
-rw-r--r--	659	jsat-2.6.smt2	blob \| history \| raw
-rw-r--r--	252	model-subterms-min.smt2	blob \| history \| raw
-rw-r--r--	373	mutually-recursive.cvc	blob \| history \| raw
-rw-r--r--	142	pair-bool-bool.cvc	blob \| history \| raw
-rw-r--r--	654	pair-real-bool.smt2	blob \| history \| raw
-rw-r--r--	198	rec1.cvc	blob \| history \| raw
-rw-r--r--	307	rec2.cvc	blob \| history \| raw
-rw-r--r--	209	rec4.cvc	blob \| history \| raw
-rw-r--r--	324	repeated-selectors-2769.smt2	blob \| history \| raw
-rw-r--r--	221	rewriter.cvc	blob \| history \| raw
-rw-r--r--	567	sc-cdt1.smt2	blob \| history \| raw
-rw-r--r--	225	some-boolean-tests.cvc	blob \| history \| raw
-rw-r--r--	199	stream-singleton.smt2	blob \| history \| raw
-rw-r--r--	245	tenum-bug.smt2	blob \| history \| raw
-rw-r--r--	193	tree-get-value.cvc	blob \| history \| raw
-rw-r--r--	127	tuple-model.cvc	blob \| history \| raw
-rw-r--r--	171	tuple-no-clash.cvc	blob \| history \| raw
-rw-r--r--	327	tuple-record-bug.cvc	blob \| history \| raw
-rw-r--r--	257	tuple.cvc	blob \| history \| raw
-rw-r--r--	349	tuples-empty.smt2	blob \| history \| raw
-rw-r--r--	195	tuples-multitype.smt2	blob \| history \| raw
-rw-r--r--	677	typed_v10l30054.cvc	blob \| history \| raw
-rw-r--r--	2827	typed_v1l80005.cvc	blob \| history \| raw
-rw-r--r--	311	typed_v2l30079.cvc	blob \| history \| raw
-rw-r--r--	745	typed_v3l20092.cvc	blob \| history \| raw
-rw-r--r--	564	typed_v5l30069.cvc	blob \| history \| raw
-rw-r--r--	634	v10l40099.cvc	blob \| history \| raw
-rw-r--r--	345	v2l40025.cvc	blob \| history \| raw
-rw-r--r--	450	v3l60006.cvc	blob \| history \| raw
-rw-r--r--	436	v5l30058.cvc	blob \| history \| raw
-rw-r--r--	90	wrong-sel-simp.cvc	blob \| history \| raw