projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: be91d86)
fix makefile
authorTianyi Liang <tianyi-liang@uiowa.edu>
Fri, 21 Feb 2014 01:52:20 +0000 (19:52 -0600)
committerTianyi Liang <tianyi-liang@uiowa.edu>
Fri, 21 Feb 2014 01:52:20 +0000 (19:52 -0600)
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 d9f0f597c08bcb147d22d80be9be6bb65496a4e1..254df183ee840d65712f27a66c5b932ee5e61c96 100644 (file)
--- a/test/regress/regress0/strings/Makefile.am
+++ b/test/regress/regress0/strings/Makefile.am
@@ -30,8 +30,9 @@ TESTS =       \
   str007.smt2 \
   fmf001.smt2 \
   fmf002.smt2 \
-  int2str.smt2 \
-  str2int.smt2 \
+  type001.smt2 \
+  type002.smt2 \
+  type003.smt2 \
   model001.smt2 \
   substr001.smt2 \
   regexp001.smt2 \