projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b00667a) | patch
Fix instance of no rewrite in extended rewriter (#6610)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 24 May 2021 15:55:17 +0000 (10:55 -0500)
committerGitHub <noreply@github.com>
Mon, 24 May 2021 15:55:17 +0000 (08:55 -0700)
commit93a3d6a65db331008d590c4bb7fc0658ff1e46e0
tree0f57cd35af96ec8b5cf4deefc7c83efc9f244feetree
parentb00667a21984dc3f6b960a1a2d22845c7096bc35commit | diff
Fix instance of no rewrite in extended rewriter (#6610)

Fixes #6545.

An assertion failure was being raised indicating that we were reporting a rewrite that was not changing the original term.
src/theory/quantifiers/extended_rewrite.cpp diff | blob | history
test/regress/regress1/strings/issue6545-extr.smt2 [new file with mode: 0644] blob