diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2021-03-16 10:16:31 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-16 13:16:31 +0000 |
| commit | 5a879f4315d0105f8487c8718659a4f060ea634e (patch) | |
| tree | 9feca79448b646469906f694fa40ebefcf745e76 /src/smt/set_defaults.cpp | |
| parent | 3dda54ba7e6952060766775c56969ab920430a8a (diff) | |
[proof-new] Disabling proofs on regressions with known bug (#6151)
This is so that we can use CI in master for proofs.
Diffstat (limited to 'src/smt/set_defaults.cpp')
0 files changed, 0 insertions, 0 deletions