projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 23aa2a0) | patch
fix and test (#4658)
authoryoni206 <yoni206@users.noreply.github.com>
Fri, 26 Jun 2020 02:36:59 +0000 (19:36 -0700)
committerGitHub <noreply@github.com>
Fri, 26 Jun 2020 02:36:59 +0000 (21:36 -0500)
commitccd4500c03685952ebf571b3539bd9e29c829cb5
treed4ae6bac75d458a0eb2d7b5887175d258fcb3368tree
parent23aa2a0868027527469f2293952f038c66db23e1commit | diff
fix and test (#4658)

This PR adds support for indexed operators (such as extract) to getOperatorsMap in node_algorithm.cpp. The corresponding test is augmented accordingly.
src/expr/node_algorithm.cpp diff | blob | history
test/unit/expr/node_algorithm_black.h diff | blob | history