projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 177f347)
add another regexp test
authorTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 14 Oct 2013 21:39:13 +0000 (16:39 -0500)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Mon, 14 Oct 2013 21:39:13 +0000 (16:39 -0500)
test/regress/regress0/strings/Makefile.am patch | blob | history

diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am
index daa817c4ffeae744d939b8e3f260160a1b151631..66827b5785bf287d27e448c1a5134115853f60dc 100644 (file)
--- 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 \