diff options
| author | Andres Noetzli <noetzli@stanford.edu> | 2019-06-02 18:54:02 -0700 |
|---|---|---|
| committer | Aina Niemetz <aina.niemetz@gmail.com> | 2019-06-02 18:54:02 -0700 |
| commit | 2c7a64f5bdafd35e02510db5ec8026cff32e505f (patch) | |
| tree | ae3a1a93ff6e01f5664fd52113a55f67175b5b4e /contrib/run-script-smtcomp2019-unsat-cores | |
| parent | 2d9f552b86cf75a95187541699612ea1331ec990 (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.
Diffstat (limited to 'contrib/run-script-smtcomp2019-unsat-cores')
0 files changed, 0 insertions, 0 deletions