diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-21 13:36:01 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-02-21 11:36:00 -0800 |
commit | 18eb247c3f14761dc0e1981d4faf11833f069b9d (patch) | |
tree | d29f8b299a61509d9ffeb9db51137371135731c8 /test/regress/regress0/strings/code-perf.smt2 | |
parent | be7ed89f137f4d0d64cf66ec40880370fbff2d4d (diff) |
Simple changes towards unicode string standard (#3791)
This updates --lang=smt2.6.1 with the minor syntactic differences from the current syntax and the standard here: http://smtlib.cs.uiowa.edu/theories-UnicodeStrings.shtml.
The next steps will be to address the more invasive changes required to support the standard.
Diffstat (limited to 'test/regress/regress0/strings/code-perf.smt2')
-rw-r--r-- | test/regress/regress0/strings/code-perf.smt2 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/regress/regress0/strings/code-perf.smt2 b/test/regress/regress0/strings/code-perf.smt2 index 39cab48ce..4d7e22bd3 100644 --- a/test/regress/regress0/strings/code-perf.smt2 +++ b/test/regress/regress0/strings/code-perf.smt2 @@ -1,5 +1,6 @@ ; COMMAND-LINE: --strings-exp ; EXPECT: sat +(set-info :smt-lib-version 2.5) (set-logic QF_SLIA) (declare-const x0 String) (declare-const x1 String) |