From: Tianyi Liang <tianyi-liang@uiowa.edu>
Date: Mon, 14 Oct 2013 21:39:13 +0000 (-0500)
Subject: add another regexp test
X-Git-Tag: cvc5-1.0.0~7275^2~20
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4616f6f1232cba756a0dcabb267e52dd042df1ab;p=cvc5.git

add another regexp test
---

diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am
index daa817c4f..66827b578 100644
--- a/test/regress/regress0/strings/Makefile.am
+++ b/test/regress/regress0/strings/Makefile.am
@@ -28,6 +28,7 @@ TESTS =	\
   model001.smt2 \
   substr001.smt2 \
   regexp001.smt2 \
+  regexp002.smt2 \
   loop001.smt2 \
   loop002.smt2 \
   loop003.smt2 \