diff options
Diffstat (limited to 'test/regress/regress1/bug590.smt2')
-rw-r--r-- | test/regress/regress1/bug590.smt2 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/regress/regress1/bug590.smt2 b/test/regress/regress1/bug590.smt2 index d50024268..68a2fb9a3 100644 --- a/test/regress/regress1/bug590.smt2 +++ b/test/regress/regress1/bug590.smt2 @@ -4,7 +4,7 @@ (set-logic ALL) (set-option :strings-exp true) (set-option :produce-models true) -(set-info :smt-lib-version 2.0) +(set-info :smt-lib-version 2.6) (set-info :status unknown) (declare-fun text () String) @@ -21,7 +21,7 @@ (assert (= html_escape_table (store (store (store (store (store ((as const (Array String String)) "A") "&" "&") - "\"" """) + "\\""" """) "'" "'") ">" ">") "<" "<"))) @@ -29,7 +29,7 @@ (assert (= html_escape_table_keys (store (store (store (store (store ((as const (Array Int String)) "B") 0 "&") - 1 "\"") + 1 "\\""") 2 "'") 3 ">") 4 "<"))) |