git.libre-soc.org Git - cvc5.git/commit

author	Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
	Wed, 22 Apr 2020 12:06:24 +0000 (07:06 -0500)
committer	GitHub <noreply@github.com>
	Wed, 22 Apr 2020 12:06:24 +0000 (07:06 -0500)
commit	da73f99910a25fca342c0ba1d8ec19de6c3cefda
tree	724e6b2b3061b2eb57f0814537bfb2d687947e40	tree
parent	2a38d482462fdf30376c984e7a82c99d08e75f92	commit \| diff

Convert V2.5 SMT regressions to V2.6. (#4319)

This commit converts all v2.5 smt2 regressions to v2.6 (except for regress/regress0/lang_opts_2_5.smt2).

50 files changed:

test/regress/regress0/bug484.smt2		diff \| blob \| history
test/regress/regress0/bug541.smt2		diff \| blob \| history
test/regress/regress0/datatypes/conqueue-dt-enum-iloop.smt2		diff \| blob \| history
test/regress/regress0/datatypes/dt-param-card4-bool-sat.smt2		diff \| blob \| history
test/regress/regress0/datatypes/example-dailler-min.smt2		diff \| blob \| history
test/regress/regress0/datatypes/pair-real-bool.smt2		diff \| blob \| history
test/regress/regress0/fmf/sc_bad_model_1221.smt2		diff \| blob \| history
test/regress/regress0/issue1063-overloading-dt-cons.smt2		diff \| blob \| history
test/regress/regress0/issue1063-overloading-dt-fun.smt2		diff \| blob \| history
test/regress/regress0/issue1063-overloading-dt-sel.smt2		diff \| blob \| history
test/regress/regress0/push-pop/bug654-dd.smt2		diff \| blob \| history
test/regress/regress0/quantifiers/cbqi-lia-dt-simp.smt2		diff \| blob \| history
test/regress/regress0/quantifiers/rew-to-scala.smt2		diff \| blob \| history
test/regress/regress1/arith/bug716.0.smt2		diff \| blob \| history
test/regress/regress1/bug296.smt2		diff \| blob \| history
test/regress/regress1/bug507.smt2		diff \| blob \| history
test/regress/regress1/bug567.smt2		diff \| blob \| history
test/regress/regress1/bug681.smt2		diff \| blob \| history
test/regress/regress1/bug694-Unapply1.scala-0.smt2		diff \| blob \| history
test/regress/regress1/datatypes/dt-param-card4-unsat.smt2		diff \| blob \| history
test/regress/regress1/datatypes/manos-model.smt2		diff \| blob \| history
test/regress/regress1/fmf/LeftistHeap.scala-8-ncm.smt2		diff \| blob \| history
test/regress/regress1/fmf/agree466.smt2		diff \| blob \| history
test/regress/regress1/fmf/agree467.smt2		diff \| blob \| history
test/regress/regress1/fmf/bug0909.smt2		diff \| blob \| history
test/regress/regress1/fmf/bug651.smt2		diff \| blob \| history
test/regress/regress1/fmf/bug723-irrelevant-funs.smt2		diff \| blob \| history
test/regress/regress1/fmf/bug764.smt2		diff \| blob \| history
test/regress/regress1/fmf/constr-ground-to.smt2		diff \| blob \| history
test/regress/regress1/fmf/datatypes-ufinite.smt2		diff \| blob \| history
test/regress/regress1/fmf/forall_unit_data.smt2		diff \| blob \| history
test/regress/regress1/fmf/fore19-exp2-core.smt2		diff \| blob \| history
test/regress/regress1/fmf/german169.smt2		diff \| blob \| history
test/regress/regress1/fmf/german73.smt2		diff \| blob \| history
test/regress/regress1/fmf/jasmin-cdt-crash.smt2		diff \| blob \| history
test/regress/regress1/fmf/loopy_coda.smt2		diff \| blob \| history
test/regress/regress1/fmf/lst-no-self-rev-exp.smt2		diff \| blob \| history
test/regress/regress1/fmf/nun-0208-to.smt2		diff \| blob \| history
test/regress/regress1/fmf/sc-crash-052316.smt2		diff \| blob \| history
test/regress/regress1/fmf/with-ind-104-core.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/bug_743.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/cdt-0208-to.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/parametric-lists.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/stream-x2014-09-18-unsat.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/subtype-param-unk.smt2		diff \| blob \| history
test/regress/regress1/quantifiers/subtype-param.smt2		diff \| blob \| history
test/regress/regress1/sets/issue2568.smt2		diff \| blob \| history
test/regress/regress2/bug765.smt2		diff \| blob \| history
test/regress/regress2/quantifiers/ForElimination-scala-9.smt2		diff \| blob \| history
test/regress/regress2/quantifiers/nunchaku2309663.nun.min.smt2		diff \| blob \| history

RSS Atom