diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-28 08:07:54 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-28 08:07:54 -0500 |
| commit | 8ea1603f55d940e56ab3cbee8177f06200228aaa (patch) | |
| tree | a263e0beea29d39de303eddb94511a1387295bd2 /test/regress/regress0/sygus/parse-bv-let.sy | |
| parent | 30c0e8689a1e5f1ae160cde17d8124c86ead1568 (diff) | |
Update cardinality in strings to unicode standard (#4402)
This updates the default cardinality in strings to match the Unicode standard, 196608.
This avoids a check-model failure from 25 benchmarks in SMT-LIB, which were related to a split due to insufficient constants being required during collectModelInfo.
This also makes a few places throw an AlwaysAssert(false) that otherwise would lead to incorrect models. These regardless should never throw, but it would be better to have an assertion failure.
Diffstat (limited to 'test/regress/regress0/sygus/parse-bv-let.sy')
0 files changed, 0 insertions, 0 deletions