diff options
Diffstat (limited to 'src/parser/smt2')
| -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 71ba81124..2e1abf710 100644 --- a/src/parser/smt2/smt2.cpp +++ b/src/parser/smt2/smt2.cpp @@ -122,6 +122,11 @@ void Smt2::addBitvectorOperators() { } void Smt2::addStringOperators() { + defineVar("re.all", + getSolver() + ->mkTerm(api::REGEXP_STAR, getSolver()->mkRegexpSigma()) + .getExpr()); + addOperator(kind::STRING_CONCAT, "str.++"); addOperator(kind::STRING_LENGTH, "str.len"); addOperator(kind::STRING_SUBSTR, "str.substr" ); |