diff options
| author | Haniel Barbosa <hanielbbarbosa@gmail.com> | 2020-12-16 21:16:28 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-16 21:16:28 -0300 |
| commit | 80e02468be0b5821e74a097179299c9afa23d10a (patch) | |
| tree | 57ade9a055f6659f44cc64d85ffb937ca6f25072 /test/regress/regress0/fmf/QEpres-uf.855035.smtv1.smt2 | |
| parent | cd33db0a13ef195995885c4c42031386b2261ac4 (diff) | |
[proof-new] Only use old proof code for unsat cores if new proofs are off (#5688)
This is so that eventually we can compare the performance of the old unsat cores vs the new ones.
Diffstat (limited to 'test/regress/regress0/fmf/QEpres-uf.855035.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions