From a2d3808e2934ab660c709b45c184ae973375eb61 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Wed, 19 Aug 2020 19:02:48 -0500
Subject: [PATCH] Add strings-exp to regression (#4923)

str.at expands to str.substr, thus this benchmark (may) require strings-exp if things do not rewrite/preprocess. This triggers a regress0 failure on proof-new currently.
---
 test/regress/regress0/strings/unsound-0908.smt2 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/test/regress/regress0/strings/unsound-0908.smt2 b/test/regress/regress0/strings/unsound-0908.smt2
index 9c91d135f..632c6713d 100644
--- a/test/regress/regress0/strings/unsound-0908.smt2
+++ b/test/regress/regress0/strings/unsound-0908.smt2
@@ -1,3 +1,5 @@
+; COMMAND-LINE: --strings-exp
+; EXPECT: sat
 (set-logic QF_SLIA)
 (set-info :status sat)
 (declare-const x String)
-- 
2.30.2