projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0f75e68) | patch
Fix large models for strings (#3835)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Thu, 27 Feb 2020 19:48:50 +0000 (13:48 -0600)
committerGitHub <noreply@github.com>
Thu, 27 Feb 2020 19:48:50 +0000 (11:48 -0800)
commit0ad0496cd474a167973195d1ddc9322ada7f2b4e
treeb3c3c211382fbb6046229d3a0021a3a63ed921e2tree
parent0f75e689f02def2a726887bfd927f534ddc0305acommit | diff
Fix large models for strings (#3835)

Fixes #3375.

Marking as "major" since in fact we produce incorrect models in production without the fix.
src/theory/strings/theory_strings.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/strings/large-model.smt2 [new file with mode: 0644] blob