diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-15 15:57:03 +0200 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-10-15 15:57:03 +0200 |
commit | 614080814375998f494adc839484f455b31a5f43 (patch) | |
tree | cbbb71338e2bc4372862124d97cc7a9a5bac8726 /src/theory/shared_terms_database.cpp | |
parent | f4420f2a1f82ee4a2f86d6d4318286d21520e280 (diff) |
Change semantics of str.substr to allow endpoint out of bounds, and return empty string for error conditions. Improve rewriter for str.substr.
Diffstat (limited to 'src/theory/shared_terms_database.cpp')
0 files changed, 0 insertions, 0 deletions