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

drwxr-xr-x		..
drwxr-xr-x	-	array	tree \| history
-rw-r--r--	683	err1.smt2	blob \| history \| raw
-rw-r--r--	825	intseq.smt2	blob \| history \| raw
-rw-r--r--	2023	intseq_dt.smt2	blob \| history \| raw
-rw-r--r--	798	issue4370-bool-terms.smt2	blob \| history \| raw
-rw-r--r--	357	issue5543-unit-cmv.smt2	blob \| history \| raw
-rw-r--r--	269	issue5547-seq-len-unit.smt2	blob \| history \| raw
-rw-r--r--	207	issue5547-small-seq-len-unit.smt2	blob \| history \| raw
-rw-r--r--	329	issue5665-invalid-model.smt2	blob \| history \| raw
-rw-r--r--	202	issue6005-no-strings-exp.smt2	blob \| history \| raw
-rw-r--r--	325	issue6337-seq.smt2	blob \| history \| raw
-rw-r--r--	315	issue8133-block-const-elems.smt2	blob \| history \| raw
-rw-r--r--	140	len_simplify.smt2	blob \| history \| raw
-rw-r--r--	347	mixed-types-seq-nth.smt2	blob \| history \| raw
-rw-r--r--	299	nth-oob.smt2	blob \| history \| raw
-rw-r--r--	279	nth-unit.smt2	blob \| history \| raw
-rw-r--r--	257	nth-update.smt2	blob \| history \| raw
-rw-r--r--	236	proj-issue340.smt2	blob \| history \| raw
-rw-r--r--	190	proj-issue384-2-subtypes.smt2	blob \| history \| raw
-rw-r--r--	349	proj-issue384-subtypes.smt2	blob \| history \| raw
-rw-r--r--	234	proj-issue427-subtypes-value.smt2	blob \| history \| raw
-rw-r--r--	483	quant_len_trigger.smt2	blob \| history \| raw
-rw-r--r--	189	query0-subtype-skel.smt2	blob \| history \| raw
-rw-r--r--	357	query1-subtype.smt2	blob \| history \| raw
-rw-r--r--	348	query2-subtype.smt2	blob \| history \| raw
-rw-r--r--	368	rev.smt2	blob \| history \| raw
-rw-r--r--	138	seq-2var.smt2	blob \| history \| raw
-rw-r--r--	210	seq-ex1.smt2	blob \| history \| raw
-rw-r--r--	254	seq-ex2.smt2	blob \| history \| raw
-rw-r--r--	562	seq-ex3.smt2	blob \| history \| raw
-rw-r--r--	235	seq-ex4.smt2	blob \| history \| raw
-rw-r--r--	225	seq-ex5-dd.smt2	blob \| history \| raw
-rw-r--r--	238	seq-ex5.smt2	blob \| history \| raw
-rw-r--r--	367	seq-expand-defs.smt2	blob \| history \| raw
-rw-r--r--	158	seq-nemp.smt2	blob \| history \| raw
-rw-r--r--	196	seq-nth-type-check.smt2	blob \| history \| raw
-rw-r--r--	324	seq-nth-uf-z.smt2	blob \| history \| raw
-rw-r--r--	346	seq-nth-uf.smt2	blob \| history \| raw
-rw-r--r--	521	seq-nth-undef-unsat.smt2	blob \| history \| raw
-rw-r--r--	156	seq-nth.smt2	blob \| history \| raw
-rw-r--r--	677	seq-rewrites.smt2	blob \| history \| raw
-rw-r--r--	238	seq-types.smt2	blob \| history \| raw
-rw-r--r--	289	seqa-model-unsound-dd.smt2	blob \| history \| raw
-rw-r--r--	853	shared-term-registration.smt2	blob \| history \| raw
-rw-r--r--	389	update-concat-non-atomic.smt2	blob \| history \| raw
-rw-r--r--	574	update-concat-non-atomic2.smt2	blob \| history \| raw
-rw-r--r--	223	update-eq-unsat.smt2	blob \| history \| raw
-rw-r--r--	284	update-eq.smt2	blob \| history \| raw
-rw-r--r--	360	wrong-model-020322.smt2	blob \| history \| raw
-rw-r--r--	506	wrong-sat-020322.smt2	blob \| history \| raw