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

drwxr-xr-x		..
-rw-r--r--	660	arrays0.smt2	blob \| history \| raw
-rw-r--r--	741	arrays1.smt2	blob \| history \| raw
-rw-r--r--	763	arrays2.smt2	blob \| history \| raw
-rw-r--r--	772	arrays3.smt2	blob \| history \| raw
-rw-r--r--	774	arrays4.smt2	blob \| history \| raw
-rw-r--r--	257	bool-array.smt2	blob \| history \| raw
-rw-r--r--	765	bug272.minimized.smtv1.smt2	blob \| history \| raw
-rw-r--r--	12191	bug272.smtv1.smt2	blob \| history \| raw
-rw-r--r--	412	bug3020.smt2	blob \| history \| raw
-rw-r--r--	363	bug637.delta.smt2	blob \| history \| raw
-rw-r--r--	140	constarr.cvc	blob \| history \| raw
-rw-r--r--	241	constarr.smt2	blob \| history \| raw
-rw-r--r--	163	constarr2.cvc	blob \| history \| raw
-rw-r--r--	296	constarr2.smt2	blob \| history \| raw
-rw-r--r--	5447	incorrect1.smtv1.smt2	blob \| history \| raw
-rw-r--r--	20780	incorrect10.smtv1.smt2	blob \| history \| raw
-rw-r--r--	2464	incorrect11.smtv1.smt2	blob \| history \| raw
-rw-r--r--	354	incorrect2.minimized.smtv1.smt2	blob \| history \| raw
-rw-r--r--	10404	incorrect2.smtv1.smt2	blob \| history \| raw
-rw-r--r--	13832	incorrect3.smtv1.smt2	blob \| history \| raw
-rw-r--r--	4829	incorrect4.smtv1.smt2	blob \| history \| raw
-rw-r--r--	9991	incorrect5.smtv1.smt2	blob \| history \| raw
-rw-r--r--	43266	incorrect6.smtv1.smt2	blob \| history \| raw
-rw-r--r--	1917	incorrect7.smtv1.smt2	blob \| history \| raw
-rw-r--r--	453	incorrect8.minimized.smtv1.smt2	blob \| history \| raw
-rw-r--r--	33913	incorrect8.smtv1.smt2	blob \| history \| raw
-rw-r--r--	5140	incorrect9.smtv1.smt2	blob \| history \| raw
-rw-r--r--	1448	swap_t1_np_nf_ai_00005_007.cvc.smtv1.smt2	blob \| history \| raw
-rw-r--r--	342	x2.smtv1.smt2	blob \| history \| raw
-rw-r--r--	875	x3.smtv1.smt2	blob \| history \| raw