diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2021-07-12 19:33:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-13 02:33:08 +0000 |
| commit | 03087213703b8429ed98a30160df8fea22bc25fb (patch) | |
| tree | 97b5f862f2e52763e41cd07f2c21aeab3a715fb8 /src/theory/arith/theory_arith.h | |
| parent | ea0b6105f1bd2ce86ce2f5a07a6255801d6d7e64 (diff) | |
bv: Expand bitblast proof steps in the proof post processor. (#6867)
This commit changes BV proof logging to record coarse-grained bit-blast steps during solving and expanding these steps on-demand in the proof post processor.
Diffstat (limited to 'src/theory/arith/theory_arith.h')
0 files changed, 0 insertions, 0 deletions