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

drwxr-xr-x		..
-rw-r--r--	267	abduct-dt.smt2	blob \| history \| raw
drwxr-xr-x	-	arith	tree \| history
-rw-r--r--	285	arrayinuf_error.smt2	blob \| history \| raw
drwxr-xr-x	-	aufbv	tree \| history
drwxr-xr-x	-	auflia	tree \| history
-rw-r--r--	735	boolean-terms-kernel2.smt2	blob \| history \| raw
-rw-r--r--	30122	boolean.cvc	blob \| history \| raw
-rw-r--r--	73952	bug296.smt2	blob \| history \| raw
-rw-r--r--	188769	bug425.cvc	blob \| history \| raw
-rw-r--r--	177	bug472.smt2	blob \| history \| raw
-rw-r--r--	41207	bug507.smt2	blob \| history \| raw
-rw-r--r--	4853	bug512.smt2	blob \| history \| raw
-rw-r--r--	298	bug516.smt2	blob \| history \| raw
-rw-r--r--	1907	bug519.smt2	blob \| history \| raw
-rw-r--r--	5666	bug520.smt2	blob \| history \| raw
-rw-r--r--	15189	bug521.smt2	blob \| history \| raw
-rw-r--r--	7348	bug543.smt2	blob \| history \| raw
-rw-r--r--	2627	bug567.smt2	blob \| history \| raw
-rw-r--r--	1823	bug590.smt2	blob \| history \| raw
-rw-r--r--	321	bug593.smt2	blob \| history \| raw
-rw-r--r--	1511	bug681.smt2	blob \| history \| raw
-rw-r--r--	2983	bug694-Unapply1.scala-0.smt2	blob \| history \| raw
-rw-r--r--	6317	bug800.smt2	blob \| history \| raw
drwxr-xr-x	-	bv	tree \| history
-rw-r--r--	721	bvdiv2.smt2	blob \| history \| raw
-rw-r--r--	367	constarr3.cvc	blob \| history \| raw
-rw-r--r--	553	constarr3.smt2	blob \| history \| raw
drwxr-xr-x	-	datatypes	tree \| history
drwxr-xr-x	-	decision	tree \| history
-rw-r--r--	252	error.cvc	blob \| history \| raw
-rw-r--r--	276	errorcrash.smt2	blob \| history \| raw
-rw-r--r--	542	fmf-fun-dbu.smt2	blob \| history \| raw
drwxr-xr-x	-	fmf	tree \| history
-rw-r--r--	37318	gensys_brn001.smt2	blob \| history \| raw
drwxr-xr-x	-	ho	tree \| history
-rw-r--r--	4659	hole6.cvc	blob \| history \| raw
-rw-r--r--	1301	issue3970-nl-ext-purify.smt2	blob \| history \| raw
-rw-r--r--	1282	issue3990-sort-inference.smt2	blob \| history \| raw
-rw-r--r--	9234	issue4273-ext-rew-cache.smt2	blob \| history \| raw
-rw-r--r--	13498	issue4335-unsat-core.smt2	blob \| history \| raw
-rw-r--r--	609	ite5.smt2	blob \| history \| raw
drwxr-xr-x	-	lemmas	tree \| history
-rw-r--r--	372	model-blocker-simple.smt2	blob \| history \| raw
-rw-r--r--	417	model-blocker-values.smt2	blob \| history \| raw
drwxr-xr-x	-	nl	tree \| history
-rw-r--r--	582	non-fatal-errors.smt2	blob \| history \| raw
-rw-r--r--	1758	parsing_ringer.cvc	blob \| history \| raw
-rw-r--r--	1911	proof00.smt2	blob \| history \| raw
drwxr-xr-x	-	push-pop	tree \| history
drwxr-xr-x	-	quantifiers	tree \| history
drwxr-xr-x	-	rels	tree \| history
drwxr-xr-x	-	rr-verify	tree \| history
drwxr-xr-x	-	sep	tree \| history
drwxr-xr-x	-	sets	tree \| history
-rw-r--r--	552	simple-rdl-definefun.smt2	blob \| history \| raw
-rw-r--r--	10629	simplification_bug4.smt2	blob \| history \| raw
-rw-r--r--	145	sqrt2-sort-inf-unk.smt2	blob \| history \| raw
drwxr-xr-x	-	strings	tree \| history
-rw-r--r--	733	sygus-abduct-ex1-grammar.smt2	blob \| history \| raw
-rw-r--r--	360	sygus-abduct-test-ccore.smt2	blob \| history \| raw
-rw-r--r--	968	sygus-abduct-test-user.smt2	blob \| history \| raw
-rw-r--r--	428	sygus-abduct-test.smt2	blob \| history \| raw
drwxr-xr-x	-	sygus	tree \| history
drwxr-xr-x	-	sym	tree \| history
-rw-r--r--	3196	test12.cvc	blob \| history \| raw
-rw-r--r--	986	trim.cvc	blob \| history \| raw
-rw-r--r--	412	uf2.smt2	blob \| history \| raw
drwxr-xr-x	-	uflia	tree \| history
-rw-r--r--	566	wrong-qfabvfp-smtcomp2018.smt2	blob \| history \| raw