diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-10-19 08:14:22 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-19 08:14:22 -0700 |
| commit | c116c6c1ec757fe51f2b874e750ad8281baea103 (patch) | |
| tree | cd5c1fc6deaff07d784705dae933a7abd01b546b /contrib | |
| parent | 64dcc865f8aae4fd1591bfec9ee117b360e9f9b3 (diff) | |
Add helper to detect length one string terms (#2654)
This commit introduces a helper function to detect string terms that
have exactly/at most length one. This is useful for a lot of rewrites
because strings of at most length one are guaranteed to not overlap
multiple components in a concatenation, which allows for more aggressive
rewriting.
This commit has been tested with --sygus-rr-synth-check for >1h on the
string term grammar.
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions