From 299192695da6700273a7d9edb78411b1fb957fd0 Mon Sep 17 00:00:00 2001 From: Andrew Reynolds Date: Tue, 16 Jul 2019 18:12:15 -0400 Subject: Add support for str.tolower and str.toupper (#3092) --- src/parser/smt2/smt2.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/parser/smt2/smt2.cpp') 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 -- cgit v1.2.3