diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-07-16 18:12:15 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-07-16 18:12:15 -0400 |
commit | 299192695da6700273a7d9edb78411b1fb957fd0 (patch) | |
tree | bb05bbffc47cf3fc1f282605fe96cd08920a8d34 /src/parser/smt2/smt2.cpp | |
parent | 8773f7ac81dede3dcf96983087417c652cbf35b8 (diff) |
Add support for str.tolower and str.toupper (#3092)
Diffstat (limited to 'src/parser/smt2/smt2.cpp')
-rw-r--r-- | src/parser/smt2/smt2.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 54dfa51c9..af374274b 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -169,6 +169,11 @@ void Smt2::addStringOperators() { addOperator(kind::STRING_STRIDOF, "str.indexof" ); addOperator(kind::STRING_STRREPL, "str.replace" ); addOperator(kind::STRING_STRREPLALL, "str.replaceall"); + if (!strictModeEnabled()) + { + addOperator(kind::STRING_TOLOWER, "str.tolower"); + addOperator(kind::STRING_TOUPPER, "str.toupper"); + } addOperator(kind::STRING_PREFIX, "str.prefixof" ); addOperator(kind::STRING_SUFFIX, "str.suffixof" ); // at the moment, we only use this syntax for smt2.6.1 |