projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c2d244) | patch
Fix `TypeNode::substitute()` (#7916)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 11 Jan 2022 14:29:49 +0000 (06:29 -0800)
committerGitHub <noreply@github.com>
Tue, 11 Jan 2022 14:29:49 +0000 (14:29 +0000)
commitf18f1bd8c6bcc6827893a2c25e67ca8cf0ddca20
treea9649a9d7d9915aaf8b2b6fa42ec888546f8bd74tree
parent3c2d24457f61770601308e37294316d72c595229commit | diff
Fix `TypeNode::substitute()` (#7916)

Fixes cvc5/cvc5-projects#397. Fixes
cvc5/cvc5-projects#399. After performing the
substitution on the child node, the result was not added as a child to
the node under construction, resulting in nodes with too few children.
This commit fixes that issue.
src/expr/type_node.cpp diff | blob | history
test/api/cpp/CMakeLists.txt diff | blob | history
test/api/cpp/proj-issue399.cpp [new file with mode: 0644] blob