diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-23 16:09:20 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-23 16:09:20 -0600 |
| commit | 07c7b873c5c2ee81cb2672428ca1de0d75bb1ae8 (patch) | |
| tree | c89e29818dc79cd6cc37360f9ce71257520f5406 /src/theory/arith/nl | |
| parent | a6c001e078767a2de6f36a2fa1333b98e39a6ec8 (diff) | |
Fix regular expression consume for nested star (#5518)
The issue was caused by simple regular expression consume being too aggressive when a recursive call was made to the method. In particular, we were assuming that the body of the star must be unrolled to fully consume a string, when it can be skipped if we are not at top level.
Fixes #5510.
Diffstat (limited to 'src/theory/arith/nl')
0 files changed, 0 insertions, 0 deletions