diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-04-30 14:11:16 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-30 14:11:16 -0500 |
| commit | d36423fb74e3ec294b222b806cb24b5229e72ed1 (patch) | |
| tree | c78260dd402be419cdc49e27f0cdb15ed14c7b08 /test/regress/regress0/strings | |
| parent | 6538957335ecf83af38150054cf80555a57e72d0 (diff) | |
Remove stoi solve rewrite (#2985)
Diffstat (limited to 'test/regress/regress0/strings')
| -rw-r--r-- | test/regress/regress0/strings/stoi-solve.smt2 | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/test/regress/regress0/strings/stoi-solve.smt2 b/test/regress/regress0/strings/stoi-solve.smt2 deleted file mode 100644 index 4fbbdcfc1..000000000 --- a/test/regress/regress0/strings/stoi-solve.smt2 +++ /dev/null @@ -1,6 +0,0 @@ -(set-logic ALL) -(set-info :status sat) -(set-option :strings-exp true) -(declare-fun x () String) -(assert (= (str.to.int x) 12345)) -(check-sat) |