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/bug1247.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/bug1247.smt2')
0 files changed, 0 insertions, 0 deletions