diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-04-07 15:45:39 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-07 20:45:39 +0000 |
| commit | 8f9f8a79a55a7c478f8d26894f4d2e7023c5a39c (patch) | |
| tree | 8ccad126d323167ea5e6615f8163fa7998f19626 /src/prop/proof_post_processor.h | |
| parent | bd0cf32db7d115e52e243b165a26edb319e91316 (diff) | |
Set incomplete if not applying ho extensionality (#6281)
If the user manually disables ho-extensionality via expert option --no-uf-ho-ext, we should answer "unknown" instead of "sat" when applicable.
Fixes #4318.
Diffstat (limited to 'src/prop/proof_post_processor.h')
0 files changed, 0 insertions, 0 deletions