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

author	Mathias Preiner <mathias.preiner@gmail.com>
	Wed, 4 Sep 2019 17:06:56 +0000 (10:06 -0700)
committer	GitHub <noreply@github.com>
	Wed, 4 Sep 2019 17:06:56 +0000 (10:06 -0700)
commit	ad521125586f437693410dd78275044d0174a927
tree	54453e3454d0279b9975d8f1f7ec61d010083478	tree
parent	f727de338f15a02e07d2a79cf94940a9786e0864	commit \| diff

Remove duplicate regression tests. (#3227)

15 files changed:

test/regress/CMakeLists.txt		diff \| blob \| history
test/regress/regress0/bug374.delta01.smt	[deleted file]	blob \| history
test/regress/regress0/datatypes/boolean-terms-parametric-datatype-2.cvc	[deleted file]	blob \| history
test/regress/regress0/expect/scrub.04.smt2	[deleted file]	blob \| history
test/regress/regress0/hung10_itesdk_output2.smt2	[deleted file]	blob \| history
test/regress/regress0/hung13sdk_output2.smt2	[deleted file]	blob \| history
test/regress/regress0/quantifiers/qbv-test-invert-bvlshr-0-neq.smt2		diff \| blob \| history
test/regress/regress0/queries0.cvc	[deleted file]	blob \| history
test/regress/regress1/bug216.smt2	[deleted file]	blob \| history
test/regress/regress1/rels/join-eq-structure_0_1.cvc	[deleted file]	blob \| history
test/regress/regress1/rels/strat_0_1.cvc	[deleted file]	blob \| history
test/regress/regress2/arith/qlock-4-10-9.base.cvc.smt2	[deleted file]	blob \| history
test/regress/regress2/quantifiers/mutualrec2.cvc	[deleted file]	blob \| history
test/regress/regress2/xs-09-16-3-4-1-5.decn.smt	[deleted file]	blob \| history
test/regress/regress3/incorrect2.smt	[deleted file]	blob \| history