diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-12-03 16:20:13 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-12-03 16:20:13 -0800 |
commit | f3d40cc254026805259c511dd706d87a130c807e (patch) | |
tree | 5207abb94e80a577a213dd7455e80c56948c9be5 /contrib/alttheoryskel | |
parent | 48ba9401dd647e737b79f1605dc68c44119e5baf (diff) |
Fix corner case in model construction of strings (#3524)
This commit fixes a corner case in the model construction of strings:
For a given length, we were assuming that for each equivalence class, we
could always find an initial guess for a constant to assign to it. This
was not always true, however, because a preceding equivalence class
could use up all constants and get assigned the last remaining one, so
we wouldn't have a constant remaining for the current class. This
resulted in an assertion failure (in debug) or a crash (in production).
This commit fixes the issue by checking whether we've run out of
constants before assigning an initial constant for an equivalence class.
Diffstat (limited to 'contrib/alttheoryskel')
0 files changed, 0 insertions, 0 deletions