diff options
Diffstat (limited to 'test/regress/regress0/strings/bidir_star.smt2')
-rw-r--r-- | test/regress/regress0/strings/bidir_star.smt2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress0/strings/bidir_star.smt2 b/test/regress/regress0/strings/bidir_star.smt2 index 7303d138f..8a13ed085 100644 --- a/test/regress/regress0/strings/bidir_star.smt2 +++ b/test/regress/regress0/strings/bidir_star.smt2 @@ -2,7 +2,7 @@ (set-logic SLIA) (declare-fun a () String) (assert (>= (str.len a) 2)) -(assert (str.in.re a (re.+ (re.range "0" "1")))) -(assert (<= 3 (str.to.int (str.substr a (+ (- 2) (str.len a)) 1)))) +(assert (str.in_re a (re.+ (re.range "0" "1")))) +(assert (<= 3 (str.to_int (str.substr a (+ (- 2) (str.len a)) 1)))) (set-info :status unsat) (check-sat) |