projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 509ecd2) | patch
Add unit test involving seq concat term (#8257)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 15 Mar 2022 21:42:39 +0000 (16:42 -0500)
committerGitHub <noreply@github.com>
Tue, 15 Mar 2022 21:42:39 +0000 (21:42 +0000)
commit27113b19f92c94047521c46c882fe74b4d063ccc
tree5f4604fe8e57d5c78f5306323aa6307a5fa602d8tree
parent509ecd23cff74a68ba5971308cfc5313bc6c202fcommit | diff
Add unit test involving seq concat term (#8257)

On closer inspection, the initial version of the unit test has a type error, where an incorrect concatentation term is constructed.

Adds the updated test. Fixes cvc5/cvc5-projects#423.
test/unit/api/cpp/solver_black.cpp diff | blob | history