diff options
| author | yoni206 <yoni206@users.noreply.github.com> | 2020-12-03 12:18:10 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-03 14:18:10 -0600 |
| commit | 8994bc9fd49a255286f8a6bac6c14407e8add41f (patch) | |
| tree | 145ea96fcb9381be1aa2f298ca66165d12864682 /test/regress/regress0/issue5550-num-children.smt2 | |
| parent | 8e1dc557383f754e33399b6b0f783e7048732df0 (diff) | |
Models as (#5581)
This PR relates to #4987 .
Our plan is to:
delete the model keyword (done in #5415 )
avoid printing extra declarations by default (done in #5432 )
wrap UF values with as expressions.
This PR does step 3, fixes a regression accordingly, and adds the formula from #4987 and a variant of it to the regressions.
Diffstat (limited to 'test/regress/regress0/issue5550-num-children.smt2')
0 files changed, 0 insertions, 0 deletions