diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-11-21 14:44:44 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-21 14:44:44 -0600 |
| commit | 2c05402119dba7e90e24621c5768514ab2f5042c (patch) | |
| tree | cec74ac8b51d20c622205bfa39e6ef6e44d510dc /src/parser/smt2 | |
| parent | b3b1fffb390d19312227d7095fb404e9e0447d95 (diff) | |
Support string replace all (#2704)
Diffstat (limited to 'src/parser/smt2')
| -rw-r--r-- | src/parser/smt2/smt2.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/parser/smt2/smt2.cpp b/src/parser/smt2/smt2.cpp index 2fd61aabc..d52dd948b 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -129,6 +129,7 @@ void Smt2::addStringOperators() { addOperator(kind::STRING_CHARAT, "str.at" ); addOperator(kind::STRING_STRIDOF, "str.indexof" ); addOperator(kind::STRING_STRREPL, "str.replace" ); + addOperator(kind::STRING_STRREPLALL, "str.replaceall"); addOperator(kind::STRING_PREFIX, "str.prefixof" ); addOperator(kind::STRING_SUFFIX, "str.suffixof" ); // at the moment, we only use this syntax for smt2.6.1 |