diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-08-05 10:21:48 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-05 10:21:48 -0500 |
| commit | 48a1854491c99d61d21482115e18399195d4d365 (patch) | |
| tree | 47b933d38ac7577dba75dee11d19925bec6a50f8 /.clang-format | |
| parent | 183808b608071890b4d8a05d51233fe37a133873 (diff) | |
Fix policy for rewriting string equalities (#6916)
This PR simplifies our rewriter for string equalities. We do not try to rewrite equalities to true/false by default.
This prevents cases where lemmas may contain vacuous premises that rewrite to false, hence making a lemma rewrite to true.
This PR reorganizes the interplay between the rewrite and the post-processing of rewrites via extended equality rewriting.
Fixes #6913. Also adds benchmarks from #6101 which appear related but were fixed in previous commits, thus fixes #6101 as well.
Diffstat (limited to '.clang-format')
0 files changed, 0 insertions, 0 deletions