From cac85606876d4f0be1c6c54172f7509ce54cdcb5 Mon Sep 17 00:00:00 2001 From: Tianyi Liang Date: Thu, 26 Dec 2013 17:18:26 -0600 Subject: new functions in strings --- test/regress/regress0/strings/substr001.smt2 | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/regress/regress0/strings') diff --git a/test/regress/regress0/strings/substr001.smt2 b/test/regress/regress0/strings/substr001.smt2 index 2b2ae9820..c0554c481 100644 --- a/test/regress/regress0/strings/substr001.smt2 +++ b/test/regress/regress0/strings/substr001.smt2 @@ -8,8 +8,8 @@ (declare-fun i3 () Int) (declare-fun i4 () Int) -(assert (= "efg" (str.sub x i1 i2) ) ) -(assert (= "bef" (str.sub x i3 i4) ) ) +(assert (= "efg" (str.substr x i1 i2) ) ) +(assert (= "bef" (str.substr x i3 i4) ) ) (assert (> (str.len x) 5)) (check-sat) -- cgit v1.2.3