projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3dda54b) | patch
[proof-new] Disabling proofs on regressions with known bug (#6151)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Tue, 16 Mar 2021 13:16:31 +0000 (10:16 -0300)
committerGitHub <noreply@github.com>
Tue, 16 Mar 2021 13:16:31 +0000 (13:16 +0000)
commit5a879f4315d0105f8487c8718659a4f060ea634e
tree9feca79448b646469906f694fa40ebefcf745e76tree
parent3dda54ba7e6952060766775c56969ab920430a8acommit | diff
[proof-new] Disabling proofs on regressions with known bug (#6151)

This is so that we can use CI in master for proofs.
test/regress/regress1/push-pop/arith_lra_01.smt2 diff | blob | history
test/regress/regress1/push-pop/fuzz_3_1.smt2 diff | blob | history
test/regress/regress1/push-pop/fuzz_3_11.smt2 diff | blob | history
test/regress/regress1/push-pop/fuzz_3_6.smt2 diff | blob | history
test/regress/regress1/push-pop/fuzz_3_9.smt2 diff | blob | history
test/regress/regress1/quantifiers/symmetric_unsat_7.smt2 diff | blob | history
test/regress/regress1/strings/stoi-400million.smt2 diff | blob | history
test/regress/regress2/instance_1444.smtv1.smt2 diff | blob | history