diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-10 11:15:22 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-10 11:15:22 -0500 |
commit | 6b599f87b18186b811f187789e48c1e8c0774534 (patch) | |
tree | 009cae522584f5268cd3ed18dc183ffc337fc85e /contrib/lfsc_lsan.supp | |
parent | 854d36b3ebb85579eefd654a18ed882b99649fb5 (diff) |
Explain non-emptiness by non-zero length in strings (#4257)
Several kinds of splitting lemmas in the strings solver can sometimes be avoided by observing that str.len(x) != 0 implies that x is non-empty. This generalizes the check for whether x is non-empty is explainable in the current context.
Diffstat (limited to 'contrib/lfsc_lsan.supp')
0 files changed, 0 insertions, 0 deletions