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

author	Haniel Barbosa <hanielbbarbosa@gmail.com>
	Tue, 30 Jul 2019 07:36:58 +0000 (02:36 -0500)
committer	GitHub <noreply@github.com>
	Tue, 30 Jul 2019 07:36:58 +0000 (02:36 -0500)
commit	943a4781526e5d5e9ca943a0955f30fbb9f7ba61
tree	32579ebef6aa7c05458200f52c734f522b3f1b80	tree
parent	f71a719b8000e901af141a326ac12bce59a6153d	commit \| diff

Remove hard coded option for TPTP regressions in run_regression (#3128)

13 files changed:

test/regress/regress0/tptp/KRS018+1.p		diff \| blob \| history
test/regress/regress0/tptp/MGT019+2.p		diff \| blob \| history
test/regress/regress0/tptp/SYN000+2.p		diff \| blob \| history
test/regress/regress0/tptp/SYN000-2.p		diff \| blob \| history
test/regress/regress0/tptp/SYN000_2.p		diff \| blob \| history
test/regress/regress0/tptp/SYN075-1.p		diff \| blob \| history
test/regress/regress0/tptp/tptp_parser4.p		diff \| blob \| history
test/regress/regress0/tptp/tptp_parser5.p		diff \| blob \| history
test/regress/regress0/tptp/tptp_parser6.p		diff \| blob \| history
test/regress/regress0/tptp/tptp_parser7.p		diff \| blob \| history
test/regress/regress0/tptp/tptp_parser8.p		diff \| blob \| history
test/regress/regress0/tptp/tptp_parser9.p		diff \| blob \| history
test/regress/run_regression.py		diff \| blob \| history