projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 546bf68) | patch
Fix corner case in stripConstantEndpoints (#2824)
authorAndres Noetzli <andres.noetzli@gmail.com>
Sat, 2 Feb 2019 08:36:42 +0000 (00:36 -0800)
committerGitHub <noreply@github.com>
Sat, 2 Feb 2019 08:36:42 +0000 (00:36 -0800)
commite374c7fbde3b3a5148b6e8fc302277b6e786965e
treebf1084d0080949b4352a5fa58221d02839519556tree
parent546bf68640875107739011cff1f704f0d3e38f82commit | diff
Fix corner case in stripConstantEndpoints (#2824)

`stripConstantEndpoints()` was returning `true` when the first argument
was a list only containing an empty string, which could lead to rewrite
loops. This commit checks for that case and adds a unit test for it.
src/theory/strings/theory_strings_rewriter.cpp diff | blob | history
test/unit/theory/theory_strings_rewriter_white.h diff | blob | history