diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-04-05 11:40:34 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-05 11:40:34 -0700 |
| commit | cf73e3ceb3f93fef830349bd44afec99404b5038 (patch) | |
| tree | 407c2a4e90e6200244a7301e7f736ff2493813bb /test/regress/regress1/quantifiers/constfunc.cvc | |
| parent | dc0e4a68281032194a7626050b8fbb74d3f5e183 (diff) | |
Add more general SignExtendUltConst rewriting. (#1385)
This also adds an additional check in processAssertions to ensure that all
assertions are guaranteed to be rewritten (there was only a comment stating
this).
Diffstat (limited to 'test/regress/regress1/quantifiers/constfunc.cvc')
0 files changed, 0 insertions, 0 deletions