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