From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 26 Nov 2012 20:05:02 +0000 (+0000)
Subject: include new regression directories in summary test output
X-Git-Tag: cvc5-1.0.0~7555
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a7aad4ae3a1cd80f0e035e1a77b8e42c38c99c8d;p=cvc5.git

include new regression directories in summary test output
---

diff --git a/test/Makefile.am b/test/Makefile.am
index f9f150358..014aecc43 100644
--- a/test/Makefile.am
+++ b/test/Makefile.am
@@ -46,6 +46,8 @@ subdirs_to_check = \
 	regress/regress0/rewriterules \
 	regress/regress0/lemmas \
 	regress/regress0/push-pop \
+	regress/regress0/push-pop/arith \
+	regress/regress0/push-pop/boolean \
 	regress/regress0/precedence \
 	regress/regress0/preprocess \
 	regress/regress0/unconstrained \