projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2d9f552) | patch
Add check for limit of number of node children (#3035)
authorAndres Noetzli <noetzli@stanford.edu>
Mon, 3 Jun 2019 01:54:02 +0000 (18:54 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Mon, 3 Jun 2019 01:54:02 +0000 (18:54 -0700)
commit2c7a64f5bdafd35e02510db5ec8026cff32e505f
treeae3a1a93ff6e01f5664fd52113a55f67175b5b4etree
parent2d9f552b86cf75a95187541699612ea1331ec990commit | diff
Add check for limit of number of node children (#3035)

This commit adds a check that makes sure that we do not try to create
nodes with more children than the maxmimum number. This can currently
happen when flattening nodes in QF_BV with lots of duplicate children.
src/expr/node_builder.h diff | blob | history