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

author	Abdalrhman Mohamed <32971963+abdoo8080@users.noreply.github.com>
	Mon, 6 Jun 2022 21:26:56 +0000 (00:26 +0300)
committer	GitHub <noreply@github.com>
	Mon, 6 Jun 2022 21:26:56 +0000 (21:26 +0000)
commit	9a33f9bb67f97d2de50da199caa3d5d9229aa7bd
tree	c29c705d1ed79fb22b565ec3307254477c795c7d	tree
parent	a1c8064e3113849ecc759b659f2a70e377f873e3	commit \| diff

Disable `lfsc` tester if `proof` tester is disabled. (#8857)

This automatically disables the `lfsc` tester for regressions where `proof` tester is disabled.

22 files changed:

test/regress/cli/README.md		diff \| blob \| history
test/regress/cli/regress0/deep-restart/dd.fuzz21.smtv1.smt2		diff \| blob \| history
test/regress/cli/regress0/deep-restart/dd.wrong-sat-020322.smt2		diff \| blob \| history
test/regress/cli/regress0/quantifiers/lra-triv-gn.smt2		diff \| blob \| history
test/regress/cli/regress1/datatypes/dt-param-card4-unsat.smt2		diff \| blob \| history
test/regress/cli/regress1/hole6.cvc.smt2		diff \| blob \| history
test/regress/cli/regress1/issue3970-nl-ext-purify.smt2		diff \| blob \| history
test/regress/cli/regress1/nl/approx-sqrt-unsat.smt2		diff \| blob \| history
test/regress/cli/regress1/nl/issue4791-llr.smt2		diff \| blob \| history
test/regress/cli/regress1/quantifiers/issue4021-ind-opts.smt2		diff \| blob \| history
test/regress/cli/regress1/sets/sets-disequal.smt2		diff \| blob \| history
test/regress/cli/regress1/sygus/issue3201.smt2		diff \| blob \| history
test/regress/cli/regress1/sygus/issue3247.smt2		diff \| blob \| history
test/regress/cli/regress1/sygus/issue3995-fmf-var-op.smt2		diff \| blob \| history
test/regress/cli/regress1/sygus/issue4009-qep.smt2		diff \| blob \| history
test/regress/cli/regress1/sygus/issue4083-var-shadow.smt2		diff \| blob \| history
test/regress/cli/regress1/sygus/issue4425-sets-sygus-infer.smt2		diff \| blob \| history
test/regress/cli/regress1/sygus/proj-issue185.smt2		diff \| blob \| history
test/regress/cli/regress2/fp/issue7056.smt2		diff \| blob \| history
test/regress/cli/regress2/instance_1444.smtv1.smt2		diff \| blob \| history
test/regress/cli/regress2/nl/ufnia-factor-open-proof.smt2		diff \| blob \| history
test/regress/cli/run_regression.py		diff \| blob \| history

RSS Atom