diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-05-27 16:18:28 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-27 16:18:28 -0500 |
| commit | b9062490a7590708bcf158d4670a23d859fe3355 (patch) | |
| tree | 9bb487795a7753de1c631494012133508ecc374e /src/theory/rewriter.h | |
| parent | 8d63f44d93ae91c5b89a9cf866ba33c954465398 (diff) | |
Fix CEGQI for datatypes with Boolean subfields (#6630)
Fixes a solution soundness issue caused by allowing ineligible terms of kind BOOLEAN_TERM_VARIABLE to appear in instantiations.
This also corrects the expected solution on a benchmark that had an incorrect status.
Fixes #6603.
Diffstat (limited to 'src/theory/rewriter.h')
0 files changed, 0 insertions, 0 deletions