diff options
Diffstat (limited to 'test/regress/regress1/strings/regexp001.smt2')
| -rw-r--r-- | test/regress/regress1/strings/regexp001.smt2 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/regress/regress1/strings/regexp001.smt2 b/test/regress/regress1/strings/regexp001.smt2 index 142ff679d..0562e6655 100644 --- a/test/regress/regress1/strings/regexp001.smt2 +++ b/test/regress/regress1/strings/regexp001.smt2 @@ -1,12 +1,12 @@ -(set-info :smt-lib-version 2.5) +(set-info :smt-lib-version 2.6) (set-logic QF_S) (set-info :status sat) (set-option :strings-exp true) (declare-fun x () String) -(assert (str.in.re x - (re.* (re.++ (re.* (str.to.re "a") ) (str.to.re "b") )) +(assert (str.in_re x + (re.* (re.++ (re.* (str.to_re "a") ) (str.to_re "b") )) )) (assert (= (str.len x) 3)) |