adds new feature: re.loop

[cvc5.git] / test / regress / regress0 / strings / Makefile.am

diff --git a/test/regress/regress0/strings/Makefile.am b/test/regress/regress0/strings/Makefile.am
index e820765201ed3a8668782c200917a16b1fd2c86e..9977da6a5ef6d062a61b517fba6241d0cd149a6e 100644 (file)
--- a/test/regress/regress0/strings/Makefile.am
+++ b/test/regress/regress0/strings/Makefile.am
@@ -44,13 +44,13 @@ TESTS =     \
   loop006.smt2 \
   loop007.smt2 \
   loop008.smt2 \
-  loop009.smt2
-
-#regexp002.smt2
+  loop009.smt2 \
+  reloop.smt2
 
 FAILING_TESTS =
 
 EXTRA_DIST = $(TESTS) \
+  regexp002.smt2 \
   type002.smt2
 
 # and make sure to distribute it