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

drwxr-xr-x		..
drwxr-xr-x	-	boolean	tree \| history
-rw-r--r--	229	bug1990.smt2	blob \| history \| raw
-rw-r--r--	178	bug233.cvc	blob \| history \| raw
-rw-r--r--	806	bug654-dd.smt2	blob \| history \| raw
-rw-r--r--	459	bug691.smt2	blob \| history \| raw
-rw-r--r--	484	bug821-check_sat_assuming.smt2	blob \| history \| raw
-rw-r--r--	159	bug821.smt2	blob \| history \| raw
-rw-r--r--	160	inc-define.smt2	blob \| history \| raw
-rw-r--r--	328	inc-double-u.smt2	blob \| history \| raw
-rw-r--r--	297	incremental-subst-bug.cvc	blob \| history \| raw
-rw-r--r--	535	issue1986.smt2	blob \| history \| raw
-rw-r--r--	235	issue2137.min.smt2	blob \| history \| raw
-rw-r--r--	523	quant-fun-proc-unfd.smt2	blob \| history \| raw
-rw-r--r--	148	simple_unsat_cores.smt2	blob \| history \| raw
-rw-r--r--	128	test.00.cvc	blob \| history \| raw
-rw-r--r--	214	test.01.cvc	blob \| history \| raw
-rw-r--r--	450	tiny_bug.smt2	blob \| history \| raw
-rw-r--r--	341	units.cvc	blob \| history \| raw